Teorema de Pitgoras

El teorema de Pitgoras establece que en todo tringulo rectngulo, 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 proposicin ms conocida entre las que tienen nombre
propio en la matemtica.

En todo tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de

los cuadrados catetos

Si en un tringulo rectngulo hay catetos de longitud , y la medida de la hipotenusa es

entonces se cumple la siguiente relacin.

De esta ecuacin se deducen fcilmente tres corolarios de verificacin algebraica y

aplicacin prctica:

Historia
El teorema de Pitgoras fue comprobado en el siglo VI a.C. por el filsofo y
matemtico griego Pitgoras, pero se estima que pudo haber sido previo a su existencia,
o demostrado bajo otra denominacin.

Respecto de los babilonios hay esta nota: Desde el punto de vista matemtico, las
novedades ms importantes que registran los textos babilnicos se refieren a la solucin
algebraica de ecuaciones lineales y cuadrticas, y el conocimiento del llamado "teorema
de Pitgoras" y de sus consecuencias numricas.
2
El teorema de Pitgoras tiene este nombre porque su demostracin, sobre todo, es
esfuerzo de la mstica 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. Sin embargo, no ha perdurado ningn
documento que exponga tericamente su relacin.3 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.

Designaciones convencionales

Tringulos Resumen de convenciones de designacin

Vrtices
Lados (como
segmento)
Lados (como
longitud)

ngulos

Demostraciones
El teorema de Pitgoras es de los que cuenta 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 Pythogorean 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
China: El Zhoubi Suanjing, y el Jiuzhang Suanshu

uso de vectores.

Prueba visual para un tringulo de a = 3, b = 4 y c = 5 como se ve en

el Chou Pei Suan Ching, 500-200 a. C.
El Zhoubi Suanjing es una obra matemtica de datacin
discutida en algunos lugares, aunque se acepta
mayoritariamente que fue escrita entre el 500 y el 300 a. C.
Se cree que Pitgoras no conoci esta obra. En cuanto al
Jiuzhang Suanshu parece que es posterior, est fechado en
torno al ao 250 a. C.El Zhou Bi demuestra el teorema
construyendo un cuadrado de lado (a+b) que se parte en
cuatro tringulos de base a y altura b, y un cuadrado de lado c.
Demostracin Sea el tringulo rectngulo 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 aadimos tres tringulos iguales al original dentro del cuadrado de lado c formando
la figura mostrada en la imagen, obtenemos un cuadrado de menor tamao. 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:
Es evidente que el rea del cuadrado de lado c es la suma del
rea de los cuatro tringulos de altura a y base b que estn
dentro de l ms el rea del cuadrado menor con lo cual queda
demostrado el teorema.

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.4Sea 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.
De la semejanza entre ABC y AHC: y dos tringulos son semejantes si hay dos o ms
ngulos congruentes.

De la semejanza entre ABC y BH

Los resultados obtenidos son el teorema del cateto. Sumando:
Pero , por lo que finalmente resulta:
La relacin entre las superficies de dos figuras semejantes es igual al cuadrado de su
razn de semejanza.
En esto pudo haberse basado Pitgoras para demostrar su teorema Pitgoras tambin
pudo haber demostrado el teorema basndose en la relacin entre las superficies de
figuras semejantes.
Los tringulos PQR y PST son semejantes, de manera que:
siendo r la razn de semejanza entre dichos tringulos. Si ahora buscamos la relacin
entre sus superficies:
Obtenemos despus de simplificar que:
Pero siendo la razn de semejanza, est claro que:
Es decir, "la relacin entre las superficies de dos figuras semejantes es igual al
cuadrado de la razn de semejanza".
Aplicando ese principio a los tringulos rectngulos semejantes ACH y BCH tenemos
que:

De acuerdo con las propiedades de las proporciones da:

I
Y por la semejanza entre los tringulos ACH y ABC resulta que:
Pero segn (I) , as que por lo tanto

Queda demostrado que el teorema de Pitgoras.

Los cuadrados compuestos en el centro y a la derecha tienen reas

equivalentes. Quitndoles los tringulos el
teorema de Pitgoras queda demostrado.

Es asimismo posible que Pitgoras hubiera

obtenido una demostracin grfica del
teorema. Partiendo de la configuracin inicial, con el
tringulo rectngulo 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, ms cuatro
tringulos rectngulos iguales al tringulo inicial.
El otro cuadrado derecha lo conforman los mismos cuatro tringulos, y el
cuadrado de la hipotenusa.

Si a cada uno de estos cuadrados les quitamos los tringulos, evidentemente el rea del
cuadrado gris equivale a la de los cuadrados amarillo y azul , habindose demostrado el
teorema de Pitgoras.
Demostracin de Euclides: proposicin I.47 de Los Elementos

Figura Euclides 1: La proposicin I.415 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.

Figura Euclides 2: La proposicin I.366 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
demostracin de Euclides es
puramente geomtrica. Su
columna vertebral es la sencilla
proposicin I.415 de Los
Elementos.

El descubrimiento de los
nmeros irracionales por
Pitgoras y los Pitagricos
supuso un contratiempo muy serio.7 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.478 de Los Elementos:

En los tringulos rectngulos 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 (proposicin I.47)

Basndose en la proposicin I.415 de Los Elementos, que equivale a decir que a igual
base y altura, el rea del paralelogramo dobla a la del tringulo, (vase
Figura Euclides 1).

Se tiene el tringulo ABC, rectngulo en C (vase Figura Euclides 3), y se construye los
cuadrados correspondientes a catetos e hipotenusa. La altura CH se prolonga hasta J.
Seguidamente se traza cuatro tringulos, iguales dos a dos:

Tringulos ACK y ABD: son iguales, pues siendo los lados AD y AC iguales y
perpendiculares; y siendo AB y AK tambin 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.
Tringulos ABG y CBI: anlogamente, BA=BI, y BG=BC, as que AG=IC. Sus
tres lados son asimismo iguales.

Abundando en las anteriores consideraciones, ntese que un giro con centro en A, y

sentido positivo, transforma ABD en ACK. Y un giro con centro en B, y sentido
tambin positivo, transforma ABG en CBI. En la demostracin de Leonardo da Vinci se
encontrar nuevamente con giros que demuestran la igualdad de figuras.

Vase (en la Figura Euclides 3) que:

1. Las paralelas r y s comprenden al tringulo ACK y el rectngulo AHJK, los

cuales tienen la misma base, AK. Por tanto de acuerdo con la proposicin I.415
de Los Elementos, AHJK tiene doble rea que ACK, (vase Figura Euclides 1).
2. Las paralelas m y n contienen a ABD y ADEC, cuya base comn es AD. As
que el rea de ADEC es doble de la de ABD.

Pero siendo ACK=ABD, resulta que el rectngulo AHJK y el cuadrado ADEC tienen
reas equivalentes. Haciendos razonamientos similares con los tringulos ABG y CBI,
respecto al cuadrado BCFG y al rectngulo 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.

Demostracin de Pappus

La proposicin I.366 de Euclides: los

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

La demostracin de Pappus parece ser unas

musicales variaciones sobre un mismo tema,
respecto a la de Euclides.

Unos 625 aos despus que Euclides, Pappus9

parece seguir su senda, y desarrolla una
demostracin del teorema de Pitgoras basada
en la proposicin I.366 de Los Elementos de
Euclides: Dos paralelogramos de igual base, y
entre las mismas paralelas, tienen superficies
equivalentes.

Partimos del tringulo ABC rectngulo en C, sobre cuyos catetos e hipotenusa hemos
construido los cuadrados correspondientes.

Prolongando CH hacia arriba se obtiene el rectngulo CEGI cuya diagonal CG

determina en aqul dos tringulos rectngulos iguales al tringulo ABC dado:

Los ngulos agudos GCI y ABC tienen sus lados perpendiculares

El lado CI es igual al lado CB
En consecuencia los tringulos rectngulos ABC, ICG y EGC tienen sus tres
lados iguales.
 1. Los paralelogramos ACGF y AHMN tienen la misma base CG=HM, y estn
comprendidos entre las mismas paralelas, r y s. Por lo tanto tienen la misma
superficie (Elementos I.36)
2. Aplicando el mismo principio a ACGF y ACED base comn 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.

Anlogamente:

1. CGJB y BLMH tienen la misma base CG=MH, y estn comprendidos entre las
paralelas s y t. Sus superficies son equivalentes.
2. CGJB y CIKB tienen base comn CB, y estn entre las paralelas o y p. Sus
superficies son iguales.

De dnde se deduce la equivalencia de las superficies de BLMH y de CIKB.

El teorema de Pitgoras queda demostrado.

Demostracin de Bhaskara

Bhaskara desarrolla una demostracin

grfica y algebraica del teorema de
Pitgoras.

Bhaskara II, el matemtico y astrnomo

hind del siglo XII, dio la siguiente demostracin del teorema de Pitgoras.
Con cuatro tringulos rectngulos 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 tringulos 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 grficamente que
Algebraicamente: el rea del cuadrado de lado c es la correspondiente a los cuatro
tringulos, ms el rea del cuadrado central de lado (a-b), es decir: expresin que
desarrollada y simplificada nos da el resultado , y el teorema queda demostrado.

Demostracin de Leonardo da Vinci

El diseo inicial, con el tringulo y los cuadrados de catetos e hipotenusa, es modificado

por Leonardo da Vinci al aadir dos tringulos iguales al ABC: el ECF y el HIJ.

En el elenco de inteligencias que abordaron el teorema de Pitgoras no falta el genio del

Renacimiento, Leonardo da Vinci.

Partiendo del tringulo rectngulo ABC con los cuadrados de catetos e hipotenusa,
Leonardo aade los tringulos ECF y HIJ, iguales al dado, resultando dos polgonos,
cuyas superficies va a demostrar que son equivalentes:

1. Polgono ADEFGB: la lnea DG lo divide en dos mitades idnticas, ADGB y

DEFG.
2. Polgono ACBHIJ: la lnea CI determina CBHI y CIJA.

Comparemos los polgonos 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 vrtices:
o A de ADGB y A de CIJA
o B de ADGB y J de CIJA

Se concluye que ADGB y CIJA son iguales. De modo anlogo se comprueba la

igualdad entre ADGB y CBHI. Adems, de un modo semejante a lo explicado en la
demostracin de Euclides, ntese 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 polgonos ADEFGB y
ACBHIJ tienen reas equivalentes. Pues bien, si a cada uno le quitamos sus dos
tringulos iguales las superficies que restan forzosamente sern iguales. Y esas
superficies no son sino los dos cuadrados de los catetos en el polgono ADEFGB, por
una parte, y el cuadrado de la hipotenusa en el polgono ACBHIJ, por la otra. El
teorema de Pitgoras queda demostrado.

Demostracin de Garfield

El polgono construido por Garfield es un

trapecio de bases a y b, compuesto por tres
tringulos rectngulos.

James Abram Garfield (1831-1881), el

vigsimo Presidente de los Estados Unidos,10 desarroll una demostracin del teorema
de Pitgoras publicada en el New England Journal of Education.

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

rectngulo de lados a, b y c. Dicho trapecio resulta compuesto por tres tringulos
rectngulos: dos iguales al dado, y un tercero, issceles de catetos c. En

consecuencia:(g.1) Como corresponde a la superficie del trapecio, pero asimismo

tenemos una figura compuesta por tres tringulos, dos de ellos iguales, de modo
que:(g.2 )igualando la ecuacin (g.2) con la (g.1) obtenemos:

Multiplicando ambos lados por y simplificando...

 expandiendo el miembro derecho... restando a ambos miembros,
finalmente nos da:

y el teorema est demostrado.

Prueba mediante un geoplano

Es posible, ms que una demostracin de carcter genrico, la comprobacin de la

justeza de la proposicin mediante un geoplano, nicamente para casos especiales y
concretos, previamente conocidos. 11

Proposicin recproca del teorema de Pitgoras

Si en un tringulo ABC, siendo el lado mayor a se cumple que entonces el

tringulo es rectngulo. 12

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 lnea suelo muro al pie de la escalera. Se cumple
13
la ecuacin ; se despeja el valor de e, mediante

En la geometra analtica plana, para hallar la distancia entre los puntos con
14
la igualdad

En trigonometra para demostrar la identidad fundamental entre el seno y

coseno.15
En la geometra para calcular la altura de un tringulo equiltero en funcin del
lado; para obtener la altura del tetraedro regular usando la arista. Para hallar el
apotema de un tringulo equiltero y de un hexgono regular inscritos,
conociendo el radio de la circunferencia circunscrita.16

En teora algebraica de nmeros para analizar si un entero gaussiano es primo

17
gaussiano. Por ejemplo , cuya norma es