Ensino Superior ⇒ Provar Irracionalidade Tópico resolvido
Moderador: [ Moderadores TTB ]
Dez 2019
19
20:02
Provar Irracionalidade
Prove que [tex3]\sqrt{5}[/tex3]
é irracional
Última edição: caju (Qui 19 Dez, 2019 20:12). Total de 1 vez.
Razão: arrumar título (regra 4).
Razão: arrumar título (regra 4).
-
- Mensagens: 978
- Registrado em: Qui 31 Ago, 2017 08:06
- Última visita: 05-03-23
- Localização: São José dos Campos
Dez 2019
19
20:37
Re: Provar Irracionalidade
Suponha, por absurdo, que [tex3]\sqrt5[/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 .
é 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 .
Última edição: deOliveira (Qui 19 Dez, 2019 20:40). Total de 1 vez.
Saudações.
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 1 Respostas
- 199 Exibições
-
Última msg por FelipeMartin
-
- 2 Respostas
- 213 Exibições
-
Última msg por FelipeMartin
-
- 0 Respostas
- 471 Exibições
-
Última msg por thetruth
-
- 2 Respostas
- 765 Exibições
-
Última msg por PeterPark
-
- 6 Respostas
- 673 Exibições
-
Última msg por Marquest