Algunas demostraciones del Teorema de Pitgoras

Francisco Javier Garca Capitn

Introducci on
Este art culo presenta algunas de las muchas demostraciones del teorema de Pit agoras: El cuadrado construido sobre la hipotenusa de un tri angulo rect angulo es equivalente a la suma de los cuadrados descritos sobre los otros lados. El teorema, atribuido a Pit agoras (569-475 a.C.), o m as bien a su es1 cuela, (los pitag oricos ), aparece como la Proposici on I.47 . Por supuesto, la demostraci on de Euclides, con su gura del molino de vientono pod a faltar aqu . Muchas otras demostraciones, de varias clases, pueden encontrarse en los art culos de Yanney y Calderhead en la revista American Mathematical Monthly ([1], [2], [3], [4]) y tambi en en la p aginas web de Alexander Bogomolny ([5]) y Eric Weisstein ([6]). En todas las demostraciones, a menos que se especique lo contrario, nos referiremos a un tri angulo ABC , rect angulo en C con lados AB = c, BC = a y CA = b.
Con esta notaci on queremos indicar la Proposici on 47 del Libro I de los Elementos de Euclides.
1

1.

Demostraciones resultantes de relaciones de semejanza entre tri angulos rect angulos

De este tipo de demostraciones, la m as simple es la atribuda a Lagrange: trazamos la perpendicular CD a AB . Obtenemos as tres tri angulos semejantes.

C b x y A D c-y B a

y b = b c cy = a

yc = b2 a c(c y ) = a2 c

c2 = a2 + b2 .

Una demostraci on parecida consiste en trazar una perpendicular a AB desde A que corta a la prolongaci on de BC en D.

A x b y D C a B c
c = y+a a b = y b a c c2 = a2 + ay 2 b = ay

c2 = a 2 + b2 .

Hay much simas formas m as de usar la semejanza de tri angulos para obtener el teorema de Pit agoras, aunque no son tan simples como las anteriores. Como tercer ejemplo, consideremos un punto E sobre el cateto AC de manera que si trazamos por E una paralela a BC , resulta EC = ED. Se forman los tri angulos semejantes ABC , ADE , AEF y EDF . Sean x = ED = EC , y = DF , v = AF . Entonces: BC ab AC = bx = (b x)a x = , AE DE a+b BC AB ac a2 b = ax = yc y = = . DF ED c (a + b)c 2

C E

AB AC b3 = cv = (b x)b v = AE AF (a + b)c b3 AB AC b2 a2 b = c(b x) = (v + y )b c = + b AD AE a+b c(a + b) c(a + b) c2 = a 2 + b2 . Veamos una demostraci on m as que usa tri angulos semejantes, que Yanney y Calderhead asignan a Homan. Consiste en suponer cierto el teorema que queremos demostrar. Entonces AB 2 = AC 2 + BC 2 , AC 2 = AD2 + CD2 y BC 2 = BD2 + CD2 . Por tanto,

AB 2 =AC 2 + BC 2 = =AD2 + CD2 + BD2 + CD2 =AD2 + BD2 + 2CD2 = =AD2 + BD2 + 2AD BD = =(AD + BD)2 .

Y como la igualdad AB = AD + BD que se deduce es cierta, tambi en lo es lo supuesto, y el teorema queda demostrado. Evidentemente esta forma de razonar es incorrecta, pues podemos partir de la igualdad falsa 1 = 1, elevar al cuadrado y obtener una igualdad cierta 1 = 1. Para demostrar el teorema de Pit agoras usando la idea de la demostraci on de Homan, hagamos AB 2 =(AD + BD)2 = AD2 + BD2 + 2AD BD = BC 2 AC 2 2 2 CD + 2 CD + CD2 = =AD2 + BD2 + 2CD2 = 2 2 BC AC 2 2 ( AC + BC 2 ) CD2 4 4 = = AC + 2 AC BC + BC , AC 2 BC 2 AB 2 de donde, obtenemos AB 2 = AC 2 + BC 2 .

2.

Demostraciones basadas en propiedades m etricas de la circunferencia

D

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 di ametro CD. Entonces AC CL = DC CE b b = (c a) (c + a) b2 = c2 a2 c2 = a 2 + b2 .

C E

La igualdad AC CL = DC CE es v alida para cualquier punto C dentro de la circunferencia en virtud de la Proposici on III.35. Aunque la demostraci on en los Elementos de esta proposici on usa el teorema de Pit agoras (Proposici on I.47), puede demostrarse f acilmente usando la semejanza de los tri angulos 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 AC tri angulos ACD y ECL son semejantes y DC = EC , que es lo que hemos LC usado. Si ahora trazamos una circunferencia con centro B y radio el lado menor BC , resulta que el lado AC es tangente E a dicha circunferencia. La Proposici on III.37 nos dice que AD AE = AC 2 . Entonces, b2 = (c a)(c + a), es decir c2 = a2 + b2 .

B D A C

Podemos usar la semejanza de tri angulos, en este caso de ADC y ACE , para demostrar la igualdad AD AE = AC 2 . La clave est a en que el angulo inscrito AEC y el angulo semiinscrito ACD son iguales, por abarcar el mismo arco.

Para terminar esta secci on, veamos dos demostraciones m as que usan la Proposici on III.37:

A D

En primer lugar, describamos circunferencias con di ametros AC y BC . Estas circunferencias se cortar an sobre un punto D del segmento AB . AC 2 =AB AB BC 2 =BD AB AC 2 + BC 2 =AB (AD + BD) = AB 2 .

Para la otra demostraci on dibujamos dos circunferencias, una centrada en A con radio AC y otra centrada en B con radio BC . Tendremos AC 2 = AH AD y BC 2 = BL BE . Por tanto, AC 2 + BC 2 = (AB BC )(AB + BC )+ + (AB AC )(AB + AC ) = =2AB 2 AC 2 BC 2 , de donde es evidente el resultado buscado.

E H L B D A C

3.

Demostraciones basadas en la comparaci on de areas

La primera demostraci on que incluimos de este tipo es la de Euclides, con la conocida gura del molinillo:

D J E H A K

Expresando las areas con par entesis, y teniendo en cuenta que si en un tri angulo dejamos ja la base y movemos el otro v ertice por una paralela a la base, el area no var a, es cierto que (BKJE ) = 2(BJE ) = 2(BEC ) = 2(BAF ) = 2(BCF ) = (BCGF ). De forma parecida obtenemos que (AKJD) = (ACIH ). Por tanto, (ABED) = (BKJE ) + (AKJD) = (BCGF ) + (ACIH ), como se pretend a demostrar. Seg un Proclo, esta demostraci on es del mismo Euclides, que la concibi o para que este teorema pudiera estar en el Libro I y no tuviera que esperar hasta que se desarrollaran las teor as de proporci on y semejanza de los Libros V y VI. 6

Veamos alguna de las much simas variaciones de esta demostraci on.

D J L H A K C B M E

Una de ellas, en la que intervienen paralelogramos, hace ver que (BKJE ) = (BCLE ) = (BF M A) = (BF GC ). 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 ) = (BON C ) = (BF GC ) y obtener (AKJD) = (AHIC ) de forma similar.

4.

Demostraciones por disecci on

Comencemos esta secci on con la demostraci on debida al matem atico arabe Thabit Ibn Qurra (826-901):

B A A B

Esta es otra, debida a H. Perigal (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, 79-81, 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/ P agina de Alexander Bogomolny dedicada al teorema de Pit agoras y sus muchas demostraciones. [6] http://www.mathworld.wolfram.com/PythagoreanTheorem.html P agina de Eric Weisstein, en la que adem as de algunas demostraciones, puede encontrarse una extensa bibliograf a. [7] http://aleph0.clarku.edu/djoyce/java/elements/elements.html P agina con los Elementos de Euclides. Adem as de contener las demostraciones de todas las proposiciones, hay applets de Java que permiten manipular las guras. [8] www.sunsite.ubc.ca/DigitalMathArchive/Euclid/java/html/pythagoras.html