Ecuación diofántica

Edición de 1670 de la *Aritmética* de Diofanto.

Se llama ecuación diofántica o ecuación diofantina a cualquier ecuación algebraica, de dos o más incógnitas, cuyos coeficientes recorren el conjunto de los números enteros, de las que se buscan soluciones enteras o naturales, esto es, que pertenezcan al conjunto de los números enteros. Un tipo particular de dichas ecuaciones son las ecuaciones diofánticas lineales con dos incógnitas, las cuales tienen la forma $ax+by=c$ .

Una condición necesaria y suficiente para que $ax+by=c\,$ con $a,b,c\,$ perteneciente a los enteros, tenga solución, es que el máximo común divisor de $a\,$ y $b\,$ divida a $c$ .

La palabra Diofantino hace referencia al matemático helenístico del siglo III, Diofanto de Alejandría, que realizó un estudio de tales ecuaciones y fue uno de los primeros matemáticos en introducir el simbolismo en el álgebra. El estudio matemático de los problemas diofánticos que inició Diofanto se denomina actualmente análisis diofántico'.

Ejemplos

Un ejemplo de ecuación diofántica es: $x+y=5\,$ .

Esta ecuación tiene infinitas soluciones en los números reales. Como regla general, sin embargo, las ecuaciones que aparecen en los problemas tienen restricciones que nos ayudan a limitarnos a un pequeño número de casos e incluso a una única solución.

Por ejemplo, en nuestra ecuación, si restringimos los posibles valores de $x$ e $y$ a los enteros positivos, tenemos 4 soluciones para $(x,y)$ : $(1,4)\lor (2,3)\lor (3,2)\lor (4,1)$ .

Un problema matemático muy famoso que se resuelve por medio de ecuaciones diofánticas es el del mono y los cocos.

En las ecuaciones diofánticas siguientes, $w,x,y$ , y $z$ son las incógnitas y las otras letras son constantes conocidas:

Algunos casos interesantes
Forma de la ecuación	Comentarios
$ax+by=c$	Esta es la ecuación diofantina lineal o identidad de Bézout.
$w^{3}+x^{3}=y^{3}+z^{3}$	La solución notrivial más pequeña en el conjunto de los números enteros positivos es $123 + 1 3 = 9 3 + 10 3 = 1729$ . Fue enunciada como una propiedad evidente en 1729, un Número taxicab (también denominado Número de Hardy-Ramanujan) por Ramanujan a Hardy durante una reunión en 1917.^[1] Existe un número infinito de soluciones notriviales.^[2]
$x^{n}+y^{n}=z^{n}$	Para $n = 2$ hay infinitas soluciones $(x, y, z)$ : la terna pitagórica. Para valores enteros mayores de $n$ , El último teorema de Fermat (afirmado inicialmente en 1637 por Fermat y demostrado por Andrew Wiles en 1995^[3]) afirma que no hay soluciones enteras positivas $(x, y, z)$ .
$x^{2}-ny^{2}=\pm 1$	Esta es la ecuación de Pell, que recibe su nombre del matemático inglés John Pell. Fue estudiada por Brahmagupta en el siglo VII, así como por Fermat en el siglo XVII.
${\frac {4}{n}}={\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}$	La conjetura de Erdos-Straus afirma que, para cada entero positivo $n$ ≥ 2, existe una solución en $x, y$ , y $z$ , todos como enteros positivos. Aunque no suele enunciarse en forma polinómica, este ejemplo es equivalente a la ecuación polinómica $4xyz=yzn+xzn+xyn=n(yz+xz+xy).$
$x^{4}+y^{4}+z^{4}=w^{4}$	Conjeturado incorrectamente por Euler de que no posee soluciones no triviales. Elkies demostró que posee un número infinito de soluciones no triviales, y una búsqueda mediante ordenador realizada por Frye determinó la solución no trivial más pequeña, $958004 + 217519 4 + 414560 4 = 422481 4$ . ^[4]^[5]

Ecuación diofántica lineal

La ecuación diofántica $Ax+By=C\,$ o identidad de Bézout tiene solución si y solo si $d=\mathrm {mcd} (A,B)$ (máximo común divisor) es un divisor de C. En ese caso la ecuación tiene una infinidad de soluciones.^[6]^[7]

Similarmente la ecuación $a_{1}x_{1}+a_{2}x_{2}+\dots +a_{n}x_{n}=C$ tiene solución si y solo si $d=\mathrm {mcd} (a_{1},a_{2},\dots ,a_{n})$ es un divisor de $C$ .

Solución general

Supongamos la ecuación diofántica $Ax+By=C$ . Solo tiene solución si $\mathrm {mcd} (A,B)=d|C\,$ . Para buscar $\mathrm {mcd} (A,B)$ empleamos el algoritmo de Euclides. Si una ecuación diofántica tiene solución, necesariamente tiene infinitas soluciones y todas son de la forma:

${\begin{cases}x=x_{1}+\lambda {\cfrac {B}{d}}\\y=y_{1}-\lambda {\cfrac {A}{d}}\end{cases}}$

Donde $d=\mathrm {mcd} (A,B)$ , $\lambda \in \mathbb {Z}$ y $x_{1}$ e $y_{1}$ son una solución particular de la ecuación.

Esta solución para números enteros contrasta con la solución de la misma ecuación cuando se considera que $A,B,C,x,y$ son números reales, que está formada por infinitas soluciones de la forma: $y={\frac {C-Ax}{B}}$ (suponiendo $B\neq 0$ ).

Solución particular

Para encontrar una solución particular usamos la identidad de Bézout junto al algoritmo de Euclides. Esto nos da $x_{1}\,$ e $y_{1}\,$ . Veamos el ejemplo:

Tenemos la ecuación diofántica $6x+10y=104$

Buscamos el d = mcd(6, 10). A través del algoritmo de Euclides encontramos que $d=2$ .
Como $d|C$ (donde " $|$ " significa "divide a"), es decir, $2|104$ , calculamos una solución particular mediante la Identidad de Bézout: $x_{1}=2$ e $y_{1}=-1$ . La ecuación quedaría así: $6\cdot 2+10\cdot (-1)=2$ .
Ahora tenemos una solución para la ecuación $6x+10y=2$ . Con $x_{1}=2$ e $y_{1}=-1$ . Si multiplicamos cada parte de la ecuación por ${\frac {C}{d}}={\frac {104}{2}}=52$ , tendremos la solución particular de nuestra ecuación original $6x+10y=104$ . La ecuación quedaría así: $6\cdot 2\cdot 52+10\cdot (-1)\cdot 52=104$ .
Con lo que hemos visto arriba, buscamos la solución general:

$\left\{{\begin{array}{rccl}x&=&(2\cdot 52)&+\lambda \cdot {\frac {10}{2}}\\y&=&(-1\cdot 52)&-\lambda \cdot {\frac {6}{2}}\end{array}}\right.\forall \lambda \in \mathbb {Z}$

Solución por aritmética modular

Supongamos la siguiente ecuación diofántica: $3x+7y=1$

1. Convertimos la ecuación en congruencia, entonces quedaría:

$3x\equiv 1{\pmod {7}}$

2. Le sumamos o restamos el módulo al residuo, en este caso $1$ ; de manera que el residuo pueda ser divisible entre $3x$ :

$3x\equiv 15{\pmod {7}}$

En este caso le sumamos 2•7.

3. Ya que ahora sí se puede dividir, hacemos lo siguiente:

$3x\div 3\equiv 15\div 3{\pmod {7}}$

4. Ahora convertimos la congruencia en ecuación:

$x=7n+5,n\in \mathbb {Z} \therefore x=5$

$x$ siempre será igual al residuo (en este ejemplo: +5), debido a que es el menor valor posible de $x$

Ya que sabemos que $x=5$ , podemos encontrar el valor de $y$ resolviendo la ecuación lineal restante:

$3(5)+7y=1$

$7y\div 7=-14\div 7$

Entonces tenemos que $y=-2$ . Podemos verificar que los valores sí cumplen la ecuación:

$3(5)+7(-2)=1$

$15-14=1$

$1=1$

Ecuación no lineal con dos incógnitas

La ecuación $x^{2}-y^{2}=a$

que se puede escribir como $(x+y).(x-y)=a$ . Llamando a $x+y=m$ ; $x-y=n$ la ecuación se expresa como $m\cdot n=a$ .

Sabemos que $m$ y $n$ tienen la misma paridad. Al resolver el sistema se obtiene que:

$x+y=m$ ⇒ $x={m+n \over 2}$

$x-y=n$ ⇒ $y={m-n \over 2}$

Ecuación pitagórica

Se llama ecuación pitagórica a la ecuación $x^{2}+y^{2}=z^{2}\,$ con $x,y,z\in \mathbb {Z}$ . Cualquier terna (x, y, z) solución de la ecuación anterior se conoce como terna pitagórica. Además si $(x,y,z)$ es una terna pitagórica solución de la ecuación pitagórica también lo serán:

La terna alternando $x$ e $y$ : $(y,x,z)$ .
Una terna múltiplo $(ky,kx,kz)$ .
Una terna con algún signo cambiado $(-x,y,z)$ , $(x,-y,z)$ o $(y,x,-z)$ .
Cualquier otra terna obtenida mediante una combinación de los procedimientos anteriores.

Se dice que una terna es primitiva, si el máximo común divisor de $x$ , $y$ , $z$ es la unidad, es decir, ${\mbox{mcd}}(x,y,z)=1$ . En toda terna primitiva al menos uno de los números $x$ o $y$ es par y $z$ es impar. Puede verse que en esas condiciones todas las ternas primitivas que son soluciones de la ecuación pitagórica son de la forma:^[8]

${\begin{cases}x=u^{2}-v^{2}\qquad y=2uv\qquad z=u^{2}+v^{2}\\u,v\in \mathbb {N} \;\land \;u\neq v\ ({\mbox{mod}}\ 2)\;\land \;{\mbox{mcd}}(u,v)=1\end{cases}}$

Aporte de Platón

A Platón se le debe un aporte sobre el caso cuando él formula como los lados de un triángulo rectángulo, en números enteros $2n,n^{2}-1,n^{2}+1$ , sin duda alguna tuvo influencia en el desarrollo matemático general.^[9]

Ternas pitagóricas

Cuando los números enteros positivos $u$ , $v$ , $w$ representan las longitudes de los lados de un triángulo rectángulo, la terna (u, v, w) se dice que es una terna pitagórica. Por ejemplo $(3,4,5)$ , $(7,24,25)$ y $(9,40,41)$ son ternas pitagóricas.^[10]

Ecuación diofántica cúbica

La ecuación $x^{3}+y^{3}=1729$ fue resuelta automáticamente por Ramanujan, quien dio como soluciones -contemplando las cifras que aparecían en la placa de un automóvil- los pares ordenados (1,12), (12,1) (10,9) (9,10).^[11]

El décimo problema de Hilbert

En 1900, David Hilbert propuso una famosa lista de problemas cuya solución se considera que concedería grandes aportaciones a las matemáticas. Uno de ellos, el décimo problema concretamente, se refería a la solubilidad general de las ecuaciones diofánticas que, a principios de siglo, era un problema abierto. El problema fue resuelto finalmente en 1970, cuando un resultado novedoso en lógica matemática conocido como teorema de Matiyasevich contestaba negativamente al problema de Hilbert: no existe un procedimiento general que permita establecer cuantas soluciones tiene una ecuación diofántica.

Análisis diofantino

Preguntas típicas

Las preguntas que se hacen en el análisis diofantino incluyen:

¿Existen soluciones?
¿Existen soluciones más allá de algunas que se encuentran fácilmente mediante inspección?
¿Hay soluciones finitas o infinitas?
¿Se pueden encontrar todas las soluciones en teoría?
¿Se puede calcular en la práctica una lista completa de soluciones?

Estos problemas tradicionales a menudo quedaron sin resolver durante siglos, y los matemáticos llegaron gradualmente a comprender su profundidad (en algunos casos), en lugar de tratarlos como rompecabezas.

Problema típico

La información dada es que la edad de un padre es 1 menos que el doble de la de su hijo, y que los dígitos $AB$ que componen la edad del padre están invertidos en la edad del hijo (es decir, $BA$ ). Esto conduce a la ecuación $10 A + B = 2(10 B + A) - 1$ , por lo tanto $19 B - 8 A = 1$ . La inspección da el resultado $A = 7$ , $B = 3$ , y por lo tanto $AB$ es igual a 73 años y $BA$ es igual a 37 años. Se puede demostrar fácilmente que no hay ninguna otra solución con $A$ y $B$ enteros positivos menores que 10.

Muchos rompecabezas bien conocidos en el campo de las matemáticas recreativas conducen a ecuaciones diofánticas. Algunos ejemplos son el problema de la bala de cañón, el problema del ganado de Arquímedes y el mono y los cocos.

Siglos XVII y XVIII

En 1637, Pierre de Fermat garabateó en el margen de su ejemplar de Arithmetica: «Es imposible separar un cubo en dos cubos, o una cuarta potencia en dos cuartas potencias, o en general, cualquier potencia superior a la segunda, dividida en dos potencias iguales.» Dicho en un lenguaje más moderno, «La ecuación {{math|1=“”aⁿ“” + bⁿ = c^{n} }} no tiene soluciones para ningún $n$ mayor que 2.» A continuación escribió: «He descubierto una prueba verdaderamente maravillosa de esta proposición, que este margen es demasiado estrecho para contener». Sin embargo, tal demostración eludió a los matemáticos durante siglos y, como tal, su declaración se hizo famosa como El último teorema de Fermat. No fue hasta 1995 que fue demostrado por el matemático británico Andrew Wiles.

En 1657, Fermat intentó resolver la ecuación diofántica $61 x 2 + 1 = y 2$ (resuelto por Brahmagupta más de 1000 años antes). La ecuación fue finalmente resuelta por Euler a principios del siglo XVIII, quien también resolvió otras ecuaciones diofánticas. La solución más pequeña de esta ecuación en números enteros positivos es $x = 226153980$ , $y = 1766319049$ (ver Chakravala método).

Décimo problema de Hilbert

Artículo principal: Décimo problema de Hilbert

En 1900, David Hilbert propuso la solubilidad de todas las ecuaciones diofánticas como el décimo de sus problemas fundamentales. En 1970, Yuri Matiyasevich lo resolvió negativamente, basándose en el trabajo de Julia Robinson, [[Martin Davis (matemático)] Martin Davis]] y Hilary Putnam para demostrar que un general algoritmo para resolver todas las ecuaciones diofánticas no puede existir.

Geometría diofantina

La geometría diofantina, es la aplicación de técnicas de la geometría algebraica que considera ecuaciones que también tienen un significado geométrico. La idea central de la geometría diofantina es la de un punto racional, a saber, una solución de una ecuación polinómica o de un sistema de ecuaciones polinómicas, que es un vector en un campo prescrito. $K$ , cuando $K$ es no algebraicamente cerrado.

Investigación moderna

El método general más antiguo para resolver una ecuación diofantina — para demostrar que no hay solución — es el método del descenso infinito, que fue introducido por Pierre de Fermat. Otro método general es el principio de Hasse que utiliza la aritmética modular módulo de todos los números primos para encontrar las soluciones. A pesar de muchas mejoras estos métodos no pueden resolver la mayoría de las ecuaciones diofantinas.

La dificultad de resolver ecuaciones diofánticas queda ilustrada por el décimo problema de Hilbert, planteado en 1900 por David Hilbert; se trataba de encontrar un algoritmo para determinar si una ecuación diofántica polinómica dada con coeficientes enteros tiene una solución entera. El teorema de Matiyasevich implica que tal algoritmo no puede existir.

Durante el siglo XX, se ha explorado a fondo un nuevo enfoque, consistente en utilizar la geometría algebraica. De hecho, una ecuación diofántica puede verse como la ecuación de una hipersuperficie, y las soluciones de la ecuación son los puntos de la hipersuperficie que tienen coordenadas enteras.

Este enfoque condujo finalmente a la demostración de Andrew Wiles en 1994 del último teorema de Fermat, enunciado sin pruebas alrededor de 1637. Esta es otra ilustración de la dificultad de resolver ecuaciones diofánticas.

Ecuaciones diofantinas infinitas

Un ejemplo de ecuación diofantina infinita es: $n=a^{2}+2b^{2}+3c^{2}+4d^{2}+5e^{2}+\cdots ,$ que se puede expresar como «¿De cuántas maneras se puede escribir un número entero dado $n$ como la suma de un cuadrado más dos veces un cuadrado más tres veces un cuadrado y así sucesivamente?». El número de maneras en que esto puede hacerse para cada $n$ forma una secuencia entera. Las ecuaciones diofantinas infinitas están relacionadas con las funciones theta y los entramados de dimensión infinita. Esta ecuación siempre tiene solución para cualquier $n$ positivo.^[12] Compárese con: $n=a^{2}+4b^{2}+9c^{2}+16d^{2}+25e^{2}+\cdots ,$ que no siempre tiene solución para $n$ positivo.

Véase también

Notas y referencias

↑ dcs.st-and.ac.uk/~history/Quotations/Hardy.html «Quotations by Hardy». Gap.dcs.st-and.ac.uk. Archivado desde dcs.st-and.ac.uk/~history/Quotations/Hardy.html el original el 16 de julio de 2012. Consultado el 20 de noviembre de 2012.
↑ Everest, G.; Ward, Thomas (2006), An Introduction to Number Theory, Graduate Texts in Mathematics 232, Springer, p. 117, ISBN 9781846280443 ..
↑ Wiles, Andrew (1995). [http: //usuarios. tpg.com.au/nanahcub/flt.pdf «Curvas elípticas modulares y el último teorema de Fermat»]. Annals of Mathematics 141 (3): 443-551. JSTOR 2118559. OCLC 37032255. doi:10.2307/2118559.
↑ Elkies, Noam (1988). «On A⁴ + B⁴ + C⁴ = D⁴». Mathematics of Computation 51 (184): 825-835. JSTOR 2008781. MR 0930224. doi:10.2307/2008781.
↑ Frye, Roger E. (1988). «Finding 95800⁴ + 217519⁴ + 414560⁴ = 422481⁴ on the Connection Machine». Proceedings of Supercomputing 88, Vol. II: Science and Applications. pp. 106-116. doi:10.1109/SUPERC.1988.74138.
↑ «Acerca de las ecuaciones diofanticas lineales». casanchi.org. Consultado el 21 de septiembre de 2021.
↑ «Preparación Olimpiadas. Matemáticas. Ecuaciones Diofánticas».
↑ La solución ya aparecía en la obra cumbre de Euclides, según HOfmann autor de Historia de la matemática ISBN 988-18-6286-4
↑ Hofmann. Op. cit.
↑ "El ingenio en las matemáticas" de Ross Honsberger (1994) ISBN 85731-14-X pág.120
↑ Anécdota comentada por el matemático británico Hardy
↑ «A320067 - Oeis».

Bibliografía

Mordell, L. J. (1969). Diophantine equations. Pure and Applied Mathematics 30. Academic Press. ISBN 0-12-506250-8. Zbl 0188.34503.
Schmidt, Wolfgang M. (1991). Diophantine approximations and Diophantine equations. Lecture Notes in Mathematics 1467. Berlin: Springer-Verlag. ISBN 3-540-54058-X. Zbl 0754.11020.
Shorey, T. N.; Tijdeman, R. (1986). Exponential Diophantine equations. Cambridge Tracts in Mathematics 87. Cambridge University Press. ISBN 0-521-26826-5. Zbl 0606.10011.
Smart, Nigel P. (1998). The algorithmic resolution of Diophantine equations. London Mathematical Society Student Texts 41. Cambridge University Press. ISBN 0-521-64156-X. Zbl 0907.11001.
Stillwell, John (2004). Mathematics and its History (Second Edition edición). Springer Science + Business Media Inc. ISBN 0-387-95336-1.

Enlaces externos

Weisstein, Eric W. «Diophantine Equation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
Ecuación diofántica en PlanetMath.

Datos: Q905896
Multimedia: Diophantine equation / Q905896

[1] s.st-and.ac.uk/~history/Quotations/Hardy.html «Quotations by Hardy». Gap.dcs.st-and.ac.uk. Archivado desde dcs.st-and.ac.uk/~history/Quotations/Hardy.html el original el 16 de julio de 2012. Consultado el 20 de noviembre de 2012.

[2] Everest, G.; Ward, Thomas (2006), An Introduction to Number Theory, Graduate Texts in Mathematics 232, Springer, p. 117, ISBN 9781846280443 ..

[wiles-3] Wiles, Andrew (1995). [http: //usuarios. tpg.com.au/nanahcub/flt.pdf «Curvas elípticas modulares y el último teorema de Fermat»]. Annals of Mathematics 141 (3): 443-551. JSTOR 2118559. OCLC 37032255. doi:10.2307/2118559.

[4] Elkies, Noam (1988). «On A⁴ + B⁴ + C⁴ = D⁴». Mathematics of Computation 51 (184): 825-835. JSTOR 2008781. MR 0930224. doi:10.2307/2008781.

[5] Frye, Roger E. (1988). «Finding 95800⁴ + 217519⁴ + 414560⁴ = 422481⁴ on the Connection Machine». Proceedings of Supercomputing 88, Vol. II: Science and Applications. pp. 106-116. doi:10.1109/SUPERC.1988.74138.

[6] «Acerca de las ecuaciones diofanticas lineales». casanchi.org. Consultado el 21 de septiembre de 2021.

[7] «Preparación Olimpiadas. Matemáticas. Ecuaciones Diofánticas».

[8] La solución ya aparecía en la obra cumbre de Euclides, según HOfmann autor de Historia de la matemática ISBN 988-18-6286-4

[9] Hofmann. Op. cit.

[10] "El ingenio en las matemáticas" de Ross Honsberger (1994) ISBN 85731-14-X pág.120

[11] Anécdota comentada por el matemático británico Hardy

[12] «A320067 - Oeis».

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]