Um marco na História da Matemática foi a descoberta da existência dos número irracionais. Um número irracional é todo número que não pode ser escrito em forma de fração do tipo:
![clip_image002[4]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgM7LJB6GJqU2-K6wKoAO8iBPSU7DcRI4Qw3ycq5XQGU9ao5rUKVPuplnOKBXLgkkeA56L5Ply8EgIrxWzD3Fac_KQfvWlBhrELBsJbwU1mlCwr6jW2q7AIwf06GYaYAv7TRFN3kTSAx9Ya/s1600-h/clip_image002%5B4%5D%5B2%5D.gif "clip_image002[4]"){kind=small}
Para esta prova, vamos considerar o quadrado de lado 1 abaixo:
Pelo Teorema de Pitágoras, sua diagonal será √2.
Demonstração pelo absurdo:
![clip_image002[4]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi02TY-QMMBdcmKlRxDEcROUvuRlKjELPglnGiNjgWF1mJUecjZJ0Yj6-9eWKRZ35bNvhg4zqkTZAshH46jBZje7IRLNh2wOut360cTnwKgf3mAMnydsCTMoCGl1aixOsaHQoeGZHa8WhYX/s1600-h/clip_image0024%5B2%5D.gif "clip_image002[4]"){kind=small}
![clip_image002[6]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhB-Uu4gBFsujGUYNZ2zAkSmadYEwkw-kOfZSv322UO4UnNnXWgAsWq9d5z7CoyQ31vMs8owIetuKfWNraqvu2sEAIP4T4IVT9SR9K79asZ-7iDfI5FxRUppvjsCtHEiUqscrMRs7e2Cjhv/s1600-h/clip_image0026%5B2%5D.gif "clip_image002[6]"){kind=small}
Daqui, concluímos que p é par, pois se p2 = 2q2, qualquer número multiplicado por 2 será par e logo, se 2q2 é par p2 será par. Então, se p é par, p = 2k.
![clip_image002[14]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEghiwr6JS4m0pxJ4sabbx2vM3NNqxJGeGEE28TtPnPeWBoIw7TA00dBJLCPmakJfeV4_T8kOoxrnSWQLPmwMdCb86CD3eyNTym8GOqEkJXLkL_krmivH17jScVhYhuDOi_dlONjzmewIM_a/s1600-h/clip_image002%5B14%5D%5B2%5D.gif "clip_image002[14]"){kind=small}
![clip_image002[18]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjtUOgza6Jq8w0s992F7qQpM08b6QFFgXXlPSqEA-YNkmGSWHXBRLW9H-HWJhyphenhyphen6cu_eNmBV1tQYvzCGm4D_O5BUlKIKFHkR0J5Ybj2_1maHe1Fqys0t3e8y7jncWu-80-70dPsjn-beB5dG/s1600-h/clip_image002%5B18%5D%5B2%5D.gif "clip_image002[18]"){kind=small}
![clip_image004[10]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiCAiWVb2X_yCjpH0ixO7fu5gZ5AmGh6_jQ-_4hcTEH6ky4H5ikSYonF_n4lCH4N4aPcFULBY5sPpz-cP1j4iBr6ZeIvM0UXLKhYC2W2y68qVM3AilC3pJYo9EEvFkGtEJtR-DH7cJx5p9Y/s1600-h/clip_image004%5B10%5D%5B2%5D.gif "clip_image004[10]"){kind=small}
Daqui, concluímos que q é par, pois se q2 = 2 k2, qualquer número multiplicado por 2 será par e logo, se 2 k2 é par, q2 será par.
Caímos numa contradição onde p e q são pares, não satisfazendo a condição de existência inicial:
Concluímos então que √2 é irracional.
Veja mais:
Fração Geratriz de Dízima Periódica
Breve Cronologia de PI
Demonstração do Limite Fundamental Exponencial
(q*(2^1/2))^2 não seria igual a (q^2)*2?
ResponderExcluirOlá Viictor. Sua afirmação está correta. Mas veja só: na verdade, na terceira linha da demonstração onde aparece (q*(2^1/2))^2 = p^2, lembre-se que estamos fazendo uma demonstração e queremos provar que este valor é igual a p^2. Seguindo o raciocínio da demosntração, vemos que cai numa contradição, o que nos mostra a irracionalidade de sqrt(2). Espero ter esclarecido sua dúvida.
ResponderExcluirUm abraço.
Estranho... Para mim essa demonstração não provou a irracionalidade do número, e sim que a "condição de existencia inicial" seja falha.
ResponderExcluirEntretanto, se essa condicão inicial for falha, isso significaria que um número como sqrt(2) poderia ser escrito como 2k/2q (números pares)
E dessa forma sqrt(2) seria igual k/q (constantes quaisquer).
Qual seria a falha nesse raciocinio?
Olá Victor, td blz?
ResponderExcluirBem, vamos por partes:
1) A condição de existência da irracionalidade de um número é verdadeira para todo irracional x se este não puder ser ecrito sob forma de fração do tipo p/q, onde p e q pertence aos inteiros, p e q primos entre si e q diferente de zero (consultando qualquer livro que trate do assunto verá que todos apontam a mesma condição);
2)O que é falha é a imposição no início da demonstraçõa pelo absurdo (e ainda bem!), pois sqrt(2) não pode ser escrita como p/q;
3)A demonstração pelo absurdo nos levou a um ponto em que p e q são pares, contradizendo a condição de existência (1);
4) Quando você diz: "...se esssa condição inicial for falha, isso significa que sqrt(2) pode ser escrito como 2k/2q...". Sua afirmação está errada, já que (3) nos leva a uma contradição;
5) A falha que você questiona é que sqrt(2) NÃO pode ser escrito como 2k/2q, esclarecido em (3).
Bem, espero ter esclarecido, ou talvez nãotenha conseguido me expressar aqui.
Um abraço e obrigado por seu questionamento.
Até +
seu erro está em:
ResponderExcluir"p² = 2*q²
então p é par"
você nao pode afirmar isso, só pode afirmar que p² é par, nao que p o é.
Veja que estamos fazendo uma demonstração pelo absurdo.Quando chegamos à igualdade p² = 2q²,só podemos concluir que, se 2q² é par (pois qualquer número multiplicado por 2 é par), logo p² também é par (visto que qualquer número ímpar elevado ao quadrado é um número ímpar e então p é par) Lembre-se: é uma demonstração pelo absurdo e queremos cair numa contradição.
ResponderExcluirEssa confusão, talvez, tenha sido causada pela falta de destaque da condição inicial (de que p e q devem ser primos entre si).
ResponderExcluirPode ser Daniel, apesar de estar como condição para p e q (no segundo parágrafo). Mas essas discussão é boa!
ResponderExcluirMas veja: um número irracional não pode ser representado sobforma de uma fração. Após o desenvolvimento acima, caímos numa contradição onde p e q são pares, isso nos mostra que a condição dada para tentar provar pelo absurdo de que sqrt(2)= p/q é falsa, logo sqrt(2) é irracional.
Nossa esse texto veio pra mim em uma ótima hora. Muito bem escrito, esclarecido. Parabéns, sério.
ResponderExcluirEu estou tendo aulas de G.A. e o meu prof não está facilitando nada minha vida, e estava procurando uma definição melhor para eu entender sobre os NÚMEROS IRRACIONAIS, com essa explicação simples porém clara e mais um material da internet, consegui compreender.
Obrigado, professor. Um abraço