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 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 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

external image 210px-Chinese_pythagoras.jpgexternal image magnify-clip.png
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-2.gif
Pythagoras-2.gif

El Chou Pei 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 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:
 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:
(a-b)^2 = a^2 - 2ab + b^2 ,
(a-b)^2 = a^2 - 2ab + b^2 ,

Ya que
(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:
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

external image 310px-Teorema_de_Pit%C3%A1goras.Pit%C3%A1goras.svg.pngSe 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 triángulos son semejantes si hay dos o más ángulos congruentes.

frac {b}{b'}=frac {c}{b}
frac {b}{b'}=frac {c}{b}
b^2 = b'c
b^2 = b'c

  • De la semejanza entre ABC y BHC:

frac {a}{a'}=frac {c}{a}
frac {a}{a'}=frac {c}{a}

a^2 = a'c
a^2 = a'c


Los resultados obtenidos son el teorema del cateto. Sumando:
a^2 + b^2 =a'c + b'c = cleft (a'+b'right )
a^2 + b^2 =a'c + b'c = cleft (a'+b'right )

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

external image 310px-Tri%C3%A1ngulos_semejantes_b.svg.pngLa 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:
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:
S_{PQR} = frac {1}{2} left ( rs right )
S_{PQR} = frac {1}{2} left ( rs right )
S_{PST} = frac {1}{2} left ( uv right )
S_{PST} = frac {1}{2} left ( uv right )

obtenemos después de simplificar que:
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
frac {r}{u}=frac {s}{v} = r
frac {r}{u}=frac {s}{v} = r
la razón de semejanza, está claro que:
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:
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 nos da:
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:
frac {S_{ACH}}{S_{ABC}}= left (frac {b}{c} right )^2
frac {S_{ACH}}{S_{ABC}}= left (frac {b}{c} right )^2
frac {S_{ACH}}{b^2} = frac {S_{ABC}} {c^2}
frac {S_{ACH}}{b^2} = frac {S_{ABC}} {c^2}

pero según (I)
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:
 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:
 b^2  + a^2  =  c^2
b^2 + a^2 = c^2

quedando demostrado el teorema de Pitágoras.
external image 310px-Teorema_de_Pit%C3%A1goras.Pit%C3%A1goras_b.svg.pngLos 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 (c2) equivale a la de los cuadrados amarillo y azul (b2 + a2), habiéndose demostrado el teorema de Pitágoras.

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

external image 310px-PLAT%C3%93N.Duplicaci%C3%B3n_del_cuadrado_y_teorema_de_Pit%C3%A1goras.svg.pngEn 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 (8u2) construido sobre la hipotenusa AB del triángulo rectángulo ABC, es igual a la suma de las áreas de los cuadrados grises (4u2 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