Congruum

Como ejemplo, el número 96 es un congruum porque es la diferencia entre cuadrados adyacentes en la secuencia 4, 100 y 196 (los cuadrados de 2, 10 y 14 respectivamente).

Los primeros congrua son:

24, 96, 120, 216, 240, 336, 384, 480, 600, 720 … (sucesión A256418 en OEIS)

El problema del congruum se planteó originalmente en 1225, como parte de un torneo matemático preconizado por el emperador Federico II Hohenstaufen. La cuestión fue respondida correctamente en ese momento por Leonardo de Pisa, quien registró su trabajo sobre este problema en su obra Liber Quadratorum.[2]

Fibonacci ya sabía que es imposible que un congruum sea un cuadrado, pero no dio una demostración satisfactoria de este hecho.[3] Geométricamente, esto significa que no es posible que el par de catetos de un triángulo pitagórico sea el cateto y la hipotenusa de otro triángulo pitagórico. Finalmente, Pierre de Fermat dio una prueba y el resultado ahora se conoce como el teorema del triángulo rectángulo de Fermat. El propio Fermat también conjeturó, y Leonhard Euler probó, que no existe una secuencia de cuatro cuadrados formando una progresión aritmética.[4][5]

El problema de la congruencia se puede resolver eligiendo dos enteros positivos distintos ${\displaystyle m}$ y ${\displaystyle n}$ (con ${\displaystyle m>n}$), y entonces el número ${\displaystyle 4mn(m^{2}-n^{2})}$ es un congruum. El cuadrado central de la progresión aritmética de cuadrados asociada es ${\displaystyle (m^{2}+n^{2})^{2}}$, y los otros dos cuadrados se pueden encontrar sumando o restando el congruum. Además, multiplicar un congruum por un número cuadrado produce otro congruum, cuya progresión de cuadrados se multiplica por el mismo factor. Todas las soluciones surgen de una de estas dos proposiciones.[1] Por ejemplo, el congruum 96 se puede construir mediante estas fórmulas con ${\displaystyle m=3}$ y ${\displaystyle n=1}$, mientras que el congruo 216 se obtiene multiplicando el congruum más pequeño 24 por el número cuadrado 9.

Una formulación equivalente de esta solución, dada por Bernard Frénicle de Bessy, es que para los tres cuadrados en progresión aritmética ${\displaystyle x^{2}}$, ${\displaystyle y^{2}}$ y ${\displaystyle z^{2}}$, el número del medio ${\displaystyle y}$ es la hipotenusa de una terna pitagórica y los otros dos números ${\displaystyle x}$ y ${\displaystyle z}$ son la diferencia y la suma respectivamente de los dos catetos del triángulo.[6] El congruum mismo es cuatro veces el área del propio triángulo pitagórico. El ejemplo de una progresión aritmética con el congruum 96 se puede obtener así de un triángulo rectángulo con catetos e hipotenusa de longitudes 6, 8 y 10.

Un número congruente se define como el área de un triángulo rectángulo con lados de longitudes racionales. Como todo congruum se puede obtener (utilizando la solución parametrizada) como el área de un triángulo pitagórico, se deduce que todo congruum es un número congruente. Por el contrario, todo número congruente es un congruum multiplicado por el cuadrado de un número racional.[7] Sin embargo, probar si un número es un congruum es mucho más fácil que probar que si un número es congruente. Para el problema del congruum, la solución parametrizada reduce este problema de prueba a verificar un conjunto finito de valores de parámetros. Por el contrario, para el problema de los números congruentes, un procedimiento de prueba finito se conoce solo de forma conjetural, a través del teorema de Tunnell, bajo el supuesto de que la conjetura de Birch y Swinnerton-Dyer es verdadera.[8]

• Triángulo automediano, un triángulo cuyos cuadrados en los tres lados forman una progresión aritmética
• Espiral de Teodoro, formada por triángulos rectángulos cuyos lados (no enteros), al elevarse al cuadrado, forman una progresión aritmética infinita

• Weisstein, Eric W. «Congruum Problem». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.