EL MS FAMOSO TEOREMA GEOMTRICO

David Palomino Alva Consultor en Educacin Matemtica dapalomin@yahoo.es 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, al realizar construcciones y trazos que slo enturbian el espritu, y luego recorrer una cadena deductiva de pasos para llegar por sorpresa a la demostracin del teorema. Segn Schopenhauer esta demostracin es una autentica pieza de perversidad. El filsofo presenta entonces la figura adjunta que, segn l, posee belleza en si misma, y que permite la demostracin del teorema de una manera clara a cualquier persona que se digne admirarla. Como cualquier docente de matemtica sabe, esta figura permite demostrar la proposicin pitagrica en tan slo un caso particular: cuando el tringulo rectngulo es issceles, y de ningn modo es una demostracin 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. Sin embargo el mrito del matemtico griego radica en haber generalizado esta proposicin y haberla demostrado para cualquier tringulo rectngulo. Hoy en da, varios historiadores de la matemtica coinciden en afirmar que Pitgoras pudo haber utilizado una diseccin para demostrar el teorema. Las figuras adjuntas 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 y simplificando, 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. A partir de la construccin se puede 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 + b2 = c2

La demostracin algebraica ms sencilla del problema se basa en la semejanza de tringulos; la mayora de nosotros la conoce por ser muy 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. Cabe comentar aqu algo muy poco 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. Hay que aclarar que el teorema de Pitgoras afirma que el rea del cuadrado construido sobre la hipotenusa de un tringulo rectngulo es igual a la suma de las reas de los cuadrados de los catetos, la afirmacin inversa es tambin valida y se le conoce como el teorema inverso de Pitgoras. Esta proposicin seala que si en un tringulo se verifica que el cuadrado construido sobre el lado mayor es igual a la suma de las reas de los cuadrados construidos sobre los otros lados, entonces el tringulo ser rectngulo. El estudio de las propiedades de las ternas pitagricas (tros 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 del 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 se reproduce aqu para que ver 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. Las ternas pitagricas primitivas (a, b, c) donde c es el mayor nmero, 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 algunas propiedades de las ternas pitagricas cuya demostracin puede resultar un buen ejercicio. Uno de los nmeros a o b debe ser par y el otro impar. Los factores (c + b) y (c - b) son primos entre s. Uno de los nmeros a o b debe ser mltiplo de tres Uno de los nmeros de la terna pitagrica debe ser mltiplo de 5

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 Puede 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 N 12, Enero 1984, Zugarto Ediciones, Madrid