Ilustrações e equações auxiliares para o estudo do

livro Os elementos de Euclides.

Gustavo Gabriel Varela Tristão

Proposição 47 do livro I (O Teorema de Pitágoras)

Seja o triângulo retângulo ABC, tendo o ângulo sob BAC reto; digo que o qua-
drado sobre a BC é igual aos quadrados sobre as BA, AC. Fiquem, pois, descri-
tos, por um lado, o quadrado BDEC sobre a BC, e, por outro lado, os GB, HC
sobre as BA, AC 1 , e, pelo A, fique traçada a AL paralela a qualquer uma das
BD, CE; 2 e fiquem ligadas as AD, FC.
H

K
G
A

F
B C

D L E
Figura 1: Representação geométrica da descrição inicial do teorema.
E, como cada um dos ângulos sob BAC, BAG é reto, então, as duas retas AC,
AG, não postas no mesmo lado, fazem relativamente a alguma reta, a BA, e
no ponto A sobre ela, os ângulos adjacentes iguais a dois retos; portanto, a CA
está sobre uma reta com a AG. 3 Pelas mesmas coisas, então, também a BA
1 Na Proposição 46 do livro I é ensinado a construir um quadrado a partir de uma linha
reta dada.
2 Na Proposição 31 do livro I é ensinado a desenhar uma reta paralela a outra reta dada,

que passa por um ponto dado.

3 Esse Teorema é demonstrado na proposição 14 do livro I.

1
está sobre uma reta com a AH.

K
G
A

F
B C

D L E
Figura 2: Segmentos CA, AG, BA, AH e ângulos BAC, BAG, CAH destacados.

E, como o ângulo sob DBC é igual ao sob FBA; pois, cada um é reto; fique
adicionado o sob ABC comum; portanto, o sob DBA todo é igual ao sob FBC
todo.
Para auxiliar a compreensão deste trecho, podemos fazer a seguinte descrição
matemática:

̸ DBC = ̸ F BA

⇒ ̸ DBC + ̸ ABC = ̸ F BA + ̸ ABC

⇔ ̸ DBA = ̸ F BC (I)

2
 H

K
G
A

F
B C

D L E

Figura 3: Ângulos DBC, FBA e ABC destacados.

E como, por um lado, a DB é igual à BC, e, por outro lado, a FB, à BA, então,
as duas DB, BA são iguais às duas FB, BC, cada uma a cada uma; 4 Pelas
mesmas coisas, então, também a BA está sobre uma reta com a AH.
Neste ponto, temos então, a seguinte situação:

DB = BC (II)

F B = BA (III)

e o ângulo sob DBA é igual ao ângulo sob FBC; portanto, a base AD [é]
igual à base FC

AD = F C (IV)
4 Esse teorema é demonstrado na proposição 4 do livro I.

3
 H

K
G
A

F
B C

D L E
Figura 4: Segmentos AD,DB,BA e FC, BC, FB destacados.
e o triângulo ABD é igual ao triângulo FBC ;
∆ABD ≡ ∆F BC (V)

K
G
A

F
B C

D L E
Figura 5: Triângulos ABD e FBC destacados.
e, por um lado, o paralelogramo BL [é] o dobro do triângulo ABD; pois, tanto
têm a mesma base BD quanto estão nas mesmas paralelas BD, AL; 5
Área do paralelogramo BL = ABL
5 Esse teorema é demonstrado na Proposição 41 do livro I.

4
 Área do triângulo ABD = AABD

ABL = 2AABD (VI)

K
G
A

F
B C

D L E
Figura 6: Triângulo ABD e paralelogramo BL.

e, por outro lado, o quadrado GB é o dobro do triângulo FBC; pois, de novo,

tanto têm a mesma base FB quanto estão nas mesmas paralelas FB, GC.

Área do quadrado GB = AGB

Área do truângulo FBC = AF BC

AGB = 2AF BC (VII)

5
 H

K
G
A

F
B C

D L E
Figura 7: Quadrado GB e triângulo FBC destacados.

[Mas os dobros das coisas iguais são iguais entre si;] portanto, também o para-
lelogramo BL é igual ao quadrado GB .
Comparando as equações (VI) e (VII), temos que:

ABL = AGB (VIII)

K
G
A

F
B C

D L E
Figura 8: Quadrado GB e paralelogramo BL.

Do mesmo modo, então, sendo ligadas as AE, BK, será provado também o
paralelogramo CL igual ao quadrado HC ;

6
 H

K
G
A

F
B C

D L E
Figura 9: Quadrado CL e quadrado HC destacados.

Será deixado abaixo uma sequência de desenhos para auxiliar na visualização

da relação entre a área do paralelogramo CL e o quadrado HC.

K
G
A

F
B C

D L E

Figura 10: Ângulos BCE, ACK e BCA destacados.

7
 H

K
G
A

F
B C

D L E
Figura 11: Segmentos KC, BC, BK, AE, AC, CE e ângulos BCK, ACE destacados.

K
G
A

F
B C

D L E
Figura 12: Triângulos BCK e ACE destacados.

8
 H

K
G
A

F
B C

D L E
Figura 13: Triângulo ACE e paralelogramo CL destacados.

portanto, o quadrado BDEC todo é igual aos quadrados GB, HC;

Área do paralelogramo CL = ACL

Área do quadrado = AHC

ACL = AHC

Área do quadrado BDEC = ABDEC

ABDEC = AGB + AHC (IX)

E, por um lado, o quadrado BDEC foi descrito sobre a BC, e, por outro lado,
os GB, HC, sobre as BA, AC. Portanto, o quadrado sobre o lado BC é igual
aos quadrados sobre os lados BA, AC. Portanto, nos triângulos retângulos, o
quadrado sobre o lado que se estende sob o ângulo reto é igual aos quadrados
sobre os lados que contêm o [ângulo] reto; o que era preciso provar.Para ligar o
ponto a reta, temos infinitas maneiras. Ora, a distância deste ponto qualquer a
um outro qualquer da reta se É de compreensão, que, ao nos referir em buscar a
distância de um ponto a uma reta, nós estamos deixando implı́cito o fato desta
distância ser o menor caminho possı́vel a ser percorrido do ponto à reta. Para
ligar o ponto a reta, temos infinitas maneiras. Ora, a distância deste ponto
qualquer a um outro qualquer da reta seria

9
 H

K
G
A

F
B C

D L E
Figura 14: Quadrados BDEC, GB e HC destacados.

10