Mtodos de Resolucin de Ecuaciones Diofnticas

MTODOS DE RESOLUCIN DE ECUACIONES DIOFNTICAS

Christam Huertas Ramirez Profesor Acadmia Csar Vallejo - ICH

Resumen Mediante las actividades que se desarrollaran en el taller, se busca que los participantes se involucren en la resolucin y planteamientos de problemas contextualizados a la realidad del estudiante y que involucren aritmtica entera. Tambin en el taller, se pretende construir en forma conjunta una propuesta metodolgica con el fin de que se considere como una alternativa a ser incluida dentro del plan de estudios a nivel de secundaria en el rea de matemtica. Justificacin del taller La estrategia basada en la resolucin de problemas, se ha convertido desde hace algunas dcadas en una importante contribucin a la educacin matemtica en el mundo. Tal vez la obra de Polya, que aunque escrita en los aos 40 del siglo XX, fue la pionera en este tipo de propuestas. l plante una sucesin de pasos en la resolucin de problemas: entender el problema, configurar un plan, ejecutar un plan y mirar hacia atrs. 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 Zahlkoecienten 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 x2+y2=z2 obtendra un Si, puesto que tiene soluciones enteras, empezando con x=3, y=4, z=5 y siguiendo con otros infinitos tripletes. En cambio, cualquier ecuacin xn+yn=zn con n>2 obtendria un No, puesto que no tiene soluciones enteras. -1-

Mtodos de Resolucin de Ecuaciones Diofnticas El problema no se resolvi hasta 70 aos despus, y en sentido negativo. En 1970 Yuri Matiyasevich1 culmin ms de veinte aos de trabajo de varios matemticos, entre ellos Martin Davis, Julia Robinson y Hillary Putnam, con la demostracin de imposibilidad del dcimo problema: ningn algoritmo es capaz de determinar la resolubilidad de cualquier ecuacin diofntica. El planteamiento, desarrollo y demostracin del problema tienen gran inters en matemtica moderna, porque en ellos participan conceptos de teora de nmeros y de lgica matemtica, y se abren nuevos campos de investigacin en ambas disciplinas. DEFINICIONES Se llama ecuacin diofntica (en recuerdo a Diofanto2 de Alejandra) a cualquier ecuacin algebraica con coeficientes enteros, generalmente de varias variables, planteada sobre el conjunto de los nmeros enteros Z o los nmeros naturales N, es decir, se trata de ecuaciones cuyas soluciones son nmeros enteros. Ejemplos 3x + 8y = 5 x2 + y2 = z2 x4 + y4 = z4 x3 + y3 = z4 x2 + y2 = 7z2 x2 + 1 = y2 x6 + y6 + z6 + u6 + v6= w6 x5 + y5 + z5 = w5 xk + yk = n! zk , k m 2, n >1 xn + yb = zc, a, b, c > 2, mcd(a, b,c)=1

Veremos cmo resolver las ecuaciones diofnticas, dividindolas en diferentes tipos. Mtodos elementales para resolver ecuaciones diofnticas 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.

Yuri Matiyasevich (1947) Matemtico ruso. En 1964 obtuvo el primer lugar de la 6 Olimpiada Internacional de Matemtica que tuvo lugar en Mosc. Es muy conocido por su solucin negativa del dcimo problema de Hilbert, presentada en su tesis doctoral, en LOMI, el Departamento de Leningrado del Instituto de Matemtica Steklov. 2 Diofanto fue un matemtico griego famoso en su tiempo, quien estudio especialmente la resolucin de ecuaciones en enteros. La mitad de su obra principal, Aritmtica, sobrevivi hasta nuestros das. Muy poco se sabe de su vida, excepto unos datos aparecidos en una coleccin posterior de rompecabezas griegos, que nos dicen que vivi hasta la edad de 84 aos y tuvo un hijo que muri cuando Diofanto tena 42 aos.
1

-2-

Mtodos de Resolucin de Ecuaciones Diofnticas Ejemplo 1 Halle todos los nmeros naturales n y los nmeros primos p que sean soluciones de la siguiente ecuacin. n3 + 7n2 + 14n + 8 = 6p Resolucin Factorizando el primer miembro n3 + 7n2 + 14n + 8 = n2 + 6n2 + n2 + 6n + 8n + 8 = n3(n+1)+6n(n+1)+ 8(n+1) = (n+1) (n2+6n+8) = (n+1) (n+2) (n+4)

Adems 6p=1.2.3.p y n+4>n+2>n+1>1, de donde n+1=2, n+2=3 y n+4=p; por lo cual n=1 y p=5; es decir la solucin es (1,5). Ejemplo 2 Halle todas las soluciones enteras de la ecuacin diofntica 3xy + 2y =7 Ejemplo 3 Halle todas las soluciones de la ecuacin diofntica 2x2 + xy 3y2 =17 Ejemplo 4 Resuelva la ecuacin diofntica (x y)3 + (y z)3 + (z x)3=35 Ejemplo 5 Determine los valores enteros positivos de n para que el nmero n2 4n +16 sea el cuadrado de un nmero natural. 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 entero. Ejemplo 1 Halle todos los valores naturales de n para que n4+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 -3-

Mtodos de Resolucin de Ecuaciones Diofnticas

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

De donde 18 debe ser un entero y n+23 (pues n1); de lo cual se obtiene que n+2 n+2c{3,6,9,18} , es decir n c {1,4,7,16}. Ejemplo 2 Halle todos los nmeros de dos cifras que son iguales a tres veces su producto. 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 la suma de los nmeros. Resolucin Sean x e y los nmeros, entonces se debe cumplir x2 + y2=2(x + y) x2 2x + 1+y2 2y +1=2 (x 1)2 + (y 1)2 =2 De donde

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 Encuentre los nmeros x, y c Z que cumplen 5x2 + 5y4 + 4x + 4xy2 = 5

Mtodo de los ltimos dgitos Ejemplo 1 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 -4-

Mtodos de Resolucin de Ecuaciones Diofnticas 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 2 Existen nmeros enteros m y n que sean soluciones de la siguiente ecuacin? n! + 5m2=147926

Ejemplo 3 Determine las soluciones enteras de la ecuacin 5x + y4 = 194482 Mtodo de paridad Ejemplo 1 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
4 2

(2k+1)4+16m = 7993 (4k2+4k+1)2 +16m = 7993

16k +16k +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 1 Pruebe que la ecuacin x2 + y2 = 2006 no tiene solucin en los enteros. Resolucin En primer lugar, si los nmeros son pares, entonces la suma de cuadrados siempre es divisible por 4(4|4k2=(2k)2 ); y si uno de ellos es impar, entonces la suma de cuadrados deja resto 1 al ser dividido por 4((2k+1)2=4(k2+k)+1h1(mod4)). La ecuacin no tendr solucin pues 2006 deja resto 2 al ser dividido por 4. Falta comprobar cuando x e y son impares. Sea x=2m+1, y=2n+1 (m,n c Z ), reemplazando en la ecuacin. -5-

Mtodos de Resolucin de Ecuaciones Diofnticas ( 2m + 1)2 + ( 2n + 1)2 = 2006 4(m 2 + m + n 2 + n ) = 2004 m(m + 1) + n(n + 1) = 501
par

Vemos que el lado izquierdo y el lado derecho son de diferente paridad, de donde se deduce que la ecuacin no tiene solucin. Ejemplo 2 Existen nmeros enteros x e y de modo que el resto que se obtiene al dividir x4+y4 por 25 es 3? El mtodo de la desigualdad Este mtodo se utiliza com frecuencia para reducir el conjunto de posibles soluciones, y luego analizar los posibles casos al conjunto reducido. El mtodo de la desigualdad se utiliza a menudo en combinacin con otros mtodos para resolver ecuaciones diofnticas no lineales. Ejemplo 1 Halle todas las soluciones naturales de la ecuacin: a! + b! =c! Resolucin Es evidente que a<c y b<c. Sin prdida de generalidad, podemos suponer que a [ b. De la ecuacin a! + b! c! =0 b! c! a !1 + = 0 a! a! Como a!>0, entonces b! c! 1+ = 0 a! a! de donde c! b! b! c! 1 = = 1 a! a! a! b! Z Z Para a<b , se tendr b ! >1 con lo cual, la igualdad no se verifica, y por tanto, es necesario a! que a=b, de donde c! =2 b! Como c>b1 no tendra ninguna solucin para c>2, y la nica solucin es c=2, b=1. Entonces a=1, y por tanto tenemos una nica solucin que es la terna ordenada (1;1;2). Ejemplo 2 Halle todos los nmeros naturales que satisfacen la ecuacin a+b+c=abc Ejemplo 3 Halle todos los nmeros naturales a,b,c para que -61 1 1 + + =1 a b c

Mtodos de Resolucin de Ecuaciones Diofnticas Ecuaciones diofnticas exponenciales Aunque no existe un nico mtodo para resolver estos tipos de ecuaciones, veremos a travs de diferentes ejemplos como se describen los diferentes enfoques para resolver una ecuacin diofntica exponencial. Ejemplo 1 (Mtodo de los factores) 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 2 (Mtodo de los factores) Existen nmeros naturales x e y que sean soluciones de la siguiente ecuacin? 3x
2

+ y 1

3x

+1

=1944

Ejemplo 3 Existen nmeros naturales x que son soluciones de la siguiente ecuacin? 5x+2x+1 . 3x =32x +22x Resolucin La ecuacin es equivalente a 5x=32x 2.3x . 2x + 22x 5x=(3x 2x )2 52m=(32m 22m )2 5m=32m 22m =(3m 2m) (3m+2m)

Por lo tanto, 5x es un cuadrado perfecto; es decir x=2m, mcN. Entonces, en la ecuacin

De donde se debe verificar que 3m 2m=5a y 3m+2m=5b para algunos valores a,bcN0, con a<b. Por lo tanto, 3m+2m5(3m 2m) 6.2m 4.3m 3 3 2 2
m

Es decir o

Lo cual implica que 1m, es decir m=1, por lo tanto x=2 es la nica solucin.

Ejemplo 4 Halle todas las soluciones de la siguiente ecuacin diofntica, si existen x2=3y+7. -7-

Mtodos de Resolucin de Ecuaciones Diofnticas Ejemplo 5 Existen nmeros naturales x e y que sean soluciones de la siguiente ecuacin? 3x 2y=1 Resolucin Analicemos dos casos: cuando x es un nmero impar y cuando x es par. I. Sea x un numero impar, x=2m+1, m c N0. Entonces 3x=32m+1=(32)m . 3 = 9m . 3 Como 9h1 (md 4), entonces 9m . 3 h 3 (md 4), de donde 2y=3x 1 h 2 (md 4) que solo es posible para x=y=1. 2y=32m 1=(3m 1)(3m +1) De donde los factores 3m 1 y 3m+1 deben ser potencias del nmero 2. Esto es posible solo cuando 3m 1=2 y 3m+1=4, es decir cuando m=1, del cual x=2 y y=3. Es decir, la nica solucin de la ecuacin diofntica es (2;3).

II. Sea x un numero par, x=2m, mcN. Entonces

Ejemplo 6 (Mtodo de contradiccin) Halle todos los nmeros naturales k y n que sean soluciones de la siguiente ecuacin? 2k + 1=5n Resolucin Se nota que una solucin es (k;n)=(2;1). Vamos a demostrar que no existe otra solucin. Supongamos lo contrario, es decir que existe k,ncN, k>2, n>1, que satisfacen la ecuacin 2k+1=5n. Si el nmero k es impar, entonces al dividir 2k entre 5 se obtiene como resto 2 o 3, y al dividir 2k+1 entre 5 se obtiene como resto 3 o 4. Por lo tanto, k debe ser par. Sea k=2l, lcN {1}. Luego 2k=4l es mltiplo de 16. Pero 2k=5n 1=(4+1)n 1 n = 4n + n.4n 1 + ... + .42 + 4n 2

Debe ser mltiplo de 16, de lo cual n=4m, mcN. Tambin 2k=5n 1=54m 1=(52m 1)(52m+1) Pero 52m 1 y 52m+1 son nmeros pares consecutivos, tambin lo es su producto 2k solo para k=3. Sin embargo k es un nmero par, lo que genera una contradiccin. As, que no hay otra solucin salvo el par ordenado (k;n)=(2;1). Ejemplo 7 Demuestre que no existen nmeros naturales x,y,z,n de tal manera que zn, que sean soluciones de la ecuacin: xn + yn=zn -8-

Mtodos de Resolucin de Ecuaciones Diofnticas Ejemplo 8 Halle todos los nmeros naturales n que son soluciones de la siguiente ecuacin. 5n + 7n + 11n=6n + 8n + 9n Ejemplo 9 Demuestre que no existen nmeros naturales x,y,z,t de modo que xx + yy + zz=tt Diferentes tareas Ejemplo 10 Demuestre que no existen nmeros naturales x, y y z que verifican la siguiente ecuacin. 2x + 5y =19z Resolucin Como 19 h 1 (md 3), entonces 19z h 1 (md 3). Por otra parte, 2 h 1 (md 3) de donde 2xh(1)x (md 3). Tambin, 5 h 1 (md 3) del cual 5y h(1)y (md 3). Por lo tanto 2x + 5y h (1)x + (1)y (md 3) Si x e y son nmeros pares, entonces 2x + 5y h 2 (md 3), y si son de diferente paridad, entonces 2x + 5y h 0 (md 3). Por lo tanto, en estos casos la ecuacin no tiene solucin. Si x e y son nmeros impares, entonces 2x + 5y h 2 (md 3), es decir, 2x + 5y h1 (md 3). Demostraremos que en este caso tampoco hay solucin. Sea x=2k+1, k c N0. Entonces 2x=22k+1=4k . 2 h (1)k . 2 (md 5) 19z h (1)z (md 5) 5y=19z 2x h (1)z + (1)k . 2 (md 5) h / 0 (md 5)

Adems

Como 5y h 0 (md 5), entonces la ecuacin no tiene solucin. Ecuaciones Diofnticas Lineales Ecuaciones con una incgnita La ecuacin ax=c con a,c c Z y a0 tiene solucin entera si y solo si c es mltiplo de a. Ejemplo Resuelva la ecuacin diofntica 3x=6 Como 6 es mltiplo de 2, entonces la ecuacin 3x=6 tiene solucin y es igual a x=2.

-9-

Mtodos de Resolucin de Ecuaciones Diofnticas Ecuaciones con dos incgnitas La ecuacin ax + by=c Si a, b y c son enteros y ab0, toda ecuacin lineal de la forma ax+by=c,

donde los valores de x e y estan restringidos al conjunto de los enteros, se llama ecuacin diofntica lineal en dos variables. El matemtico griego Diofanto fue el primero en estudiar tales ecuaciones extensivamente.3
Teorema La ecuacin diofntica lineal ax+by=c o Identidad de Bzout3 tiene solucin si y solo si d|c, donde d=mcd(a,b). En este caso la ecuacin tiene una infinidad de soluciones.

Demostracin Sea d=mcd(a,b). Existen enteros a y b tales que a=da y b=db. As, da x + db y = c d(a x + b y) = c. Si existe una solucin de esta ecuacin, entonces d|c ya que d es un factor del miembro izquierdo de la ecuacin. Recprocamente, si d|c, entonces existe un entero c tal que c=dc. Pero se sabe que existen enteros x e y tales que ax + by=d. Entonces, multiplicando ambos miembros de esta ecuacin por c, ax c + by c = dc a(x c ) + b (y c )=c a(x0 ) + b(y0 )=c

donde x0 e y0 son enteros. De aqu que la ecuacion diofntica lineal ax+ by=c tiene una solucin particular x0 e y0.
Teorema Si d=mcd(a,b), d|c, y x0 e y0 es una solucin particular de la ecuacin diofntica lineal. ax + by = c b t y d (*) a t d entonces toda solucin x e y esta dada por las ecuaciones x = x0 + donde t es un nmero entero. y = y0

tienne Bzout (1730 - 1783) Matemtico francs. Escribi una Teora General de Ecuaciones Algebraicas publicada en Pars en 1779. Esta obra contiene muchos resultados novedosos y de importancia acerca de la teora de eliminacin y funciones simtricas de las races de una ecuacin.

-10-

Mtodos de Resolucin de Ecuaciones Diofnticas Demostracin Probaremos primero que las expresiones dadas para x e y representan soluciones de la ecuacin diofntica lineal. Por sustitucin, b a a x 0 + t + b y 0 t = ax 0 + by 0 = c d d ya que x0 e y0 es una solucin particular de la ecuacin (*). Luego la ecuacin (*) es satisfecha. Sean ahora x e y cualquier solucin de la ecuacin (*). Entonces ax + by = c y ax0 + by0=c

Por sustitucin, ax + by = ax 0 + by 0 ax ax 0 = by 0 by a( x x 0 ) = b( y 0 y ) a b (x x0 ) = (y0 y) d d

Pero, como d=(a,b), entonces a , b = 1 ; esto implica que d d b a (x x0 ) y (y0 y) d d

De donde b a x x0 = t y y0 y = t d d Esto es b a x = x0 + t y y = y0 t d d donde t es un nmero entero. Ejemplo 1 Determine la solucin general de la ecuacin diofntica lineal 14x + 22y = 50 Como 28+22=50, se desprende que x0=2 y y0=1 representan una solucin particular de la ecuacin diofntica dada. Tambin d=(14;22)=2, a=14 y b=22. Luego, la solucin general de la ecuacin diofntica lineal 14x+22y=50 esta dada por las ecuaciones x=2+11t y y=1 7t Donde t es un nmero entero.

-11-

Mtodos de Resolucin de Ecuaciones Diofnticas Geomtricamente se tiene algunas soluciones:

Ejemplo 2 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 3 Determinar las soluciones enteras positivas de la ecuacin 18x + 5y = 48 Sean a=18 y b=5. Entonces, por el algoritmo de Euclides, 18 = 3.5 + 3 5 = 1.3 + 2 3 = 1.2 + 1 2 = 2.1

As, (18,1)=1. Usando los pasos del algoritmo de Euclides, 1 puede escribirse como funcin lineal homognea de 18 y 5: 3 = 18 + (3) . 5 2 = 5 + (1) . 3 = (1) . 18 + (4) . 5 1 = 3 + (1) . 2 = (2) . 18 + (7) . 5 18 . (96) + 5 . (336) = 48

Como 18 . (2) + 5 . (7)=1, entonces Una solucin general de la ecuacin diofntica lineal 18x+5y=48 esta dada por las ecuaciones x=96 + 5t e y=33618t Donde t es un entero. Las soluciones enteras positivas pueden ser obtenidas considerando el sistema de desigualdades 96 + 5t > 0 336 18t > 0 -12-

Mtodos de Resolucin de Ecuaciones Diofnticas De donde obtenemos t19 y t19; es decir t=19 y x=1 e y=6. Por lo tanto, la nica solucin entera positiva de la ecuacin 18x+5y=48 es (1; 6).

Congruencias lineales y ecuaciones diofnticas lineales

La teora de las congruencias lineales puede ser usada para obtener la forma de las soluciones, si ellas existen, de la ecuacin diofntica lineal ax + by = c () El determinar las soluciones de esta ecuacin diofntica equivale a determinar las soluciones de la congruencia lineal ax h c (md b) () Como se sabe, si d=(a,b), entonces existe una solucin de esta congruencia lineal cuando d|c. Toda solucin de la congruencia lineal () es de la forma b x 0 = t () d donde x0 es una solucin particular y t es un entero. Sustituyendo el entero expresado en () por x en la ecuacin (a), podemos obtener la forma de los valores de y que satisfacen la ecuacin diofntica. Por lo tanto, b a x 0 + t + by = c d b c a x0 + t d y= b c ax 0 a = t b d a = y0 t d

donde y0 es tal que ax0+by0=c. De aqu que si x0 e y0 satisfacen la ecuacin diofntica lineal ax+by=c, entonces toda solucin (x; y) est dada por las ecuaciones b a x = x0 + t y y = y0 t () d d donde d=(a,b) y t es un entero. Ejemplo 1 Usar congruencias lineales para determinar una solucin particular de la ecuacin diofntica 48x+7y=17 Como (48;7)=1, existen soluciones de la ecuacin diofntica 48x+7y=17. Para determinar una solucin particular de la ecuacin, determinaremos primeramente una solucin de una congruencia lineal equivalente:

-13-

Mtodos de Resolucin de Ecuaciones Diofnticas 48x h 17 (md 7) x h 17 (md 7) x h 3 (md 7) x h 3 (md 7) x h 4 (md 7) Ahora, sustituyendo 4 por x en la ecuacin diofntica dada, obtenemos

48 . (4) + 7y = 17 192 + 7y = 17 7y = 175 y = 25 Por lo tanto, 4 y 25 es una solucin particular de la ecuacin diofntica lineal 48x+7y=17. Ejemplo 2 Usar congruencias lineales para determinar la solucin general de la ecuacin diofntica 11x 30y=29 Como (11,30)=1, existen soluciones de la ecuacin diofntica lineal 11x 30y=29. Ahora 30y h 29 (md 11) 3y h 29 (md 11) 3y h 18 (md 11) y h 6 (md 11) Sustituyendo 6 por y en la ecuacin diofntica dada, 11x 30 . (6) = 29 11x 180 = 29 11x = 209 x = 19 Por lo tanto, por (), la solucin general de la ecuacin diofntica lineal 11x30y=29 esta dada por las ecuaciones x=19 30t y y=6 11t Donde t es un nmero entero. Ecuaciones con dos incgnitas

La ecuacin x2 y2=a
Dada la ecuacin x2 y2=a con aZ, se puede escribir como (x+y)(xy)=a; si hacemos m=x+y y n=xy se tendra m.n=a; donde m y n deben ser ambos pares o ambos impares, pues la suma de dos nmeros y su diferencia son ambos pares o ambos impares. Entonces al resolver el sistema. m+n x= x + y = m 2 se obtiene x y = n y = m n 2 -14-

Mtodos de Resolucin de Ecuaciones Diofnticas Ejemplo 1 Resuelva la ecuacin x2 y2=8. Tenemos m.n=8 de donde m=4 y n=2, entonces x=3 e y=1 Ejemplo 2 Resuelva la ecuacin x2 y2=98 Tenemos m.n=98=2.72 de donde m=2 y n=49, no habra solucin. m=14 y n=7, no habra solucin. Esto implica que si aZ tiene un factor 2 con multiplicidad 1, no puede haber una descomposicin como se requiere para la ecuacin. Por lo tanto, la ecuacin no tiene solucin.

La ecuacin de Pell
La ecuacin de John Pell4 es: x2 dy2=N donde N y d son enteros. Realmente nunca fue considerada por Pell, sino que fue una equivocacin de Euler el que se le haya asociado el nombre de Pell a dicha ecuacin. Los primeros matemticos griegos e hindes consideraron casos especiales, pero Fermat fue el primero en tratarla sistemticamente. Este dijo que haba demostrado, en el caso especial en que N=1 y d>0 no es un cuadrado perfecto, que existe una infinidad de soluciones enteras x, y; pero como ya es usual, no di una demostracin. Esta ecuacin tiene gran importancia ya que cualquier ecuacin cuadrtica de dos variables se puede reducir a ella. Vemoslo: Sea la ecuacin ax2 + bxy + cy2 + dx + ey + f = 0 con a,b,c,d,e, f Z ax2 + (by + d)x + (cy2 + ey + f) = 0, Si la escribimos como un polinomio en x tenemos que es una ecuacin de segundo grado en x. Tendr solucin si su discriminante es un cuadrado perfecto Sea p=b2 4ac, q=2bd 4ae y r=d2 4af py2 + qy + rw2=0 Y entonces podemos escribir que es una ecuacin de 2do grado en y, y tendr soluciones si su discriminante es una cuadrado perfecto q2 4p(rw2 )=z2 con zZ
4

(by+d)2 4a(cy2+ey+f)=w2 con wZ (b2 4ac) y2+(2bd 4ae) y+(d2 4afw2 )=0

John Pell (1611-1685) Matemtico ingles. Se dice que Pell introdujo el signo de la divisin a Inglaterra.

-15-

Mtodos de Resolucin de Ecuaciones Diofnticas Y la ecuacin anterior, escrita como z2 4pw2=q2 4pr es una ecuacion de Pell con d=4p y N=q2 4pr. En 1768, Lagrange demostr que si N=1 y d no es un cuadrado perfecto con d>0, la ecuacin tiene solucin no trivial, es decir distinta de x=1 e y=0 (anterior a esta, Euler demostr que existe una infinidad de soluciones si es que existe una). La solucin no trivial la calculo mediante fracciones continuas de d . Tambin podra mencionarse que la ecuacin de Pell comparte con la ecuacin lineal ax+by=c, una posicin nica entre las ecuaciones diofnticas en dos variables. En 1929 fue demostrado por C. L. Siegel, que estas dos ecuaciones junto con las ecuaciones derivables de ellas por ciertas transformaciones, son las nicas ecuaciones algebraicas en dos variables que tienen una infinidad de soluciones enteras.

La ecuacin
ax2 + bxy + cy2 + dx + ey + f=0 El trmino ecuacin diofntica significa que las soluciones (x;y) deben ser nmeros enteros. Por ejemplo, la ecuacin 4y2 20y+25=0 tiene soluciones dadas por la lnea horizontal y=2,5, pero como 2,5 no es un nmero entero, diremos que la ecuacin no tiene soluciones. Hay algunos casos que dependen de los valores de a, b y c. Los nombres de estos casos se toman de las figuras que la ecuacin representa en el plano XY: una lnea, una elipse, una parbola o una hiprbola (o dos lneas). Estas figuras son el conjunto de soluciones reales. En nuestro caso, el conjunto de soluciones est representado por puntos aislados en el plano XY. a) b) c) d) e) Caso lineal: a=b=c=0. Caso hiperblico simple: a=c=0; b0. Caso elptico b2 4ac<0 Caso parablico b2 4ac=0 Caso hiperblico b2 4ac>0

Ecuaciones con ms de dos incgnitas

Mtodo general para resolver ecuaciones diofnticas homogneas de segundo grado

Se descomponen en cruz en dos cocientes de funciones lineales, igualados a m/n irreducible y que da lugar, con las dos fracciones, a dos ecuaciones entre las que se elimina m y n. Ejemplo 1 Resuelva la ecuacin pitagrica x2 + y2=z2 (Debido a Pitgoras5)
Pitgoras (582 500 a.n.e.) Filsofo y matemtico griego nacido en la isla de Samos. Entre las amplias investigaciones matemticas realizadas por los pitagricos esta el teorema de la hipotenusa, conocida como teorema de Pitgoras, que establece que el cuadrado de la hipotenusa de un triangulo rectngulo es igual a la suma de los cuadrados de los otros dos lados.
5

-16-

Mtodos de Resolucin de Ecuaciones Diofnticas Resolucin x2+y2=z2 f x2=z2 y2 f x2=(z+y)(zy) nx = mz my x z+y m = = zy x n mx = nz + ny t m2z m2 y=n2z+n2 y t (m2 n2 )z=(m2+n2 )y De donde z=m2+n2, y=m2 n2 , x=2mn

Acomodando se obtiene

Hay infinitas soluciones con la libre eleccin de m y n. Adems (x,y) intercambian sus valores. Ejemplo 2 Resuelva la ecuacin x2 xy + y2=z2. x2 xy + y2=z2 f x(xy)=z2 y2 f x(x y)=(z+y)(z y) nx = mz my x z+y m = = zy xy n mx my = nz + ny t m2 z m2 y = n2 z+n2 y+mny t (m2 n2 )z = (m2+n2+mn)y Resolucin

Es decir

De donde z=m2+n2+mn, y=m2 n2, x=m2+mn. En forma parecida se resuelven los siguientes ejemplos. Ejemplo 3 x2 + xy + y2=z2

Ejemplo 4 x2 zy = y2

Ejemplo 5 x2 + y2 = 5z2

-17-

Mtodos de Resolucin de Ecuaciones Diofnticas

Nota Las cinco ecuaciones anteriores son las que se plantean para resolver el problema de hallar los lados enteros de un triangulo en cada uno de los cinco casos siguientes: a) b) c) d) e) Un ngulo es recto. Un ngulo es de 60 Un ngulo es de 120 Un ngulo es doble de otro. Dos de las medianas son perpendiculares.

Las soluciones a estos problemas han de cumplir la ecuacin correspondiente y adems las restricciones propias de los lados de un tringulo.

Descenso de Fermat y ecuaciones sin solucin

Las ecuaciones analizadas arriba son, en un cierto sentido, privilegiadas, pues poseen una infinidad de soluciones. Nuestro prximo ejemplo ser el de una ecuacin que solo admite la solucin entera x=y=z=0. Ella ilustra un mtodo que puede ser extendido a otras ecuaciones, a fin de probar que ellas no poseen soluciones enteras no nulas. Ejemplo Demuestre que la ecuacin 3x2 + y2=2z2 no posee soluciones enteras no nulas. Demostracin Supongamos lo contrario. Entonces la ecuacin posee una solucin (x,y,z) en enteros positivos. Entonces, dentro de todas las soluciones (x,y,z), con x,y y z enteros positivos, existe una (x,y,z)=(a,b,c) para el cual z=c es el menor posible. Trabajemos con tal solucin. Vamos a usar el siguiente hecho, que se puede probar fcilmente: si un entero u no es mltiplo de 3, entonces u2 deja resto 1 cuando es dividido por 3. Entonces, si b no es mltiplo de 3, tendremos de 3a2+b2=2c2 que c tambien no sera mltiplo de 3. Mirando los restos de cada trmino de la ecuacion por 3, tenemos que 3a2+b2 deja resto 1 y 2c2 deja resto 2.1=2. Luego, no puede ser 3a2+b2=2c2. As, b debe ser mltiplo de 3, digamos b=3b1. De ah se tiene que 3a2+9b12=2c2, y c tambien es mltiplo de 3, digamos c=3c1. Sustituyendo en la ecuacin, llegamos a 3b12+a2=6c12. Entonces, a tambien es mltiplo de 3. Siendo a=3a1, la ecuacin de arriba nos da b12+3a12=2c12, y (b1,a1,c1) es otra solucin de la ecuacin original, con c1=c/3<c. Pero, esto es una contradiccin, pues partimos de una solucin en el cual el valor de z era c, el mnimo posible. Luego, la ecuacin no posee soluciones no nulas. Esquemticamente, el mtodo del descenso (debido al matemtico francs Pierre de Fermat) consiste en lo siguiente: i. ii. Suponer que dada una ecuacin posee una solucin en enteros no nulos. Concluir de ah que ella posee una solucin en enteros positivos que sea, en algn sentido, mnima. iii. Deducir la existencia de una solucin positiva menor que la mnima, llegando a una contradiccin. -18-

Mtodos de Resolucin de Ecuaciones Diofnticas Ya que determinamos la solucin de la ecuacin pitagrica, nada ms natural es intentar estudiar la ecuacin ms general, denominada ecuacin de Fermat o el ltimo teorema de Fermat: xn + yn = zn Donde n es un entero fijo y mayor que dos. Todos estos tipos de investigaciones, tanto tericas como numricas se han aplicado al ltimo Teorema de Fermat. Las investigaciones numricas, con las ltimas tecnologas computacionales no han podido encontrar una contradiccin al teorema de Fermat. En tanto las investigaciones tericas no lograron una demostracin general sino para ciertos nmeros particulares. La ecuacin de Fermat xn + yn = zn ltimo teorema de Fermat (Conjetura de Fermat) El enunciado del ltimo Teorema de Fermat (1601 - 1665) quedo anotado en un margen de su ejemplar de la Aritmtica de Diofanto de Alejandra (150 a.n.e.) traducida al latn por Claude Gaspar Bachet (1581 - 1638) publicado en 1621. Este libro, con las numerosas notas marginales de Fermat, fue publicado en 1670 por su hijo Clemente Samuel. El enunciado del teorema dice lo siguiente: La ecuacin xn + yn=zn no tiene solucin entera no trivial (es decir, distinta de x=y=z=0) cuando n3. Para n=2, las soluciones son las ternas pitagricas. Fermat enunci su conjetura en 1637, escribiendo en el margen de su ejemplar de la Arithmetica de Diofanto de Alejandra lo siguiente (en latn): Es imposible dividir un cubo en suma de otros dos o un bicuadrado en otros dos bicuadrados, en general una potencia cualquiera superior a dos en dos potencias del mismo grado; he descubierto una demostracin maravillosa pero en este margen es demasiado estrecho para contenerla. Tres siglos y medio despus, tras haber inventado un dominio entero de las matemticas alrededor del tema (la geometra algebraica) es razonable poner en duda tal afirmacin... Casos particulares de la ecuacin de Fermat Teorema. Se n es mltiplo de 4 entonces no existen enteros no nulos x,y,z tales que xn+yn=zn. Prueba. Sea n=4k donde kN. Si xn+yn=zn, entonces tenemos (xk )4+(yk )4=(z2k)2, o sea k (x , yk, z2k ) ser una solucin de la ecuacin a4+b4=c2. Asi, basta mostrar que esta ltima ecuacin no admite soluciones no nulas. Por el absurdo, supongamos que existan enteros positivos a,b,c tales que a4+b4=c2. Podemos tambin suponer que a,b y c son escogidos de tal modo que no hay otra solucin positiva a,b, c con c<c (aqu vamos a usar el mtodo del descenso). Entonces a y b son primos entre si, y el ejemplo 1 garantiza la existencia de enteros positivos primos entre si u y v tales que a2=u2 v2, b2=2uv, c=u2+v2. Como a2+v2=u2, -19-

Mtodos de Resolucin de Ecuaciones Diofnticas se sigue nuevamente del ejemplo 1 la existencia de enteros positivos primos entre si p y q tales que a=p2 q2, v=2pq, u=p2+q2. Pero b2=2uv=4pq(p2+q2). Como p y q son primos entre si, tenemos que ambos son tambin primos con p2+q2. Por tanto, siendo 4pq(p2+q2) un cuadrado debemos tener p, q y p2+q2 cuadrados, digamos p=a2, q=b2, p2+q2=2, con ,, positivos. De donde se obtiene que a4+b4=2, con c=u2+v2>u=p2+q2=2, contrariamente a la minimalidad de c. Luego, no hay soluciones no nulas de xn+yn=zn cuando n es mltiplo de 4. Otras ecuaciones diofnticas

La conjetura de Catalan
En una carta al editor de la revista Journal fur die reine und angewandte Mathematik, el matemtico belga Eugene Catalan6 se preguntaba sobre la posibilidad de que dos nmeros consecutivos pudiesen ser potencias perfectas, aparte de 8 y 9 que son un cubo y un cuadrado respectivamente. Esta proposicin, lanzada en 1844, equivale a decir que no existen soluciones en nmeros enteros para la ecuacin xu yv=1, x, y, u, v > 1 salvo la mencionada 32 23=1. En su nota el joven profesor de la cole Polytechnique de Paris que debe su fama a este problema y a sus aportaciones dentro del campo de la combinatoria, afirmaba creer que era cierta, aunque no poda demostrarla en todos sus casos. El matemtico suizo, de origen rumano, Preda Mihailescu la demostr en abril de 2002, con lo que se convierte en teorema (el teorema de Mihailescu). La demostracin radica en que las soluciones posibles de la ecuacin de Catalan son incompatibles con las propiedades de los cuerpos ciclotmicos. Aplicacin Demuestre que la ecuacin diofntica 2x + 5y = z2 (1) tiene exactamente dos soluciones en los enteros no negativos, que son (x;y;z){(3;0;3),(2;1;3)}. Demostracin. Si x=0, entonces la ecuacin se reduce a 5y=z21 o (z 1)(z+1)=5y Donde z1=5u y z+1=5yu, y>2u, uN. De aqu, restando las ecuaciones obtenemos 5yu 5y=2 o 5u (5y2u 1)=2 Si y=0, entonces la ecuacion se reduce a z21=2x o (z 1)(z + 1)=2x Donde u=0 y 5y=3, lo cual es imposible. Donde z1=2v y z+1=2x v, x>2v, vN. De aqu, restando las ecuaciones obtenemos 2x v 2v=2 o 2v (2x 2v 1)=2

Eugene Charles Catalan (1814-1894) Matemtico belga que trabajo en Teora de Nmeros. Introdujo los nmeros de Catalan para resolver un problema combinatorio.

-20-

Mtodos de Resolucin de Ecuaciones Diofnticas De donde v=1 y 2x 2=2, y de aqu x=3. Por tanto, una solucin es (3;0;3). Ahora consideremos x1 y y1. Se desprende de (1) que el nmero z es impar y no es divisible por 5. Si z h !1 (md 5) entonces z2 h 1 (md 5) y si zh 2 (md 5) entonces z2 h 4 (md 5)=1 (md 5). Pero, se sabe que 22k=4k=(5 1)k h (1)k (md 5) 22k+1=2.4kh 2.(1)k (md 5), kN y

De donde el nmero x es par. Entonces consideremos x=2k, kN. De (1) obtenemos z2 22k=5y o (z 2k )(z+2k )=5y 5w (5y 2w 1)=2k+1 5y 2k+1=1 ab cd=1 Que tiene por soluciones en nmeros enteros positivos (>1) solo a a=3, b=2, c=2 y d=3. (2) Donde z 2k=5w y z+2k=5y w, y>2w. De donde se obtiene Lo que implica w=0 y Obtenindose una ecuacin diofntica de tipo Catalan

La ecuacin diofntica (2) tiene solucin solo si y=1; de donde 2k+1=22, es decir k=1. Por tanto, x=2, y=1, z=3. Esto concluye que la ecuacin diofntica (1) tiene las soluciones: (x;y;z){(3;0;3),(2;1;3)}. La ecuacin generalizada de Fermat Catalan y la conjetura de Beal Qu ocurre cuando en la ecuacin de Fermat (xn+yn=zn), permitimos que los exponentes sean nmeros cualesquiera superiores a 1 y no necesariamente iguales?, se obtiene la Sper Ecuacin de Fermat xa + yb = zc, a,b,c>1 ? Podemos ver que la ecuacin de Catalan es un caso particular de esta ltima, si la ponemos en la forma xa+1b=zc. Aqu tenemos que hacer una distincin importante que no hacamos en el caso de la ecuacin de Fermat. Si x, y y z comparten un factor comn en la ecuacin de Fermat, debido a que los tres exponentes son iguales, este factor se puede eliminar. Sin embargo, la ecuacin ? no es homognea y este caso no se puede obviar sin ms. Desde principios de los aos noventa, se han estado buscando ejemplos con el ordenador. En diciembre de 2002, Henri Cohen anunciaba el resultado de una bsqueda sistemtica con potencias debajo de 293 que ha encontrado nicamente doce ejemplos que van desde el simple 25+72=34 hasta el mas complicado 438+962223=300429072. En todos los casos, uno de los exponentes es 2, lo que segn se afirma, no paso desapercibido desde un principio. No sin cierta polmica entre medias, el matemtico aficionado Andrew Beals, propuso la conjetura de que no existe ningn caso en el que todos los exponentes sean superiores a 2, con x, y y -21-

Mtodos de Resolucin de Ecuaciones Diofnticas z coprimos. Beals, empresario y poseedor de un banco en Texas, hizo algo ms. Ofrece 100 000 dlares USA al que encuentre una demostracin para su conjetura, que sea aceptada en el mundo acadmico o para aquel que encuentre un contraejemplo que demuestre su falsedad. Bibliografa 1. ANTHONY J. Pettofrezzo y Donald R. Byrkit. Introduccin a la Teora de los Nmeros. Editorial Prentice / Hall Internacional. 2. BURTON W. Jones. Teora de las Nmeros. Biblioteca de Matemtica Superior. 3. GUELFOND A. O. Resolucin de Ecuaciones en Nmeros Enteros. Editorial MIR Mosc. Lecciones populares de matemticas. 4. IVAN NIVEN y HERBERT S. Zuckerman. Introduccin a la Teora de los Nmeros. Editorial Limusa 5. SAID SIDKI. Introducao a Teora dos Nmeros. 10 Colquio Brasileiro de Matemtica. Impa. 6. WILLIAM J. LEVEQUE. Teora Elemental de los Nmeros. Editorial Herrero Hermanos, Sucesores, S.A.

-22-