EL TEOREMA LLAMADO DE PITGORAS. UNA HISTORIA GEOMTRICA DE 4.

000 AOS
Pedro Miguel Gonzlez Urbaneja (*)
"La universalidad del Teorema de Pitgoras y la invencin de la demostracin geomtrica son las hadas que vemos en torno a la cuna de la Geometra griega y del milagro griego en Matemticas". A. REY. El apogeo de la ciencia tcnica griega (UTEHA, Mxico, 1962. Vol.1. p.13). "Este teorema con la multitud de demostraciones del mismo ilustra de forma sorprendente el hecho de que hay muchas formas de alcanzar la misma verdad". E.S. LOOMIS. The Pythagorean Proposition. (NCTM, 1968. p.3). "El Teorema de Pitgoras es un activo cultural de primer orden que pertenece a la base intelectual comn de la humanidad. [...] Es con razn un smbolo de todas las Matemticas". B. ARTMANN. EuclidThe Creation of Mathematics. (Springer. New York, 1996. p.57). "El Teorema de Pitgoras ha tenido ocupados a los matemticos desde la poca clsica hasta el presente". W. DUNHAM. El Universo de las Matemticas. (Pirmide, 1995. Cap.H. p.136).

1. EL TEOREMA LLAMADO DE PITGORAS

El Teorema de Pitgoras es la relacin matemtica que ocupa el primer lugar en el recuerdo de los tiempos escolares. Es, sin duda alguna, la ms importante, conocida, til y popular en casi todas las civilizaciones; la que ms nombres, atencin, curiosidad y pruebas ha recibido a lo largo de los siglos. Es un teorema que ha causado una gran admiracin a todo tipo de personas matemticos y no matemticos, pero tambin una gran extraeza y perplejidad a otras Leonardo, Hobbes, Schopenhauer, Einstein, porque, a diferencia de otros teoremas, aparentemente no existe ninguna razn intuitiva para que los cuadrados construidos sobre los lados de un tringulo rectngulo la hipotenusa y los catetos deban tener un vnculo tan estrecho entre s. La verosimilitud del Teorema de Pitgoras no depende de un dibujo bien ilustrado sino que obedece por completo a un ejercicio intelectual puro alejado de lo sensorial la deduccin lgica Por eso, para muchos historiadores de la ciencia, el Teorema de Pitgoras tiene un valor simblico inicitico como elemento cultural responsable de la aparicin de la Geometra racional en la Escuela Pitagrica y por tanto forma parte ineludible de la semilla bsica de la propia naturaleza de la Matemtica desde su origen como ciencia especulativa y deductiva en los albores de la civilizacin helnica.

(*) Catedrtico de Matemticas del IES Sant Josep de Calassan. Barcelona.

Noviembre 2008 2008ko Azaroa

103

SIGMA 32

Pedro Miguel Gonzlez Urbaneja

La emergencia de este teorema en el horizonte histrico cultural, pero tambin en el horizonte escolar, seala el primer salto intelectual entre los confines de la especulacin emprica e inductiva y los dominios del razonamiento deductivo. En efecto, el Teorema de Pitgoras pudo estar en el origen de la demostracin que caracteriza a la Matemtica con respecto a las dems ciencias ya que la prueba pitagrica del Teorema de Pitgoras tal vez haya sido la primera demostracin verdaderamente matemtica de la Historia. Y tambin el Teorema de Pitgoras est situado en el umbral que inicia la prctica deductiva en el desarrollo de la Matemtica escolar elemental. El Teorema de Pitgoras aparece por doquier en la Matemtica. Es la base de multitud de teoremas geomtricos, de los estudios sobre polgonos y poliedros, de la Geometra Analtica y de la Trigonometra la frmula cos2a + sen2a = 1 es un caso particular del Teorema de Pitgoras y el Teorema del coseno es una generalizacin del mismo. La relacin pitagrica x2 + y2 = z2 es la ecuacin de la circunferencia y la raz histrica del Anlisis indeterminado de Diofanto y Fermat. El Teorema de Pitgoras tambin pudo ser el germen de la dramtica aparicin pitagrica de la inconmensurabilidad de gran trascendencia en la estructuracin y sistematizacin platnico-eucldea de la Geometra griega. Pasaremos revista a los saberes geomtricos vinculados al llamado Teorema de Pitgoras que desarrollaron las civilizaciones orientales prehelnicas Babilonia, Egipto, India y China para entrar despus en el mundo griego a travs de Pitgoras y cruzarlo con Platn y Euclides, cuyas paradigmticas demostraciones revisten una singular importancia histrica. Se estudian, adems, otras pruebas de los ms diversos personajes, que por su riqueza conceptual merecen ser destacadas como autnticas joyas de sabidura geomtrica. Al ser la fuente de casi todas las relaciones mtricas de la Geometra, El Teorema de Pitgoras como principal tesoro de la tradicin pitagrica tiene un valor prctico, terico y didctico inconmensurable. Como paradigma de la Matemtica y de la Educacin matemtica, el ms fascinante y clebre teorema geomtrico pertenece al imaginario cultural de casi todos los pueblos.

2. EL TEOREMA DE PITGORAS EN LAS CIVILIZACIONES PREHELNICAS

Una tradicin muy persistente, que toma como base documental a Plutarco, Vitrubio, Ateneo, Digenes Laercio y Proclo, atribuye el Teorema de Pitgoras al propio Pitgoras. Pero el examen arqueolgico realizado en el pasado siglo de las tablillas de arcilla encontradas en Mesopotamia, pertenecientes a las civilizaciones que se desarrollaron entre los ros Tigris y ufrates en el segundo milenio antes de J.C., ha revelado que los antiguos babilonios conocan aspectos del Teorema, ms de mil aos antes que el propio Pitgoras. Algo similar se puede afirmar respecto de las culturas que aparecieron a lo largo del ro Nilo, as como de la antigua civilizacin hind y de las antiguas culturas chinas que surgieron en las cuencas de los ros Yangtze y Amarillo. Pero parece ser que no lo conocan ni las grandes civilizaciones precolombinas de Amrica ni tampoco las del continente africano, exceptuando la egipcia. Las referencias prehelnicas al Teorema no contienen, sin embargo, pruebas del mismo, mientras que es generalizada la creencia de que fue Pitgoras el primero en proporcionarnos una demostracin lgica del Teorema, lo que har justo que ste haya pasado a la historia con su nombre. El anlisis histrico de la relacin entre los lados de un tringulo rectngulo se puede dividir en tres estadios de desarrollo matemtico. En el estadio inicial, puramente aritmtico y emprico prctico, se obtienen resultados numricos concretos para los lados del tringulo.

104

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

En el estadio siguiente, aritmtico geomtrico, se obtienen leyes generales de formacin de los lados. Finalmente se penetra en la profundidad del pensamiento matemtico investigando las demostraciones de los resultados generales de los estadios precedentes. Las dos primeras etapas corresponden a las civilizaciones orientales aludidas, mientras que a la tercera etapa slo contribuyeron los griegos, particularmente Pitgoras y Euclides.

2.1. El Teorema de Pitgoras en Babilonia

La Arqueologa ha recuperado cerca de medio milln de tablillas de arcilla con textos cuneiformes, de las cuales casi trescientas tienen contenido matemtico. Entre ellas sobresalen la tablilla YALE o YBC 7289, conservada en la Universidad de Yale y la PLIMPTON 322 en la Universidad de Columbia.

La tablilla YALE (Y BC 7289) de 1600 a.C. Universidad de Yale. De acuerdo con la interpretacin de los nmeros sexagesimales inscritos en la tablilla, este documento mesopotmico estara relacionado con el Teorema de Pitgoras

En la tablilla YALE figura un cuadrado con los tringulos rectngulos resultantes de trazar las diagonales y varios nmeros en caracteres cuneiformes escritos en el sistema de numeracin sexagesimal babilnico, basado en las potencias de 60. La relacin con el Teorema de Pitgoras se observa al traducir estos nmeros a nuestro sistema decimal. En la diagonal horizontal aparece un nmero que al transcribirlo en caracteres modernos se expresara en la forma: 1; 24, 51,10, donde el punto y como representa la separacin entre la parte entera y la fraccionaria como nuestra coma (,) o nuestro punto decimal (.) y las comas se utilizan para separar las sucesivas posiciones sexagesimales. Es decir, que para pasar a nuestro sistema decimal se hara: 1; 24, 51, 10 = , 1,414213 2 .

Es realmente sorprendente que resulta el valor de 2 con una aproximacin bastante superior a la que obtendran los griegos muy posteriormente. En la parte superior de la tablilla YALE aparece el nmero 30; mientras que en la parte inferior aparece 42;25,35, que pasados a decimales resultan ser los nmeros 30 y 42,426389, respectivamente. Dado que la diagonal de un cuadrado se obtiene aplicando el Teorema de Pitgoras multiplicando el lado por 2 , y se comprueba que: 42; 25, 35 30 (1; 24, 51, 10), es decir: 42,426389 30 1,41421, las relaciones aritmticas entre los nmeros que aparecen en la tablilla YALE resultan ser un caso particular de una implcita aplicacin primitiva y emprica del Teorema de Pitgoras.

Noviembre 2008 2008ko Azaroa

105

Pedro Miguel Gonzlez Urbaneja

La tablilla PLIMPTON es el documento matemtico ms importante de Babilonia. Est fechada entre 1900 y 1600 antes de J.C. y ha sido descrita por varios historiadores, siendo muy significativa la interpretacin que dieron en 1945 Neugebauer y Sachs en su libro Mathematical Cuneiform Texts. La tablilla PLIMPTON parece un simple registro de cuentas de operaciones comerciales, pero los intrpretes han querido ver una descripcin emprica de nmeros pitagricos e incluso de primitivas tablas trigonomtricas.
119 3367 4601 12709 65 319 2291 799 481 4961 45 1679 161 1771 56 La tablilla PLIMPTON. 322 1900-1600 a.C.? Universidad de Columbia 169 4825 6649 18541 97 481 3541 1249 769 8161 75 2929 289 3229 106 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

La tablilla consta de cuatro columnas de nmeros distribuidos en 15 filas horizontales. En la primera tabla se reproducen las tres ltimas columnas en nuestro sistema decimal, habindose corregido algunos errores aritmticos segn las orientaciones A de Neugebauer. La columna del extremo derecho contiene los nmeros del 1 al 15 y representa meramente el nmero c de orden de cada lnea de nmeros. La parte de la tablilla que b se conserva est algo daada, de forma que no permite leer algunos nmeros, sobre todo en la primera columna, pero a B una vez descubierta la ley de formacin de la tabla, ha sido C posible reconstruir los nmeros que faltaban. Las columnas segunda y tercera representan el cateto menor b y la hipotenusa c de tringulos rectngulos de lados enteros, o la altura b y la diagonal c de un rectngulo. De las diversas investigaciones parece deducirse que los escribas que construyeron la tablilla comenzaron por tomar dos enteros sexagesimales regulares enteros cuyos nicos divisores primos son 2, 3 y 5, es decir, los divisores primos de 60, u, v, con u>v, y formar con ellos la terna de nmeros: a = 2uv, b = u2 v2, c = u2 + v2, que como se comprueba fcilmente forman una terna pitagrica, es decir: a2 + b2 = c2. As se obtendra la segunda tabla que contiene valores de a,b,c, que corresponden a valores de v menores que 60 y a valores de u tales que 1<u/v<1+ , es decir, a tringulos rectngulos con catetos b,a, con b<a. Por ejemplo, los nmeros que aparecen en la primera fila de la tabla se obtienen a partir de u = 12, v = 5, a los que corresponden los valores a = 120, b = 119, c = 169, siendo los valores de b y c los que aparecen en segundo y tercer lugar, respectivamente, en la primera fila de la tablilla PLIMPTON.

106

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

u 12 64 75 125 9 20 54 32 25 81 2 48 15 50 9

v 5 27 32 54 4 9 25 15 12 40 1 25 8 27 5

a 120 3456 4800 13500 72 360 2700 960 600 6480 60 2400 240 2700 90

b 119 3367 4601 12709 65 319 2291 799 481 4961 45 1679 161 1771 56

c 169 4825 6649 18541 97 481 3541 1249 769 8161 75 2929 289 3229 106

La tablilla contiene 15 de las 38 ternas pitagricas que existen en las condiciones definidas y estn ordenadas de forma decreciente de la razn c/a, lo cual ha permitido conjeturar que la primera columna de la tablilla sera una tabla de valores de los cuadrados de la secante del ngulo B o una tabla de valores de los cuadrados de la tangente del ngulo B. Al ser 1 + tg2B = sec2B y comenzar todos los nmeros de la columna inicial por el dgito 1, al estar la tablilla parcialmente deteriorada por la izquierda, no es posible determinar cual de las dos hiptesis, la de la secante o la de la tangente, es la cierta.

2.2. El Teorema de Pitgoras en Egipto

Los famosos papiros de Rhind y de Mosc, a pesar de su alto valor matemtico, no mencionan el Teorema de Pitgoras ni las ternas pitagricas. No obstante, los egipcios conocan y utilizaban el hecho de que el tringulo de lados 3, 4 y 5 (+o proporcionales a estos nmeros), llamado "Tringulo egipcio", es rectngulo, para trazar una lnea perpendicular a otra, a modo de "escuadra de carpintero", que era una prctica habitual de los agrimensores oficiales para recuperar las fronteras de los lindes de las tierras tras los peridicos corrimientos de tierras producidos por las crecidas del ro Nilo.
a 3 6 9 b 4 8 12 16 20 c 5 10 15 20 25 En el antiguo Egipto el Tringulo egipcio, era llamado tambin Tringulo de Isis y tena un cierto carcter sagrado, porque el nmero tres representaba a Osiris, el cuatro a Isis y el cinco a Horus. As lo relata Plutarco en Sobre Isis y Osiris, VIII,4:

a b

12 15

"Los egipcios se imaginaban el mundo la forma del mas bello de los tringulos. Este tringulo, smbolo de la fecundidad, tiene su lado vertical compuesto de tres, la base de cuatro y la hipotenusa de cinco partes. El lado vertical simbolizaba al macho, la base a la hembra, y la hipotenusa a la primogenitura de los dos".

Noviembre 2008 2008ko Azaroa

107

Pedro Miguel Gonzlez Urbaneja

Todas las pirmides de Egipto, excepto la de Keops, incorporan, de alguna manera, este tringulo rectngulo en su construccin, el cual aade a su sencillez que permite una comprobacin visual instantnea del Teorema el hecho de ser el nico cuyos lados son enteros consecutivos, teniendo los obtenidos por proporcionalidad los lados en progresin aritmtica. La mencin explcita de la relacin pitagrica aparece en Egipto, en un papiro de la XII dinasta hacia el 2000 a.C. encontrado en Kahun, en cuatro casos numricos concretos proporcionales a los del Tringulo egipcio: 12 + (3/4)2 = (1)2, 82 + 62 = 102, 22 + (1)2 = (2)2, 162 + 122 = 202.

Los agrimensores egipcios utilizaban el tringulo rectngulo de lados 3, 4 y 5, llamado Tringulo egipcio a modo de escuadra para trazar lneas perpendiculares. As naci la profesin de arpedonapta palabra griega traduccin de otra egipcia que significa tendedor de cuerda. Fue precisamente este hecho lo que indujo al gran historiador Herodoto a escribir: " [...] A partir de esta prctica, es como se lleg al conocimiento de la Geometra en Egipto en primer lugar, de donde ms tarde pas a Grecia"

2.3 El Teorema de Pitgoras en la India

Como resultado de la planificacin de templos y de la construccin de altares, entre los siglos octavo y segundo a.C., en la India se desarrollan conocimientos aritmtico-geomtricos, prcticos y primitivos, relacionados con el Teorema de Pitgoras. Todo este venerable saber adopt la forma de un cuerpo de doctrina conocido por el nombre de "Sulvasutras" o "Manual de las reglas de la cuerda". Sulva es un trmino que se refiere a las cuerdas utilizadas para realizar mediciones, pues la India tuvo tambin, como Egipto, los "tensadores de la cuerda", mientras que el trmino sutra hace referencia a un libro de reglas o aforismos relativos a un determinado ritual o a una ciencia. As pues, los Sulvasutras hindes eran una especie de manuales donde se detallaban prescripciones para la construccin ritual de altares de forma y tamao determinados. Los Sulvasutras ms interesantes son los de Baudhayana y Apastamba que pueden remontarse al siglo V a.C. En ellos se describe el uso de la cuerda no slo para medir, sino tambin para el trazado de lneas perpendiculares, por medio de ternas de cuerdas cuyas longitudes constituyen ternas pitagricas tales como 3,4,5; 5,12,13; 8,15,17; 7,24,25. Aunque para este fin

108

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

se utilizaba sobre todo el tringulo de lados 15, 36 y 39 derivado del tringulo de lados 5, 12 y 13, llamado el "Tringulo indio" de forma similar al Tringulo egipcio (3,4,5). Las ternas pitagricas de los hindes son clasificadas en la forma siguiente:
c-b=1 a 3 5 7 b 4 12 24 c 5 13 25 Ternas pitagricas de los hindes a 8 12 c-b=2 b 15 35 c 17 37 a 15 c-b=3 b 36 c 39

A b C a c

Resulta difcil valorar la originalidad de los conocimientos sobre el Teorema de Pitgoras en la India. El hecho cierto de que todas las ternas pitagricas que aparecen en los Sulvasutras se puedan derivar fcilmente de la vieja regla babilnica para construirlas, permite asegurar la influencia mesopotmica sobre el saber hind acerca del tema.

Trazas de los altares trapezoidales del Sulvasutra de Apastamba (siglo V a.C.) con indicacin de las ternas pitagricas utilizadas en la construccin ritual

2.4 El Teorema de Pitgoras en China

Hay dos tratados clsicos chinos de contenido matemtico donde se relacionan aspectos geomtricos vinculados al Teorema de Pitgoras, son el Chou Pei Suan Ching (300 a.C.) y el Chui Chang Suang Shu (250 a.C.). Su contenido fue sustancialmente ampliado y desarrollado por dos comentaristas del siglo III d.C., Zho Shuang y Liu Hui. Los tratados originales tratan los aspectos primitivos del Teorema, es decir, los resultados numricos concretos, as como las leyes generales de formacin de las ternas pitagricas, mientras que los aspectos ms evolucionados de la demostracin son elaborados por Zhao y Liu.

El Diagrama de la hipotenusa del tratado Chino Chou-Pei Suan-Ching (300 a.C.)

Noviembre 2008 2008ko Azaroa

109

Pedro Miguel Gonzlez Urbaneja

En el Chou-Pei aparece una figura llamada "Diagrama de la hipotenusa". La porcin inferior de este diagrama, el hexgono AHGFEB, se compone de dos cuadrados AHCB y CEFG que tienen por lados, los catetos del tringulo rectngulo. Esta rea es equivalente al cuadrado ADFK sobre la hipotenusa del tringulo, de donde resulta el Teorema. Esta elegante prueba del Teorema de Pitgoras es dada implcitamente por Zhao. En el Chou-Pei original con un lenguaje muy retrico se describe la figura, en trminos estrictamente numricos, diciendo: "En cada semirectngulo de anchura 3 y longitud 4, la diagonal debe valer 5, y si se resta del cuadrado total de rea 49 los cuatro semirectngulos exteriores, que suman rea 24, el resto es un cuadrado de rea 25". El Chui-Suang contiene 246 problemas de los cuales los 24 se refieren a tringulos rectngulos. Todas las soluciones a los problemas se basan de una u otra forma en el Teorema de Pitgoras. El ms famoso es el problema del bamb roto: "Hay un bamb de diez pies de altura, que se ha roto de tal manera que su extremo superior se apoya en el suelo a una distancia de tres pies de la base. Se pide calcular a qu altura se ha producido la rotura". Este problema combina el Teorema de Pitgoras con la resolucin de ecuaciones cuadrticas, ya que la solucin exige resolver la ecuacin: x2 + 32 = (10x)2.
u 3 5 5 7 7 v 1 1 3 1 3 a 3 5 15 7 21 b 4 12 8 24 20 c 5 13 17 25 29

A b C a c

En otros muchos problemas chinos se aplica proporcionalidad a partir de la consideracin de ternas de nmeros, llamadas ternas pitagricas de los chinos

3. EL TEOREMA DE PITGORAS EN EL MUNDO GRIEGO

3.1 Las demostraciones de Pitgoras
Ha habido muchas conjeturas en torno a la naturaleza de las presuntas pruebas de Pitgoras del Teorema asociado con su nombre. La tradicin establece que Pitgoras habra dado una prueba emprica del tipo diseccin con base en las figuras siguientes:

110

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

Muchos historiadores admiten que la demostracin de Pitgoras se basara en su propia Teora de las Proporciones imperfecta por aplicarse slo a cantidades conmensurables, de modo que la prueba de Pitgoras podra haber sido alguna de las dos siguientes: Sea ABC un tringulo rectngulo, con el ngulo recto en A, y sea AD perpendicular al lado BC. Segn la Proposicin VI.8 de Los Elementos de Euclides, los tringulos DBA y DAC son ambos semejantes con el tringulo ABC y, por tanto, semejantes entre s. Prueba 1. De la semejanza de los tringulos ABC, DBA y DAC resulta: BA/BD = BC/BA, AC/CD = BC/AC (Elementos, VI.4).

De aqu se obtienen las expresiones del llamado "Teorema del cateto": BA2 = BDBC, AC2 = CDBC, de donde al sumar las dos expresiones, se obtiene: BA + AC = (BD+CD)BC = BCBC = BC, es decir: BA2 + AC2 = BC2. En esta demostracin del Teorema de Pitgoras basada en el Teorema del cateto, se descompone, de forma implcita, el cuadrado sobre la hipotenusa, BCIK, en dos rectngulos, BDJK y DCIJ, cada uno de ellos con el mismo rea que cada uno de los cuadrados construidos sobre los catetos el rectngulo BDJK de rea como el cuadrado ABEF sobre el cateto AB ya que BA2 = BDBK, y el rectngulo DCIJ de rea como el cuadrado ACHG sobre el cateto AC ya que AC2 = CDCI. Debemos observar que la figura exhibida forma parte de la construccin geomtrica que utiliza Euclides en su demostracin del Teorema de Pitgoras en la Proposicin I.47 de Los Elementos, y adems, puntualizar que variantes de esta prueba se encuentran en el hind Bhaskara, en Leonardo de Pisa (Fibonacci) y en Wallis. Prueba 2. De la semejanza de los tringulos ABC, DBA y DAC resulta, segn Elementos, VI.19 ("la razn entre las reas de los tringulos semejantes es igual al cuadrado de la razn de semejanza"): DBA/AB = DAC/AC = ABC/BC. Pero de las propiedades de la suma de proporciones (Elementos, 5.12) resulta: ABC/BC = DBA/AB2 = DAC/AC2 = (DBA+DAC)/(AB2+AC2) = ABC/(AB2+AC2), por tanto se tiene: AB2 + AC2 = BC2. Como vemos, estas pruebas del Teorema de Pitgoras mantienen su plena vigencia en los libros de texto de matemticas escolares elementales.

Noviembre 2008 2008ko Azaroa

111

Pedro Miguel Gonzlez Urbaneja

Los pitagricos buscaron vidamente el camino para obtener ternas de nmeros a,b,c, cumpliendo a2 + b2 = c2, encontrando una ley de formacin que se puede expresar en la forma: en las "Ternas pitagricas de Pitgoras" la hipotenusa y el cateto mayor se diferencian en una unidad. Adems, para m = 3 resulta el "Tringulo egipcio", mientras que para m = 5 resulta el origen del "Tringulo indio".
m 3 5 7 9 11 13 a 3 5 7 9 11 13 b 4 12 24 40 60 84 c 5 13 25 41 61 85

A b C a c

Ternas pitagricas de Pitgoras Pitgoras con los atributos de matemtico: el Tringulo Rectngulo, el Dodecaedro, la Tetractys, el Pen-tagrama Mstico y la Msica. Ilustracin de Pedro Lario, 09/2000. Segn relatos de diversos escritores Plutarco, Vitrubio, Ateneo, Digenes Laercio, Proclo y otros, Pitgoras calibr el alcance de la demostracin del teorema al que la historia bautizara con su nombre y entusiasmado por el hallazgo orden una hecatombe el sacrificio de cien bueyes a los dioses como muestra de alegra y gratitud. Pero segn Los Versos Dorados, sntesis de las doctrinas pitagrica, la metempsicosis o trasmigracin de las almas era una de las creencias ms arraigadas en la comunidad pitagrica, que exiga un escrupuloso respeto a la vida animal, lo que obligaba a abstenerse de comer carne y hacer sacrificios. Por tanto las ancdotas sobre presuntos sacrificios pitagricos deben de ser apcrifas, pero han contribuido a magnificar el halo legendario, casi hagiogrfico, que envuelve al personaje de Pitgoras, y, adems, determinaron que en la Edad Media al Teorema de Pitgoras se le llamara Inventum hecatombe dignum.

3.2 El Teorema de Pitgoras en la Academia de Platn

El Teorema de Pitgoras en el caso particular del tringulo rectngulo issceles aparece en el dilogo El Menn (82d83e) de Platn a propsito del problema de la "duplicacin del cuadrado" que es la antesala del famoso problema dlico de la "duplicacin del cubo".

112

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

Curiosamente Platn utiliza el problema para sustentar la doctrina de la reminiscencia y la inmortalidad. Scrates y un esclavo mantienen una conversacin, en la que mediante una concatenacin de preguntas de aqul, entrelazadas heursticamente con las respuestas de ste, se resuelve el problema. Las primeras respuestas del esclavo son de ndole aritmtica, pero "resultando la imaginacin aritmtica inexacta", Scrates reconducir el dilogo, induciendo un tratamiento exclusivamente geomtrico. En la bsqueda de ternas pitagricas, Platn encontr una ley de formacin que se puede expresar en la forma:
m 2 3 4 5 6 a 4 6 8 10 12 b 3 8 15 24 35 c 5 10 17 26 37

A b C a c

Ternas pitagricas de Platn

En las "Ternas pitagricas de Platn" la hipotenusa y uno de los catetos se diferencian en dos unidades.

Platn dando una leccin de Geometra a sus discpulos en La Academia de Atenas (Mosaico procedente de Pompeya. Mansin de Siminio Estfano, siglo I a.C. Museo Arqueolgico, Npoles). Entre la historia y la leyenda, se relata que en el frontispicio de la entrada de la Academia de Platn haba una inscripcin que rezaba: "No entre nadie ignorante en Geometra".

Noviembre 2008 2008ko Azaroa

113

Pedro Miguel Gonzlez Urbaneja

3.3 El Teorema de Pitgoras en la Proposicin I.47 de Los Elementos de Euclides

El primer Libro I de Los Elementos de Euclides termina con el teorema ms importante de la Geometra elemental: El Teorema de Pitgoras y su recproco (las Proposiciones I.47 y I.48), donde alcanza una verdadera apoteosis geomtrica la forma magistral y sumamente bella con que el maestro alejandrino realiza la proeza de demostrar el legendario teorema, con una lgica impecable, una inusitada elegancia y una modesta economa de elementos geomtricos construidos de forma muy cuidadosa en las proposiciones anteriores. Euclides enuncia el Teorema de Pitgoras en la forma siguiente (Euclides: Elementos. traduccin y notas de M.L.Puertas. Gredos. Madrid, 1996. Libro I, p.260, Proposicin I.47): "En los tringulos rectngulos el cuadrado del lado que subtiende el ngulo recto es equivalente a los cuadrados de los lados que comprenden el ngulo recto". Al no poder utilizar las proporciones en forma pitagrica por la presencia de las magnitudes inconmensurables que suponen la aplicacin de la semejanza que no aparecer en Los Elementos hasta el Libro VI, Euclides agudiza el ingenio y obtiene el magnfico resultado aplicando para su demostracin elementos muy simples de Geometra elemental, estudiados previamente. Entre ellos: La construccin de cuadrados sobre segmentos (I.46). ngulos adyacentes que suman dos rectos (I.14). El primer teorema de congruencia de tringulos (I.4). La relacin entre tringulos y paralelogramos que tienen la misma base y situados entre las mismas paralelas (I.36, I.41). "Los paralelogramos que tienen la misma base y estn situados entre las mismas paralelas tiene el mismo rea" (Elementos, I.36). "Si un paralelogramo tiene la misma base que un tringulo y estn situados entre las mismas paralelas el rea del paralelogramo es doble de la del tringulo" (Elementos, I.41). Parece que Euclides est ansioso de situar el Teorema de Pitgoras en Los Elementos lo ms pronto posible, de la manera ms rpida y directa, ante la perentoria necesidad de utilizarlo ulteriormente con asiduidad; pero ante la imposibilidad de aplicar de forma tan temprana la Teora de la Proporcin de Eudoxo que ser desarrollada en los Libros V y VI de Los Elementos, con base en las proposiciones descritas (I.36, I.41), realiza con inefable esttica y sublime sutileza, la siguiente demostracin: Los tringulos DCB y ABI son iguales ya que AB=BD, BI=BC y el ngulo B del tringulo DCB es igual al ngulo B del tringulo ABI.

114

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

El rea del cuadrado ABDE es doble del rea del tringulo DCB ya que tienen la misma base y estn situados entre las mismas paralelas. El rea del rectngulo BIKJ es doble del rea del tringulo ABI ya que tienen la misma base y estn situados entre las mismas paralelas. Combinando los tres resultados anteriores, resulta que el rea del rectngulo BIKJ es igual al rea del cuadrado ABDE. Razonando de forma anloga se demuestra que el rea del rectngulo CHKJ es igual al rea del cuadrado ACGF. Luego, ya que el rea del cuadrado BIHC es igual a la suma de las reas de los rectngulos BIKJ y CHKJ, definitivamente, el rea del cuadrado cuyo lado subtiende el ngulo recto, BIHC, es igual a la suma de las reas de los cuadrados, ABDE y ACG, cuyos lados comprenden el ngulo recto. La demostracin eucldea del Teorema de Pitgoras es de naturaleza estrictamente geomtrica. En ella juega un papel fundamental una figura que procede de una secuencia de construcciones que, mediante ciertas congruencias de tringulos, va transformando los cuadrados sobre los catetos en dos rectngulos que al encajarse componen el cuadrado sobre la hipotenusa. La figura eucldea se ha hecho famosa por las curiosas calificaciones que se le han dado. Los rabes le llamaban "silla de la novia" porque se parece a la silla que en algunos pases orientales llevaba un esclavo a la espalda para transportar a la novia hasta la ceremonia. Tambin se ha llamado "calesa de la mujer recin casada" (Bhaskara), "capucha de franciscano", "cola de pavo real", "figura del molino de viento". El filsofo Schopenhauer, muy impresionado por el hecho geomtrico del teorema, siempre se pregunt por la razn natural de la relacin pitagrica y llamaba a la demostracin de Euclides "una prueba paseando en zancos" y tambin "prueba de la ratonera". ILUSTRACIONES HISTRICAS DEL TEOREMA DE PITGORAS EN EUCLIDES

Fragmentos de la Proposicin I.47 de Los Elementos de Euclides en versiones histricas. 1: Manuscrito griego (siglo XII, Biblioteca Nacional de Pars). 2: Manuscrito chino (siglo XVII). 3: Manuscrito francs (siglo XV). 4: Manuscrito latino de fecha incierta. 5: Pgina de un Comentario rabe de 1250 sobre Euclides. Los Elementos de Euclides como Biblia platnica de la Matemtica y tesoro geomtrico de la humanidad es el ncleo central de la Matemtica elemental, el principal vehculo de transmisin del saber matemtico a lo largo de la historia de la ciencia y de la educacin y la fuente secular de la Matemtica escolar bsica. Es tambin el libro cientfico ms traducido y divulgado en toda la historia de la cultura, el texto que ms veces se ha editado (despus de La Biblia) y la obra ms influyente de toda la literatura matemtica.

Noviembre 2008 2008ko Azaroa

115

Pedro Miguel Gonzlez Urbaneja

3.4 El recproco del Teorema de Pitgoras en Los Elementos de Euclides

La Proposicin I.47 marca la cumbre del Libro I de Los Elementos, pero el ingenio de Euclides va todava ms all demostrando el resultado inverso del Teorema de Pitgoras, en la Proposicin I.48, con una economa de recursos geomtricos sorprendente (Euclides: Elementos. Gredos. Madrid, 1996. Libro I, p.263): "Si en un tringulo el cuadrado construido sobre uno de los lados es igual a los cuadrados construidos sobre los restantes lados del tringulo, el ngulo comprendido por esos lados restantes del tringulo es recto". En la demostracin Euclides traza un segmento AD=AB y perpendicular a AC. De la hiptesis: AB2 + AC2 = BC2, y al ser rectngulo el tringulo ADC, resulta: AD2 + AC2 = DC2 (I.47, Teorema de Pitgoras). Pero como AB = AD, ser: BC2 = AB2 + AC2 = AD2 + AC2 = DC2, por tanto BC = DC; de manera que los tringulos DAC y CAB son congruentes, ya que al ser el lado AC comn, los dos tringulos tienen los tres lados iguales. Por tanto el ngulo CAB que es igual al CAD (Elementos, I.8), debe ser recto.

El Teorema de Pitgoras y su inverso Proposiciones I.47 y I.48 de Los Elementos de Euclides en la edicin de Rodrigo amorano, primera en idioma castellano, Sevilla, 1576. Por desgracia la sencilla demostracin de la Proposicin I.48 se ignora en los libros de texto aunque es utilizada implcitamente tanto como el propio Teorema de Pitgoras y ello desde los antiguos agrimensores egipcios. De hecho, es curioso que mientras cualquier persona se enfrenta al Teorema de Pitgoras en su etapa escolar, muy pocas personas conocen la demostracin del teorema inverso, aunque estn seguros de su legitimidad y de hecho lo aplican cuando es necesario. Las dos proposiciones, I.47 y I.48 constituyen una unidad secuencial con la que se alcanza un brillante clmax geomtrico en el colofn del Libro I de Los Elementos, ya que tomadas en conjunto caracterizan por completo los tringulos rectngulos, es decir: Un tringulo es rectngulo si y slo si el cuadrado sobre la hipotenusa es igual a la suma de los cuadrados sobre los catetos.

116

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

4. LAS MS FAMOSAS DEMOSTRACIONES DEL TEOREMA DE PITGORAS

Quiz ningn teorema de la extensa Matemtica haya recibido tantas demostraciones diversas como el Teorema de Pitgoras. Bien puede decirse, por ello, que este teorema y la multitud de demostraciones del mismo que se han dado a lo largo de la historia constituyen una prueba fehaciente de que hay muchos caminos para alcanzar la verdad. En la Edad Media esta proposicin se la consideraba la base de toda slida formacin matemtica. En algunos centros docentes adems de exigir, para obtener el grado de maestro, un profundo conocimiento del Teorema, se obligaba a exhibir una nueva y original demostracin del mismo, por eso el Teorema de Pitgoras alcanz la honrosa designacin de "Magister matheseos". Este hecho y la gran significacin del teorema explica la razn de las innumerables demostraciones que los matemticos y no matemticos de todas las pocas y personajes tan diversos como filsofos, monjes, polticos, juristas, ingenieros y artistas, han encontrado del ms famoso Teorema de la Geometra. Se describirn de forma, cronolgica, algunas de las ms famosas demostraciones, que lo son, tanto porque se les ha podido atribuir a un personaje histrico concreto, matemtico o no, como porque gozan de una gran claridad y sencillez. Dadas dos figuras P y Q, se dice que: P y Q son "congruentes por adicin" si pueden ser seccionadas en pares correspondientes de piezas congruentes. P y Q son "congruentes por sustraccin" si aadiendo a las figuras P y Q pares correspondientes de piezas congruentes, se obtienen dos nuevas figuras que son congruentes por adicin. En general, como vamos a ver, muchas de las pruebas del Teorema de Pitgoras consisten en mostrar que el cuadrado sobre la hipotenusa de un tringulo rectngulo es congruente, por adicin o sustraccin, con los cuadrados construidos sobre los catetos. Por ejemplo, la tradicional prueba pitagrica del Teorema de Pitgoras, basada en la figura adjunta, es una prueba paradigmtica de congruencia por sustraccin.

4.1 La demostracin de Pappus (hacia 300 d.C.)

La demostracin de Pappus utiliza un argumento similar al de la de Euclides: la comparacin de reas de figuras de la misma base, situadas entre paralelas. Como los segmentos JK y AN son iguales, el rectngulo JKIB y el paralelogramo NABM son iguales (Euclides I.36). A su vez este paralelogramo es igual al cuadrado ABDE. Por tanto el rectngulo JKIB es igual al cuadrado ABDE. Anlogamente se comprueba que el rectngulo JKHC es igual al cuadrado ACGF. As pues el cuadrado BIHC sobre la hipotenusa BC es igual a la suma de los cuadrados ABDE, ACGF, sobre los catetos AB, AC.

Noviembre 2008 2008ko Azaroa

117

Pedro Miguel Gonzlez Urbaneja

4.2 Las demostraciones de Thbit Ibn Qurra (826-901)

La demostracin de Thbit Ibn Qurra es la respuesta a la carta de un amigo que, conociendo el caso particular para un tringulo rectngulo issceles de la "prueba socrtica" del teorema el pasaje de Platn en El Menn sobre la duplicacin del cuadrado, le solicitaba que le comunicara la prueba del caso general. Thbit Ibn Qurra atiende la peticin y busca una nueva prueba, segn l, en el espritu de la "prueba socrtica" particular, es decir, con el "mtodo de reduccin y composicin", que "reduce a tringulos y recompone por yuxtaposicin". Thbit Ibn Qurra da dos demostraciones del tipo de congruencia por sustraccin: Prueba 1 Sea el tringulo rectngulo ABC. Si a la figura ABCDEF se le sustraen los tringulos ABC y CDE iguales al dado, resulta el cuadrado ACEF construido sobre la hipotenusa AC, mientras que sustrayendo los tringulos AHF y FGE, resulta la figura formada por los cuadrados ABIH, GIDE, construidos sobre los catetos AB, BC.

Prueba 2 Sea el tringulo rectngulo ABC. Si a la figura ABDGJ se le sustraen los tringulos AJH, BDE, HEG, iguales al dado, resulta el cuadrado ABEH sobre la hipotenusa AB, mientras que sustrayendo los tringulos ABC, CIG, CFG, resulta la figura formada por los cuadrados ACIJ, BCFD, sobre los catetos AC, BC.

4.3 La demostracin de Bhaskara (1114-1185)

El monje, matemtico y astrnomo hind, Bhaskara dio una demostracin muy sencilla del Teorema de Pitgoras, del tipo de congruencia por sustraccin, basada en los diagramas adjuntos, que aparece en el Vijaganita (clculo de races). El cuadrado sobre la hipotenusa se divide, como indica la figura, en cuatro tringulos equivalentes al dado y un cuadrado de lado igual a la diferencia de los catetos. Las piezas son reordenadas fcilmente para formar una figura que resulta ser la yuxtaposicin de los cuadrados sobre los catetos. La prueba geomtrica se traduce enseguida en trminos algebraicos al expresar la igualdad de las figuras dibujadas: c2 = 4[(1/2)ab] + (ba)2 = 2ab + b2 2ab + a2 = b2 + a2 .

118

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

4.4 La demostracin de Leonardo da Vinci (1452-1519)

Leonardo da Vinci muestra tambin su ingenio con una prueba del Teorema de Pitgoras del tipo de congruencia por sustraccin. El esquema habitual de los cuadrados sobre los lados del tringulo rectngulo dado ABC es completado con los tringulos MBG y ENF equivalentes al dado. La recta LH comn a las diagonales de los cuadrados sobre los catetos determina dos cuadrilteros LMGH, LACH, iguales. Asimismo la recta NB determina dos cuadrilteros BAEN, BCFN, iguales, y a su vez iguales a los resultantes de la divisin anterior, de donde resulta el Teorema al sustraer a cada uno de los pares de cuadrilteros dos tringulos rectngulos equivalentes al dado.

4.5 La demostracin de AnaricioGpel (hacia 1824)

La figura ofrece la descomposicin del cuadrado construido sobre la hipotenusa en cinco partes, que reordenadas convenientemente proporcionan los cuadrados construidos sobre los catetos. Tomando como criterio de sencillez el nmero de partes en que se divide el cuadrado sobre la hipotenusa, la prueba de Anaricio-Gpel que es del tipo congruencia por adicin es una de las ms notables, por eso se la considera como el ejemplo paradigmtico de las pruebas del Teorema tipo puzzle.

4.6 La demostracin de Perigal (hacia 1830)

Henry Perigal era un corredor de bolsa londinense y astrnomo aficionado que ide hacia 1830 una sencilla prueba del Teorema de Pitgoras del tipo congruencia por adicin, muy singular y elegante por su simetra, siendo publicada en su artculo "On geometric dissections and transformations" (Messenger of Mathematics, Vol. I, 1874, pp.103-105). El cuadrado sobre el mayor de los catetos del tringulo rectngulo se divide en cuatro partes iguales, mediante dos segmentos perpendiculares que se cortan en el centro del cuadrado, siendo, adems, uno de ellos paralelo a la hipotenusa. Desplazando paralelamente estas cuatro piezas, junto con el cuadrado sobre el cateto menor, es posible componer, yuxtaponiendo las cinco piezas, el cuadrado sobre la hipotenusa.

Noviembre 2008 2008ko Azaroa

119

Pedro Miguel Gonzlez Urbaneja

Perigal estaba tan entusiasmado con el hallazgo que hizo imprimir el anagrama de la figura en sus tarjetas de visita y reparti centenares de rompecabezas con las piezas que compuestas adecuadamente de dos maneras diferentes ilustraban el Teorema de Pitgoras. En el Este de Londres se le erigi un monumento con inscripciones que sintetizan su trabajo matemtico.

5. EL MAYOR REPERTORIO DE PRUEBAS DEL TEOREMA DE PITGORAS

E.S. Loomis (18521940) realiz durante muchos aos una recopilacin exhaustiva de mltiples pruebas que se han dado del Teorema de Pitgoras a lo largo de la historia. Su encomiable labor de investigacin, dio como fruto la publicacin en 1927 de una magna obra de gran valor didctico, The Pythagorean Proposition. El texto de E.S.Loomis fue reeditado en1940 (en Ann Arbor, Michigan) y en 1968 como el primer ttulo de una serie de "Classics in Mathematics Education" de la National Council of Teachers of Mathematics. En el prefacio de su obra Loomis intenta discernir entre lo que es una autntica demostracin y una mera ilustracin del Teorema de Pitgoras y realiza una clasificacin de las pruebas en cuatro tipos: 1. Pruebas 2. Pruebas 3. Pruebas 4. Pruebas algebraicas: basadas en relaciones entre lados y segmentos (109). geomtricas: basadas en comparaciones de reas (255). dinmicas: basadas en los conceptos de masa, velocidad, fuerza, etc. (4). cuaterninicas: basadas en operaciones vectoriales (2).

The Pythagorean Proposition (1968) de E.S. Loomis La recopilacin de Loomis es todava , sin duda alguna, la coleccin ms importante de pruebas y demostraciones del Teorema de Pitgoras. Contiene 370 pruebas o demostraciones donde las correspondientes figuras, son dibujadas de forma artesanal con los limitados medios grficos de la poca y con las letras manuscritas, lo que no le resta mrito a una obra de valor cientfico y didctico inconmensurable que tiene la gracia de concluir con la frase: "[...] y el final no ha llegado todava".

120

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

A continuacin transcribiremos de la obra de Loomis unas cuantas pruebas del Teorema de Pitgoras, que, a nuestro criterio, son muy ilustrativas y tienen un gran valor didctico. Estas pruebas las clasificaremos en dos tipos: algebraico-geomtricas y geomtricas. Entre estas ltimas describiremos las que son variantes de las demostraciones de Pitgoras y de Euclides. Advertimos con ello que los modelos de Pitgoras y Euclides de las demostraciones del Teorema de Pitgoras son verdaderos cnones paradigmticos que enfatizan la genialidad de estos dos matemticos.

5.1 Algunas pruebas algebraico-geomtricas del Teorema de Pitgoras

AG.1 A partir del tringulo dado HAB, se construye el tringulo BAC, tambin rectngulo, aplicando el teorema de la altura y el teorema del cateto al tringulo ABC, resulta: a2 = be, h2 = (b + e)b, de donde resulta: h2 = a2 + b2. AG.2 El cuadrado sobre la hipotenusa h, ACBD, se descompone en cuatro tringulos iguales al ABH, ms un cuadrado EFGK de lado ba. De donde resulta: h2 = 4(ab/2) + (b a)2 = 2ab + (b2 2ab + a2). As pues: h2 = a2 + b2.

AG.3 Sea BH = x, HF = y, entonces AH = x+y. El cuadrado sobre la hipotenusa h, ABCD, se compone de cuatro tringulos iguales al ABH, ms un cuadrado EFHG. Por tanto resulta: x(x+y) h2 = 4 + y2 = 2x2 + 2xy + y2 = 2 h2 = x2 + x2 +2xy + y2 = x2 + (x+y)2 = a2 + b2. As pues: h2 = a2 + b2. AG.4 El cuadrado EIFG se compone del cuadrado sobre la hipotenusa del tringulo dado ABH, ABCD, y de cuatro tringulos iguales al ABH. Por tanto resulta: (a+b)2 = h2 + 4(ab/2). Haciendo operaciones resulta: a2 + 2ab + b2 = h2 +2ab, de donde simplificando se obtiene: a2 + b2 = h2.

Noviembre 2008 2008ko Azaroa

121

Pedro Miguel Gonzlez Urbaneja

5.2 Pruebas geomtricas tipo Pitgoras y tipo Euclides

La obra de Loomis presenta 255 pruebas geomtricas del Teorema de Pitgoras basadas en comparaciones de reas. Entre ellas las ms interesantes quiz sean las que llamaremos "demostraciones tipo Pitgoras" y "demostraciones tipo Euclides", por similitud, respectivamente, con las correspondientes demostraciones de Pitgoras y Euclides desarrolladas con base en las siguientes figuras:

5.2.1 Pruebas tipo Pitgoras En las demostraciones tipo Pitgoras el cuadrado sobre la hipotenusa del tringulo rectngulo dado junto con ciertos tringulos congruentes con el dado o rectngulos formados por dos tringulos congruentes con el dado, determina una figura, que resulta tambin a partir de la yuxtaposicin de los cuadrados sobre los catetos del tringulo rectngulo dado con los mismos tringulos o rectngulos, de donde se obtiene mediante una prueba de congruencia por sustraccin que "el cuadrado sobre la hipotenusa es igual a la suma de los cuadrados sobre los catetos". Las mltiples demostraciones tipo Pitgoras se diferencian nicamente en las posiciones relativas de los tringulos y rectngulos aludidos. La diferencia de estas demostraciones con la original de Pitgoras se reduce a que sta utiliza dos figuras mientras que aqullas con una nica figura resuelven la demostracin. El cuadrado ACKB construido sobre la hipotenusa del tringulo dado ABH, completado con cuatro tringulos rectngulos congruentes con el dado, determina el cuadrado HLMN, que es igual al cuadrado GPDI, el cual a su vez se puede obtener al completar los dos cuadrados sobre los catetos, AHFG, HBDE, con sendos rectngulos iguales entre s e iguales en rea a los cuatro tringulos anteriores. Por tanto: ACKB = AHFG + HBDE. Es decir: h2 = a2 + b2. Los polgonos HMKCL y NDBAG son congruentes. El polgono HMKCL se obtiene al completar el cuadrado sobre la hipotenusa del tringulo dado ABH, ABKC, con tres tringulos rectngulos congruentes con el dado. El polgono NDBAG se obtiene al completar los dos cuadrados sobre los catetos del tringulo dado ABH, HBDE y HAGF, con tres tringulos rectngulos congruentes tambin con el dado. Por tanto: ABKC = HAGF + HBDE. Es decir: h2 = a2 + b2.

122

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

5.2.2 Pruebas tipo Euclides En las demostraciones tipo Euclides se utiliza la relacin entre las reas de paralelogramos y tringulos situados entre las mismas paralelas tal como se vio en la demostracin original de Euclides de la Proposicin I.47 de Los Elementos y en la de Pappus, Se prolonga el cateto HA hasta L, tomando AL = HE, y el cateto HB hasta N, tomando BN=HF. Se traza la perpendicular HM, y se une L y H con C, y H y N con K. Obviamente los tringulos ALC y BNK son iguales al tringulo dado ABH. Se tiene entonces: ACKB = ACMI + BKMI = 2ACH + 2BKH = AHCL + BHKN = = AH2 + BH2 = AHFG + HBDE. Es decir: "el cuadrado sobre la hipotenusa es igual a la suma de los cuadrados sobre los catetos". En la figura se toma: BO = OH y AN = BH, y se completa como se indica. Se tiene entonces: ACKB = ACLI + BKLI = ACMH + BKMH = GNEF + FODE = = AHFG + BHED. Por tanto: ACKB = AHFG + BHED. Es decir: h2 = a2 + b2.

En este caso la construccin de la figura es evidente. Se tiene: ACKB = ACLI + BKLI = ACMH + BKMH = ABOG + ABDN = = AHFG + BHED. Por tanto: ACKB = AHFG + BHED. Es decir: h2 = a2 + b2.

En la figura se trazan GN y OD paralelas a AB. En este caso tenemos: ABKC = ABQO + OQNL = ABDH + ABNL = BHED + ABMG = BHED + AHFG. Por tanto: ABKC = BHED + AHFG. Es decir: h2 = a2 + b2.

Noviembre 2008 2008ko Azaroa

123

Pedro Miguel Gonzlez Urbaneja

6. EPLOGO: EL TEOREMA DE PITGORAS, TESORO Y SMBOLO DE TODA LA GEOMETRA

El Teorema de Pitgoras es la joya ms bella de la tradicin pitagrica. Como recuerdo inolvidable de los tiempos escolares pertenece a la base cultural comn de la humanidad. Su soberbia grandeza introduce una radical inflexin intelectual entre la prctica emprica e inductiva y la argumentacin deductivo-demostrativa, tanto en el marco histrico cultural matemtico como en el mbito escolar de la Educacin matemtica. La multitud de demostraciones realizadas con pasin matemtica, por una plyade extensa y heterognea de personajes ilustres, realza la idea de que hay muchas formas de alcanzar la misma verdad. Como origen de la Geometra racional, fundamento de multitud de teoremas, causa primera de la Inconmensurabilidad, umbral entre la Matemtica emprica y la deductiva, paradigma para la Matemtica y paradigma para la Educacin matemtica, el Teorema de Pitgoras pertenece al imaginario cultural de casi todos los pueblos de la tierra.

El Teorema de Pitgoras (Euclides, I.47) en el folio 26 recto del manuscrito f-III-5 de El Escorial, uno de los ms antiguos que se conservan (siglo XI)

La Geometra como una de las Artes Liberales del Quadrivium pitagrico representada en un mosaico del suelo de la Catedral de Colonia. La Geometra presenta una ilustracin del Teorema de Pitgoras queriendo dar a entender que se trata del Teorema ms importante, fascinante y emblemtico de toda la ciencia geomtrica.

124

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

7. UNA NUEVA DEMOSTRACIN GEOMTRICO-ALGEBRAICA DEL TEOREMA LLAMADO DE PITGORAS

(Realizada por Josep Maria Lamarca. IES Sant Josep de Calassan. Barcelona) De acuerdo con la figura adjunta, dado el tringulo rectngulo de hipotenusa a y catetos b y c, consideremos un rectngulo compuesto por los cuadrados construidos sobre los lados del tringulo dado: a, b y c, junto con diez tringulos rectngulos congruentes con el dado.

a c c c

Al calcular, de dos formas diferentes, el rea del rectngulo construido: A) mediante el producto de la base (b+c+b) por la altura (c+c+b): A = (b+c+b) (c+c+b) = (2b+c) (2c+b) = 4bc +2c2 + 2b2 +bc = 2c2 + 2b2 +5bc, B) mediante la suma de las tres reas cuadradas y diez reas triangulares cuya yuxtaposicin engendra el rectngulo considerado: B = a2 + b2 + c2 +10 (bc/2), obtenemos: 2c2 + 2b2 +5bc = a2 + b2 + c2 +10 (bc/2). Y al simplificar esta igualdad, resulta: b2 + c2= a2. Es sta la ltima demostracin del archifamoso teorema?

Noviembre 2008 2008ko Azaroa

125

Pedro Miguel Gonzlez Urbaneja

8. BIBLIOGRAFA
Obras monogrficas sobre Pitgoras y el Teorema de Pitgoras
1.  Bergua, J. B., 1958: Pitgoras. Ediciones Ibricas, Madrid. Cap.6. 2. E  ggers, C., 1994: "Pitgoras y los primeros pitagricos" (en Los Filsofos presocrticos. Vol.1.). Gredos, Madrid. Gigon, O., 1994: "Pitgoras" (en Los orgenes de la Filosofa griega. Gredos, BHF, 67. 3.  Cap.5. Madrid. 4. G  onzalez Urbaneja, P. M., 2001: Pitgoras, el filsofo del nmero. Nivola, Madrid. Cap. 4. 5. G  onzalez Urbaneja, P. M., 2002: "Pitgoras. El umbral del Pensamiento occidental" (en Reflexiones sobre el pasado, presente y futuro de las Matemticas, pp.77-117). Universidad de Huelva. Gonzalez Urbaneja, P. M.: Pitgoras. Umbral de la matemtica racional. 6.  http://www.divulgamat.net/weborriak/Historia/MateOspetsuak/Pitagoras.asp. Gorman, P., 1988: Pitgoras. Crtica. Barcelona. 7.  8. G  uthrie, W., 1984: "Pitgoras y los pitagricos" (en Historia de la Filosofa griega. Vol. I. Cap.IV). Gredos, Madrid. 9.  Jmblico, 1991: Vida Pitagrica. Etnos, Madrid. 10. L  oomis, E. S., 1968: "The Pythagorean Proposition. Its Demostrations Analyzed and Classified". National Council of Teachers of Mathematics (Classics in Mathematics Education). Washington. Maor, E., 2007: The Pythagorean Theorem. Princeton University Press. Caps. 1, 2, 3, 8. 11.  12. M  attei, J., 1996: Pythagore et les Pythagoriens. Presses Univ. de France, n 2.732. Pars. Milhaud, G., 1989,1900: "Les Pythagoriciens" (en Les Philosophes-Gomtres de la 13.  Grce. Cap.1.II). Librairie Germer Baillire, Pars. Arno Press, New York, 1976. OMeara, D.: Pythagoras Revived. Clarendon Press. Oxford. 14.  15. P  rez-Ruiz, M., 2000: Pitgoras. Ocano. Barcelona. 16. P  rez Sanz, A., 2000: "Pitgoras: mucho ms que un teorema" (en la Serie de TVE EL UNIVERSO MATEMTICO). La Aventura del Saber. 17.  Reghini, A.: Per la restituzione della Geometria Pitagorica. Editrice Atanor. Roma. 18.  Stratherrn, P., 1999: Pitgoras y su teorema. Siglo XXI. Madrid. Swetz, F., 1977: Was Pythagoras Chinese. The Pennsilvanya University. 19.  20. V  era, F., 1970: "Pitgoras" (en Cientficos griegos). Aguilar, Madrid.

Ediciones de Los Elementos de Euclides

21. E  nriques, F., 1954: Los Elementos de Euclides y la crtica antigua y moderna. Libros I-IV. Instituto Jorge Juan (CSIC). Madrid. Libro I.

126

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

22. E  uclides, 2000: Los seis primeros libros de Los Elementos. R. amorano. Casa de Alonso de la Barrera. Sevilla, 1576. Nueva edicin de Ediciones Universidad de Salamanca. Libro I. 23. E  uclides, 1996: Elementos. introd. de L.Vega, trad. y notas de M.L.Puertas. Gredos. Madrid. Libro I. 24.  Heat, T. L., 1956: The thirteen books of The Elements. 3 Vols. Dover. New York. Book I. 25. P  eyrard, F., 1819: Les Oevres dEuclide. C.F.Patris, Pars. Livre I. 26. V  era, F., 1970: "Los Elementos de Euclides" (Cientficos griegos). Aguilar, Madrid. Libro I.

Obras generales sobre Historia y Filosofa de las Matemticas

27. A  rtmann, B., 1996: EuclidThe Creation of Mathematics. Springer. New York. Cap.6. 28.  Boyer, C. B., 1986: Historia de las Matemticas. Alianza Universidad. Madrid. Caps. 2, 6, 7. 29.  Bunt, L., 1988: The Historical Roots of Elementary Mathematics. Dover, New York. Caps. 3, 6. 30.  Cajori, F., 1919: A History of Mathematics. The MacMillan Company. Londres. Cap. 3.3. 31.  Colerus, E., 1972: Breve historia de las Matemticas. Doncel, Madrid. Vol.1, cap.1. 32. D  edron, P; Itard, I., 1959: Mathmatiques et Mathmaticiens. Magnard. Pars. Cap.15. 33.  Dedron, P; Itard, J., 1973: Mathematics and Mathematiciens. Open University, London. Vol.2, cap.5. 34.  Dhombres, J., 1990: Mathmatiques a fil des ges. Gauthiers Villars, Pars. Cap. 6.1. 35.  Digenes Laercio, 1998: Vidas de los filsofos ms ilustres. Porra. Mxico. Cap. 8.1. 36. D  unham, W., 1992: Viaje a travs de los genios. Pirmide. Madrid. Cap. 2. 37. D  unham, W., 1995: El Universo de las Matemticas. Pirmide. Madrid. Cap.H. 38. E  ggers, C., 1995: El nacimiento de la Matemtica en Grecia. EUDEBA. Buenos Aires. Caps.1, 2. 39.  Eves, H., 1983: An Introduction to the History of Mathematics. CBS Coll. Pub. New York. Caps. 2,3,5. 40.  Eves, H., 1977: Great Moments in Mathematics. The mathem. assoc. of America. Vol. 1, cap.4. 41.  Gonzlez Urbaneja, P. M., 1996: El Pensament geomtric en el mn grec. ICE. Universitat de Barcelona. Cap.8. 42. G  onzlez Urbaneja, P. M., 2000: "Matemticas y matemticos en el mundo griego" (en El legado de las Matemticas: de Euclides a Newton). pp.24-75.Universidad de Sevilla. 43. G  onzlez Urbaneja, P. M., 2006: Platn y la Academia de Atenas. Nivola, Madrid. Caps. 9, 14. 44.  Gonzlez Urbaneja, P. M.: Platn. Matemtica en la Filosofa y Filosofa en la Matemtica. http://www.divulgamat.net/weborriak/Historia/MateOspetsuak/Inprimaketak/Platon.asp.

Noviembre 2008 2008ko Azaroa

127

Pedro Miguel Gonzlez Urbaneja

45. H  eat, T. L., 1981: A History of Greek Mathematics. Dover, New York. Vol.1, Caps. 5, 11. 46. H  eilbron, J. L., 1988: Geometry Civilized. Clarendon Press. Caps. 1.2, 4.1, 4.2. 47.  Klein, F., 1931: "Matemtica elemental desde un punto de vista superior". Vol. II. Geometra. Biblioteca Matemtica. Dtor: J.Rey Pastor. Madrid. Apndice IV.b. 48.  Kline, M., 1992: El pensamiento matemtico de la Antigedad a nuestros das. vols. Alianza Universidad, Madrid. Vol.1, Caps. 3.5, 4.4. 49.  Knorr, W., 1990: The evolution of the Euclidian Elements. D.R.P.Company. Londres. Cap. 5.5. 50.  Levi, B., 2001: Leyendo a Euclides. Zorzal, Buenas Aires. 51.  Lombardo, L., 1983: La Matemtica de Pitgoras a Newton. Laia, Barcelona. Cap. 2.3. 52. L  oria, G., 1929: Histoire des sciences mathmatiques dans lantiquit hellnique. Gauthier-Villars, Pars. Caps. 2.2, 3.1. 53.  Mankiewicz, R., 2000: Historia de las Matemticas. Paids. Barcelona. Cap.3. 54.  Montesinos, J. (Coordinador), 1992: Historia de la Geometra griega. Actas del Seminario Orotava de Historia de la Ciencia. Tenerife. Cap.4. 55.  Montucla, J. F., 1968: Histoire des Mathmatiques. Blanchard. Pars. Tomo 1, Libro I, Cap.VII. 56.  Neugebauer, O., 1957: The Exacts Sciences in Antiquity. Dover. New York. Cap.2. 57. N  olla, R., 2001: Estudis i activitats sobre problemes clau de la Histria de la Matemtica. Llicncia destudis. Departament dEnsenyament, Generalitat de Catalunya. Caps. 1.1.2, 1.2.3, 1.10, 4.2. 58.  Pedoe, D., 1979: La Geometra en el Arte. Gustavo Gili, Barcelona. Cap.VI. 59. P  rez, M., 2004: Una historia de las Matemticas. Visin Net. Madrid. Cap.5.3. 60.  Platn, 1969: "Menn" (en Obras Completas). Aguilar, Madrid. 61.  Proclus De Lycie, 1948: Les Comentaires sur le premier livre des lments dEuclide. Introd. et notes de P.Ver Eecke. Descle de Brouwer, Bruges. Commentaire sur le Proposition XLVII. 62. R  ey, A., 1962: El apogeo de la ciencia tcnica griega. UTEHA, Mxico. Libro I. Caps. 0,2,5. 63. R  ey Pastor, J.; Babini, J, 1951: Historia de la Matemtica. Espasa Calpe, B. Aires. Cap.2.7, 3.14. 64.  Rey Pastor, J.; Babini, J, 1984: Historia de la Matemtica. Gedisa. Barna. Vol.1. Caps. 2.1, 3.3, 4.2. 65.  Rouse Ball, W, 1906: Histoire des Mathmatiques. Lib. Scient. Hermann, Pars. Caps. 2.2, 4.1. 66.  Scott, J. F., 1975: A History of Mathematics. Taylor and Francis, New York. Cap. 2. 67.  Smith, D. E., 1958: History of Mathematics. Dover. New York. Vol.1, caps. 3.4, 4.2; vol.2, cap.5.5. 68.  Schopenhauer, A., 2004: El mundo como voluntad y representacin. Trotta, Madrid. Libro I, 14, 15.

128

SIGMA N 32 SIGMA 32 zk.

El teorema llamado de Pitgoras. Una historia geomtirca de 4.000 aos

69. T  annery, P., 1887: La gomtrie grecque. Gauthier-Villars. Pars. Caps. 5,6,7,8. 70. V  an Der Waerden, B. L., 1983: Geometry and Algebra in Ancient Civilizations. SpringerVerlag. New York. Cap.1. Vega Ren, L., 1990: La Trama de la Demostracin. Alianza Universidad, Madrid. 71.  Cap.1. Vera, F, 1963: Breve Historia de la Geometra. Losada. Buenos Aires. Caps. 1,2,4. 72.  Vitrubio, 1987: Los Diez Libros de la Arquitectura. Altafulla, Barcelona. Libro IX, cap.II. 73. 

Artculos de revistas cientficas y didcticas

74. A  rsac, G., 1987: "Lorigine de la dmonstration: Essai dpistmologie didactique". Recherches en Didactique des Mathmatiques, 8(3), 267-312. 75. B  acciani, R., 1970: "La matrice del triangolo rettangolo". Periodico di Matematiche. Vol.XLVIII, pp.8687. Bologna Nicola Zanichelli Editore. Baravalle, H., 1950: "A model for demostrating the Pytahgorean Theorem". Scripta 76.  Mathematica. Vol.16, pp.203207. Yeshiva University, New York. Bruins, E.: "Pythagorean triads in Babylonyan Mathematics". The Mathematical Gazette, 77.  Vol. 41. Chisini, O., 1930: "Osservazioni didattiche sul Teorema di Pitagora". Periodico di 78.  Matematiche. Vol.X, pp.166171. Bologna Nicola Zanichelli Editore. De Aimas, M., agosto 1984: "Sobre el Teorema de Pitgoras". Revista Nmeros. 79.  Sociedad Canaria Isaac Newton de Profesores de Matemticas, n 10, Tenerife, pp.1533. Ded, M., 1961: "Triangoli pitagorici e triangoli eroniani". Periodico di Matematiche. 80.  Vol.XXXIX, pp.160161. Bologna Nicola Zanichelli Editore. Gonzlez Urbaneja, P. M., Julio de 1988: "No slo del teorema vivi Pitgoras. 81.  Experiencias en el Aula". Revista Comunidad Escolar. Ministerio de Educacin y Ciencia. Madrid. Gonzlez Urbaneja, P. M., 01/1989: "No slo del teorema vivi Pitgoras" (Taller de 82.  Matemtica recreativa). Cuadernos de Pedagoga, n 166, pp.6566. Barcelona. 83. G  onzlez Urbaneja, P. M., 11/1991: "Historia de la Matemtica: Integracin cultural de las Matemticas, gnesis de los conceptos y orientacin de su enseanza". Revista Enseanza de las Ciencias. ICE Univ. Autn. de Barcelona, Vice-rectorat dInvestigaci de la Univ.Valncia. Vol. 9/n 3, pp.281-289. Gonzlez Urbaneja, P. M., 2001: "Legado y herencia de Pitgoras" (en APUNTES DE 84.  CPR. N 10. pp. 16-21), Palencia. Gonzlez Urbaneja, P. M., 2001: "La aparicin de los inconmensurables". Mundo 85.  Cientfico, n 220. pp.5663. Barcelona. Gonzlez Urbaneja, P. M., 02/04: "La Historia de la Matemtica como recurso 86.  didctico e instrumento para enriquecer culturalmente su enseanza". Revista SUMA (FESPM), nm.45, pp.1728. LayYong, L; Kangsheng, S., 1983: "Right-Angled Triangles in Ancient China". Archive 87.  for History of Exacts Sciences, 24, 1-9.

Noviembre 2008 2008ko Azaroa

129

Pedro Miguel Gonzlez Urbaneja

88. L  amarca, J. M., 06/06: "Una nueva demostracin geomtricoalgebraica del teorema llamado de Pitgoras". Revista SUMA (FESPM), nm.52, p.142. 89. L  idonnici, A., 1933: "Il Teorema di Pitagora nelle civilt prelleniche". Periodico di Matematiche. Vol. XIII, pp. 7486, 137143. Bologna Nicola Zanichelli Editore. Lidonnici, A., 1933: "Il Teorema di Pitagora nell antica Grecia". Periodico di Matematiche. 90.  Vol. XIII, pp.192211. Bologna Nicola Zanichelli Editore. Lidonnici, A., 1935: "Varie dimostazioni del Teorema di Pitagora nell antica Grecia". 91.  Periodico di Matematiche. Vol. XVI, pp. 2257. Bologna Nicola Zanichelli Editore. 92. M  artnez, A., 0508/2000: "Teorema de Pitgoras: originalidad de las demostraciones de E. Garca Quijano". La Gaceta de la Real Sociedad Matemtica Espaola, Vol.3, n 2, pp. 277296. Sayili, A., 1969: Thbit Ibn Qurra Generalitation of the Pytahgorean Theorem. Isis, 51. 93.  pp. 3537.

Pginas de Internet sobre las Proposiciones I.47, I.48 de Los Elementos de Euclides
94. D  omnech, J.: Elements dEuclides en Catal. Llibre I. Proposici I.47. Proposici I.48. http://www.euclides.org/menu/elements_cat/01/proposicionsllibre1.htm#Proposici%2047 95. D  omnech, J.: Elementos de Euclides en Espaol. Libro I. Proposicin I.47. Proposici I.48. http://www.euclides.org/menu/elements_esp/01/proposicioneslibro1.htm#Proposicin%2047 96. G  onzlez Urbaneja, P. M.: El Teorema de Pitgoras en Los Elementos de Euclides. http://divulgamat.ehu.es/weborriak/Historia/AsiLoHicieron/Euclides2/InprimaketaEuclides.asp 97. J  oyce, D. E.: Euclids Elements on the Web. Book I. Proposition I.47. Proposition I.48. http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI47.html 98. W  eisstein, E.: Pythagorean Theorem. Wolfram Research. http://mathworld.wolfram.com/PythagoreanTheorem.html 99. M  orely, J.: Euclid proof of Pythagoras Theorem. http://www.geocities.com/CapeCanaveral/Launchpad/3740/euclid.html

130

SIGMA N 32 SIGMA 32 zk.