Optamos por escolher alguns exemplos de enunciados e demonstrações de #"Os Elementos" para ilustrar o que Euclides tinha em mente quando usava a palavra igualdade associada à construção de conceitos diferentes. Temos andado a abordar resultados relacionados com áreas de figuras planas, apresentando resultados muito conhecidos (por enunciados atuais), mas transcritos do original para perceber como era ao tempo da génese das noções de geometria escrita.
TEOREMA DE PITÁGORAS
PROP. XLVII. TEOR.
Em todo o triângulo retângulo o quadrado feito sôbre o lado oposto ao ângulo reto, é igual aos quadrados formados sôbre os outros lados, que fazem o mesmo ângulo reto .
© geometrias. 28 de Fevereiro 2015, Criado com GeoGebra
Fazendo variar o valor de $\;n\;$ (no selector no centro ao fundo da janela de construção) verá o desenvolvimento da figura relativa à demonstração.
Seja o triângulo retângulo ABC, cujo ângulo reto seja BAC. Digo que o quadrado feito sôbre o lado BC é igual aos quadrados descritos sôbre os lados BA, AC, que formam o ângulo reto BAC.
Descreva-se sôbre BC o quadrado BDEC (Pr. 46.1.
*), e sôbre BA, AC os quadrados GB, HC. Pelo ponto A tire-se AL, paralela (Pr. 31.1.
**) a BD, ou CE, tirem-se também as retas AD, FC. Porque os ângulos BAC, BAG são retos (Def. 30.
***), as duas retas CA, AG estão em direitura uma com outra (Pr. 14.1.
****). O mesmo será a respeito das duas AB, AH. Os ângulos DBC, FBA, por serem retos, são iguais. Ajunte-se-lhes o mesmo ângulo ABC. Logo, o total DBA será igual ao total FBC (Ax. 2.
*****). E sendo as duas AB, BD iguais às duas FB, BC, cada uma a cada uma, e o ângulo DBA = FBC, será o triângulo ABD = FBC outro triângulo (Pr. 4.1.
******). Mas o paralelogramo BL é o dôbro (Pr. 41.1.
*******) do triângulo ABD, porque está sôbre a mesma base BD, e entre as mesmas paralelas BD, AL; e o quadrado GB é o dôbro do triângulo FBC, porque tem a base comum FB, e estão q as mesmas paralelas FB, GC. Logo, sendo iguais os dobros de quantidades iguais (Ax. 6.
********), deve ser o paralelogramo BL igual ao quadrado GB. Do mesmo modo, tiradas as retas AE, BK, se demonstra, que o paralelogramo CL é igual ao quadrado HC. Logo, o quadrado inteiro BDEC, feito sôbre o lado BC oposto ao ângulo reto BAC, é igual aos dois quadrados GB, HC formados sôbre os lados BA, AC, que fazem o mesmo ângulo reto BAC. □
*PROP XLVI.PROB.
Sôbre uma linha reta dada descrever um quadrado
**PROP. XXXI. PROB.
De um ponto dado conduzir uma linha reta paralela a outra linha reta dada
*** DEFINIÇÃO XXX.
Entre as figuras quadriláteras, o quadrado é o que é juntamente equilátero e retângulo
**** PROP.XIV. TEOR.
Se em um ponto de uma linha reta qualquer concorrerem de partes opostas duas retas, fazendo com a primeira reta os ângulos adjacentes iguais a dois retos, as retas, que concorrem para o dito ponto, estarão em direitura uma da outra.
***** AXIOMA II
Se a cousas iguais se juntarem outras iguais, os todos serão iguais.
****** PROP. IV. TEOREMA.
Se dois triângulos tiverem dois lados iguais a dois lados, cada um a cada um, e os ângulos, compreendidos por êstes lados, forem também iguais; as bases e os triângulos, e os mais ângulos, que são opostos a lados iguais, serão também iguais.
*******PROP. XLI. TEOR.
Se um paralelogramo e um triângulo estiverem sobre a mesma base, e enre as mesmas paralelas, o paralelogramo será o dobro do triângulo.
********AXIOMA VI
As quantidades, das quais cada uma por si faz o dôbro de outra quantidade, são iguais.
Nota: Dedicadas ao Teorema de Pitágoras, há mais 50 entradas com diferentes enunciados, construções, demonstrações, aplicações, ... publicadas neste Lugar Geométrico.
- Euclides. Elementos de Geometria dos seis primeiros livros do undécimo e duodécimo da versão latina de Frederico Commandino , Adicionados e Ilustrados por ROBERTO SIMSON, Prof de Matemática na Academia de Glasgow. Revistos para Edições Cultura por ANÍBAL FARO. Edições Cultura. São Paulo (BR): 1944
- Robin Hartshorne. Geometry: Euclid and beyond Springer. New York: 2000
