El Teorema de Pitgoras David Palomino Alva

En su obra The World as Will and Idea el filsofo Arthur Schopenhauer, realiza un ataque contra el mtodo de Euclides para la demostracin de proposiciones. En particular, comenta con irona la demostracin de la proposicin 47, que es el nmero con que aparece el teorema de Pitgoras en los Elementos. Schopenhauer plantea que es risible y compleja por dems la forma en que esta proposicin es demostrada por Euclides, primero realizando construcciones y trazos que slo enturbian el espritu, luego se recorre una cadena deductiva de pasos y finalmente se llega por sorpresa a la demostracin del teorema. Segn Schopenhauer esta demostracin es una autentica pieza de perversidad. El filsofo contina presentando la figura adjunta que, segn l, posee belleza en si misma, y permite la demostracin del teorema de una manera clara a cualquier persona que se digne admirarla. Como cualquier estudiante de bachillerato conoce, esta figura nos permite demostrar la proposicin pitagrica en tan slo un caso particular: cuando el tringulo rectngulo es issceles y de ningn modo es general. El error de Schopenhauer es claro, no entiende exactamente lo que significa demostrar una proposicin en matemtica. Para probar rigurosamente esta proposicin debera hacerlo para cualquier tringulo rectngulo y no slo para uno de caractersticas particulares. La figura anterior se ha encontrado presente en diversas culturas, en grabados, en telares, y es probable que los babilonios hubieran conocido el teorema de Pitgoras aplicado al caso de tringulo rectngulo issceles antes que Pitgoras. Realmente el mrito del matemtico griego radica en haber generalizado esta proposicin y haberla demostrado para cualquier tringulo rectngulo. Varios historiadores de la matemtica coinciden en que Pitgoras pudo haberse servido de una diseccin para la demostracin del teorema, las figuras muestran la posible demostracin de Pitgoras. En la figura superior se puede plantear una equivalencia entre reas de la siguiente forma: (a + b )2 = c2 + 4(ab/2) La figura inferior plantea otra equivalencia, a saber: (a + b)2 = a2 + b2 +4(ab/2) Igualando las dos expresiones obtenemos: c2 = a2 + b2

La proposicin pitagrica ha llamado la atencin de numerosos matemticos y aficionados a lo largo del tiempo, convirtindose en un deporte intelectual crear una nueva prueba para esta proposicin. Entre los aficionados podemos contar al presidente James A. Gardfield quien en la poca de su descubrimiento era congresista republicano de Ohio. La demostracin fue publicada por primera vez en un semanario de Boston llamado The New England Journal of Education , el 1 de abril de 1876. La prueba se basa en el rea de un trapecio, y la mostramos en la figura superior de la pgina siguiente.

Observando la construccin podemos afirmar que el rea del trapecio es igual a la suma de las reas de los tres tringulos rectngulos que lo conforman :
2 a + b ab c ( a + b ) = 2 + 2 2 2

a 2 + b 2 = c2

La demostracin algebraica ms sencilla del problema se basa en la semejanza de tringulos; la mayora de nosotros la conoce por ser frecuentemente utilizada en la escuela. La figura adjunta ilustra esta demostracin. Usemos el hecho de que los tringulos ABC , CBX y ACX son semejantes . Entonces podemos plantear a c = a 2 = cx x a

b c = b 2 = c 2 cx c x b Sustituyendo a2 por cx, obtenemos c2 = a2 +b2 que es lo que desebamos demostrar.

Existen numerosas demostraciones del teorema de Pitgoras, tal vez la obra mejor documentada sobre esto sea The Pithagorean Proposition del profesor Elisha Scott Loomis , all se presentan 367 pruebas del teorema. De stas presentaremos slo tres ms , la famosa diseccin de Perigal, una basada en la trigonometra y otra , utilizando lgebra vectorial. La diseccin de Perigal se basa en ilustracin mostrada y prcticamente no necesita palabras, baste slo sealar que los segmentos UV y XY deben ser paralelos a los lados del cuadrado que se construye sobre la hipotenusa. Si ahora disectamos el cuadrado ABDE en las cuatro piezas mostradas podemos componerlo con el cuadrado menor para formar

un cuadrado de igual rea al del cuadrado mayor. Te instamos a construir un modelo en cartulina de esta demostracin, ser una ayuda visual muy interesante. La demostracin que sigue se basa en la Ley de Proyecciones. En el caso mostrado podemos escribir c= b. cos + a cos , usando la definicin de cada funcin trigonomtrica tenemos: c = b.b/c +a.a/c, de donde obtendremos nuevamente c2 = b2 +a2

La ltima demostracin que presentaremos, usa el hecho c de que si dos vectores son perpendiculares su producto escalar ser nulo.

a
Tenemos que c = a + b, entonces: c2 = c.c = (a + b).(a + b) = a.a + a.b +b.a +b.b , como a.b = b.a = 0 , por ser a b, obtenemos c2= a2 + b2. Cabe comentar aqu algo no muy conocido a nivel elemental, la propiedad Pitgorica no slo es vlida para los cuadrados sino tambin para cualquier figura construida sobre los lados de un tringulo rectngulo. Basta solamente con que las tres figuras sean semejantes entre s, y que sus lados semejantes estn sobre los lados del tringulo rectngulo. El estudio de las propiedades de los nmeros pitagricos (ternas de nmeros enteros que son las medidas de las longitudes de los lados de tringulos rectngulos) ha ocupado la atencin de matemticos y aficionados. Desde la poca de Diofanto se sabe que existe una cantidad infinita de estas ternas, sin embargo en el suplemento dominical de el diario El Comercio del 17 de noviembre de 1996, apareci una nota en la cual se afirmaba lo contrario. La noticia da cuenta de un abogado peruano, aficionado a la matemtica, que descubri una simplificacin del teorema de Pitgoras, basta leer el facsmil que reproducimos aqu para que veamos dnde se encuentra el razonamiento errado de este enigmtico seor. Dos semanas despus El Comercio public una de las decenas de cartas aclaratorias que se enviaron a su redaccin, las verdades matemticas son contundentes, y el diario adjudic la victoria a sus protestantes lectores. Las ternas pitagricas tienen interesantes propiedades , veamos algunas de ellas. A partir de la conocida terna (3,4,5) podemos obtener otras ternas, por ejemplo (6,8,10) (9,12,15) etc. basta slo multiplicar cada nmero por una constante, a aquellas ternas que no pueden ser obtenidas a partir de otras por la multiplicacin por una constante se les denomina ternas primitivas. En lenguaje matemtico esto equivale a decir que los nmeros que pertenecen a una terna pitagrica primitiva son primos entre s. Algunas de estas ternas son (3,4,5), (5,12,13) , ( 7,24,25) , existen diecisis ternas pitagricas primitivas cuyos nmeros son menores que cien; para comprobar esta afirmacin debemos primero hallar todas las soluciones enteras positivas de la ecuacin c2= a2 + b2, veamos cmo conseguimos esto. Ante todo debemos saber que uno de los nmeros a o b debe ser par y el otro impar, supongamos sin prdida de generalidad, que a sea impar y b sea par. A partir de c2= a2 + b2 obtendremos a2 = c2 b2 = (c +b )(c-b) Los factores (c + b) y (c - b) son primos entre s . En efecto, si estos nmeros tuvieran algn divisor comn primo , a excepcin de la unidad, entonces tambin dividir a su suma (c + b) + (c - b) = 2c , a su diferencia (c + b) (c - b) = 2b, y a su producto (c + b)(c + b) = a 2 , es decir 2c, 2a y a 2 tendran un divisor comn. Como a es impar este divisor no puede ser 2, y por eso, los nmeros a, b y c tendran ese factor comn, lo que sin embargo es imposible, pues hemos

supuesto que a, b, y c son primos entre s. La contradiccin obtenida nos lleva a la conclusin que c + b y c - b son primos entre s. Pero si el producto de dos nmeros primos entre s es un cuadrado, entonces, cada uno de ellos ser un cuadrado, es decir : c + b = m2 c b = n2 Al resolver este sistema hallamos

c=

m2 + n 2 m2 n 2 , b= 2 2

a2 = (c + b)(c - b) = m2n2 , a =mn , De aqu que las ternas pitagricas primitivas se obtienen de las ecuaciones:

a = mn , b =

m2 n 2 m2 + n 2 , c= 2 2

donde m y n son primos entre s. Dando valores diversos a m y n podemos obtener todas las ternas primitivas que deseemos, por ejemplo para m = 3 y n = 1 se halla la terna (3,4,5). Anotaremos aqu dos propiedades de las ternas pitagricas cuya demostracin puede resultar un buen ejercicio. Uno de los catetos debe ser mltiplo de tres Uno de los nmeros pitagricos debe ser mltiplo de 5

Error de un pitagrico aficionado Como hemos visto a los largo de este artculo numerosos matemticos, polticos, periodistas, etc, se han visto atrados por este famoso teorema, existen tambin varios diseadores de rompecabezas que han basado sus juegos en disecciones usadas para la demostracin del teorema, el profesor Hilario Fernndez Long, de la Universidad de Buenos

Aires, ide un rompecabezas pitagrico de tres piezas que permite una demostracin visual del teorema, hasta ahora es el rompecabezas pitagrico con el menor nmero de piezas. Te atreveras a romper este record?

Pitagras de Samos, tuvo el apoyo del tirano Milos, rey de Crotona , y fund una secta de personas dedicadas al estudio de la matemtica, se les conoci como Los pitagricos y gozaron de muchos privilegios. Vivieron en el secreto del conocimiento, hoy en da existe una moderna versin de la secta de los Pitagricos, La Pithagorean Internacional Society, pero a diferencia de su predecesora se encarga de difundir los trabajos de matemticos y aficionados de todo el mundo, est abierta a todos los interesados en el estudio de los trabajos de Pitgoras y sus discpulos. Este grupo adopt como emblema de su sociedad la figura mostrada abajo. Es curioso saber que el radio de la circunferencia inscrita en los dos tringulos es tambin un nmero entero Podras calcular su valor?

BIBLIOGRAFA GARDNER, M. Comunicacin extraterrestre y otros pasatiempos matemticos, Ctedra, 1987,Madrid SCOTT, E., The pithagorean proposition, NCTM, 1968, New York BOLT, B., Actividades matemticas, Labor , 1989, Barcelona PONIACHIK J., Diversiones Pitagricas, en Cacumen, Enero 1984, Zugarto Ediciones, Madrid