Ejercicio 87:

A John Molokach se le ocurrió una prueba del teorema de Pitágoras basado en el siguiente
diagrama:

Si alguna prueba merece ser llamada algebraica, esta lo hace. Para los detalles, vea una
página separada.

Esta página surgió de una discusión en el CTK Exchange iniciada por John
Molokach. A John se le ocurrió una prueba del teorema de Pitágoras basado en el
siguiente diagrama::

Como de costumbre, ayb denotan las longitudes de las patas (los lados que forman
el ángulo recto) de un triángulo rectángulo, c la longitud de su hipotenusa. A la
izquierda, la famosa Silla de la novia está incrustada en un rectángulo cuyas
dimensiones se ven fácilmente como (2b + a) y (2a + b). Por lo tanto, el rectángulo
tiene el área de (2b + a) × (2a + b) = 2a² + 5ab + 2b².

Para probar el teorema, John movió uno de los triángulos como se muestra en la
parte derecha del diagrama. La parte derecha parece consistir en tres cuadrados y
tres trapecios. Como es bien sabido, el área de un trapecio podría calcularse como
el producto del promedio de sus bases multiplicado por su altura, la distancia entre
las bases. Para los tres trapecios del diagrama, el área de 3ab / 2. Esto lleva a la
siguiente identidad:

2a² + 5ab + 2b² = a² + b² + c² + 9ab / 2 + ab / 2.

Eliminar los términos ab y cancelar a² + b² en ambos lados da a² + b² = c². Cabe
señalar que la prueba no aparece en la colección de Loomis.

John también ha sugerido que con modificaciones adicionales, los tres trapecios
pueden hacerse iguales, y no solo tener la misma área. La modificación se ilustra a
continuación:

Bui Quang Tuan ha comentado que se podría aplicar el álgebra directamente al diagrama de la
izquierda, que consta de tres cuadrados, un rectángulo, dos triángulos y dos trapecios, con
áreas, a², b², c², ab, 2 · ab / 2 y 2 · 3ab / 2, respectivamente. Además, los trapecios podrían
verse como las uniones de los rectángulos a × b y las copias del triángulo original de modo que
dos triángulos encajen en un rectángulo. Luego, John expresó esta idea en el siguiente
diagrama: