Ir al contenido

Diferencia entre revisiones de «Teorema de Pitágoras»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
El '''Teorema de Pitágoras''' establece que en un triángulo rectángulo, el cuadrado de la hipotenusa (el lado de mayor longitud del triángulo rectángulo) es igual a la suma de los cuadrados de
m Revertidos los cambios de Elizer ismael (disc.) a la última edición de 91.106.82.129
Línea 1: Línea 1:
El '''Teorema de Pitágoras''' establece que en un [[triángulo rectángulo]], el cuadrado de la [[hipotenusa]] (el lado de mayor longitud del triángulo rectángulo) es igual a la suma de los cuadrados de los dos [[cateto]]s (los dos lados menores del triángulo rectángulo: los que conforman el ángulo recto). Si un triángulo rectángulo tiene catetos de longitudes <math> a \,</math> y <math> b \,</math>, y la medida de la hipotenusa es <math> c \,</math>, se establece que:
<center><math> c^2 = b^2 + a^2 \,</math> </center><br />

[[Archivo:Pythagorean.svg|right|]]

== Historia ==
El '''Teorema de Pitágoras''' lleva este nombre porque su descubrimiento recae sobre la escuela pitagórica. Anteriormente, en [[Mesopotamia]] y el [[Antiguo Egipto]] se conocían ternas de valores que se correspondían con los lados de un triángulo rectángulo, y se utilizaban para resolver problemas referentes a los citados triángulos, tal como se indica en algunas tablillas y [[papiro]]s, pero no ha perdurado ningún documento que exponga teóricamente su relación. La [[pirámide de Kefrén]], datada en el [[siglo XXVI a. C.|siglo XXVI&nbsp;a.&nbsp;C.]], fue la primera gran pirámide que se construyó basándose en el llamado [[triángulo sagrado egipcio]], de proporciones 3-4-5.

== Demostraciones ==
El Teorema de Pitágoras es de los que cuentan con un mayor número de demostraciones diferentes, utilizando métodos muy diversos. Una de las causas de esto es que en la [[Edad Media]] se exigía una nueva demostración de el para alcanzar el grado de ''Magíster matheseos''.

Algunos autores proponen hasta más de mil demostraciones. Otros autores, como el matemático estadounidense [[E. S. Loomis]], catalogó 367 pruebas diferentes en su libro de [[1937]] ''The Pythagorean Proposition''.

En ese mismo libro, Loomis clasificaría las demostraciones en cuatro grandes grupos: las '''algebraicas''', donde se relacionan los lados y segmentos del triángulo; '''geométricas''', en las que se realizan comparaciones de áreas; '''dinámicas''' a través de las propiedades de fuerza, masa; y las '''cuaterniónicas''', mediante el uso de vectores.

=== China: el ''Chou Pei Suan Ching'', y el ''Chui Chang Suang Shu'' ===
[[Archivo:Chinese pythagoras.jpg|thumb|210px|Prueba visual para un triángulo de '''''a'''''&nbsp;=&nbsp;3, '''''b'''''&nbsp;=&nbsp;4 y '''''c'''''&nbsp;=&nbsp;5 como se ve en el Chou Pei Suan Ching, 500-200&nbsp;a.&nbsp;C.]]
[[Archivo:Pythagoras-2.gif|right|220px]]

El ''Chou Pei'' es una obra matemática de datación discutida, aunque se acepta mayoritariamente que fue escrita entre el 500 y el 300 [[a. C.]] Se cree que Pitágoras no conoció esta obra. En cuanto al ''Chui Chang'' parece que es posterior, está fechado en torno al año [[250 a. C.|250&nbsp;a.&nbsp;C.]]

El ''Chou Pei'' demuestra el teorema construyendo un cuadrado de lado '''''(a+b)''''' que se parte en cuatro [[triángulo]]s de base '''''a''''' y altura '''''b''''', y un cuadrado de lado '''''c'''''.

;Demostración

Sea el [[triángulo rectángulo]] de catetos '''''a''''' y '''''b''''' e hipotenusa '''''c'''''. Se trata de demostrar que el área del [[cuadrado]] de lado ''c'' es igual a la suma de las áreas de los cuadrados de lado ''a'' y lado ''b''. Es decir:
: <math> a^2 + b^2 = c^2\,</math>
Si añadimos tres triángulos iguales al original dentro del cuadrado de lado '''''c''''' formando la figura mostrada en la imagen, obtenemos un cuadrado de menor tamaño. Se puede observar que el cuadrado resultante tiene efectivamente un lado de '''''b - a'''''.
Luego, el área de este cuadrado menor puede expresarse de la siguiente manera:
:<math>(a-b)^2 = a^2 - 2ab + b^2 \,</math>
Ya que <math>(b-a)^2 = (a-b)^2 \,</math> .

Es evidente que el área del cuadrado de lado '''''c''''' es la suma del área de los cuatro triángulos de altura '''''a''''' y base '''''b''''' que están dentro de él más el área del cuadrado menor:
:<math>c^2 = 4 \cdot \left( \frac{a \cdot b}{2} \right) + a^2 - 2ab + b^2= a^2 + b^2 </math>
Con lo cual queda demostrado el teorema.

=== Demostraciones supuestas de Pitágoras ===
[[Archivo:Teorema de Pitágoras.Pitágoras.svg|framed|<center>Se cree que Pitágoras se basó en la semejanza de los triángulos ABC, AHC y BHC. La figura coloreada hace evidente el cumplimiento del teorema.</center>]]

Se estima que se demostró el teorema mediante [[triángulos semejantes|semejanza]] de triángulos: sus lados homólogos son proporcionales.<ref>Una vez descubiertos los [[número irracional|números irracionales]] esta demostración quedaba invalidada. Será [[Euclides]] el primero en prescindir de la proporcionalidad para demostrar el teorema.</ref>

Sea el triángulo ABC, rectángulo 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 triángulos rectángulos ABC, AHC y BHC tienen sus tres bases iguales: todos tienen dos bases en común, y los ángulos agudos son iguales bien por ser comunes, bien por tener sus lados perpendiculares. En consecuencia dichos triángulos son semejantes.

* De la semejanza entre ABC y AHC:
y dos triangulos son semejantes si hay dos o mas angulos congruentes.


:<math>\frac {b}{b'}=\frac {c}{b}</math>

:<math>b^2\ =\ b'c</math>


* De la semejanza entre ABC y BHC:


:<math>\frac {a}{a'}=\frac {c}{a}</math>


:<math>a^2\ =\ a'c</math>


Los resultados obtenidos son el [[teorema del cateto]].
Sumando:

:<math>a^2\ +\ b^2 =a'c\ +\ b'c\ =\ c\left (a'+b'\right )</math>

Pero <math>\left (a'+b'\right )=\ c</math>, por lo que finalmente resulta:

:<math>a^2\ +\ b^2 =c^2</math>

[[Archivo:Triángulos semejantes b.svg|framed|<center>La relación entre las superficies de dos figuras semejantes es igual al cuadrado de su razón de semejanza. En esto pudo haberse basado Pitágoras para demostrar su teorema</center>]]

Pitágoras también pudo haber demostrado el teorema basándose en la relación entre las superficies de figuras semejantes.

Los triángulos PQR y PST son semejantes, de manera que:

:<math>\frac {r}{u}=\frac {s}{v} = r</math>

siendo r la razón de semejanza entre dichos triángulos. Si ahora buscamos la relación entre sus superficies:

:<math>S_{PQR}\ =\ \frac {1}{2} \left ( rs \right )</math>

:<math>S_{PST}\ =\ \frac {1}{2} \left ( uv \right )</math>

obtenemos después de simplificar que:

:<math>\frac {S_{PQR}}{S_{PST}}=\frac {rs}{uv} = \frac {r}{u} \cdot \frac {s}{v}</math>

pero siendo <math>\frac {r}{u}=\frac {s}{v} = r</math> la razón de semejanza, está claro que:

:<math>\frac {S_{PQR}}{S_{PST}}= \left (\frac {r}{u} \right )^2 = \left ( \frac {s}{v} \right ) ^2 </math>

Es decir, ''"la relación entre las superficies de dos figuras semejantes es igual al cuadrado de la razón de semejanza"''.

Aplicando ese principio a los triángulos rectángulos semejantes ACH y BCH tenemos que:

:<math>\frac {S_{ACH}}{S_{BCH}}= \left (\frac {b}{a} \right )^2 </math>

que de acuerdo con las propiedades de las proporciones nos da:

:<math>\frac {S_{ACH}} {b^2} = \frac {S_{BCH}} {a^2} = \frac {S_{ACH} + S_{BCH}}{b^2+a^2 }</math> '''(I)'''

y por la semejanza entre los triángulos ACH y ABC resulta que:

:<math>\frac {S_{ACH}}{S_{ABC}}= \left (\frac {b}{c} \right )^2 </math>

:<math>\frac {S_{ACH}}{b^2} = \frac {S_{ABC}} {c^2}</math>

pero según '''(I)''' <math>\frac {S_{ACH}} {b^2} = \frac {S_{ACH} + S_{BCH}}{b^2+a^2 }</math>, así que:

:<math> \frac {S_{ACH} + S_{BCH}}{b^2+a^2 } = \frac {S_{ABC}} {c^2} </math>

y por lo tanto:

:<math> b^2 \ +\ a^2 \ = \ c^2</math>

quedando demostrado el teorema de Pitágoras.

[[Archivo:Teorema de Pitágoras.Pitágoras b.svg|framed|<center>Los cuadrados compuestos en el centro y a la derecha tienen áreas equivalentes. Quitándoles los triángulos el teorema de Pitágoras queda demostrado.</center>]]

Es asimismo posible que Pitágoras hubiera obtenido una demostración gráfica del teorema.

Partiendo de la configuración inicial, con el triángulo rectángulo de lados '''''a''''', '''''b''''', '''''c''''', y los cuadrados correspondientes a catetos e hipotenusa –izquierda-, se construyen dos cuadrados iguales:

* Uno de ellos –centro- está formado por los cuadrados de los catetos, más cuatro triángulos rectángulos iguales al triángulo inicial.
* El otro cuadrado –derecha- lo conforman los mismos cuatro triángulos, y el cuadrado de la hipotenusa.

Si a cada uno de estos cuadrados les quitamos los triángulos, evidentemente el área del cuadrado gris (<math>c^2</math>) equivale a la de los cuadrados amarillo y azul (<math>b^2+a^2</math>), habiéndose demostrado el teorema de Pitágoras.

=== Demostración de Platón: el ''Menón'' ===
[[Archivo:PLATÓN.Duplicación del cuadrado y teorema de Pitágoras.svg|framed|<center>En uno de los [[meandro (geomorfología)|meandros]] del [[Menón]] se plantea el problema de la duplicación del cuadrado –izquierda y centro-. La solución que elabora Platón encierra inesperadamente una demostración del teorema de Pitágoras –derecha-, si bien referida exclusivamente a los triángulos rectángulos isósceles.</center>]]

{{cita|Dinos, Sócrates, ¿cómo se adquiere la virtud? ¿Mediante la enseñanza o mediante el ejercicio?|}}
Esta filosófica pregunta forma parte del ''[[Menón]]'' de [[Platón]], y a su tenor no parece que la [[Geometría]] vaya a hacer acto de presencia en el ''Diálogo'', pero el filósofo es quien maneja los hilos y unas páginas más adelante nos encontramos con cuadrados y superficies. En ese fragmento, Platón habla de que conocer es recordar. Cuando creemos estar aprendiendo, lo que sucede en realidad es que recordamos las verdades que nuestra alma pudo percibir de forma inmediata antes de encarnarse en el cuerpo.

En el texto [[Sócrates]] se lo demuestra a Menón llamando a uno de sus esclavos, que nunca ha sido educado, pero que, sin embargo, es capaz de llegar a demostrar el teorema de Pitágoras. Sócrates le plantea el problema de la duplicación del cuadrado. Sucesivas preguntas van sacando de la mente del esclavo la solución del problema, con lo que pretendidamente aquél no hizo sino "recordar" lo que ya "sabía". Ese método para sacar esos conocimientos es la mayéutica, en la cual, el individuo que conduce al otro hacia el conocimiento, como en este caso hace Sócrates, desempeña una función similar a la de una partera, donde lo que logra extraer de su interlocutor, es el conocimiento de lo verdadero.

Platón construye un [[cuadrado]] cuyo lado es de dos unidades (izquierda, gris). Su área vale lo de cuatro unidades cuadradas. Trazando un nuevo cuadrado sobre su [[diagonal]] AB, obtiene un cuadrado de ocho unidades cuadradas (centro, azul), doble superficie de la del primero.<ref>En primer lugar se ha cuadruplicado el área del cuadrado inicial, que aumentó de cuatro a dieciséis unidades cuadradas, para después obtener el resultado buscado</ref> Hasta aquí la duplicación del cuadrado. Pero también se ha demostrado el teorema de Pitágoras (derecha): el área del cuadrado azul (<math>8 u^2</math>) construido sobre la hipotenusa AB del triángulo rectángulo ABC, es igual a la suma de las áreas de los cuadrados grises (<math>4 u^2</math> cada uno) construidos sobre los catetos AC y BC. Generalizando: cada uno de los cuadrados construidos sobre la hipotenusa (la diagonal del cuadrado inicial) contiene cuatro de dichos triángulos.

Queda demostrado el teorema de Pitágoras, si bien restringido a los '''triángulos rectángulos isósceles'''.

=== Demostración de Euclides: proposición I.47 de Los Elementos ===
[[Archivo:Euclides I.41.svg|framed|<center>La proposición I.41 de Euclides. La superficie del rectángulo ABCD es el doble de la de cualquiera de los triángulos: sus bases son la misma –DC-, y están entre las mismas paralelas. Esto es cuanto necesita [[Euclides]] para demostrar el teorema de Pitágoras.</center>]]

[[Archivo:Teorema de Pitágoras.Euclides.svg|framed|<center>La demostración de Euclides es puramente geométrica. Su columna vertebral es la sencilla proposición I.47 de [[Los Elementos]].</center>]]

[[Archivo:Euclides I.36.svg|framed|<center>La proposición I.36 de Euclides: los paralelogramos ABCD y EFCD tienen áreas equivalentes, por tener igual base, y estar comprendidos entre las mismas paralelas.</center>]]

El descubrimiento de los [[número irracional|números irracionales]] por Pitágoras y los [[Pitagóricos]] supuso un contratiempo muy serio.<ref>Los pitagóricos habían llegado a la conclusión de que el número racional lo explicaba todo. Por eso el descubrimiento de los números irracionales causó un verdadero trauma. Juraron mantener el secreto de lo descubierto pero, según la leyenda (¿o realidad?) el pitagórico [[Hipaso de Metaponto]] lo reveló. En represalia, sus compañeros invocaron la ira de los dioses e Hipaso murió en un naufragio.</ref> De pronto, las [[proporción|proporciones]] dejaron de tener validez universal, no siempre podían aplicarse. La demostración de Pitágoras de su teorema se basaba muy probablemente en proporciones, y una proporción es un [[número racional]]. ¿Sería realmente válida como demostración? Ante esto, [[Euclides]] elabora una demostración nueva que elude la posibilidad de encontrarse con números irracionales.

El eje de su demostración es la proposición I.47 de [[Los Elementos]]:

:''Si un [[paralelogramo]] y un [[triángulo]] tienen la misma base, y están comprendidos entre las mismas paralelas, entonces el área del paralelogramo es doble de la del triángulo''. Esto es tanto como decir que a igual base y altura, el área de aquél dobla a la de éste.

Tenemos el triángulo ABC, rectángulo en C, y construimos los cuadrados correspondientes a catetos e hipotenusa. La altura CH se prolonga hasta J. Seguidamente se trazan cuatro triángulos, iguales dos a dos:
* Triángulos ACK y ABD: son iguales, pues siendo AD=AC, y AK=AB, necesariamente BD=CK. Sus tres lados son iguales.
* Triángulos ABG y CBI: análogamente, AB=BI, y BG=BC, así que AG=CI. Sus tres lados son asimismo iguales.

Abundando en las anteriores consideraciones, nótese que un giro con centro en A, y sentido positivo, transforma ACK en ABD. Y un giro con centro en B, y sentido también positivo, transforma ABG en CBI. En la [[#Demostración de Leonardo da Vinci|demostración de Leonardo da Vinci]] nos encontraremos de nuevo con giros que demuestran la igualdad de figuras.

Veamos seguidamente que:
# Las paralelas r y s comprenden al triángulo ACK y el [[rectángulo]] AHJK, los cuales tienen la misma base, AK. Por tanto de acuerdo con la proposición I.47 AHJK tiene doble área que ACK.
# Las paralelas m y n contienen a ABD y ADEC, cuya base común es AD. Así que el área de ADEC es doble de la de ABD.

Pero siendo ACK=ABD, resulta que el rectángulo AHJK y el [[cuadrado]] ADEC tienen áreas equivalentes.
Haciendo razonamientos similares con los triángulos ABG y CBI, respecto al cuadrado BCFG y al rectángulo HBIJ respectivamente, concluimos que éstos últimos tienen áreas asimismo iguales.
A partir de aquí, es inmediato que la suma de las áreas de los cuadrados construidos sobre los catetos, es igual al área del cuadrado construido sobre la hipotenusa

=== Demostración de Pappus ===
[[Archivo:Teorema de Pitágoras.Pappus.svg|framed|<center>La demostración de Pappus parece ser unas musicales variaciones sobre un mismo tema, respecto a la de Euclides.</center>]]
Unos 625 años después que Euclides, [[Pappus de Alejandría|Pappus]]<ref>Pappus nació en [[Alejandría]] -''Pappus de Alejandría''- sobre el año 290 de nuestra [[era]], y murió alrededor del 350. Es el último de los grandes geómetras griegos.</ref> parece seguir su senda, y desarrolla una demostración del teorema de Pitágoras basada en [[Los Elementos|Elementos I.36]]:

:''Dos paralelogramos de igual base, y entre las mismas paralelas, tienen superficies equivalentes.''

:<math> h^2 + b^2 + c^2 \,</math>

== Notas ==
<references/>

== Referencias bibliográficas ==
* PLATÓN: ''Diálogos. Menexenos-Menon-Kratilos-Faidros''. Ediciones Ibéricas. Madrid, 1958
* PAUL STRATHERN: ''Pitágoras y su teorema''. Siglo XXI de España Editores. Madrid, 1999
* LOOMIS E. S.: ''The Pythagorean Proposition''. NCTM. Michigan, 1940
* GONZÁLEZ URBANEJA, P. M.: ''Pitágoras. El filósofo del número''. Nivola. Madrid, 2001

== Véase también ==
* [[Trigonometría]]
** [[Triangulación]]
** [[Trigonometría esférica]]
** [[Función trigonométrica]]
* [[Geometría]] del [[triángulo]]
** [[Teorema del coseno]]
** [[Teorema del seno]]
* [[Pitágoras]]
* [[Escuela de Kerala]]
* [[Matemática en la India]]

== Enlaces externos ==
{{commonscat|Pythagorean theorem}}
{{Destacado|bar}}
{{destacado|de}}
{{destacado|fr}}
{{Destacado|he}}

{{Bueno|ar}}
{{bueno|en}}
{{Bueno|eo}}

{{Destacado|sr}}

[[Categoría:Teoremas de geometría|Pitágoras]]
[[Categoría:Triángulos]]
[[Categoría:Geometría elemental]]

[[af:Pythagoras se stelling]]
[[ar:مبرهنة فيثاغورس]]
[[ast:Teorema de Pitágoras]]
[[az:Pifaqor Teoremi]]
[[bar:Såtz vum Pythagoras]]
[[be:Тэарэма Піфагора]]
[[be-x-old:Тэарэма Піфагора]]
[[bg:Питагорова теорема]]
[[bn:পিথাগোরাসের উপপাদ্য]]
[[bs:Pitagorin teorem]]
[[ca:Teorema de Pitàgores]]
[[cs:Pythagorova věta]]
[[cv:Пифагор теореми]]
[[cy:Theorem Pythagoras]]
[[da:Den pythagoræiske læresætning]]
[[de:Satz des Pythagoras]]
[[el:Πυθαγόρειο θεώρημα]]
[[en:Pythagorean theorem]]
[[eo:Teoremo de Pitagoro]]
[[et:Pythagorase teoreem]]
[[eu:Pitagorasen teorema]]
[[fa:قضیه فیثاغورس]]
[[fi:Pythagoraan lause]]
[[fr:Théorème de Pythagore]]
[[gl:Teorema de Pitágoras]]
[[he:משפט פיתגורס]]
[[hi:पायथोगोरस प्रमेय]]
[[hr:Pitagorin poučak]]
[[hsb:Sada Pythagorasa]]
[[hu:Pitagorasz-tétel]]
[[ia:Theorema de Pythagoras]]
[[id:Teorema Pythagoras]]
[[io:Teoremo di Pitagoro]]
[[is:Regla Pýþagórasar]]
[[it:Teorema di Pitagora]]
[[ja:ピタゴラスの定理]]
[[ka:პითაგორას თეორემა]]
[[km:ទ្រឹស្តីបទពីតាករ]]
[[ko:피타고라스의 정리]]
[[la:Theorema Pythagorae]]
[[lt:Pitagoro teorema]]
[[lv:Pitagora teorēma]]
[[mk:Питагорина теорема]]
[[ml:പൈതഗോറസ് സിദ്ധാന്തം]]
[[mn:Пифагорын теорем]]
[[mr:पायथागोरसचा सिद्धांत]]
[[ms:Teorem Pythagoras]]
[[nl:Stelling van Pythagoras]]
[[no:Pythagoras’ læresetning]]
[[pl:Twierdzenie Pitagorasa]]
[[pms:Teorema ëd Pitàgora]]
[[pt:Teorema de Pitágoras]]
[[ro:Teorema lui Pitagora]]
[[ru:Теорема Пифагора]]
[[scn:Tiurema di Pitagora]]
[[sh:Pitagorina teorema]]
[[simple:Pythagorean theorem]]
[[sk:Pytagorova veta]]
[[sl:Pitagorov izrek]]
[[sq:Teorema e Pitagorës]]
[[sr:Питагорина теорема]]
[[sv:Pythagoras sats]]
[[ta:பித்தேகோரசு தேற்றம்]]
[[te:పైథాగరస్ సిద్ధాంతం]]
[[th:ทฤษฎีบทพีทาโกรัส]]
[[tr:Pisagor teoremi]]
[[uk:Теорема Піфагора]]
[[vi:Định lý Pytago]]
[[yi:פיטאגאראס פרינציפ]]
[[zh:勾股定理]]
[[zh-classical:勾股定理]]

Revisión del 22:42 24 feb 2010

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


Historia

El Teorema de Pitágoras lleva este nombre porque su descubrimiento recae sobre la escuela pitagórica. Anteriormente, en Mesopotamia y el Antiguo Egipto se conocían ternas de valores que se correspondían con los lados de un triángulo rectángulo, y se utilizaban para resolver problemas referentes a los citados triángulos, tal como se indica en algunas tablillas y papiros, pero no ha perdurado ningún documento que exponga teóricamente su relación. La pirámide de Kefrén, datada en el siglo XXVI a. C., fue la primera gran pirámide que se construyó basándose en el llamado triángulo sagrado egipcio, de proporciones 3-4-5.

Demostraciones

El Teorema de Pitágoras es de los que cuentan con un mayor número de demostraciones diferentes, utilizando métodos muy diversos. Una de las causas de esto es que en la Edad Media se exigía una nueva demostración de el para alcanzar el grado de Magíster matheseos.

Algunos autores proponen hasta más de mil demostraciones. Otros autores, como el matemático estadounidense E. S. Loomis, catalogó 367 pruebas diferentes en su libro de 1937 The Pythagorean Proposition.

En ese mismo libro, Loomis clasificaría las demostraciones en cuatro grandes grupos: las algebraicas, donde se relacionan los lados y segmentos del triángulo; geométricas, en las que se realizan comparaciones de áreas; dinámicas a través de las propiedades de fuerza, masa; y las cuaterniónicas, mediante el uso de vectores.

China: el Chou Pei Suan Ching, y el Chui Chang Suang Shu

Prueba visual para un triángulo de a = 3, b = 4 y c = 5 como se ve en el Chou Pei Suan Ching, 500-200 a. C.

El Chou Pei es una obra matemática de datación discutida, aunque se acepta mayoritariamente que fue escrita entre el 500 y el 300 a. C. Se cree que Pitágoras no conoció esta obra. En cuanto al Chui Chang parece que es posterior, está fechado en torno al año 250 a. C.

El Chou Pei demuestra el teorema construyendo un cuadrado de lado (a+b) que se parte en cuatro triángulos de base a y altura b, y un cuadrado de lado c.

Demostración

Sea el triángulo rectángulo de catetos a y b e hipotenusa c. Se trata de demostrar que el área del cuadrado de lado c es igual a la suma de las áreas de los cuadrados de lado a y lado b. Es decir:

Si añadimos tres triángulos iguales al original dentro del cuadrado de lado c formando la figura mostrada en la imagen, obtenemos un cuadrado de menor tamaño. Se puede observar que el cuadrado resultante tiene efectivamente un lado de b - a. Luego, el área de este cuadrado menor puede expresarse de la siguiente manera:

Ya que .

Es evidente que el área del cuadrado de lado c es la suma del área de los cuatro triángulos de altura a y base b que están dentro de él más el área del cuadrado menor:

Con lo cual queda demostrado el teorema.

Demostraciones supuestas de Pitágoras

Se cree que Pitágoras se basó en la semejanza de los triángulos ABC, AHC y BHC. La figura coloreada hace evidente el cumplimiento del teorema.

Se estima que se demostró el teorema mediante semejanza de triángulos: sus lados homólogos son proporcionales.[1]

Sea el triángulo ABC, rectángulo 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 triángulos rectángulos ABC, AHC y BHC tienen sus tres bases iguales: todos tienen dos bases en común, y los ángulos agudos son iguales bien por ser comunes, bien por tener sus lados perpendiculares. En consecuencia dichos triángulos son semejantes.

  • De la semejanza entre ABC y AHC:

y dos triangulos son semejantes si hay dos o mas angulos congruentes.



  • De la semejanza entre ABC y BHC:




Los resultados obtenidos son el teorema del cateto. Sumando:

Pero , por lo que finalmente resulta:

La relación entre las superficies de dos figuras semejantes es igual al cuadrado de su razón de semejanza. En esto pudo haberse basado Pitágoras para demostrar su teorema

Pitágoras también pudo haber demostrado el teorema basándose en la relación entre las superficies de figuras semejantes.

Los triángulos PQR y PST son semejantes, de manera que:

siendo r la razón de semejanza entre dichos triángulos. Si ahora buscamos la relación entre sus superficies:

obtenemos después de simplificar que:

pero siendo la razón de semejanza, está claro que:

Es decir, "la relación entre las superficies de dos figuras semejantes es igual al cuadrado de la razón de semejanza".

Aplicando ese principio a los triángulos rectángulos semejantes ACH y BCH tenemos que:

que de acuerdo con las propiedades de las proporciones nos da:

(I)

y por la semejanza entre los triángulos ACH y ABC resulta que:

pero según (I) , así que:

y por lo tanto:

quedando demostrado el teorema de Pitágoras.

Los cuadrados compuestos en el centro y a la derecha tienen áreas equivalentes. Quitándoles los triángulos el teorema de Pitágoras queda demostrado.

Es asimismo posible que Pitágoras hubiera obtenido una demostración gráfica del teorema.

Partiendo de la configuración inicial, con el triángulo rectángulo de lados a, b, c, y los cuadrados correspondientes a catetos e hipotenusa –izquierda-, se construyen dos cuadrados iguales:

  • Uno de ellos –centro- está formado por los cuadrados de los catetos, más cuatro triángulos rectángulos iguales al triángulo inicial.
  • El otro cuadrado –derecha- lo conforman los mismos cuatro triángulos, y el cuadrado de la hipotenusa.

Si a cada uno de estos cuadrados les quitamos los triángulos, evidentemente el área del cuadrado gris () equivale a la de los cuadrados amarillo y azul (), habiéndose demostrado el teorema de Pitágoras.

Demostración de Platón: el Menón

En uno de los meandros del Menón se plantea el problema de la duplicación del cuadrado –izquierda y centro-. La solución que elabora Platón encierra inesperadamente una demostración del teorema de Pitágoras –derecha-, si bien referida exclusivamente a los triángulos rectángulos isósceles.
Dinos, Sócrates, ¿cómo se adquiere la virtud? ¿Mediante la enseñanza o mediante el ejercicio?

Esta filosófica pregunta forma parte del Menón de Platón, y a su tenor no parece que la Geometría vaya a hacer acto de presencia en el Diálogo, pero el filósofo es quien maneja los hilos y unas páginas más adelante nos encontramos con cuadrados y superficies. En ese fragmento, Platón habla de que conocer es recordar. Cuando creemos estar aprendiendo, lo que sucede en realidad es que recordamos las verdades que nuestra alma pudo percibir de forma inmediata antes de encarnarse en el cuerpo.

En el texto Sócrates se lo demuestra a Menón llamando a uno de sus esclavos, que nunca ha sido educado, pero que, sin embargo, es capaz de llegar a demostrar el teorema de Pitágoras. Sócrates le plantea el problema de la duplicación del cuadrado. Sucesivas preguntas van sacando de la mente del esclavo la solución del problema, con lo que pretendidamente aquél no hizo sino "recordar" lo que ya "sabía". Ese método para sacar esos conocimientos es la mayéutica, en la cual, el individuo que conduce al otro hacia el conocimiento, como en este caso hace Sócrates, desempeña una función similar a la de una partera, donde lo que logra extraer de su interlocutor, es el conocimiento de lo verdadero.

Platón construye un cuadrado cuyo lado es de dos unidades (izquierda, gris). Su área vale lo de cuatro unidades cuadradas. Trazando un nuevo cuadrado sobre su diagonal AB, obtiene un cuadrado de ocho unidades cuadradas (centro, azul), doble superficie de la del primero.[2]​ Hasta aquí la duplicación del cuadrado. Pero también se ha demostrado el teorema de Pitágoras (derecha): el área del cuadrado azul () construido sobre la hipotenusa AB del triángulo rectángulo ABC, es igual a la suma de las áreas de los cuadrados grises ( cada uno) construidos sobre los catetos AC y BC. Generalizando: cada uno de los cuadrados construidos sobre la hipotenusa (la diagonal del cuadrado inicial) contiene cuatro de dichos triángulos.

Queda demostrado el teorema de Pitágoras, si bien restringido a los triángulos rectángulos isósceles.

Demostración de Euclides: proposición I.47 de Los Elementos

La proposición I.41 de Euclides. La superficie del rectángulo ABCD es el doble de la de cualquiera de los triángulos: sus bases son la misma –DC-, y están entre las mismas paralelas. Esto es cuanto necesita Euclides para demostrar el teorema de Pitágoras.
La demostración de Euclides es puramente geométrica. Su columna vertebral es la sencilla proposición I.47 de Los Elementos.
La proposición 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 números irracionales por Pitágoras y los Pitagóricos supuso un contratiempo muy serio.[3]​ De pronto, las proporciones dejaron de tener validez universal, no siempre podían aplicarse. La demostración de Pitágoras de su teorema se basaba muy probablemente en proporciones, y una proporción es un número racional. ¿Sería realmente válida como demostración? Ante esto, Euclides elabora una demostración nueva que elude la posibilidad de encontrarse con números irracionales.

El eje de su demostración es la proposición I.47 de Los Elementos:

Si un paralelogramo y un triángulo tienen la misma base, y están comprendidos entre las mismas paralelas, entonces el área del paralelogramo es doble de la del triángulo. Esto es tanto como decir que a igual base y altura, el área de aquél dobla a la de éste.

Tenemos el triángulo ABC, rectángulo en C, y construimos los cuadrados correspondientes a catetos e hipotenusa. La altura CH se prolonga hasta J. Seguidamente se trazan cuatro triángulos, iguales dos a dos:

  • Triángulos ACK y ABD: son iguales, pues siendo AD=AC, y AK=AB, necesariamente BD=CK. Sus tres lados son iguales.
  • Triángulos ABG y CBI: análogamente, AB=BI, y BG=BC, así que AG=CI. Sus tres lados son asimismo iguales.

Abundando en las anteriores consideraciones, nótese que un giro con centro en A, y sentido positivo, transforma ACK en ABD. Y un giro con centro en B, y sentido también positivo, transforma ABG en CBI. En la demostración de Leonardo da Vinci nos encontraremos de nuevo con giros que demuestran la igualdad de figuras.

Veamos seguidamente que:

  1. Las paralelas r y s comprenden al triángulo ACK y el rectángulo AHJK, los cuales tienen la misma base, AK. Por tanto de acuerdo con la proposición I.47 AHJK tiene doble área que ACK.
  2. Las paralelas m y n contienen a ABD y ADEC, cuya base común es AD. Así que el área de ADEC es doble de la de ABD.

Pero siendo ACK=ABD, resulta que el rectángulo AHJK y el cuadrado ADEC tienen áreas equivalentes. Haciendo razonamientos similares con los triángulos ABG y CBI, respecto al cuadrado BCFG y al rectángulo HBIJ respectivamente, concluimos que éstos últimos tienen áreas asimismo iguales. A partir de aquí, es inmediato que la suma de las áreas de los cuadrados construidos sobre los catetos, es igual al área del cuadrado construido sobre la hipotenusa

Demostración de Pappus

La demostración de Pappus parece ser unas musicales variaciones sobre un mismo tema, respecto a la de Euclides.

Unos 625 años después que Euclides, Pappus[4]​ parece seguir su senda, y desarrolla una demostración del teorema de Pitágoras basada en Elementos I.36:

Dos paralelogramos de igual base, y entre las mismas paralelas, tienen superficies equivalentes.

Notas

  1. Una vez descubiertos los números irracionales esta demostración 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 dieciséis unidades cuadradas, para después obtener el resultado buscado
  3. Los pitagóricos habían llegado a la conclusión de que el número racional lo explicaba todo. Por eso el descubrimiento de los números irracionales causó un verdadero trauma. Juraron mantener el secreto de lo descubierto pero, según la leyenda (¿o realidad?) el pitagórico Hipaso de Metaponto lo reveló. En represalia, sus compañeros invocaron la ira de los dioses e Hipaso murió en un naufragio.
  4. Pappus nació en Alejandría -Pappus de Alejandría- sobre el año 290 de nuestra era, y murió alrededor del 350. Es el último de los grandes geómetras griegos.

Referencias bibliográficas

  • PLATÓN: Diálogos. Menexenos-Menon-Kratilos-Faidros. Ediciones Ibéricas. Madrid, 1958
  • PAUL STRATHERN: Pitágoras y su teorema. Siglo XXI de España Editores. Madrid, 1999
  • LOOMIS E. S.: The Pythagorean Proposition. NCTM. Michigan, 1940
  • GONZÁLEZ URBANEJA, P. M.: Pitágoras. El filósofo del número. Nivola. Madrid, 2001

Véase también

Enlaces externos