l teorema de Pit�goras establece que en todo tri�ngulo rect�ngulo, el cuadrado de

la longitud de la hipotenusa es igual a la suma de los cuadrados de las respectivas

longitudes de los catetos. Es la proposici�n m�s conocida entre las que tienen
nombre propio en la matem�tica.

Teorema de Pit�goras

En todo tri�ngulo rect�ngulo el cuadrado de la hipotenusa es igual a la suma de los

cuadrados de los catetos.

Pit�goras
Si en un tri�ngulo rect�ngulo hay catetos de longitud {\displaystyle a\,} a\, y
{\displaystyle b\,} b\,, y la medida de la hipotenusa es {\displaystyle c\,} c\,,
entonces se cumple la siguiente relaci�n:

(1) {\displaystyle a^{2}+b^{2}=c^{2}\,} {\displaystyle a^{2}+b^{2}=c^{2}\,}

De esta ecuaci�n se deducen tres corolarios de verificaci�n algebraica y aplicaci�n

pr�ctica:

{\displaystyle a={\sqrt {c^{2}-b^{2}}}} a={\sqrt {c^{2}-b^{2}}} {\displaystyle

b={\sqrt {c^{2}-a^{2}}}} b={\sqrt {c^{2}-a^{2}}} {\displaystyle c={\sqrt
{a^{2}+b^{2}}}} c={\sqrt {a^{2}+b^{2}}}

�ndice
1 Historia
2 Designaciones convencionales
3 Demostraciones
3.1 China: El Zhoubi Suanjing y el Jiuzhang Suanshu
3.2 Demostraciones supuestas de Pit�goras
3.3 Demostraci�n de Euclides: proposici�n I.47 de Los Elementos
3.4 Demostraci�n de Papus
3.5 Demostraci�n de Bhaskara
3.6 Demostraci�n de Leonardo da Vinci
3.7 Demostraci�n de Garfield
3.8 Prueba mediante un geoplano
3.9 Proposici�n rec�proca del teorema de Pit�goras
4 Ejemplos de uso
5 V�ase tambi�n
6 Notas
7 Bibliograf�a
8 Enlaces externos
Historia
El teorema de Pit�goras fue comprobado en el siglo VI a.C. por el fil�sofo y
matem�tico griego Pit�goras, pero se estima que pudo haber sido previo a su
existencia, o demostrado bajo otra denominaci�n.

Respecto de los babilonios hay esta nota:

Desde el punto de vista matem�tico, las novedades m�s importantes que registran los
textos babil�nicos se refieren a la soluci�n algebraica de ecuaciones lineales y
cuadr�ticas, y el conocimiento del llamado "teorema de Pit�goras" y de sus
consecuencias num�ricas.

1?
Plimpton 322.jpg
El teorema de Pit�goras tiene este nombre porque su demostraci�n, sobre todo, es
esfuerzo de 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. Sin embargo,
no ha perdurado ning�n documento que exponga te�ricamente su relaci�n.2? 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.

Designaciones convencionales
Euklidova veta.svg
Tri�ngulos � Resumen de convenciones de designaci�n
V�rtices {\displaystyle {\text{A}}} {\text{A}} {\displaystyle {\text{B}}}
{\text{B}} {\displaystyle {\text{C}}} {\text{C}}
Lados (como segmento) {\displaystyle {\text{BC}}} {\text{BC}} {\displaystyle
{\text{AC}}} {\text{AC}} {\displaystyle {\text{AB}}} {\text{AB}}
Lados (como longitud) {\displaystyle a} a {\displaystyle b} b
{\displaystyle c} c
�ngulos {\displaystyle {\widehat {\alpha }}={\widehat {a}}={\widehat
{A}}={\widehat {BAC}}} \widehat {\alpha }=\widehat {a}=\widehat {A}=\widehat {BAC}
{\displaystyle {\widehat {\beta }}={\widehat {b}}={\widehat {B}}={\widehat
{ABC}}} \widehat {\beta }=\widehat {b}=\widehat {B}=\widehat {ABC}
{\displaystyle {\widehat {\gamma }}={\widehat {c}}={\widehat {C}}={\widehat
{ACB}}} \widehat {\gamma }=\widehat {c}=\widehat {C}=\widehat {ACB}

Demostraciones
El teorema de Pit�goras es de los que cuenta 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 del teorema 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 1927 The Pythogorean 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 Zhoubi Suanjing y el Jiuzhang Suanshu

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.
Pythagoras-2a.gif
El Zhoubi Suanjing es una obra matem�tica de dataci�n discutida en algunos lugares,
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 Jiuzhang Suanshu parece que
es posterior, est� fechado en torno al a�o 250 a. C.

El Zhou Bi 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:
{\displaystyle a^{2}+b^{2}=c^{2}\,} a^{2}+b^{2}=c^{2}\,
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:

{\displaystyle (a-b)^{2}=a^{2}-2ab+b^{2}\,} (a-b)^{2}=a^{2}-2ab+b^{2}\,

Ya que {\displaystyle (b-a)^{2}=(a-b)^{2}\,} (b-a)^{2}=(a-b)^{2}\, .

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:

{\displaystyle c^{2}=4\cdot \left({\frac {a\cdot b}{2}}\right)+a^{2}-

2ab+b^{2}=a^{2}+b^{2}} c^{2}=4\cdot \left({\frac {a\cdot b}{2}}\right)+a^{2}-
2ab+b^{2}=a^{2}+b^{2}
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.3?

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 tri�ngulos son semejantes si hay dos o m�s �ngulos congruentes.

{\displaystyle {\frac {b}{b'}}={\frac {c}{b}}} {\frac {b}{b'}}={\frac {c}{b}}

{\displaystyle b^{2}\ =\ b'c} b^{2}\ =\ b'c
De la semejanza entre ABC y BHC:
{\displaystyle {\frac {a}{a'}}={\frac {c}{a}}} {\frac {a}{a'}}={\frac {c}{a}}
{\displaystyle a^{2}\ =\ a'c} a^{2}\ =\ a'c
Los resultados obtenidos son el teorema del cateto. Sumando:

{\displaystyle a^{2}\ +\ b^{2}=a'c\ +\ b'c\ =\ c\left(a'+b'\right)} a^{2}\ +\

b^{2}=a'c\ +\ b'c\ =\ c\left(a'+b'\right)
Pero {\displaystyle \left(a'+b'\right)=\ c} \left(a'+b'\right)=\ c, por lo que
finalmente resulta:

{\displaystyle a^{2}\ +\ b^{2}=c^{2}} a^{2}\ +\ b^{2}=c^{2}

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:

{\displaystyle {\frac {r}{u}}={\frac {s}{v}}=r} {\frac {r}{u}}={\frac {s}{v}}=r
siendo r la raz�n de semejanza entre dichos tri�ngulos. Si ahora buscamos la
relaci�n entre sus superficies:

{\displaystyle S_{PQR}\ =\ {\frac {1}{2}}\left(rs\right)} S_{{PQR}}\ =\ {\frac {1}

{2}}\left(rs\right)
{\displaystyle S_{PST}\ =\ {\frac {1}{2}}\left(uv\right)} S_{{PST}}\ =\ {\frac {1}
{2}}\left(uv\right)
obtenemos despu�s de simplificar que:

{\displaystyle {\frac {S_{PQR}}{S_{PST}}}={\frac {rs}{uv}}={\frac {r}{u}}\cdot

{\frac {s}{v}}} {\frac {S_{{PQR}}}{S_{{PST}}}}={\frac {rs}{uv}}={\frac {r}
{u}}\cdot {\frac {s}{v}}
pero siendo {\displaystyle {\frac {r}{u}}={\frac {s}{v}}=r} {\frac {r}{u}}={\frac
{s}{v}}=r la raz�n de semejanza, est� claro que:

{\displaystyle {\frac {S_{PQR}}{S_{PST}}}=\left({\frac {r}

{u}}\right)^{2}=\left({\frac {s}{v}}\right)^{2}} {\frac {S_{{PQR}}}
{S_{{PST}}}}=\left({\frac {r}{u}}\right)^{2}=\left({\frac {s}{v}}\right)^{2}
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:

{\displaystyle {\frac {S_{ACH}}{S_{BCH}}}=\left({\frac {b}{a}}\right)^{2}} {\frac

{S_{{ACH}}}{S_{{BCH}}}}=\left({\frac {b}{a}}\right)^{2}
que de acuerdo con las propiedades de las proporciones da:

{\displaystyle {\frac {S_{ACH}}{b^{2}}}={\frac {S_{BCH}}{a^{2}}}={\frac {S_{ACH}

+S_{BCH}}{b^{2}+a^{2}}}} {\frac {S_{{ACH}}}{b^{2}}}={\frac {S_{{BCH}}}
{a^{2}}}={\frac {S_{{ACH}}+S_{{BCH}}}{b^{2}+a^{2}}} (I)
y por la semejanza entre los tri�ngulos ACH y ABC resulta que:

{\displaystyle {\frac {S_{ACH}}{S_{ABC}}}=\left({\frac {b}{c}}\right)^{2}} {\frac

{S_{{ACH}}}{S_{{ABC}}}}=\left({\frac {b}{c}}\right)^{2}
{\displaystyle {\frac {S_{ACH}}{b^{2}}}={\frac {S_{ABC}}{c^{2}}}} {\frac
{S_{{ACH}}}{b^{2}}}={\frac {S_{{ABC}}}{c^{2}}}
pero seg�n (I) {\displaystyle {\frac {S_{ACH}}{b^{2}}}={\frac {S_{ACH}+S_{BCH}}
{b^{2}+a^{2}}}} {\frac {S_{{ACH}}}{b^{2}}}={\frac {S_{{ACH}}+S_{{BCH}}}
{b^{2}+a^{2}}}, as� que:

{\displaystyle {\frac {S_{ACH}+S_{BCH}}{b^{2}+a^{2}}}={\frac {S_{ABC}}{c^{2}}}}

{\frac {S_{{ACH}}+S_{{BCH}}}{b^{2}+a^{2}}}={\frac {S_{{ABC}}}{c^{2}}}
y por lo tanto:

{\displaystyle b^{2}\ +\ a^{2}\ =\ c^{2}} b^{2}\ +\ a^{2}\ =\ c^{2}

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 diferentes:
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 ( {\displaystyle c^{2}} c^{2}) equivale a la de los cuadrados
amarillo y azul ( {\displaystyle b^{2}+a^{2}} b^{2}+a^{2}), habi�ndose demostrado
el teorema de Pit�goras.

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

Figura Euclides 1: La proposici�n I.41[4]? 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.

Figura Euclides 2: La proposici�n I.36[5]? de Euclides: los paralelogramos ABCD y

EFCD tienen �reas equivalentes, por tener igual base, y estar comprendidos entre
las mismas paralelas.

Figura Euclides 3: La demostraci�n de Euclides es puramente geom�trica. Su columna

vertebral es la sencilla proposici�n I.41[4]? de Los Elementos.

El descubrimiento de los n�meros irracionales por Pit�goras y los Pitag�ricos

supuso un contratiempo muy serio.6? 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.477? de Los Elementos:

En los tri�ngulos rect�ngulos el cuadrado del lado opuesto al �ngulo recto es igual
a la suma de los cuadrados de los lados que comprenden el �ngulo recto.

Euclides (proposici�n I.47)

Bas�ndose en la proposici�n I.414? de Los Elementos, que equivale a decir que a
igual base y altura, el �rea del paralelogramo dobla a la del tri�ngulo, (v�ase
Figura Euclides 1).

Se tiene el tri�ngulo ABC, rect�ngulo en C (v�ase Figura Euclides 3), y se

construye los cuadrados correspondientes a catetos e hipotenusa. La altura CH se
prolonga hasta J. Seguidamente se traza cuatro tri�ngulos, iguales dos a dos:

Tri�ngulos ACK y ABD: son iguales, pues siendo los lados AD y AC iguales y
perpendiculares; y siendo AB y AK tambi�n iguales y formando igual �ngulo que AD y
AC, necesariamente el �ngulo DAB es igual al �ngulo CAK, por lo que BD=KC. Sus tres
lados son iguales.
Tri�ngulos ABG y CBI: an�logamente, BA=BI, y BG=BC, as� que AG=IC. Sus tres lados
son asimismo iguales.
Abundando en las anteriores consideraciones, n�tese que un giro con centro en A, y
sentido positivo, transforma ABD en ACK. Y un giro con centro en B, y sentido
tambi�n positivo, transforma ABG en CBI. En la demostraci�n de Leonardo da Vinci se
encontrar� nuevamente con giros que demuestran la igualdad de figuras.

V�ase (en la Figura Euclides 3) 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.414? de Los
Elementos, AHJK tiene doble �rea que ACK, (v�ase Figura Euclides 1).
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. Haciendos� razonamientos similares con los tri�ngulos ABG y CBI,
respecto al cuadrado BCFG y al rect�ngulo HBIJ respectivamente, se concluye que
�stos �ltimos tienen asimismo �reas iguales. A partir de lo anterior, surge de
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 Papus
La proposici�n I.36[5]? de Euclides: los paralelogramos ABCD y EFCD tienen �reas
equivalentes, por tener igual base, y estar comprendidos entre las mismas
paralelas. 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, Pappus8?
parece seguir su senda, y desarrolla una demostraci�n del teorema de Pit�goras
basada en la proposici�n I.365? de Los Elementos de Euclides:

Dos paralelogramos de igual base, y entre las mismas paralelas, tienen superficies
equivalentes.
Partimos del tri�ngulo ABC rect�ngulo en C, sobre cuyos catetos e hipotenusa hemos
construido los cuadrados correspondientes.

Prolongando CH hacia arriba se obtiene el rect�ngulo CEGI cuya diagonal CG

determina en aqu�l dos tri�ngulos rect�ngulos iguales al tri�ngulo ABC dado:

Los �ngulos agudos GCI y ABC tienen sus lados perpendiculares

El lado CI es igual al lado CB
En consecuencia los tri�ngulos rect�ngulos ABC, ICG y EGC tienen sus tres lados
iguales.

Los paralelogramos ACGF y AHMN tienen la misma base CG=HM, y est�n comprendidos
entre las mismas paralelas, r y s. Por lo tanto tienen la misma superficie
(Elementos I.36)
Aplicando el mismo principio a ACGF y ACED �base com�n AC, y paralelas m y n�
resulta que ambos paralelogramos tienen superficies asimismo equivalentes.
De 1) y 2) se sigue que las superficies de ACED y AHMN son iguales.

An�logamente:

CGJB y BLMH tienen la misma base CG=MH, y est�n comprendidos entre las paralelas s
y t. Sus superficies son equivalentes.
CGJB y CIKB tienen base com�n CB, y est�n entre las paralelas o y p. Sus
superficies son iguales.
De d�nde se deduce la equivalencia de las superficies de BLMH y de CIKB.

El teorema de Pit�goras queda demostrado.

Demostraci�n de Bhaskara
Bhaskara desarrolla una demostraci�n gr�fica y algebraica del teorema de Pit�goras.
Bhaskara II, el matem�tico y astr�nomo hind� del siglo XII, dio la siguiente
demostraci�n del teorema de Pit�goras.

Con cuatro tri�ngulos rect�ngulos de lados a, b y c se construye el cuadrado de

lado c �izquierda-, en cuyo centro se forma otro cuadrado de lado (a-b).
Redistribuyendo los cuatro tri�ngulos y el cuadrado de lado (a-b), construimos la
figura de la derecha, cuya superficie resulta ser la suma de la de dos cuadrados:
uno de lado a �azul- y otro de lado b -naranja-.

Se ha demostrado gr�ficamente que {\displaystyle c^{2}=a^{2}+b^{2}}

c^{2}=a^{2}+b^{2}

Algebraicamente: el �rea del cuadrado de lado c es la correspondiente a los cuatro

tri�ngulos, m�s el �rea del cuadrado central de lado (a-b), es decir:

{\displaystyle c^{2}=4\cdot {\frac {ab}{2}}+(a-b)^{2}} c^{2}=4\cdot {\frac {ab}

{2}}+(a-b)^{2}
expresi�n que desarrollada y simplificada nos da el resultado {\displaystyle
c^{2}=a^{2}+b^{2}} c^{2}=a^{2}+b^{2}, y el teorema queda demostrado.

Demostraci�n de Leonardo da Vinci

El dise�o inicial, con el tri�ngulo y los cuadrados de catetos e hipotenusa, es
modificado por Leonardo da Vinci al a�adir dos tri�ngulos iguales al ABC: el ECF y
el HIJ.

En el elenco de inteligencias que abordaron el teorema de Pit�goras no falta el

genio del Renacimiento, Leonardo da Vinci.

Partiendo del tri�ngulo rect�ngulo ABC con los cuadrados de catetos e hipotenusa,
Leonardo a�ade los tri�ngulos ECF y HIJ, iguales al dado, resultando dos pol�gonos,
cuyas superficies va a demostrar que son equivalentes:

Pol�gono ADEFGB: la l�nea DG lo divide en dos mitades id�nticas, ADGB y DEFG.

Pol�gono ACBHIJ: la l�nea CI determina CBHI y CIJA.
Comparemos los pol�gonos destacados en gris, ADGB y CIJA:

De inmediato vemos que tienen tres lados iguales: AD=AC, AB=AJ, BG=BC=IJ
Asimismo es inmediata la igualdad entre los �ngulos de los siguientes v�rtices:
A de ADGB y A de CIJA
B de ADGB y J de CIJA
Se concluye que ADGB y CIJA son iguales.

De modo an�logo se comprueba la igualdad entre ADGB y CBHI.

Adem�s, de un modo semejante a lo explicado en la demostraci�n de Euclides, n�tese

que un giro de centro A, y sentido positivo, transforma CIJA en ADGB. Mientras que
un giro de centro B, y sentido negativo, transforma CBHI en ADGB.

Todo ello nos lleva a que los pol�gonos ADEFGB y ACBHIJ tienen �reas equivalentes.
Pues bien, si a cada uno le quitamos sus dos tri�ngulos �iguales� las superficies
que restan forzosamente ser�n iguales. Y esas superficies no son sino los dos
cuadrados de los catetos en el pol�gono ADEFGB, por una parte, y el cuadrado de la
hipotenusa en el pol�gono ACBHIJ, por la otra. El teorema de Pit�goras queda
demostrado.

Demostraci�n de Garfield
El pol�gono construido por Garfield es un trapecio de bases a y b, compuesto por
tres tri�ngulos rect�ngulos. James Abram Garfield (1831-1881), el vig�simo
Presidente de los Estados Unidos,9? desarroll� una demostraci�n del teorema de
Pit�goras publicada en el New England Journal of Education.

Garfield construye un trapecio de bases a y b, y altura (a+b), a partir del

tri�ngulo rect�ngulo de lados a, b y c. Dicho trapecio resulta compuesto por tres
tri�ngulos rect�ngulos: dos iguales al dado, y un tercero, is�sceles de catetos c.
En consecuencia:

(g.1) {\displaystyle S_{\text{trapecio}}={\frac {a+b}{2}}\cdot (a+b)}

{\displaystyle S_{\text{trapecio}}={\frac {a+b}{2}}\cdot (a+b)}

como corresponde a la superficie del trapecio, pero asimismo tenemos una figura
compuesta por tres tri�ngulos, dos de ellos iguales, de modo que:

(g.2) {\displaystyle S=2\cdot {\frac {ab}{2}}+{\frac {c^{2}}{2}}} S=2\cdot {\frac

{ab}{2}}+{\frac {c^{2}}{2}}

igualando la ecuaci�n (g.2) con la (g.1) obtenemos:

{\displaystyle (ab)+{\frac {c^{2}}{2}}={\frac {1}{2}}(a+b)\cdot (a+b)} (ab)+{\frac

{c^{2}}{2}}={\frac {1}{2}}(a+b)\cdot (a+b)
multiplicando ambos lados por {\displaystyle 2} 2 y simplificando...

{\displaystyle 2ab+c^{2}=(a+b)^{2}\,} 2ab+c^{2}=(a+b)^{2}\,

expandiendo el miembro derecho...

{\displaystyle 2ab+c^{2}=a^{2}+2ab+b^{2}\,} 2ab+c^{2}=a^{2}+2ab+b^{2}\,

restando {\displaystyle 2ab} 2ab a ambos miembros, finalmente nos da:

{\displaystyle c^{2}=a^{2}+b^{2}\,} c^{2}=a^{2}+b^{2}\,

y el teorema est� demostrado.

Prueba mediante un geoplano

Es posible, m�s que una demostraci�n de car�cter gen�rico, la comprobaci�n de la
justeza de la proposici�n mediante un geoplano, �nicamente para casos especiales y
concretos, previamente conocidos.10?

Proposici�n rec�proca del teorema de Pit�goras

Si en un tri�ngulo ABC, siendo el lado mayor a se cumple que {\displaystyle
a^{2}=b^{2}+c^{2}} {\displaystyle a^{2}=b^{2}+c^{2}} entonces el tri�ngulo es
rect�ngulo.11?

Ejemplos de uso
Para calcular la longitud e de una escalera; se conoce la altura h del muro a
alcanzar; la distancia p desde la l�nea suelo muro al pie de la escalera. Se cumple
la ecuaci�n {\displaystyle e^{2}=h^{2}+p^{2}} {\displaystyle e^{2}=h^{2}+p^{2}}; se
despeja el valor de e, mediante {\displaystyle e={\sqrt {h^{2}+p^{2}}}.}
{\displaystyle e={\sqrt {h^{2}+p^{2}}}.}12?
En la geometr�a anal�tica plana, para hallar la distancia entre los puntos
{\displaystyle C(x_{1},y_{1}),D(x_{2},y_{2})} {\displaystyle
C(x_{1},y_{1}),D(x_{2},y_{2})} con la igualdad {\displaystyle CD^{2}=(x_{2}-
x_{1})^{2}+(y_{2}-y_{1})^{2}.} {\displaystyle CD^{2}=(x_{2}-x_{1})^{2}+(y_{2}-
y_{1})^{2}.}13?
En trigonometr�a para demostrar la identidad fundamental {\displaystyle
\operatorname {sen} ^{2}\alpha +\cos ^{2}\alpha =1} {\displaystyle \operatorname
{sen} ^{2}\alpha +\cos ^{2}\alpha =1}entre el seno y coseno.14?
En la geometr�a para calcular la altura de un tri�ngulo equil�tero en funci�n del
lado; para obtener la altura del tetraedro regular usando la arista. Para hallar el
apotema de un tri�ngulo equil�tero y de un hex�gono regular inscritos, conociendo
el radio de la circunferencia circunscrita.15?
En teor�a algebraica de n�meros para analizar si un entero gaussiano es primo
gaussiano. Por ejemplo {\displaystyle \alpha =1+4i} {\displaystyle \alpha =1+4i},
cuya norma es {\displaystyle N(\alpha )=1^{2}+4^{2}=17.} {\displaystyle N(\alpha )
=1^{2}+4^{2}=17.}16?
V�ase tambi�n
Tri�ngulo rect�ngulo
Terna pitag�rica
Teorema de De Gua
F�rmula de Her�n
Trigonometr�a
Triangulaci�n
Trigonometr�a esf�rica
Funci�n trigonom�trica
Teorema del coseno
Teorema del seno
Pit�goras
Escuela de Kerala
Matem�tica en la India
Ecuaci�n pitag�rica
Notas
Julio Rey Pastor y Jos� Babini. Historia de la matem�tica, p�g. 22; ISBN 84-7432-
807-1
Marc-Alain Ouaknin. El misterio de las cifras, pp 221-224. ISBN 9788496222465
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.
Euclides Los Elementos, proposici�n I.41 ? �Si un paralelogramo tiene la misma
base que un tri�ngulo y est� contenido entre las mismas paralelas, el paralelogramo
es el doble del tri�ngulo.�
Euclides Los Elementos, proposici�n I.36 ? �Los paralelogramos que tienen las
bases iguales y est�n contenidos entre las mismas paralelas, son iguales entre s�.�
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.
Euclides Los Elementos, proposici�n I.47 ? �En los tri�ngulos rect�ngulos el
cuadrado del lado opuesto al �ngulo recto es igual a la suma de los cuadrados de
los lados que comprenden el �ngulo recto.�
Pappus naci� en Alejandr�a -Pappus de Alejandr�a- sobre el a�o 290, y muri�
alrededor del 350. Es el �ltimo de los grandes ge�metras griegos.
James A. Garfield muri� el 19 de septiembre de 1881, a consecuencia de un atentado
sufrido el 2 de julio del mismo a�o. Fue el segundo Presidente asesinado, despu�s
de Abraham Lincoln. Su demostraci�n del teorema de Pit�goras es de 1876, cuando era
miembro de la C�mara de Representantes.
�ngel GUTI�RREZ ( editor) Did�ctica de la matem�tica. Editorial S�ntesis. ISBN 84-
7738-137-2
Pogor�lov. Geometr�a elemental
Posible aplicaci�n, con diversas variantes y contextualidades, en el mundo real.
Carles Lehman: Geometr�a anal�tica
Fleming, Walter y Dale Varberg: �lgebra y trigonometr�a con geometr�a anal�tica
ISBN 968-880-222-0
Juan Go�i: Geometr�a.
Vinogr�dov: Introducci�n a la teor�a de n�meros.