Vous êtes sur la page 1sur 1

MTODOSELEMENTALESPARARESOLVERECUACIONESDIOFNTICAS 2008

Prof.: Christiam Huertas R.www.xhuertas.blogspot.com 1

Introduccin
En la sesin inaugural del 2 Congreso
Internacional de Matemticas, celebrado en
Pars en 1990 David Hilbert planteo una
lista de veintitrs problemas, con la
intensin de resaltar los ms importantes
problemas matemticos no resueltos que el
siglo XX iba a heredar del siglo XIX. En
dicha lista aparecera un nico problema
de decisin, el Problema Dcimo: Su
enunciado original es

Entscheidung der Lsbarkeit einer
diophantischen Gleichung

Eine diophantische Gleichung mit
irgendwelchen Unbekannten und mit
ganzen rationalen Zahlkoe_cienten sei
vorgelegt: man soll ein Verfahren angeben,
nach welchen sich mittels einer endlichen
Anzahl von Operationen entscheiden l[t,
ob die Gleichung in ganzen rationalen
Zahlen lsbar ist.

Es decir, dada una ecuacin diofntica con
cualquier nmero de incgnitas y con
coeficientes numricos racionales enteros:

Idear un proceso de acuerdo con el cual
puede determinarse, en un nmero finito
de operaciones, si la ecuacin es resoluble
en nmeros racionales enteros.

En trminos ms modernos, Hilbert
solicitaba a sus colegas del futuro un
algoritmo capaz de admitir como entrada
(input) una ecuacin diofntica cualquiera,
y de devolver Si como resultado (output) si
la ecuacin procesada tenia soluciones en
los enteros o No si la ecuacin procesada
careca de soluciones en los enteros. Por
ejemplo, la ecuacin x
2
+ y
2
= z
2

obtendra un Si, puesto que tiene
soluciones enteras, empezando con x = S,
y = 4, z = S y siguiendo con otros infinitos
tripletes. En cambio, cualquier ecuacin
x
n
+y
n
= z
n
con n > 2 obtendria un No,
puesto que no tiene soluciones enteras.

1.1 Definicin
Se llama ecuacin diofntica (en recuerdo
a Diofanto de Alejandra) a cualquier
ecuacin algebraica con coeficientes
enteros, generalmente de varias variables,
planteada sobre el conjunto de los
nmeros enteros L o los nmeros naturales
H, es decir, se trata de ecuaciones cuyas
soluciones son nmeros enteros.

Ejemplos:
Sx +8y = S
x
2
+ y
2
= z
2

x
4
+ y
4
= z
4

x
3
+ y
3
= z
4

x
2
+ 1 = y
2

x
5
+ y
5
+ z
5
= w
5

x
k
+ y
k
= n! z
k
, k 2 , n > 1
x
u
+y
b
= z
c
, o, b, c > 2 ,
mcJ(o, b, c) = 1

Veremos cmo resolver las ecuaciones
diofnticas, dividindolas en diferentes
tipos.

Mtodos elementales para resolver
ecuaciones diofnticas

1.2 Mtodo de factorizacin
El mtodo de factorizacin consiste en
expresar una de las partes como un
producto y teniendo en cuenta el otro lado
analizar los casos posibles.

Ejemplo 1. Halle todos los nmeros
naturales n y los nmeros primos p para
que sea vlida la igualdad n
3
+ 7n
2
+
14n +8 = 6p.

Resolucin. Factorizando el primer
miembro
n
3
+7n
2
+ 14n +8

= n
3
+6n
2
+ n
2
+ 6n +8n + 8

= n
2
(n +1) +6n(n +1) +8(n +1)

= (n +1)(n
2
+6n + 8)

= (n + 1)(n + 2)(n +4)

Adems 6p = 1.2.S. p y n +4 > n +2 >
n +1 > 1, de donde n +1 = 2, n + 2 = S
y n +4 = p; por lo cual n = 1 y p = S.

Ejemplo 2. Halle todas las soluciones de la
ecuacin diofntica 2x
2
+xy -Sy
2
= 17.

Ejemplo 3. Resuelva la ecuacin diofntica
(x -y)
3
+(y -z)
3
+ (z -x)
3
= SS

1.3 Mtodo del cociente
La idea bsica de este mtodo es similar al
mtodo de factorizacin, solo que ahora en
un lado vamos a tener un nmero en
forma de cociente y por otro lado un
nmero.

Ejemplo 1. Halle todos los valores
naturales de n para que n
4
+ 2 sea
divisible por n + 2.

Resolucin. Aplicando el mtodo de Ruffini
1 0 0 0 2
2 2 4 8 16
1 2 4 8 18



Es decir
n
4
+ 2
n + 2
= n
3
-2n
2
+ 4n -8 +
18
n +2

De donde
18
n+2
debe ser un entero y
n +2 S (pues n 1); de lo cual se
obtiene que n + 2 e {S, 6, 9, 18], es decir
n e {1, 4, 7, 16].

Ejemplo 2. Halle todos los nmeros de dos
cifras que son iguales a tres veces su
producto.

1.4 Mtodo de la suma
El mtodo de la suma es similar al mtodo
de factorizacin, solo que ahora en un lado
vamos a tener suma de potencias (la
mayora de las veces no negativo) de
nmeros enteros, y se discutir los casos
que pueden resultar.

Ejemplo 1. Halle dos nmeros con la
propiedad de que la suma de sus
cuadrados sea igual al doble de de los
nmeros.

Ejemplo 2. Encuentre los nmeros x, y e L
que cumplen
Sx
2
+ Sy
4
+ 4x + 4xy
2
= S

Resolucin. Transformemos la expresin
de la siguiente manera
4x
2
+4x +1 +x
2
+ 4xy
2
+4y
4
+ y
4
= 6
(2x + 1)
2
+(x + 2y
2
)
2
+y
4
= 6
En el lado izquierdo tenemos una gran
suma de tres nmeros no negativos. Si
consideramos |y| > 1, entonces y
4
16,
de donde el lado izquierdo es superior a 6,
de lo cual se debe tener que y e {-1, u, 1].
Si y = u, se tendria
(2x +1)
2
+x
2
= 6
Sx
2
+ 4x -S = u
De donde
x
1,2
=
-2 _29
S
e L
y en este caso no hay solucin.
Si y = _1, la ecuacin se transforma en
(2x +1)
2
+(x +2)
2
+1 = 6
Sx
2
+ 8x = u
x(Sx + 8) = u
De donde x
1
= u y x
2
= -
8
5
e L. Por lo
tanto tenemos dos soluciones x = u, y = 1
y x = u, y = -1.

1.5 Mtodo de los ltimos dgitos
Ejemplo 1. Halle todos los nmeros enteros
x e y tales que
x
2
+1uy = 12S4S67

Resolucin. Se sabe que el cuadrado de un
nmero siempre termina en uno de los
dgitos u, 1, 4, S, 6, 9. Como 1uy siempre
termina en u, de ello se desprende que
x
2
+ 1uy puede terminar en uno de los
digitos u, 1, 4, S, 6, 9. Pero el nmero
12S4S67 termina en 7, de lo cual se
desprende que la ecuacin no tiene
soluciones.

Ejemplo 2. Existen nmeros enteros m y n
que cumplan con la igualdad
n! +Sm
2
= 147926 ?

1.6 Mtodo de paridad
Contina ..