Ver el código de «Congruum»

[[File:Congruum.svg|thumb|360px|Los dos [[triángulo rectángulo|triángulos rectángulos]] con longitudes de un cateto e hipotenusa (7,13) y (13,17), tienen sus terceros lados iguales y de longitud <math>\sqrt{120}</math>. El cuadrado de este lado, 120, es un congruum: es la diferencia entre valores consecutivos en la [[progresión aritmética]] de los cuadrados 7<sup>2</sup>, 13<sup>2</sup>, 17<sup>2</sup>. De manera equivalente, las dos [[Corona circular|coronas circulares]] entre los tres círculos amarillos tienen áreas iguales, &pi; veces el congruum]]

En [[teoría de números]], un '''congruum''' (plural ''congrua'') es la [[diferencia de dos cuadrados|diferencia]] entre [[cuadrado perfecto|cuadrados perfectos]] sucesivos en una [[progresión aritmética]] de tres cuadrados.

Es decir, si <math>x^2</math>, <math>y^2</math> y <math>z^2</math> (para los números enteros <math>x</math>, <math>y</math> y <math>z</math>) son tres cuadrados que están igualmente separados entre sí, entonces la separación entre ellos, <math>z^2-y^2=y^2-x^2</math>, se denomina ''congruum''.

El '''problema de la congruencia''' consiste en encontrar cuadrados en progresión aritmética y su congruum asociado.<ref name="ubm" /> Se puede formalizar como una [[ecuación diofántica]]: encontrar los enteros <math>x</math>, <math>y</math> y <math>z</math> tales que

:<math display=block>y^2 - x^2= z^2 - y^2.</math>

Cuando se satisface esta ecuación con números enteros, ambos lados de la ecuación son iguales al congruum.

[[Leonardo de Pisa]] resolvió el problema de la congruencia encontrando una fórmula parametrizada para generar todos los congrua, junto con sus progresiones aritméticas asociadas. Según esta fórmula, cada congruum es cuatro veces el área de una [[terna pitagórica]]. Los congrua también están estrechamente relacionados con los [[número congruente|números congruentes]]: todo congruum es un número congruente y todo número congruente es un congruum multiplicado por el cuadrado de un [[número racional]].

==Ejemplos==
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 … {{OEIS|id=A256418}}

==Historia==
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 ''[[El Libro de los Cuadrados|Liber Quadratorum]]''.<ref>{{citation|title=The Birth of Mathematics: Ancient Times to 1300|first=Michael John|last=Bradley|publisher=Infobase Publishing|year=2006|isbn=978-0-8160-5423-7|page=124|url=https://books.google.com/books?id=EIdtVPeD7GcC&pg=PA124}}.</ref>

Fibonacci ya sabía que es imposible que un congruum sea un cuadrado, pero no dio una demostración satisfactoria de este hecho.<ref>{{citation|title=Number Theory and Its History|first=Øystein|last=Ore|authorlink=Øystein Ore|publisher=Courier Dover Corporation|year=2012|isbn=978-0-486-13643-1|pages=202–203|url=https://books.google.com/books?id=beC7AQAAQBAJ&pg=PA202}}.</ref> 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.<ref>{{citation|title=Beautiful Mathematics|series=MAA Spectrum|publisher=Mathematical Association of America|first=Martin J.|last=Erickson|year=2011|isbn=978-0-88385-576-8|pages=94–95|url=https://books.google.com/books?id=LgeP62-ZxikC&pg=PA94}}.</ref><ref>Euler's proof is not clearly written. An elementary proof is given in {{citation|first=Kevin|last=Brown|website=MathPages|url=http://www.mathpages.com/home/kmath044/kmath044.htm|title=No Four Squares In Arithmetic Progression|accessdate=2014-12-06}}.</ref>

==Solución parametrizada==
El problema de la congruencia se puede resolver eligiendo dos enteros positivos distintos <math>m</math> y <math>n</math> (con <math>m>n</math>), y entonces el número <math>4mn(m^2-n^2)</math> es un congruum. El cuadrado central de la progresión aritmética de cuadrados asociada es <math>(m^2+n^2)^2</math>, 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.<ref name="ubm">{{citation|title=The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes|first=David|last=Darling|authorlink=David J. Darling|publisher=John Wiley & Sons|year=2004|isbn=978-0-471-66700-1|page=77|url=https://books.google.com/books?id=HrOxRdtYYaMC&pg=PA77}}.</ref> Por ejemplo, el congruum 96 se puede construir mediante estas fórmulas con <math>m=3</math> y <math>n=1</math>, 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 <math>x^2</math>, <math>y^2</math> y <math>z^2</math>, el número del medio <math>y</math> es la [[hipotenusa]] de una [[terna pitagórica]] y los otros dos números <math>x</math> y <math>z</math> son la diferencia y la suma respectivamente de los dos catetos del triángulo.<ref>{{citation|title=Recreations in the Theory of Numbers: The Queen of Mathematics Entertains|first=Albert H.|last=Beiler|publisher=Courier Corporation|year=1964|isbn=978-0-486-21096-4|page=153|url=https://books.google.com/books?id=fJTifbYNOzUC&pg=PA153}}.</ref> 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.

==Relación con los números congruentes==
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.<ref>{{citation|first=Keith|last=Conrad|authorlink=Keith Conrad|title=The congruent number problem|journal=Harvard College Mathematical Review|url=http://www.thehcmr.org/issue2_2/congruent_number.pdf|volume=2|issue=2|date=Fall 2008|pages=58–73|archiveurl=https://web.archive.org/web/20130120090003/http://www.thehcmr.org/issue2_2/congruent_number.pdf|archivedate=2013-01-20}}.</ref> 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.<ref>{{citation
|last= Koblitz|first= Neal
|authorlink= Neal Koblitz
|title= Introduction to Elliptic Curves and Modular Forms
|publisher= Graduate Texts in Mathematics, no. 97, Springer-Verlag
|year= 1984
|isbn= 0-387-97966-2}}</ref>

==Véase también==
*[[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

==Referencias==
{{listaref}}

==Enlaces externos==
*{{mathworld|title=Congruum Problem|id=CongruumProblem|mode=cs2}}

{{Control de autoridades}}
[[Categoría:Ecuaciones diofánticas]]
[[Categoría:Sucesiones de números enteros]]
[[Categoría:Teoremas de teoría de números]]