O Teorema de Pitgoras Segundo Euclides A Proposio I-47

A Proposio 47 do Livro I dos Elementos de Euclides trata da demonstrao do Teorema da Hipotenusa, o conhecido como Teorema de Pitgoras:

Proposio I-47: Em um tringulo retngulo, o quadrado sobre o lado oposto ao ngulo reto igual soma dos
quadrados sobre os lados que forma o ngulo reto. Conhecemos este teorema como Teorema de Pitgoras. Vamos ver neste artigo como Euclides conduziu sua demonstrao.

O cerne da demonstrao consiste em estabelecer a igualdade entre o retngulo BDLM e o quadrado ABFG.

Vejam que o tringulo ABD e BCF so iguais, pois os dois tringulos tm dois lados iguais com ngulos iguais e estes so a metade do retngulo BDLM. Esta igualdade entre tringulos j havia sido previamente estabelecida na proposio I-4 de seusElementos:

Proposio I-4: Se dois tringulo tem dois lados iguais a dois, respectivamente, e se o ngulo contido por estes
dois lados forem iguais, ento eles tambm tm suas bases iguais. Conseqentemente os tringulos sero iguais e os ngulos restantes tambm sero.

Numa perspectiva moderna, a igualdade dos tringulos se d pelo fato de que eles se deduzem um do outro por uma rotao de 90. Mas de que modo Euclides justifica que o retngulo BDLM seja o duplo do tringulo ABD? Euclides utilizou-se de outra proposio j estabelecida num teorema mais geral, onde combina tringulos e paralelogramos:

Proposio I-41: Se um paralelogramo tem a mesma base que um tringulo e estes esto na mesma paralela,
ento o paralelogramo o dobro do tringulo.

Unindo AL, ento os tringulo ABC e EBC tem mesma rea, cujas bases BC so iguais e esto nas mesmas paralelas BC e AE. Logo BCE a metade de ABCD. Para a prova deste teorema, Euclides une a diagonal AC, construindo o tringulo ABC, que tambm tem BC como base, e enuncia duas asseres: 1) Os tringulos ABC e EBC, por terem mesma base e estarem nas mesmas paralelas so iguais. 2) O tringulo ABC a metade do paralelogramo ABCD, porque AC a diagonal e porque a diagonal de um paralelogramo o divide em duas partes iguais.

Esta afirmao advm de outra proposio:

Proposio I-34: Em reas paralelogrmicas os lados e os ngulos opostos so iguais entre si e a diagonal
divide as reas e, partes iguais.

Desta forma, temos que provar que a I-41 se aplica na I-47. Vamos tomar o quadrado ABFG e o tringulo BCF. Por construo ABFG um quadrado, logo os segmentos BF e AG so paralelos, assim como no retngulo BDLM os segmentos BD e LM tambm so. Basta, ento, mostrar que o vrtice c est sobre o prolongamento de GA. Euclides observa: Uma vez que cada um dos ngulos sob BAC e BAG reto, relativamente reta BA, os dois segmentos AC e AG, no posicionados do mesmo lado, formam ngulos adjacentes iguais a dois retos. Portanto, CA tambm est alinhado a AH. Desta forma, conclumos que o quadrado ABFG tem a mesma base do tringulo BCF e esto na mesma paralela GC. Daqui vem que o quadrado ABFG o duplo do tringulo BCF. Mas os tringulos BCF e ABD so iguais, o que nos leva igualdade entre o quadrado ABFG e o retngulo BDLM. De modo anlogo provamos que o quadrado ACKH igual ao retngulo CELM. Assim, a reunio dos retngulos BDLM e CELM constituem o grande quadrado BDEC sobre a hipotenusa BC, e este haver de ser igual aos dois quadrados ABFG e ACKH.

Referncias
[1] Revista Scientific American A Cincia na Antiguidade, N 3 Ed. Duetto [2] http://aleph0.clarku.edu/~djoyce/java/elements/toc.html