Ecuaciones Diofnticas.

ECUACIONES DIOFNTICAS.
ndice
1. INTRODUCCIN............................................................................................................................................................2
2. ECUACIONES DIOFNTICAS. CASOS PARTICULARES........................................................................................2
Definicin.............................................................................................................................................................................2
Caso particular de ecuacin de primer grado.......................................................................................................................2
Caso particular de ecuacin de segundo grado.....................................................................................................................3
Casos particulares de ecuaciones con varias incgnitas.......................................................................................................3
Caso particular de ecuacin Pitagrica.................................................................................................................................7
Casos particulares de ecuaciones polinomiales de la forma P(x) Q(x) . y = 0..................................................................9
El ltimo teorema de Fermat..............................................................................................................................................11
Ecuaciones diofnticas de una variable..............................................................................................................................14
3. ECUACIONES DIOFNTICAS LINEALES EN DOS O MAS VARIABLES..........................................................15
Ecuaciones Diofnticas de dos variables............................................................................................................................15
Existencia de soluciones.....................................................................................................................................................16
Construccin de soluciones................................................................................................................................................17
Ecuaciones lineales con ms de dos incgnitas..................................................................................................................20
Sistema de ecuaciones lineales...........................................................................................................................................22
1
Ecuaciones Diofnticas.
1. INTRODUCCIN.
El nombre de ecuaciones diofnticas proviene de Diofanto (Matemtico de la antigua
Grecia), y su origen est ligado a la siguiente cuestin: Cuantos nmeros naturales son necesarios
para expresar un nmero natural cualquiera como suma de cuadrados n=x
2
+y
2
+z
2
+... ?.
La respuesta que los antiguos griegos dieron a esta pregunta fue: siempre es posible, si el
nmero de trminos es cuatro.
Las cuestiones relacionadas con las ecuaciones diofnticas han ocupado a grandes
matemticos como: Fermat (s. XVII), Euler (s. XVIII) o Lagrange (s. XVII), y ha sido el origen de
la teora de los nmeros. De hecho, una conjetura al margen de un libro escrito por el matemtico
Fermat: " la ecuacin x
n
+y
n
=z
n
paran>2 , no tiene solucin ", a tenido durante cuatro siglos,
a bastantes matemticos en el intento de su demostracin. Aportando, durante su estudio hallazgos
importantes, como la teora de ideales.
2. ECUACIONES DIOFNTICAS. CASOS PARTICULARES.
Definicin.
Dado un anillo de polinomios
K | X
1,
X
2
,... , X
n

de n indeterminadas, si es un
dominio de integridad (anillo unitario conmutativo y sin divisores de cero), para cada elemento
p( x
1,
x
2,
, x
n
) K | X
1,
X
2
, , X
n

. Decimos que la ecuacin

p( x
1,
x
2,
, x
n
)=0
. Es una
ecuacin diofntica.
En todo lo que resta de tema, particularizaremos al caso en que el anillo de polinomios
es
| X
1,
X
2
,, X
n

, es decir el conjunto de polinomios con coeficientes y soluciones enteras.

Y las ecuaciones diofnticas sern, ecuaciones polinomiales con coeficientes enteros, de la forma
p( x
1,
x
2,
, x
n
)=0
tal que
x
1,
x
2
,, x
n

.
Caso particular de ecuacin de primer grado.
En el caso particular de ecuaciones de primer grado con una incgnita, es decir de la forma
p( x)=a x+b=n ; a , b
Las soluciones existen cuando a| (nb) , siendo
x=
nb
a
.
En otro caso, es decir si a(nb) , la ecuacin no tiene soluciones enteras.
2
Ecuaciones Diofnticas.
# Ejemplo.-
La ecuacin Diofntica
3.x1=5
tiene solucin entera
x=
5+1
3
=2
La ecuacin Diofntica 3.x7=0 , no tiene solucin entera, ya que
37
Caso particular de ecuacin de segundo grado.
En el caso particular de ecuaciones de segundo grado con una incgnita, es decir de la forma
p( x)=a. x
2
+b. x+c=n; a, b , n .
Como los coeficientes a, b, c y n son enteros, segn las ecuaciones de Cardano Vieta, existe
solucin si alguna de las soluciones
x
1
=
(
b+
.
b
2
4.a.(cn)
2.a
)
x
2
=
(
b
.
b
2
4.a.(cn)
2.a
)
Es un nmero entero.
# Ejemplo.-
La ecuacin Diofntica 3.x
2
6.x+3=0 tiene solucin entera doble
x
1
=x
2
=1
En caso de ecuaciones diofnticas, sencillas (como las estudiadas en los ejemplos
anteriores) en la mayora de los casos, lo que nos interesa por sencillez, es buscar las soluciones por
tanteo (en caso de que existan).
Casos particulares de ecuaciones con varias incgnitas.
En el caso de ecuaciones diofnticas con varias incgnitas, a pesar de su simple apariencia,
suelen plantear serios problemas a la hora de resolverlas.
# Ejemplo.-
Es fcil ver que la ecuacin x
2
=2.y
4
1 tiene una solucin
x=1
e
y=1
Sin embargo, hasta 1942 no se demostr (por el matemtico Noruego Ljunggren), que
solo existe otra solucin x=239 , y=13 .
Debido a la dificultad de resolver ecuaciones diofnticas de varias variables, dichos
problemas han permanecido como centro de inters de grandes matemticos de la antigedad. En
este apartado estudiaremos algunos casos particulares de ecuaciones diofnticas
x
2
y = n, n (n>0) tiene solucin entera a , b tal que n=a.b .
Siendo ab MODULO2
En el caso de que existan soluciones, vendrn dadas por
x=
a+b
2
y
x=
a b
2
3
Ecuaciones Diofnticas.
Demostracin: Como podemos escribir
n=x
2
y
2
=( x+y) .( x y) .
Si x, y, n son soluciones enteras de la ecuacin, denominando:
x+y=a
x y=b
como:
( x+y)+( xy)=2. x
( x+y)( xy)=2. y
resulta:
ab MODULO 2 (es decir a y b tiene la misma paridad).
Poniendo n=a.b , se cumplir:
a+b=2 x
a b=2 y
Que resolviendo el sistema, se obtiene:
x=
a+b
2
x=
a b
2
Hay que observar, que de las condiciones:
n=x
2
y
2
=( x+y).( x y)=a.b .
ab MODULO 2
Si n es par, al menos deber ser mltiplo de 4.
# Ejemplos.-
1) Resolver la ecuacin
x
2
y
2
=8 (= 2
3
)
=(a , b) {!(1,8).!( 2,4) ,!(4,2) ,!(8,1)}
y dado que
x=
a+b
2
x=
a b
2
=( x , y) {(3,1) , (3,1) }
4
Ecuaciones Diofnticas.
2) Si queremos resolver la ecuacin
x
2
y
2
=36
( =2
2
. 3
2
)
Con las condiciones del teorema se cumple:
(a , b) {!(1,36)!(2,18) ,!(3,12) ,!( 4,9) ,!(6,6) ,!(9,4) ,!(12,3) ,!(18,2) ,!(18,1) }
y dado que
x=
a+b
2
x=
a b
2
=( x , y) {!(10,8)}
Utilizando este resultado, Fermat estableci en 1643 un algoritmo para estudiar si un nmero
natural impar n, admite descomposicin. Mediante la utilizacin de la ecuacin:
x
2
n=y
2
.
Pues, si x , y , se cumple x
2
, y
2
; x
2
>y
2
; x
2
>n . Adems si:
x
2
=
(n+1)
2
2
Ser:
y
2
=
(n+1)
2
2
n=
( n1)
2
2
Y se cumplir:
n=( x+y).( xy)=a.b .
Que es la descomposicin trivial.
Luego, para cada n > 1 el mtodo consiste en encontrar un x , tal que
nx
2

(
n+1
2
)
2
x
2
n = y
2
; y
que cumplir:
n=x
2
y
2
=( x+y).( x y)=a. b .
Siendo
a=x+y ; b=xy ; n=a. b .
Si no existe ningn x que cumpla dichas condiciones, x
2
n no ser cuadrado perfecto, y
por tanto n ser primo. Y si existe algn x que si cumpla dichas condiciones, y ser cuadrado
perfecto, por tanto n ser primo
5
Ecuaciones Diofnticas.
# Ejemplos.-
1) Si queremos saber si n = 197 es primo, teniendo en cuenta
1
:
| .(197)=14 ;
197+1
2
=99
.
Probando para valores de x {15, 16,17, . , 97, 98}
Como no existe ningn x que cumpla x
2
n sea cuadrado perfecto, por tanto n = 197 es
primo.
2) Si queremos saber si n = 133 es primo, teniendo en cuenta:
| .(133)=11 ;
133+1
2
=67
.
Probando para valores de x {12, 13, 14,. , 65, 66}
Como existe un x=13 que cumpla x
2
n es cuadrado perfecto, por tanto n = 133 no
es primo. De hecho n se puede descomponer, como producto de dos enteros
n=( x+y).( xy)=(13+6). (136)=19.7
1
[x] es la parte entera de x.
6
x x x-n y=sqrt(x-n) x x x-n y=sqrt(x-n) x x x-n y=sqrt(x-n) x x x-n y=sqrt(x-n)
15 225 28 5,29 36 1296 1099 33,15 57 3249 3052 55,24 78 6084 5887 76,73
16 256 59 7,68 37 1369 1172 34,23 58 3364 3167 56,28 79 6241 6044 77,74
17 289 92 9,59 38 1444 1247 35,31 59 3481 3284 57,31 80 6400 6203 78,76
18 324 127 11,27 39 1521 1324 36,39 60 3600 3403 58,34 81 6561 6364 79,77
19 361 164 12,81 40 1600 1403 37,46 61 3721 3524 59,36 82 6724 6527 80,79
20 400 203 14,25 41 1681 1484 38,52 62 3844 3647 60,39 83 6889 6692 81,80
21 441 244 15,62 42 1764 1567 39,59 63 3969 3772 61,42 84 7056 6859 82,82
22 484 287 16,94 43 1849 1652 40,64 64 4096 3899 62,44 85 7225 7028 83,83
23 529 332 18,22 44 1936 1739 41,70 65 4225 4028 63,47 86 7396 7199 84,85
24 576 379 19,47 45 2025 1828 42,76 66 4356 4159 64,49 87 7569 7372 85,86
25 625 428 20,69 46 2116 1919 43,81 67 4489 4292 65,51 88 7744 7547 86,87
26 676 479 21,89 47 2209 2012 44,86 68 4624 4427 66,54 89 7921 7724 87,89
27 729 532 23,07 48 2304 2107 45,90 69 4761 4564 67,56 90 8100 7903 88,90
28 784 587 24,23 49 2401 2204 46,95 70 4900 4703 68,58 91 8281 8084 89,91
29 841 644 25,38 50 2500 2303 47,99 71 5041 4844 69,60 92 8464 8267 90,92
30 900 703 26,51 51 2601 2404 49,03 72 5184 4987 70,62 93 8649 8452 91,93
31 961 764 27,64 52 2704 2507 50,07 73 5329 5132 71,64 94 8836 8639 92,95
32 1024 827 28,76 53 2809 2612 51,11 74 5476 5279 72,66 95 9025 8828 93,96
33 1089 892 29,87 54 2916 2719 52,14 75 5625 5428 73,67 96 9216 9019 94,97
34 1156 959 30,97 55 3025 2828 53,18 76 5776 5579 74,69 97 9409 9212 95,98
35 1225 1028 32,06 56 3136 2939 54,21 77 5929 5732 75,71 98 9604 9407 96,99
12 144 11 3,32
13 169 36 6,00
x x x-n y = sqrt(x-n)
Ecuaciones Diofnticas.
En el caso ecuaciones de dos variables, si queremos encontrar las soluciones enteras, se
puede despejar una variable en funcin de la otra, y se puede intentar buscar una solucin particular
entera, probando y despus hallar la solucin general.
# Ejemplo.-
Sea la ecuacin
2 x
2
5 x y3 x+2 y+17=0
. Despejando en funcin de x, se tiene
y=
2 x
2
3x+17
5 x2
=
(
2
5
x
11
25
)
+
403
25
5 x2
=25 y=10 x11+
13.31
5 x2
Luego se debe de cumplir 5x2| 403=5 x 2 {!1,!13,!31,!403} ,aue solamente
se cumple para x entero, si 5x2 { 13,403} cuyas soluciones son enteras para
x {3,81} . Luego, las soluciones de dicha ecuacin son:
( x , y) {(3,2) , (81,32) }
Caso particular de ecuacin Pitagrica.
Un caso particular y muy estudiando por los antiguos matemticos griegos, y origen de
importantes resultados sobre ecuaciones diofnticas, son las ECUACIONES PITAGRICAS, que
son aquellas de la forma x
2
+y
2
=z
2
. Geomtricamente, dichas soluciones (ternas pitagricas),
representan tringulos rectngulos de longitudes de catetos e hipotenusa enteras positivas.
Aunque, Pitgoras encontr una cantidad infinita de soluciones para dichas ecuaciones, fue
Euclides quin dio la solucin completa a tales ecuaciones.
Si
x , y , z
son soluciones de la ecuacin x
2
+y
2
=z
2
, y
d=m.c.d.( x , y , z)

si n , entonces
(
n.x
d
,
n.y
d
,
n.z
d
)
son tambin soluciones de la ecuacin x
2
+y
2
=z
2
,
puesto que se cumple
(
n.x
d
)
2
+
(
n.y
d
)
2
=
(
n
d
)
2
.( x
2
+y
2
)=
(
n
d
)
2
. z
2
=
(
n.z
d
)
2
.
Luego, es suficiente con que encontremos tres nmeros naturales x, y, z, tal que sea
1=m.c.d.( x , y , z) y que sean solucin de la ecuacin pitagrica x
2
+y
2
=z
2
, y las soluciones
sern de la forma {(n.x , n.y , n.z ): n } .
Pues, si 1=m.c.d.( x , y , z) ser 1=m.c.d.( x , y) pues si d1 existir x , y
, tal que x=d x , y=d y . Y se cumplir
x
2
+y
2
=(d x ' )
2
+( d y' )
2
=d
2.
( x
2
+y
2
)=z
2
. Luego,
d | z
2
, lo que implica d=m.c.d ( x , y , z) con d1 , en contra de la hiptesis.
7
Ecuaciones Diofnticas.
Luego, para estudiar las soluciones pitagricas x, y, z de la ecuacin x
2
+y
2
=z
2
, con
m.c.d. ( x , y , z )=1 . Como x y debern de ser impares (ya que en otro caso sera
x
2
+y
2

par, y sera m.c.d. ( x , y , z )1 en contra de la hiptesis), podemos suponer sin perdida de
generalidad que x es impar. Y escribiendo la ecuacin en la forma
x
2
=z
2
y
2
=( z+y).( zy) .
Si definimos
d
1
=m.c.d. ( z+y , zy)
.
Podemos encontrar a , b , con m.c.d. (a , b)=1 , tal que

d
1
=m.c.d. ( z+y , zy)=m.c.d. (ad
1
, bd
1
)
Sustituyendo en la ecuacin, obtenemos
x
2
=a. b. d
1
2
.
Pero al ser a y b primos entre s, la igualdad solo puede ser cierta si a y b son cuadrados
perfectos, es decir si u , v tal que a=u
2
y b=v
2
. Por lo tanto, ser
x
2
=u
2.
v
2.
d
1
2
Y como consecuencia, x ser de la forma
x=u.v.d
1
Adems, como
2. z=( z+y)+( zy)=a. d
1
+b. d
1
=u
2
. d
1
+v
2
. d
1

2. y=( z+y)( zy)=a. d
1
b. d
1
=u
2
. d
1
v
2
. d
1

Las soluciones sern de la forma
x=u.v.d
1
y=
u
2
v
2
2
. d
1
y=
u
2
+v
2
2
. d
1
Adems, como hemos supuesto que x es primo, y
x=u.v.d
1
, entonces, los tres factores u,
v y
d
1
tambin son impares. Y como
d
1
es impar, y de las ecuaciones
x=u.v.d
1
y=
u
2
v
2
2
. d
1
Se deduce que
d
1
| x
y
d
1
| y
. Y de la hiptesis 1=m.c.d( x , y) ser
d
1
=1
. Y
como a y b son tambin primos entre s, se deduce de las igualdades a=u
2
y b=v
2
que u y v
son tambin primos entre s. Y Teniendo en cuenta que x, y, z son nmeros naturales, de las
igualdades
z+y=a. d
1
=u
2
. d
1
z y=b. d
1
=v
2
. d
1
Se deduce que vu .
8
Ecuaciones Diofnticas.
Adems, teniendo en cuenta, la propiedad conmutativa de la suma en el conjunto de los
nmeros naturales, si (x,y,z) es una terna pitagrica, entonces, (y,x,z) tambin es una terna
pitagrica. Luego, podemos caracterizar todas las ternas pitagricas mediante el teorema
Teorema.- Dada la ecuacin x
2
+y
2
=z
2
, las ternas pitagrica de dicha ecuacin con x e y
primos entre si son de la forma
x=u.v.d
1
y=
u
2
v
2
2
. d
1
y=
u
2
+v
2
2
. d
1
Siendo u y v cualesquiera primos (impares) entre s y tales que v < u.
Y dada una solucin arbitraria de la terna pitagrica, cualquier otra solucin se obtiene de
esta multiplicndola por un factor arbitrario d ( d ).
Las ternas pitagricas sencillas, se utilizaban para la construccin de tringulos
rectngulos en civilizaciones antiguas como la de Egipto, as por ejemplo para la medicin de
ngulos rectos en la construccin de pirmides, utilizaban una cuerda que tena 3, 4 y 5 nudos
igualmente espaciados.
La sucesin de primeros nmeros primos x e y, se pueden obtener utilizando la criba de
Erasttenes.
# Ejemplo.- Aplicando el teorema, podemos encontrar las cinco primeras ternas
pitagricas:
x y x=u.v y=
u
2
v
2
2
y=
u
2
+v
2
2
3 1 3 4 5
5 1 5 12 13
5 3 15 8 17
7 1 7 24 25
7 3 21 20 29
Casos particulares de ecuaciones polinomiales de la forma P(x) Q(x) . y = 0.
En el caso de ecuaciones polinomiales de la forma
P( x)Q( x) . y=0 .
Dichas ecuaciones, tiene un nmero finito de soluciones (que puede ser cero).
Pues, si denominamos y=
P( x)
Q( x)
. Teniendo en cuenta la divisin entera en el anillo de
polinomios, existen un C( x) y R( x) | X , tal que
9
Ecuaciones Diofnticas.
P( x)=C( x). Q( x)+R( x) =
P( x)
Q( x)
=C( x)+
R( x)
Q( x)
.
Imponiendo la condicin:

R( x)
Q( x)

grado(Q( x))
.
Y probando con valores x enteros, se obtiene las soluciones enteras
Si
grado(Q( x))=1=grado( R( x))=0=R( x)=k (constante)
. Luego
R( x)
Q( x)
=
k
Q( x)
=Q( x)| R( x) .
Que tiene un nmero finito de soluciones.
# Ejemplo.- Para resolver (3 x +4)( x +1). y=0 , como
3x+4
x+1
=3+
1
x+1
Y como
1
x +1
x=0

La nica solucin ser ( x , y)=(0,4) .
# Ejemplo.- Sea la ecuacin x
3
x
2
. y+2.x
2
3.x.y4.y+2=0 . Como
y=
x
3
+2x
2
+2
x
2
3x+4
=( x+5)+
11 x18
x
2
3x+4

Y como

11 x18
x
2
3x+4

1
=11 x18x
2
3x+4
=x
2
+3x411 x18x
2
3x+4
Y como
x
2
8 x+140=x |4.(30) ,4+.(30)
x
2
14 x+220=x | 7.(27) , 7+.( 27)
Y como
(|4.(30) ,4+.(30)| 7.(27) , 7+.(27))={9,8,7,6, ... , 9, 10,11, 12}
Que probando, solo se cumple para x = 2. Luego, la solucin es (x,y) = (2,9).
10
Ecuaciones Diofnticas.
El ltimo teorema de Fermat.
Inspirado en la Aritmtica griega de Diofanto, Pierre Fermat (jurista de Toulouse, siglo
XVII) hizo numerosas anotaciones en su ejemplar.
En particular, hizo una anotacin al margen, en la que afirmaba haber descubierto una
demostracin de que la ecuacin x
n
+y
n
=z
n
no tena soluciones enteras no nulas para n > 2. Sin
embargo, dada la dificultad de la demostracin, posiblemente uviera una idea de como demostrar el
teorema, pero no la demostracin completa.
Ha este resultado, se le ha denominado ltimo teorema de Fermat, y lo podemos enunciar
como
Si x
n
+y
n
z
n
| X , Y , Z , con n>2 .
La ecuacin
x
n
+y
n
=z
n
notiene soluciones en
Durante ms de 300 aos, el intento por demostrar este resultado ha generado, por parte de
una gran parte de Matemticos, algunos resultados particulares relacionados con las
ecuaciones diofnticas como
Euler (1707-1783) demostr que la ecuacin x
3
+y
3
=z
3
, no tiene soluciones
enteras, utilizando nmeros imaginarios de la forma p+q. , con p , q .
Gauss, tambin demostr este resultado.
Dirichlet (1805-1859) y Adriaen Marie (1752-1833), basndose en los resultados de
Euler, tomaron p=3
m
y q=4
m
, y demostraron el teorema para n=5 .
Cauchy (1789-1857) demostr tambin este teorema.
Grabiel Lam (1795-1870) demostr el resultado para n = 7, e intent demostrar el
teorema, para nmeros de la forma p=3
m
y q=4
m
(enteros ciclotmicos),
utilizando la factorizacin nica de nmeros primos.
Ernest Edward Kummer (1810-1893) public un tratado de teora, que trataba
sobre enteros cilotmicos y expona el concepto de factorizacin nica. Demostr
que el teorema era cierto para todos los exponentes primos menores que 100, salvo
el 37, 59 y 67. A partir de estos resultados, se han obtenido bastantes condiciones
suficientes menos restrictivas.
La Academia de las Ciencias de Pars, prometi una medalla de oro y 300.000
francos de oro para quin encontrara la demostracin el ltimo teorema de Fermat.
11
Ecuaciones Diofnticas.
En 1908, se estableci, a travs de la Academia de Gttingen (Alemania), un premio
de 100.000 marcos, para quien encontrar una demostracin correcta del ltimo
teorema de Fermat. Entre 1908 y 1912 se presentaron ms de 100 demostraciones
incorrectas.
A partir de la utilizacin de las computadoras, se han realizado comprobaciones,
entre los que destacan los clculos efectuados en las Universidades de California,
Florida o Illinois. En particular, a principios de 1970 Jonson estableca que el
teorema era cierto para todos exponentes primos menores que 30.000, o Wagstaff
para exponentes primos menores que 125.000.
En las ltimas dcadas, se empez a establecer una relacin entre las coordenadas
enteras del espacio y las superficies geomtricas de ecuacin asociada, la ecuacin
de Fermat, de exponente n3 .
El profesor de Cambridge, Leo Mordell, utilizando dicho resultado, formul que la
ecuacin de Fermat de exponente n>2 , posee a lo sumo un nmero finito de
soluciones. Geerhard Frey, director del Instituto de Matemtica experimental de
Essen, asoci a cada solucin hipottica x, y, z de la ecuacin de Fermat, una curva
elptica.
En 1975, el matemtico Andrew Wiles, comenz a estudiar las infinitas soluciones
enteras de las curvas elpticas, para restringir su estudio a un nmero finito de
soluciones, utiliz las clases modulares de los nmeros enteros.
Shimura y Taniyama estudiaron simetras de formas modulares que cubren un
espacio, y establecieron, que a cada forma modular le corresponde una curva
elptica.
En 1984, Gerhard Frey prob que si se puede probar la conjetura de Taniyama y
Shimura, el teorema de Fermat estara probado.
Entre 1984 y 1995, Andrew Wiles, utiliz este resultado, para demostrar la
conjetura de Taniyama y Shimura, y por tanto el famoso teorema de Fermat. La
demostracin de dicha conjetura (mal llamado teorema) est basada en la
Geometra Aritmtica, estableciendo una relacin entre los nmeros enteros y
objetos geomtricos, como curvas y superficies.
12
Ecuaciones Diofnticas.
Una forma sencilla de ver la conexin entre el problema de Fermat y las superficies
geomtricas, es utilizar la ecuacin geomtrica de Fermat, en coordenadas homogneas. Es decir,
dividiendo la ecuacin de Fermat por z
n
(
x
z
)
n
+
(
x
z
)
n
=1 ,
(=
x
z
,
j=
y
z

Como z>x , z>y y 0( , j1 . La ecuacin se transforma en (
n
+j
n
=1
Adems, como nos interesa las soluciones enteras x, y, z. Las soluciones , sern
racionales, y tomando la funcin
f (n , ()=j(n , ()=
.
(1(
n
) , para n>2
Que tomando valores naturales de n se obtiene las funciones
f (3, () , f (4,() , f (5,() , , Observar grfico
Los valores de j sern todos irracionales. Adems, cuando j- , las curvas tienden a acercarse al
segmento |(0,1) , (1,1) . Sin embargo, no se puede probar que j(n , () sea racional. Para lo cual,
fue necesario pasar a cuatro dimensiones, tomando para ello valores complejos de (, j .
13
Ecuaciones Diofnticas.
Ecuaciones diofnticas de una variable.
A pesar de que el estudio general de ecuaciones diofnticas genera grandes problemas de
resolucin. En el caso de ecuaciones lineales de una o dos variables, o de sistemas de ecuaciones
lineales, existen importantes resultados que facilitan el conocimiento de soluciones.
Una ecuacin diofntica de una variable, es una ecuacin de la forma:
f ( x)a
n
. x
n
+a
n1
. x
n1
+a
n2
. x
n2
+. . .+a
1
. x+a
0
=0; a
n
0 ; f ( x) Z | X .
Hay que observar, que
x
0
es solucin entera de la ecuacin si
x
0
| a
0
. Ya que si
x
0

es un nmero entero, entonces los dos factores de la igualdad
a
0
=x
0.
(a
n
. x
0
n1
+a
n1
. x
0
n2
+. . .+a
1
) sern nmeros enteros y por tanto
x
0
| a
0
.
De esta observacin, deducimos que las soluciones, de una ecuacin diofntica de una
variable, las podemos buscar entre los divisores del trmino independiente
a
0
. Es evidente que
en general no siempre existen soluciones enteras, incluso ni siquiera reales, basta por ejemplo
pensar en la ecuacin x
2
+1=0 , cuyas soluciones son las soluciones complejas y + .
De los cuales nicamente - 1 es solucin de la ecuacin.
# Ejemplo.- Para determinar las soluciones de la ecuacin
x
6
5.x
5
+3.x
4
+x
2
x+3=0 .
Consideramos solamente los divisores del trmino independiente 2, que son 1 - 1, 2 , -2.
Considerando todos los divisores del trmino independiente 3, y obtenemos que ninguno es
solucin de la ecuacin. Por tanto la ecuacin no tiene soluciones enteras.
En el caso particular de polinomios de la forma:
p( x , y)=a
0
. y
n
+a
1.
x . y
n1
+...+a
n1
. x
n1
. y+a
n
. x
n
.
Sacando factor comn y
n
, Si se toma la variable
z=
x
y
y nos queda la ecuacin en
Q| X , p( z ,1)=a
0
+a
1.
z+...+a
n1
. z
n1
+a
n
. z
n
Que es una ecuacin diofntica a( z) de una variable en Q| X . Y obteniendo
z
0

, tal que
z
0
=
a
b
=
x
y
; a , b . Se obtiene, una solucin particular de dicha
ecuacin (a,b). Y la solucin general, ser de la forma: (a.t , b.t );t .
# Ejemplo.- Sea la ecuacin.
2. x
3
+3.x
2.
. y3. x. y
2
2.y
3
=0
Mediante el cambio
z=
x
y
. Se obtiene la ecuacin:
14
Ecuaciones Diofnticas.
2. z
3
+3.z
2
3.z2=0 .
Que fcilmente se comprueba que son soluciones:

z =

1 ,2,
1
2

.
Luego:
( x
0
, y
0
)=(1,1) , (2,1) , (1,2)
Son soluciones particulares enteras de la ecuacin.
Por tanto, las ecuaciones, sern de la forma:
( x
0
, y
0
)=( t ,t ) ,(2.t , t ) , (t ,2.t ): t
3. ECUACIONES DIOFNTICAS LINEALES EN DOS O MAS VARIABLES
Ecuaciones Diofnticas de dos variables.
Una ecuacin diofntica lineal en dos variables es de la forma:
a. x+b. y=c
Donde los coeficientes a, b, c son nmeros enteros.
En general, se puede generalizar para Dominio de integridad.
Antes de estudiar la existencia de soluciones, as como un mtodo para proporcionar la
solucin general introduciremos el concepto de ideal y divisibilidad.
Teorema (de divisin entera).- Dado dos polinomios a(x) y b(x) existen dos nicos
polinomios q(x) y r(x) tales que:
a( x)=b( x) . q( x)+r( x) .
Siendo
r ( x)=0 o bien grado r( x)grado b( x) .
Denominndose q(x) = cociente y r(x) = resto de la divisin entera de a(x) por b(x).
Indicamos por (b(x)) al conjunto de polinomios mltiplos de b(x).
Un Ideal de polinomios es un subconjunto no vaco I K | x que satisface:
1.- a( x)+b( x)I ; a( x) , b( x) I
2.- a( x). c( x)I ; a( x)I , c( x)K| x
Sea
a
1
( x) , a
2
( x) , . .. , a
n
( x)K| x
.
1.- El conjunto:
m( x) =(a
1
( x) a
2
( x) . . . a
n
( x))
.
15
Ecuaciones Diofnticas.
Es un ideal de K[x] por ser interseccin de ideales. Denominado, Mnimo comn mltiplo
de
a
1
( x) , a
2
( x) , . .. , a
n
( x) K | x
. Este ideal est formado por todos los mltiplos de
a
1
( x) , a
2
( x) , . .. , a
n
( x) K | x
:
m( x) = m.c.m.( a
1
( x) , a
2
( x) ,... , a
n
( x))
.
Adems, como (m( x))= { k . (m( x)) k K - {0} } . Se cumplir que es nico
salvo factor constante no nula.
2.- El conjunto:
d ( x) =(a
1
( x) +a
2
( x) +. .. + a
n
( x)) ={ c
1
. a
1
( x) +c
2
. a
2
( x) +.. . +c
n
. a
n
( x) : c
1,
c
2,
... , c
n
K }
Es un ideal de K[x] . Denominado, Mximo comn divisor de
a
1
( x) , a
2
( x) , . .. , a
n
( x) K | x
. Este ideal est formado por todos los divisores de
a
1
( x) , a
2
( x) , . .. , a
n
( x) K | x
, pues para cada polinomio
a
i
( x)
se cumple
a
i
( x) =0. a
1
( x) +... +1. a
i
( x) +... +0. a
n
( x) d ( x)

d ( x) = M.C.D.( a
1
( x) , a
2
( x) ,... , a
n
( x))
.
Un mtodo particularmente til para hallar el M.C.D., es el conocido algoritmo de Euclides
y que se basa en la aplicacin reiterada del siguiente teorema:
Teorema.- Si a( x) =b( x). q( x)+r ( x) es la divisin entera de a( x) por
b( x)0 , entonces, M.C.D. (a( x) , b( x))=m.c.d. (b( x) , r( x))
Aplicando reiteradamente este resultado, y dado que los restos sucesivos sern decrecientes,
llegar un momento en que el resto ser 0, y el ltimo resto no nulo ser el M.C.D. de ( a(x) , b(x) ).
Diremos que m(x) K[x] es el m.c.m. De a
1
(x),a
2
(x),..,a
n
(x) K[x]. Si se cumple que:
( m(x) ) = (a
1
)

(a
2
)

. . . ( a
n
).
Diremos que d(x) K[x] es el m.c.d. de a
1
(x),a
2
(x),...,a
n
(x) K[x]. Si se cumple que:
(d(x)) = (a
1
)+(a
2
)+...+(a
n
) = {a
1
(x).c
1
(x)+...+a
n
(x).c
n
(x): c
1
,, c
n
K[x] }.
Existencia de soluciones.
Teorema .- Sea la ecuacin diofntica
a.x+b.y=c ; con a, b, c nmeros enteros.
Entonces, existir solucin (entera) SI Y SOLO SI m.c.d (a , b)| c .
# Demostracin:
Si que la ecuacin a.x+b.y=c tiene una solucin entera x, y. Entonces, si
d=m.c.d. (a , b) , existirn factorizaciones de la forma
16
Ecuaciones Diofnticas.
a=m.d
b=n.d .
Por lo tanto
c=a.x+b.y=(m.x+n.y). d .
Luego d | c .
Supongamos que d=m.c.d. (a , b)| c . Como el ideal
J ={ a.x+b.y : x , y A} .
Coincide con el ideal
(d)={ n.d : n } .
Como consecuencia si d | c
c ( d)=J .
Luego existir una descomposicin
c=a.x+b.y . Donde x , y .
# Ejemplo.- Sea la ecuacin 6 x+10 y=20 . Como m.c.d. (6 ,10)=2| 20 . La ecuacin
tendr solucin.
Construccin de soluciones.
Supongamos, que la ecuacin diofntica a x+b y=c tiene solucin. Si dividimos la
ecuacin por d=m.c.d. (a , b) se obtiene la ecuacin a x+b y=c . Donde
a =
a
d
;
b =
b
d
;
c =
c
d
.
Que por la hiptesis de existencia, a y b son nmeros enteros primos entre s. Y
por las identidades de Bezout existe una descomposicin nica de la forma:
1=a o+b o, .
Multiplicando por c se obtiene:
c =a (oc )+b (c ) .
Luego:
x=o. c e y=. c'
Es una solucin de la ecuacin a x+b y=c ' .
As cualquier otra solucin x, y verificar
a' (oc )+b' (c' ) (a' x+b' y)=c' c' =0 =a . ( x o. c )=b . ( y . c ) .
Pero como a y b son primos entre si, por el teorema de Euclides se cumplir
17
Ecuaciones Diofnticas.
a | y . c ; b | x o. c .
Por lo que existirn dos enteros
t
1
y
t
2
tales que:

x=o. c +t
1
. b
.

y=. c +t
2
. a
.
Si sustituimos dichas soluciones en la ecuacin a x+b y=c , obtenemos
a . x+b . y=a .|(oc )+(t
1
. b )+b . |( . c )+(t
2
. a ) =

= a .(o. c )+b . ( . c )+a' (t
1
. b )+b' .(t
2
. a ) =

= c +a' , b' (t
1
+t
2
)=c'
Luego
t
1
=t
2
=t
La solucin general de la ecuacin ser de la forma:
x=o. c' t.b' , y=. c' t.a ' ,
c' =
a
d
,
b' =
b
d
,
a' =
a
d
, t
Luego, resumiendo, el mtodo para la construccin de la solucin es:
1.- Convertir la ecuacin diofntica a x+b y=c en la ecuacin:

a
m.c.d. (a , b)
+
b
m.c.d. (a , b)
=
c
m.c.d.( a, b)

Es decir:
a . x+b' . y=c .
2.- Hallar (generalmente usando el Algoritmo de Euclides) los enteros r y s tales que
1=a . r+b . s
3.- Hallar la solucin general ser de la forma:
x=r.c t.b .
y=s.c +t.a .
Con t un nmero entero arbitrario.
# Ejemplo.- Determinar las soluciones enteras de las ecuaciones
1.- 6 x+10 y=20 .
2.- 127 x52 y=1
3. - 4329 X +132Y=33 .
# Solucin:
1.- Como 2=m.c.d. (6, 10) , obtenemos la ecuacin reducida
3.x+5.y=10 .
Hallando un r, s tal que
18
Ecuaciones Diofnticas.
1=3.r +5. s .
Ser, r = 2; s = -1. Y obtenemos para cada entero t, la solucin general
x=20 5.t .
y=10+3.t .
2.- Como 1=m.c.d. (127 ,52) . Y obtenemos la ecuacin reducida
127.x52.y=1 .
Hallando un r, s tal que
1=127.r 52.s .
Ser r=9 ; s=22 . Obtenemos para cada entero t, la solucin general
x=9+52.t .
y=22+127.t .
3. Para calcular el m.c.d. (a , b)=m.c.d. (4329 ,132)=d .
Utilizamos el algoritmo de Euclides:
32 1 3 1 8
4329 132 105 27 24 3
105 27 24 3 0
Que descomponiendo denominando ser
m.c.d. ( 4329,132)=3
Adems, denominando
a=4329, b=132, x
1
=105, x
2
=27, x
3
=24, x
4
=3
Podemos, descomponer
x
4
, con respecto a y b, mediante

a=32.b+x
1
=
x
1
=a32.b
b=x
1
+x
2
=
x
2
=bx
1
=b(a32b)=a+33b
x
1
=3. x
2
+x
3
=
x
3
=x
1
3. x
2
=
=(a32b)3.(33ba)=4a131b
x
2
=x
3
+x
4
=
x
4
=x
2
x
3
=
=(33ba)(4a131b)=5a+164 b
Luego:
m.c.d (4329,132)=3=(5) a+164b=r a+s b =r=5, s=164
Dividiendo todos los miembros de la ecuacin por 3=m.c.d. (4329,132) , la ecuacin
reducida ser.
1443.X+44.Y=11 . a' =1443, b' =44, c' =11
Y como por la descomposicin de Euclides es:
19
Ecuaciones Diofnticas.
r=5 ; s=164 .
La solucin general ser de la forma:
X =r . c' +b' .t =55+44. t.
Y =s. c' a' . t =18041443.t
Con t un entero cualquiera.
Anlogamente se podra resolver por ejemplo al ecuacin
(5+4 ) X +( 2+ ) Y=1 . Siendo X ,Y |
Donde, | es el anillo de los nmeros complejos con las operaciones habituales de suma y producto,
definidas en C.
Ecuaciones lineales con ms de dos incgnitas
En el caso de ecuaciones diofnticas de la forma:
B
1
X
1
+B
2
X
2
+.. .+B
n
X
n
=D | X
1
,... , X
n

Dicha ecuacin tiene solucin en

n
m.c.d. ( B
1,
B
2
, . .. , B
n
)| D .
# Demostracin:
) Sea
d=m.c.d. ( B
1,
B
2
,. . . , B
n
)| D
. Entonces, existe
A
1,
A
2
, , A
n
, tales que
B
1
=d A
1
, B
2
=d A
2,
, B
n
=d A
n
. Si
( x
1
, x
2
,... , x
n
)
es solucin de la ecuacin,
entonces
B
1
x
1
+B
2
x
2
+. ..+B
n
x
n
=D
=
d A
1
x
1
+d A
2
x
2
+.. .+d A
n
x
n
=D
=
d . ( A
1
x
1
+d A
2
x
2
+. ..+d A
n
x
n
)=D
=
d=m.c.d. ( B
1,
B
2,
... , B
n
)| D
= ) Si
d=m.c.d. ( B
1,
B
2
,. . . , B
n
)| D
. Como, por el teorema de Bezout, existen
x
1
, x
2
,... , x
n

, tal que
d=B
1
x
1
+B
2
x
2
++B
n
x
n
. Y dado que d | D ,
s tal que D=d.s . Es decir
D=d . s=( B
1
x
1
+B
2
x
2
++B
n
x
n
). s=B
1
x
1
. s+B
2
x
2
. s++B
n
x
n
. s
Luego
( x
1
. s , x
2
. s , , x
n
. s)
es solucin de la ecuacin.
Por tanto, para resolver la ecuacin
B
1
X
1
+B
2
X
2
+.. .+B
n
X
n
=D
, si
d=m.c.d. ( B
1,
B
2
,. . . , B
n
)
.
Existe
A
1,
A
2
, , A
n
tales que
B
1
=d A
1
, B
2
=d A
2,
, B
n
=d A
n
. Y resolveremos la
ecuacin diofntica
A
1
x
1
+d A
2
x
2
+. ..+d A
n
x
n
=D/ d=C | X
1
, X
2
, ... , X
n

.
20
Ecuaciones Diofnticas.
Si
A
i
, A
j
,(i j )
tales que
m.c.d. ( A
i
, A
j
)=1
, que podemos suponer, sin perdida
de generalidad
m.c.d. ( A
1
, A
2
)=1
. Entonces
A
1
X
1
+A
2
X
2
=1.(C A
n
X
n
...A
3
X
3
)
. Y si
( x
1
, x
2
)
es una solucin particular de la ecuacin
A
1
X
1
+A
2
X
2
=1
. Entonces
( x
1
.(C A
n
X
n
...A
3
X
3
) , x
2
.(C A
n
X
n
...A
3
X
3
))
es una solucin particular de la ecuacin:
A
1
X
1
+A
2
X
2
=1.(C A
n
X
n
...A
3
X
3
)
.
Y teniendo en cuenta la construccin de soluciones de las ecuaciones diofnticas de dos
variables. La solucin general ser de la forma
( x
1
.(C A
n
X
n
...A
3
X
3
)+A
2
. t , x
2
. (C A
n
X
n
...A
3
X
3
)A
1
. t )
Si
m.c.d. ( A
i
, A
j
)1, i j ; d
i
=m.c.d. {( A
1
, A
2
, ... , A
n
){ A
i
} }; i , j { 1, 2,, n}
.
Podemos suponer sin perdida de generalidad que
d
i
=d
n
(pues en otro caso bastara reordenar
las variables), y denominando
H
1
=
A
1
d
n
; H
2
=
A
2
d
n
; ; H
n
=
A
n
d
n
.
Si
H
i
, H
j
, (i j )
, tales que
m.c.d. ( H
i
, H
j
)=1
, que podemos suponer sin perdida
de generalidad
m.c.d. ( H
1
, H
2
)=1
, entonces, la ecuacin la podemos reducir a la ecuacin
H
1
X
1
+H
2
X
2
+...+H
n1
X
n1
=
(CA
n
X
n
)
d
n
.
Y dado que
(CA
n
X
n
)
d
n
. Se resuelve la ecuacin para dichos valores enteros.
# Ejemplo.-
1. Para resolver la ecuacin 2 x+4 y2 z+3u=4 | x , y.z.u , como la ecuacin se
puede poner como
2 x+3u=44 y+2 z .
Que se comprueba, que (1 ,1) es solucin particular de la ecuacin 2 x+3u=1 .
Entonces,
(1. (44 y+2 z) ,1. (44 y+2 z))=(4+4 y2 z , 44 y+2 z)
Es solucin particular de la ecuacin.
Y teniendo la construccin de soluciones para las variables x y u, la solucin general ser
de la forma
( x , u)=(4+4 y2 z+3. t , 44 y+2 z2. t ) ; t
21
Ecuaciones Diofnticas.
2. Para resolver la ecuacin 6 x+10 y+15 z=8 | x , y , z . Teniendo en cuenta que
no hay coeficientes primos entre si, dos a dos, y que m.c.d. (6,10)=2 . Tomando la ecuacin
(
6
2
)
x+
(
10
2
)
y=3 x+5 y=
815z
2
=
815 z
2

Y resolviendo la ecuacin

u=
815 z
2
. ( 2u+15 z=8)
Obtenemos la solucin particular
( z
0
, u
0
)=( 0, 4)
. Por lo que la solucin general de
( z ,u) , ser de la forma
( z ,u)=(2t , 4+15t ) ; t .
Luego, sustituyendo obtenemos la ecuacin
3 x+5 y=4+15t .
Y resolviendo:
3 x+5 y=1 .
Se obtiene como solucin (2 ,1) . Luego, una solucin particular es
( x
0
, y
0
)=( 2.(4+15t ) ,1. (4+15t ))=(8+30t ,415t ) ; t
.
Y la solucin general, ser de la forma
( x , y)=( 2. (4+15t )+5 s ,1.( 4+15t )3s); t , s
O bien
( x , y)=(8+15t +5 s ,415t 3s) ; t , s
( x , y , z ) = ( 8 + 30 t + 5 s , - 4 - 15 t - 3 s , z ) ; t , s Z.
Sistema de ecuaciones lineales
Si tenemos el sistema de ecuaciones lineales en
| X
1
, ... , X
n

.
P
1
A
11
X
1
+A
12
X
2
+...+A
1n
X
n
=C
1
.
P
2
A
21
X
1
+A
22
X
2
+...+A
2n
X
n
=C
2
..............................................................
P
m
A
m1
X
1
+A
m2
X
2
+...+A
mn
X
n
=C
m
Es evidente, que para que dicho sistema tenga solucin en , debe de tener solucin en
. Es decir, debe de cumplir el teorema de Roche
rango A=rango( A ,C) , A=Matriz de coeficientes ;( A, C)=Matriz ampliada
Y para que sean enteras, cada ecuacin
P
j
, debe de cumplir
m.c.d. ( A
i1
, A
i2
,... , A
i n
)| C
i
i =1, 2 ,... , m .
22
Ecuaciones Diofnticas.
Luego, para que existan soluciones enteras, son condiciones suficientes
rango A=rango( A ,C) .
m.c.d. ( A
i1
, A
i2
,... , A
i n
)| C
i
i =1, 2 ,... , m .
Teniendo en cuenta ambas condiciones, si A es el menor de orden r de la matriz de
coeficientes A. Entonces, es condicin suficiente para que exista solucin que A=!1 .
# Ejemplo.-
1. Resolver en el sistema
2 x+y+z2t =5
3 x+2 yz+4t =1
Como podemos poner, como
2 x+y=5z+2t
3 x+2 y=1+z4t
Y como
y m.c.d.(2,1)=1=m.c.d. (3,2)
Por la regla de Cramer, se obtiene:
x=93 z+8t
y=13+5 z14 t .
O bien:
( x , y , z , t )=(93 z+8t ,13+5 z14t , z , t ) .
2. Resolver en el sistema:
2 x+y+3 z=7
8 x5 y3 z=11
Como, rango A=rango( A, C)=2
m.c.d (2,1,3)=m.c.d (8,5,3)=1| { 7,11} .
Poniendo
2 x+y=73 z
8 x5 y=11+3 z
Por la regla de Cramer, se obtiene:

x=
23 6 z
9

y=
17 15 z
9
23
Ecuaciones Diofnticas.
O bien
9 x+6 z=23
9 y+15 z=17
Y como m.c.d (9,6)=6 no divide a 23. No se cumple la condicin necesaria, de
existencia de soluciones enteras. Luego dicho sistema no tiene solucin en .
3. Resolver en el sistema:
2 x+4 y5 z=17
3 x7 y+4 z=2
Estudiando los rangos de los menores principales de orden 2, de la matriz de coeficientes,
obtenemos
Si elegimos, y, z como variables principales, obtenemos
4 y5 z=172 x
7 y+4 z=23 x
Cuya solucin es
y=
23 x 78
19

z=
26 x 127
19
O bien
23 x 19 y=78
26 x 19 z=127
Que probando se obtiene una solucin particular
( x
0
, y
0
, z
0
)=(10,8,7)
.
Luego, la solucin general es
( x , y , z)=
(
10+19.t ,
23. (10+19) 78
19
,
26. (10+19) 127
19
)
, t
Es decir
( x , y , z)=(10+19.t , 23t+8,26t+7) , t
24