Ensino SuperiorProvar Irracionalidade Tópico resolvido

Poste aqui problemas sobre assuntos estudados no Ensino Superior (exceto os cobrados em concursos públicos e escolas militares).
Avatar do usuário
magben
Imperial
Mensagens: 553
Registrado em: 27 Set 2018, 20:27
Última visita: 27-05-24
Agradeceu: 63 vezes
Agradeceram: 4 vezes
Dez 2019 19 20:02

Provar Irracionalidade

Mensagem não lida por magben »

Prove que [tex3]\sqrt{5}[/tex3] é irracional

Editado pela última vez por caju em 19 Dez 2019, 20:12, em um total de 1 vez.
Razão: arrumar título (regra 4).
Avatar do usuário
deOliveira
5 - Mestre
Mensagens: 978
Registrado em: 31 Ago 2017, 08:06
Última visita: 05-03-23
Localização: São José dos Campos
Agradeceu: 161 vezes
Agradeceram: 364 vezes
Dez 2019 19 20:37

Re: Provar Irracionalidade

Mensagem não lida por deOliveira »

Suponha, por absurdo, que [tex3]\sqrt5[/tex3] é racional. Então existem [tex3]a,b[/tex3] inteiros tais que [tex3]\frac ab[/tex3] .

[tex3]\frac ab=\sqrt7\\\implies a^2=5b^2[/tex3]

[tex3]a^2[/tex3] pode ser decomposto em fatores primos de forma única a menos da ordem, segundo o teorema fundamental da aritmética
[tex3]a^2=2^{2\alpha_1}+3^{2\alpha_2}+5^{2\alpha_3}+...+p_n^{\alpha_n}[/tex3]
Assim, em [tex3]a^2[/tex3] temos um número par de fatores 5.

Para [tex3]b^2[/tex3] temos a mesma coisa.
[tex3]b^2=2^{2\beta_1}+3^{2\beta_2}+5^{2\beta_3}+...+p_m^{\beta_m}[/tex3]

Então [tex3]a^2=5b^2=2^{2\beta_1}+3^{2\beta_2}+5^{2\beta_3+1}+...+p_m^{\beta_m}[/tex3]
Assim, em [tex3]5b^2=a^2[/tex3] temos um número ímpar de fatores 5. O que é um absurdo, pois contradiz o teorema fundamental da aritmética (não teríamos um modo único de decompor [tex3]a^2[/tex3] em fatores primos a menos da ordem).

Espero ter ajudado :).

Editado pela última vez por deOliveira em 19 Dez 2019, 20:40, em um total de 1 vez.
Saudações.
Responder
  • Tópicos Semelhantes
    Respostas
    Exibições
    Última mensagem

Voltar para “Ensino Superior”