Algunas demostraciones

del Teorema de Pitgoras

Francisco Javier Garca Capitn

Introduccion
Este artculo presenta algunas de las muchas demostraciones del teorema
de Pitagoras:
El cuadrado construido sobre la hipotenusa de un triangulo rec- t
angulo es equivalente a la suma de los cuadrados descritos sobre
los otros lados.
El teorema, atribuido a Pitagoras (569-475 a.C.), o mas bien a su es- cuela,
(los pitagoricos), aparece como la Proposicion I.471. Por supuesto, la
demostracion de Euclides, con su figura del molino de vientono poda faltar
aqu.
Muchas otras demostraciones, de varias clases, pueden encontrarse en
los artculos de Yanney y Calderhead en la revista American
Mathematical Monthly ([1], [2], [3], [4]) y tambien en la paginas web de
Alexander Bogo- molny ([5]) y Eric Weisstein ([6]).
En todas las demostraciones, a menos que se especifique lo contrario,
nos referiremos a un triangulo ABC, rectangulo en C con lados AB = c, BC
= a y CA = b.
1

Con esta notacion queremos indicar la Proposicion 47 del Libro I de los Elementos de
Euclides.

1.

Demostraciones resultantes de relaciones

de semejanza entre triangulos rectangulos

De este tipo de demostraciones, la mas simple es la atribuda a Lagrange:

trazamos la perpendicular CD a AB. Obtenemos as tres triangulos semejantes.
C

y
A

b
c

c y a
a = c

c-y

yc = b2
2

=2
c2 a

+ b 2.

c(c y) = a

D
B

Una demostracion parecida consiste en trazar una perpendicular a

AB
desde A que corta a la prolongacion de BC en D.
a
= c

A
x

c
y+
a

c = a + ay

.
c 2 = a2 + b 2 .

b
a
=
y
b

b2 = ay

Hay muchsimas formas mas de usar la semejanza de triangulos para

ob- tener el teorema de Pitagoras, aunque no son tan simples como las
anteriores. Como tercer ejemplo, consideremos un punto E sobre el
cateto AC de ma- nera que si trazamos por E una paralela a BC, resulta
EC = ED. Se forman los triangulos semejantes ABC, ADE, AEF y EDF .
Sean x = ED = EC, y = DF , v = AF .
Entonces:
AC

BC

AE

DE

bx = (b x)a E x =

a
b

BC

=
DF

ax = yc y =

ED
AB
AE
AB

AC
=

=
AD

ac

AB

.
(a + b)c

cv = (b x)b v =
AF

AC

c(b x) = (v + y)b c

AE
c = a2 + b 2 .

a+
b
a2b

b3
(a +
b)c

b
a+
b

b3
c(a +
b)

a2 b

c(a + b)

Veamos una demostracion mas que usa triangulos semejantes, que Yanney
y Calderhead asignan a Hoffman.
Consiste en suponer cierto el teorema que queremos demostrar.
Entonces AB2 = AC2 + BC 2 , AC2 = AD2 + CD2 y BC 2 = BD2 + CD2 .
Por tanto,
C

AB2 =AC2 + BC 2 =
=AD2 + CD2 + BD2 + CD2
=AD2 + BD2 + 2CD2 =
=AD2 + BD2 + 2AD BD =

D
B

=(AD + BD)2.

Y como la igualdad AB = AD + BD que se deduce es cierta, tambien lo

es lo supuesto, y el teorema queda demostrado.
Evidentemente
forma
podemos
partir
de la igualdadesta
falsa
1 =de1,razonar
elevar es
al incorrecta,
cuadrado y pues
obtener
una
igualdad
cierta 1 = 1. Para demostrar el teorema de Pitagoras usando la idea de la
demostracion de Hoffman, hagamos
AB2 =(AD + BD)2 = AD2 + BD2 + 2AD BD =
AC 2
BC
=AD2 + BD2 + 2CD2 =
2 CD 2 =
CD2 + 2CD2 +
=
BC
AC 2BC2
2
CD 2

AC + 2AC BC + BC
=

AC2
2
(AC + BC 2)
2

de donde, obtenemos AB2 = AC2 + BC 2 .

AB2

2.

Demostraciones basadas en
propiedades metricas de la
circunferencia

Tomando como centro uno de los extremos de

la hipotenusa, por ejemplo B, y radio dicha hipotenusa, trazamos una circunferencia.

Prolongamos el cateto AC a la cuerda AL y el

cateto BC al diametro CD. Entonces
AC CL = DC CE
<b 2b = 2(c a)
(c +
a)2 b =2 c 2 a2
c =a +b .

C
E

La igualdad AC CL = DC CE es valida para

cualquier punto C dentro de la circunferencia en virtud de la Proposicion
III.35. Aunque la demostracion en los Elementos de esta proposicion
usa el teorema de Pitagoras (Proposicion I.47), puede demostrarse f
acilmente usando la semejanza de los triangulos ACD y ECL.
En efecto, los angulos inscritos CAD y CEL son iguales, por
abarcar el mismo arco. Igual les ocurre a los angulos ADC y ELC. Por
tanto, los
triangulos ACD y ECL son semejantes yD AC =L E C , que es lo que
C
C
hemos
usado.
Si ahora trazamos una circunferencia con centro B y
radio el lado menor BC, resulta que el lado AC es
E tangente a dicha circunferencia.
La Proposicion III.37 nos dice que AD AE = AC 2 .
B
Entonces, b2 = (c a)(c + a), es decir c2 = a2 + b2.

D
A

Podemos usar la semejanza de triangulos, en este caso

de ADC y ACE, para demostrar la igualdad AD AE = AC 2 . La clave esta

en
que el angulo inscrito AEC y el angulo semiinscrito ACD son iguales,
por
abarcar el mismo arco.

Para terminar esta seccion, veamos dos demostraciones mas que usan
la Proposicion III.37:
En primer lugar, describamos circunferencias
con diametros AC y BC. Estas circunferencias se
cortaran sobre un punto D del segmento AB.

A
D
B

AC22 =AB AB
BC =BD AB
AC 2 + BC 2 =AB (AD + BD) = AB2.

C
Para la otra demostracion dibujamos dos circunferencias, una centrada en A con radio AC
y otra centrada en B con radio BC. Tendremos
AC2 = AH AD y BC 2 = BL BE. Por tanto,
2

E
L

AC + BC = (AB BC)(AB + BC)+

+ (AB AC)(AB + AC) =
=2AB2 AC2 BC 2 ,
de donde es evidente el resultado buscado.

B
D

A
C

3.

Demostraciones basadas en la
comparacion de areas

La primera demostracion que incluimos de este tipo es la de Euclides, con

la conocida figura del molinillo:
D
J
E
H
I

Expresando las areas con parentesis, y teniendo en cuenta que si

en un triangulo dejamos fija la base y movemos el otro vertice por una
paralela a la base, el area no vara, es cierto que
(BKJE) = 2(BJ E) = 2(BEC) = 2(BAF ) = 2(BCF ) = (BCGF
).
De forma parecida obtenemos que (AKJD) = (ACIH). Por
tanto, (ABED) = (BKJE) + (AKJD) = (BCGF ) +
(ACIH),
como se pretenda demostrar.
Segun Proclo, esta demostracion es del mismo Euclides, que la conci- bio
para que este teorema pudiera estar en el Libro I y no tuviera que esperar
hasta que se desarrollaran las teoras de proporcion y semejanza de los Libros
V y VI.

Veamos alguna de las muchsimas variaciones de esta demostracion.

D
J
L
A

B
M

Una de ellas, en la que intervienen paralelogramos, hace ver

que (BKJE) = (BCLE) = (BFMA) = (BFGC).
Del mismo modo se prueba que (AKJD) = (AHIC) y sumando obtenemos
el resultado buscado.
Otra forma parecida de obtener el mismo resultado es razonar que
(BKJE) = (BONC) = (BFGC)
y obtener (AKJD) = (AHIC) de forma similar.

4.

Demostraciones por diseccion

Comencemos esta seccion con la demostracion debida al matematico arabe Thabit Ibn Qurra (826-901):

B
Esta es otra, debida a H. Perigal
A (1873):

Referencias
[1] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 3, 65-67, 110113, 169-171 y 299-300, 1896.
[2] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 4, 11-12, 7981,
168-170, 250-251 y 267-269, 1897.
[3] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 5, 73-74, 1898.
[4] Yanney, B. F. y Calderhead, J. A. New and Old Proofs of the Pythagorean Theorem.American Mathematical Monthly 6, 33-34 y 69-71,
1899.
[5] http://www.cut-the-knot.com/pythagoras/
Pagina de Alexander Bogomolny dedicada al teorema de Pitagoras y sus
muchas demostraciones.
[6] http://www.mathworld.wolfram.com/PythagoreanTheorem.html P
agina de Eric Weisstein, en la que ademas de algunas demostraciones,
puede encontrarse una extensa bibliografa.
[7] http://aleph0.clarku.edu/djoyce/java/elements/elements.html Pagina con
los Elementos de Euclides. Ademas de contener las demos- traciones
de todas las proposiciones, hay applets de Java que permiten
manipular las figuras.
[8]

www.sunsite.ubc.ca/DigitalMathArchive/Euclid/java/html/pythagoras.html