Ecuaciones diofntica

Se llama ecuacin diofntica a

cualquier ecuacin algebraica, de dos o ms
incgnitas, cuyos coeficientes recorren el
conjunto de los nmeros enteros, de las que se
buscan soluciones enteras, esto es, que
pertenezcan al conjunto de los nmeros
enteros.1
Ejemplo:

Supongamos que se te pide que des las soluciones de

la ecuacin 3x+14y=20; seguramente dirs que es un
problema muy sencillo, que la solucin es y = (20-
3x)/14 , donde x puede tomar cualquier valor. Otra
cuestin mucho menos obvia es que halles las
soluciones con x e y enteros. Este tipo de
ecuaciones, cuyas soluciones se exigen que tomen
valores enteros, o ms en general valores racionales,
es lo que se conocen como ecuaciones diofnticas,
en honor a Diofanto, matemtico griego del ao 275
que las estudi extensivamente y dio soluciones a
algunas de ellas. La teora de las ecuaciones
diofnticas ha llegado con el tiempo a contarse entre
las ms bellas y difciles reas de la Matemtica.
Ejercicios :
Ejemplo 1
Halle dos nmeros con la propiedad de que la suma de sus cuadrados sea igual al doble
de de
la suma de los nmeros.
Resolucin
Sean x e y los nmeros, entonces se debe cumplir
x2 + y2=2(x + y)
De donde
x2 2x + 1+y2 2y +1=2
(x 1)2 + (y 1)2 =2
La nica forma de que 2 se exprese coma la suma de dos cuadrados es que sea la suma
de dos unidades, es decir
(x 1)2 =(y 1)2=1
De donde x 1=1 y y 1=1, es decir x e y pueden ser 0 o 2, y los nmeros que cumplen
con lo requerido son {(0,0), (0,2), (2,0), (2,2)}.

Ejemplo 2
Existen nmeros enteros m y n que satisfacen la siguiente igualdad?
n4 + 16m =7993
Resolucin
Si el nmero n fuese par entonces la ecuacin no tendra solucin pues 7993 es impar.
Por lo
tanto, si existe una solucin, necesariamente n=2k+1 para un entero k. Entonces
reemplazando
en la ecuacin se tiene
(2k+1)4+16m = 7993
(4k2+4k+1)2 +16m = 7993
16k4+16k2+1+32k3+8k2+8k+16m = 7993
8(2k4+2k2+4k3+k2+k)+16m = 7992
2(k4+k2+2k3+m)+k(k+1) = 999
Debido a que k(k+1) es el producto de dos nmeros consecutivos, siempre es divisible
por 2 y por tanto el nmero del lado izquierdo es par, mientras que 999 es impar. Esto
significa
que la ecuacin no tiene solucin.
Mtodo de los restos
Observar los restos que se obtiene en ambos lados de la ecuacin en discusin.
Ejemplo 3
Halle todos los nmeros enteros x e y de modo que x2 + 10y = 1234567
Resolucin
Se sabe que el cuadrado de un nmero siempre termina en uno de los dgitos 0,1,4,5,6,9.
Como 10y siempre termina en 0, de ello se desprende que x2+10y puede terminar en
uno de
-5-
los digitos 0,1,4,5,6,9. Pero el nmero 1234567 termina en 7, de lo cual se desprende que
la
ecuacin no tiene soluciones.

Ejemplo 4

Halle todos los nmeros naturales x (si existen) que sean soluciones de la siguiente
ecuacin.
4x+3.2x=88
Resolucin
La ecuacin es equivalente a 2x (2x+3)=23.11
Como 2x+3 es impar y 2x es una potencia de 2, entonces se debe tener
2x=23 y 2x+3=11
El nico nmero natural que verifica estas dos ecuaciones a la vez es x=3. Por lo tanto, la
nica solucin es 3.

Ejemplo 5

Determine una solucin particular de la ecuacin diofntica lineal

39x + 36y = 105
Como mcd(39,26)=13 y 13105, entonces la ecuacin diofntica lineal 39x+36y=105 no
tiene solucin.

Ejemplo 6

Ejemplo 7

Ejemplo 8
Ejemplo 9

Ejemplo 10