|
|
||||
Cláudio
Possani
O objetivo desta nota é divulgar junto aos leitores da RPM uma demonstração da irracionalidade de , extremamente elegante e fundada em argumentos geométricos. Aparentemente, o argumento central já fora utilizado pelos gregos na demonstração da incomensurabilidade do lado e da diagonal de um quadrado. Para maiores detalhes, ver o artigo Grandezas incomensuráveis e números irracionais, publicado na RPM 5. Começamos observando que, da igualdade obtemos p2 = 2q2 = q2 + q2, que é a relação do Teorema de Pitágoras. Assuma, por absurdo, que , com p e q números inteiros positivos e primos entre si. Assim, existirá um triângulo retângulo isósceles de lados inteiros p (hipotenusa) e q (catetos). Observe que quaisquer dois triângulos retângulos isósceles são semelhantes e, como p e q não possuem fator comum, esse triângulo de lados p, q e q é o menor triângulo retângulo isósceles de lados inteiros.
Na figura, é um arco de circunferência de raio q e centro C, com D CB. Toma-se E em AB de modo que . Daí segue que DE é tangente ao arco de circunferência mencionada e, também, que EA = ED, já que são segmentos tangentes à circunferência traçados a partir de um ponto externo. Como , segue que o triângulo EDB é isósceles e retângulo. ED = DB = p - q, que é inteiro. Também EB é inteiro, pois EB = p - AE = q - ED = q - (p -q) = 2q - p. Assim, o triângulo DEB é retângulo isósceles e possui lados inteiros menores do que p e q. Isso é um absurdo que seguiu da suposição , com p e q inteiros primos entre si. A conclusão é que é irracional. Bonito, não é?
Fonte: Internet.
|