Un gran agujero fue lo que dejó el pitagorismo a la posteridad con el problema de los inconmensurables. En el fondo, los de la caverna esperaban que todo pudiera medirse con números enteros, independientemente de la referencia que se buscara. Por ejemplo, para los dos segmentos de la figura siguiente

![segmentos.png](https://cdn.steemitimages.com/DQmSggxSmQxw2qaNPAY5qqzKapHiscte7DM4LkorENorR43/segmentos.png)

puede conseguirse un segmento menor a ambos que cabe 5 veces exactas en el más pequeño y 11 en el mayor.

![conmensurables.png](https://cdn.steemitimages.com/DQmRafqcTWycHazfoEvTsQmL31YyFNAuvPA73N66AsrKMHR/conmensurables.png)

Si decimos que el segmento menor se llama *A* y el mayor *B*, entonces el segmento diminuto *C* mide a ambos, *A* y *B*, un número entero de veces y la relación se expresa diciendo que *A es a B como 5 es a 11*, frase que mucho tiempo después se simbolizaría como *A*:*B*::5:11. A una relación como ésta los griegos la llamaron *analogía* y nosotros tradujimos el término como *proporción*. Durante un buen tiempo, apegados a su consigna *Todo es número*, los pitagóricos estaban seguros de que, dados dos segmentos (mejor aun: dos magnitudes) cualesquiera el segmento (o magnitud) diminuto que las medía a ambos en forma entera, aparecería siempre; en otras palabras: que *la proporción terminaría invariablemente en un par de números* (como 5 y 11, por ejemplo). Pero esa esperanza sería cruelmente fulminada por dos de las figuras más queridas por la hermandad: el cuadrado y el pentágono regular:

![inconmensurables.png](https://cdn.steemitimages.com/DQmU3FtKFAHEQBhNFZYpTCzE2c3W2MuXjonNFkcQEeUWjxZ/inconmensurables.png)

pues sus diagonales se resistían a medirse en forma entera con sus lados respectivos. El golpe teórico fue desolador (aunque D. Fowler no está de acuerdo con esta visión pesimista), pero los intrusos fueron admitidos y catalogados. Se les llamó *magnitudes inconmensurables* y se intentó -sin éxito- conseguir una definición para ellas, que no apareció sino dos siglos después de la mano de un discípulo brillante de Platón: *Eudoxo de Cnido*. A pesar de esta carencia de definición, los pitagóricos -en una muestra de optimismo desbordante- se animaron a usar lo inconmensurable para demostrar algunas proposiciones geométricas, entre las cuales destaca el teorema que hizo más famoso al maestro, al punto que su nombre lo lleva como marca indeleble: *el teorema de Pitágoras*:

![enunciado.png](https://cdn.steemitimages.com/DQmPGrdCUtxE8ej8Kqd5c4FwcXY8qjBDKY21THpbJfQejDe/enunciado.png)

Aludiendo a la figura, el teorema dice que *K*₁+*K*₂=*K*₃, si el triángulo *ABC* es rectángulo con su ángulo recto en *C*. Esta suma no debe entenderse en el sentido algebraico con el que la interpretamos hoy, pues los griegos carecían de notación algebraica y del concepto de número real. Una de las traducciones españolas más conocidas de los *Elementos* de Euclides (María Luisa Puertas Castaño), traduce el enunciado del teorema de Pitágoras (proposición 47 del primer libro) de la siguiente manera: > En los triángulos rectángulos el cuadrado del lado que subtiende el ángulo recto es igual a los cuadrados de los lados que comprenden el ángulo recto. En realidad es una proposición absolutamente geométrica que habla de identificación de figuras geométricas. No puedo entrar en más detalles, volvamos a los inconmensurables. Empiezo por decir que lo que hay al respecto son puras conjeturas históricas; recordemos que el pitagorismo original no dejó obra escrita, pero por muchas razones los historiadores sospechan que la demostración del pitagorismo (si es que la hubo) siguió las líneas de la siguiente ilustración:

![demuestra_pitagoras.png](https://cdn.steemitimages.com/DQmNTqyPKZRwFzJWjowX9jiHoHqz7VKbhU26bSZgUbUYPEP/demuestra_pitagoras.png)

en la que las proporciones se establecen por la semejanza de los tres triángulos rectángulos que se pueden identificar al bajar la altura desde el vértice del ángulo recto. Obsérvese que la primera proporción dice que el segmento *AC* es media proporcional entre los segmentos *AD* y *AB*; geométricamente esto significa (era una demostración temprana para ellos) que el cuadrado construído sobre el segmento *AC* es igual al rectángulo construído con los segmentos *AD* y *AB*. Un razonamiento idéntico permite decir lo mismo de los segmentos *BC*, *BD* y *AB*. Podemos hacer una ilustración gráfica:

![ilustra_pitagoras.png](https://cdn.steemitimages.com/DQmaAKCcmHKzzZwPZAgvhWGK6Rb1eGMpaRCWSrkCyzBrWQM/ilustra_pitagoras.png)

en la que se ve claramente que ambos rectángulos componen el cuadrado sobre la hipotenusa. A nuestros ojos la demostración es impecable; a los de los pitagóricos, no. Se usan proporciones entre segmentos, esas proporciones podrían contener segmentos inconmensurables y el pitagorismo quedó en mora con esta definición. Lógicamente, hay un vacío. Nos movemos entonces tres siglos adelante para revisar los *Elementos* de Euclides, obra magna de la ciencia del periodo alejandrino, en la que -cónicas aparte- se recoge todo el saber matemático de la época. En los *Elementos* conseguimos el teorema de Pitágoras y también la solución de Eudoxo al problema de los inconmensurables. Pero Euclides necesitó el teorema del triángulo rectángulo muy temprano, de hecho, el primer libro se cierra con el teorema y su recíproco. Los inconmensurables esperarían hasta el quinto libro. ¿Qué demostración usó Euclides entonces para el teorema del triángulo rectángulo? Pues... la misma demostración pitagórica, solo que con un toque mágico que permitió evadir a los inconmensurables: para cada cuadrado de los catetos dibujó dos líneas auxiliares, que hacían aparecer dos triángulos congruentes por el criterio LAL (Lado-Ángulo-Lado), tal como se ve en la figura que sigue.

![euclides_demuestra.png](https://cdn.steemitimages.com/DQmUbyS4cXr8xKMNqqjhxdCTfKNbPRwrQopCDChzq1B6thH/euclides_demuestra.png)

A la izquierda, los triángulos congruentes son *EAB* y *CAF*, el primero de los cuales comparte base y altura con el cuadrado sobre el cateto *AC* y el segundo comparte base y altura con el rectángulo de diagonal *DF*. Es decir: los triángulos son la mitad de los cuadriláteros correspondientes y, por tanto, ellos son iguales (en área). A la derecha, los triángulos auxiliares son *ABH* y *CBG*, lo que da igualdad (de áreas) entre el cuadrado sobre el cateto *BC* y el rectángulo de diagonal *DG*. La unión de los rectángulos da el cuadrado sobre la hipotenusa *AB*. ¡Maravilloso! Se mantiene la idea, pero sostenida sobre un terreno lógico absolutamente sólido. El historiador Proclo elogia este golpe de timón con las siguientes palabras [Ref. 4. Pág. 337. La traducción es mía.]: >Si prestamos atencion a quienes gustan de contar cosas antiguas, encontraremos que atribuyen este teorema a Pitágoras y añaden que sacrificó un buey por su descubrimiento. En lo que a mı́ concierne, aunque me asombran quienes primero notaron la verdad de este teorema, admiro aún más al autor de los Elementos, no solo por la prueba lúcida y eficiente que de él da, sino tambien porque en el sexto libro presenta un teorema aún más general que éste y lo fundamenta sobre argumentos cientı́ficos irrefutables. En efecto, en ese libro demuestra, de manera general, que en los triángulos rectángulos la figura sobre el lado que subtiende el ángulo recto es igual a las figuras semejantes (trazadas de manera similar) sobre los lados que contienen el ángulo recto. El texto de Proclo contiene varias cosas interesantes: 1. El historiador no está seguro de que el teorema sea de Pitágoras: a él le llegó de oídas la información. 2. La prueba de Euclides le parece la más "lúcida y eficiente" de todas las que conoce. 3. Hace notar que el teorema es un caso particular de otro del propio Euclides, que aparece en el libro sexto (se trata de la proposición 31). Sin embargo, incluso esta generalización euclidiana se puede llevar aun más lejos, si consideramos un triángulo rectángulo cualquiera, sobre cuyos lados construimos a escala tres figuras semejantes (homotéticas, para ser más precisos). Si las figuras sobre los catetos se denominan *F*₁, *F*₂ y la de la hipotenusa es *F*₃, entonces *F*₁+*F*₂=*F*₃, tal como se muestra en la ilustración que sigue:

![pitagoras_general.png](https://cdn.steemitimages.com/DQmQLgUCrcRQPJroo2PjWVrx8N9rX2CMpvrZPuaXSUaCsxS/pitagoras_general.png)

La demostración en este caso tan general exige herramientas que van bastante más allá de la geometría de los *Elementos*. Para finalizar, los voy a dejar con la traducción al español (M. L. Puertas Castaño) de la demostración que aparece en los *Elementos*. Espero que la disfruten. >*En los triángulos rectángulos el cuadrado del lado que subtiende el ángulo recto es igual a los cuadrados de los lados que comprenden el ángulo recto.*

![I_47.png](https://cdn.steemitimages.com/DQmQve4Koes1F6Csboozj18KsB1H4gABA27aWw5i4Whkii4/I_47.png)

>Sea ABG el triángulo rectángulo que tiene el ángulo recto BAG. >Digo que el cuadrado de BG es igual a los cuadrados de BA, AG. >Trácese pues a partir de BG el cuadrado BDEG, y a partir de BA, AG los cuadrados HB, QG, y por el (punto) A trácese AL paralela a una de las dos (rectas) BD, GE; y trácense AD, ZG. Y dado que cada uno de los ángulos BAG, BAH es recto, entonces en una recta cualquiera BA y por un punto de ella, A, las dos rectas AG, AH, no colocadas en el mismo lado, hacen los ángulos adyacentes iguales a dos rectos; por tanto, GA está en línea recta con AH. Por la misma razón, BA también está en línea recta con AQ. Y como el ángulo DBG es igual al (ángulo) ZBA --porque cada uno (de ellos) es recto-- añádase a ambos el (ángulo) ABG; entonces el (ángulo) entero DBA es igual al (ángulo) entero ZBG; y como DB es igual a BG, y ZB a BA, los dos (lados) DB, BA son iguales respectivamente a los dos (lados) ZB, BG; y el ángulo DBA es igual al ángulo ZBG; entonces la base AD es igual a la base ZG, y el triángulo ABD es igual al triángulo ZBG; y el paralelogramo BL es el doble del triángulo ABD: porque tienen la misma base BD y están entre las mismas paralelas BD, AL; pero el cuadrado HB es el doble del triángulo ZBG: porque tienen a su vez la misma base ZB y están entre las mismas paralelas ZB, HG; [pero los dobles de cosas iguales son iguales entre sí]; por tanto, el paralelogramo BL es también igual al cuadrado HB. De manera semejante, trazando las (rectas) AE, BK se demostraría que también el paralelogramo GL es igual al cuadrado QG; por tanto, el cuadrado entero BDEG es igual a los cuadrados HB, QG. Asimismo, el cuadrado BDEG ha sido trazado a partir de BG, y los (cuadrados) HB, QG a partir de BA, AG. Por tanto, el cuadrado del lado BG es igual a los cuadrados de los lados BA, AG. >Por consiguiente, en los triángulos rectángulos el cuadrado del lado que subtiende el ángulo recto es igual a los cuadrados de ·los lados que comprenden el ángulo recto. Q. E. D. **NOTA ACLARATORIA**: Todas las imágenes del post fueron elaboradas por mí, con el programa *Inkscape*, el cual es software libre. **REFERENCIAS** 1. **Euclides**. *Elementos. Traducción y notas de Marı́a Luisa Puertas Castaños*. Edit. Gredos, Madrid, 1991. (Tres volúmenes). 2. **David Fowler**. *The Mathematics of Plato’s Academy*. Clarendon Press, Oxford, 1999. 3. **Douglas Jiménez**. *Historia de la matemática: Pitágoras y el pitagorismo*. [CreateSpace.com](https://www.amazon.com/Historia-Matem%C3%A1tica-Pit%C3%A1goras-pitagorismo-Spanish/dp/1490396268/ref=sr_1_1?ie=UTF8&qid=1542720756&sr=8-1&keywords=douglas+jimenez). 2013. 4. **Proclus**. *A commentary on the first book of Euclid Elements. Translated with Introduction and notes, by Glenn R. Morrow*. Princeton University Press. New Jersey, 1970.