Ensino Superior ⇒ Provar Irracionalidade Tópico resolvido
- magben
- 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
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).
Razão: arrumar título (regra 4).
- deOliveira
- 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
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 .
Editado pela última vez por deOliveira em 19 Dez 2019, 20:40, em um total de 1 vez.
Saudações.
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última mensagem
-
- 3 Respostas
- 1128 Exibições
-
Última mensagem por undefinied3
-
- 4 Respostas
- 1096 Exibições
-
Última mensagem por jvmago
-
- 1 Respostas
- 627 Exibições
-
Última mensagem por erihh3
-
- 1 Respostas
- 213 Exibições
-
Última mensagem por FelipeMartin
-
- 2 Respostas
- 237 Exibições
-
Última mensagem por FelipeMartin