Teorema de Pitgoras

El Teorema de Pitgoras establece que en un tringulo rectngulo, el cuadrado de la longitud de la hipotenusa (el lado de mayor longitud del tringulo rectngulo) es igual, a la suma de los cuadrados de las longitudes de los dos catetos (los dos lados menores del tringulo rectngulo: los que conforman el ngulo recto). Si un tringulo rectngulo tiene catetos de longitudes y , y la medida de la hipotenusa es , se establece que:

El Teorema de Pitgoras lleva este nombre porque su descubrimiento recae sobre la escuela pitagrica. Anteriormente, en Mesopotamia y el Antiguo Egipto se conocan ternas de valores que se correspondan con los lados de un tringulo rectngulo, y se utilizaban para resolver problemas referentes a los citados tringulos, tal como se indica en algunas tablillas y papiros, pero no ha perdurado ningn documento que exponga tericamente su relacin. La pirmide de Kefrn, datada en el siglo XXVI a. C., fue la primera gran pirmide que se construy basndose en el llamado tringulo sagrado egipcio, de proporciones 3-4-5. El Teorema de Pitgoras es de los que cuentan con un mayor nmero de demostraciones diferentes, utilizando mtodos muy diversos. Una de las causas de esto es que en la Edad Media se exiga una nueva demostracin del teorema para alcanzar el grado de Magster matheseos. Algunos autores proponen hasta ms de mil demostraciones. Otros autores, como el matemtico estadounidense E. S. Loomis, catalog 367 pruebas diferentes en su libro de 1927 The Pythagorean Proposition.

En ese mismo libro, Loomis clasificara las demostraciones en cuatro grandes grupos: las algebraicas, donde se relacionan los lados y segmentos del tringulo; geomtricas, en las que se realizan comparaciones de reas; dinmicas a travs de las propiedades de fuerza, masa; y las cuaterninicas, mediante el uso de vectores.

Demostraciones supuestas de Pitgoras

Se cree que Pitgoras se bas en la semejanza de los tringulos ABC, AHC y BHC. La figura coloreada hace evidente el cumplimiento del teorema. Se estima que se demostr el teorema mediante semejanza de tringulos: sus lados homlogos son proporcionales.[1] Sea el tringulo ABC, rectngulo en C. El segmento CH es la altura relativa a la hipotenusa, en la que determina los segmentos a y b, proyecciones en ella de los catetos a y b, respectivamente. Los tringulos rectngulos ABC, AHC y BHC tienen sus tres bases iguales: todos tienen dos bases en comn, y los ngulos agudos son iguales bien por ser comunes, bien por tener sus lados perpendiculares. En consecuencia dichos tringulos son semejantes.

Demostracin de Euclides: proposicin I.47 de Los Elementos

La proposicin I.41 de Euclides. La superficie del rectngulo ABCD es el doble de la de cualquiera de los tringulos: sus bases son la misma DC-, y estn entre las mismas paralelas. Esto es cuanto necesita Euclides para demostrar el teorema de Pitgoras. La demostracin de Euclides es puramente geomtrica. Su columna vertebral es la sencilla proposicin I.47 de Los Elementos. La proposicin I.36 de Euclides: los paralelogramos ABCD y EFCD tienen reas equivalentes, por tener igual base, y estar comprendidos entre las mismas paralelas. El descubrimiento de los nmeros irracionales por Pitgoras y los Pitagricos supuso un contratiempo muy serio.[3] De pronto, las proporciones dejaron de tener validez universal, no siempre podan aplicarse. La demostracin de Pitgoras de su teorema se basaba muy probablemente en proporciones, y una proporcin es un nmero racional. Sera realmente vlida como demostracin? Ante esto, Euclides elabora una demostracin nueva que elude la posibilidad de encontrarse con nmeros irracionales. El eje de su demostracin es la proposicin I.47 de Los Elementos: Si un paralelogramo y un tringulo tienen la misma base, y estn comprendidos entre las mismas paralelas, entonces el rea del paralelogramo es doble de la del tringulo. Esto es tanto como decir que a igual base y altura, el rea de aqul dobla a la de ste.

Notas
1. Una vez descubiertos los nmeros irracionales esta demostracin quedaba invalidada. Ser Euclides el primero en prescindir de la proporcionalidad para demostrar el teorema.

2. En primer lugar se ha cuadruplicado el rea del cuadrado inicial, que aument de cuatro a diecisis unidades cuadradas, para despus obtener el resultado buscado 3. Los pitagricos haban llegado a la conclusin de que el nmero racional lo explicaba todo. Por eso el descubrimiento de los nmeros irracionales caus un verdadero trauma. Juraron mantener el secreto de lo descubierto pero, segn la leyenda (o realidad?) el pitagrico Hipaso de Metaponto lo revel. En represalia, sus compaeros invocaron la ira de los dioses e Hipaso muri en un naufragio. 4. Pappus naci en Alejandra -Pappus de Alejandra- sobre el ao 290 de nuestra era, y muri alrededor del 350. Es el ltimo de los grandes gemetras griegos. 5. James A. Garfield muri el 19 de Septiembre de 1881, a consecuencia de un atentado sufrido el 2 de Julio del mismo ao. Fue el segundo Presidente asesinado, despus de Abraham Lincoln. Su demostracin del teorema de Pitgoras es de 1876, cuando era miembro de la Cmara de Representantes.