Cláudio
Possani
IME - USP
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 é?
Selos
Matemáticos |
 |
Selo em homenagem a Abel (Noruega 1929)
comemorando o centenário de sua morte. |
|
|
Selos comemorativos do Ano
Mundial da Matemática (2000) |
|
|
Selo da França de 1937 em Comemoração
do 3o centenário da publicação
do Discurso do Método, de Descartes. |
 |
|
|
Fonte: Internet.
|