Aplicaciones de la teor a del m aximo com un divisor

[1] Soluciones de una ecuaci on

Revisemos y precisemos, mediante algunos ejemplos concretos y sencillos, los conceptos de ecuaci on, resoluci on de una ecuaci on y soluci on o soluciones de una ecuaci on. (a) Suponer que se est a interesado en la descripci on de elementos del conjunto S1 = {x R | x2 4x + 2 = 0} Se plantean diversos subproblemas de este problema: (a1 ) Es S1 = o es S1 = ? Es decir, existe o no existe alg un n umero real x que cumpla la condici on x2 4x + 2 = 0? (a2 ) Si S1 = , es S1 nito o innito?. Y si S1 es nito, cu al es el n umero de elementos de S1 ?. (a3 ) Si S1 = , es posible describir expl citamente los elementos de S1 o, al menos, alg un elemento de S1 ?. Es f acil dar respuestas a las preguntas anteriores: (a1 ) S1 = . (a2 ) #S1 = 2. (a3 ) S1 = {2 2, 2 + 2}. Cada elemento del conjunto S1 es una soluci on particular de la ecuaci on x2 4x + 2 = 0, el propio on x2 4x + 2 = 0 y cualquier proceso que conjunto S1 es el conjunto de las soluciones de la ecuaci permita dar respuesta a todas o a alguna de las preguntas planteadas arriba se denomina resoluci on de la ecuaci on. (b) Considerar el mismo problema para el conjunto S2 = {(x, y ) Q2 | 3x + 2y = 7} Las respuestas son, respectivamente (b1 ) S2 = . (b2 ) #S2 = .

(b3 ) Sea (x, y ) S2 de modo que (x, y ) cumple 3x + 2y = 7, despejando y se obtiene y =

3x + 7 , 2 poniendo x = 2t + 1 queda y = 3t + 2, de donde S2 {(2t + 1, 3t + 2) | t Q}. Rec procamente, para cada t Q, se cumple (2t + 1, 3t + 2) S2 ; esto es, {(2t + 1, 3t + 2) | t Q} S2 . En consecuencia, S2 = {(2t + 1, 3t + 2) | t Q}

Esta u ltima descripci on del conjunto S2 de las soluciones racionales de la ecuaci on 3x + 2y = 7 se suele expresar en la forma: x = 2t + 1 y = 3t + 2 (t Q)

Lecciones de Algebra. Jaime Guti errez Guti errez y Carlos Ruiz de Velasco y Bellas Universidad de Cantabria. Santander. 5 marzo 2001 1

(c) Finalmente, tratemos el mismo problema para el conjunto S3 = z C | Se tiene: (c1 ) S3 = (c2 ) No hay caso o, si se quiere, #S3 = 0 (c3 ) No hay caso o, si se quiere, S3 = {z C | z = z } Obs ervese que las respuestas a las cuestiones planteadas en (a) y (b) dependen fuertemente del dominio en que se buscan las soluciones. En el primer problema, si se tomase Q o Z en lugar de R, entonces el conjunto S1 de las soluciones ser a vac o; mientras que, en el segundo problema, si se tomase Z2 en lugar de Q2 , la a distinto del obtenido. b usqueda de las soluciones no ser a tan elemental y el conjunto S2 de las soluciones ser En el tercer problema (c), la respuesta no depende del dominio Q, R o C elegido. Ejercicios. Responder a las mismas cuestiones planteadas previamente para cada uno de los conjuntos: (d) S4 = {x R | sen(x) = 0} (e) S5 = {x R | sen(x) = 0 y 0 x < 2 } (f ) S6 = {x R | sen(x) = 2} (g) S7 = {(u, v ) Z Z | a bu v = 0} donde a y b son enteros dados y b = 0 (h) S7 = {(u, v ) Z Z | a bu v = 0 y 0 v < |b|} donde a y b son enteros dados y b = 0 1 =0 z

[2] Ecuaciones diof anticas lineales

En general, cualquier ecuaci on en la que la b usqueda de sus posibles soluciones se restrinja al conjunto de los n umeros enteros (o al de los n umeros racionales) se denomina una ecuaci on diof antica (Diofanto de Alejandr a; siglo tercero antes de Cristo). En este apartado se estudia y resuelve el siguiente problema particular: Dados tres enteros a, b, c, con a = 0 y b = 0, decidir si existen enteros x e y que cumplan ax + by = c En caso armativo, describir expl citamente todos los pares (x, y ) Z Z que cumplan dicha condici on y dar un m etodo o procedimiento que permita calcularlos. Ejemplos. 1 No existen pares (x, y ) de n umeros enteros x e y que cumplan 6x + 4y = 3; por qu e? Sin embargo, hay innitos pares (x, y ) de n umeros racionales x e y que cumplan dicha condici on. 2 Cada uno de los pares (x, y ) siguientes (3, 10), (1, 7), (1, 4), (3, 1), (5, 2) cumple la condici on 6x + 4y = 22. En lo que sigue se supone que a, b, c son enteros y que ab = 0. Una ecuaci on de la forma ax + by = c ()

en la que se est a interesado u nicamente en soluciones (x, y ) enteras se denomina una ecuaci on diof antica lineal en dos variables (aqu diremos simplemente ecuaci on diof antica, por abreviar). Un par (x0 , y0 ) Z Z tal que ax0 + by0 = d se denomina una soluci on (particular) de la ecuaci on diof antica (). El conjunto de todos los pares (x, y ) Z Z que cumplan ax + by = c se denomina la soluci on (general) de la ecuaci on diof antica ().

Lecciones de Algebra. Jaime Guti errez Guti errez y Carlos Ruiz de Velasco y Bellas Universidad de Cantabria. Santander. 5 marzo 2001 2

Pongamos d = mcd(a, b). Por la teor a del m aximo com un divisor existen enteros x0 , y0 tales que ax0 + by0 = d ()

Y el algoritmo extendido de Euclides permite calcular d, y enteros x0 e y0 que cumplan la relaci on anterior. Distingamos dos casos: Caso 1. El entero d no divide a c. En este caso la ecuaci on diof antica () no posee soluciones (enteras). Por qu e? Caso 2. El entero d divide a c, digamos c = dc . De () se obtiene: a(x0 c ) + b(y0 c ) = dc = c En este caso la ecuaci on diof antica () posee soluciones (enteras) pues el par (x0 c , y0 c ) es una soluci on. Ya sabemos calcular, en este caso, una soluci on particular de la ecuaci on diof antica (); veamos ahora c omo se puede describir la soluci on general. Suponer que (x0 , y0 ) es una soluci on de () [digamos la calculada previamente: (x0 , y0 ) = (x0 c , y0 c )], de modo que ax0 + by0 = c y sea (x, y ) cualquier soluci on de (2.1), de modo que: ax + by = c Restando miembro a miembro las igualdades anteriores se obtiene a(x x0 ) + b(y y0 ) = 0 Dado que d = mcd(a, b), hay enteros a y b tales que a = da y b = db ; adem as d = 0, con lo que se puede cancelar el factor com un d en la igualdad anterior: a (x x0 ) + b (y y0 ) = 0 El entero a divide al producto b (y y0 ) y a es primo con b , por tanto a divide a y y0 ; luego hay un entero t tal que y y0 = a t. Substituyendo esta expresi on de y y0 en la u ltima igualdad queda x x0 = b t. En resumen: Dada una soluci on particular (x0 , y0 ) de la ecuaci on (), si (x, y ) es cualquier soluci on de dicha ecuaci on diof antica, entonces existe un entero t tal que x = x0 b t y = y0 + a t

Rec procamente, suponer que (x0 , y0 ) es una soluci on particular de la ecuaci on diof antica (2.1) y que t es un entero cualquiera; pongamos x = x0 b t y = y0 + a t

donde a y b son como antes: a = da y b = db . Entonces el par (x, y ) es una soluci on de la ecuaci on diof antica (2.1). (Comprobaci on trivial). Resumamos esta discusi on en un enunciado.

Lecciones de Algebra. Jaime Guti errez Guti errez y Carlos Ruiz de Velasco y Bellas Universidad de Cantabria. Santander. 5 marzo 2001 3

Teorema. Sean a, b, c enteros, a = 0, b = 0; pongamos d = mcd(a, b). Si d | c, la ecuaci on ax + by = c no posee soluciones enteras. Si d | c, la ecuaci on ax + by = c posee innitas soluciones enteras; en este caso, si (x0 , y0 ) es una soluci on particular de la ecuaci on y a = a d y b = b d, entonces cada par (x, y ) tal que x = x0 b t (t Z) y = y0 + a t es una soluci on, y todas las soluciones son de esta forma; esto es, la soluci on general es {(x0 b t, y0 + a t) | t Z} Ejemplo. Resolver la ecuaci on diof antica 8x 12y = 20 Soluci on. El m aximo com un divisor de 8 y 12 es d = mcd(8, 12) = 4 que divide a 20, por tanto la ecuaci on propuesta posee soluciones. En este caso sencillo (y por simple inspecci on o tanteo) se obtiene que el par (4, 1) es una soluci on particular: 8 4 12 1 = 20. Para escribir la soluci on general se deben calcular a y b tales que 8 = 4a y 12 = 4b ; se obtiene a = 2 y b = 3. En consecuencia la soluci on general S se expresa S = {(4 + 3t, 1 + 2t) | t Z} N otese que substituyendo t por cualquier valor entero en S se obtiene una soluci on particular; por ejemplo si se substituye t por 1 en S se obtiene la soluci on particular (1, 1), por tanto S tambi en se expresa S = {(1 + 3t, 1 + 2t) | t Z} Los algoritmos sped y sged calculan, respectivamente, una soluci on particular y la soluci on general de una ecuaci on diof antica lineal ax + by = c en dos inc ognitas x e y , dados los coecientes a, b, c Z con a = 0 y b = 0. Algoritmo sped (Soluci on Particular de una Ecuaci on Diof antica ax + by = c en Z) Entrada: Salida: a, b, c Z, tres enteros, a = 0 y b = 0 (x0 , y0 ) Z2 tal que ax0 + by0 = c o el mensaje "No hay soluci on"

sped(a, b, c) 1 2 3 4 (d, x0 , y0 ) mcdex(a, b) (r, c ) div(c, d) ; (el resto r y el cociente c de la divisi on de c entre d) si r = 0 entonces anunciar "No hay soluci on" y parar devolver (x0 c , y0 c )

Algoritmo sged (Soluci on General de una Ecuaci on Diof antica ax + by = c en Z) Entrada: Salida: a, b, c Z, tres enteros, a = 0 y b = 0 La soluci on general de la ecuaci on o el mensaje "No hay soluci on"

sged(a, b, c) 1 2 3 4 (d, x0 , y0 ) mcdex(a, b) (r, c ) div(c, d) ; (el resto r y el cociente c de la divisi on de c entre d) si r = 0 entonces anunciar "No hay soluci on" y parar devolver x0 c coct(b, d) t, y0 c + coct(a, d) t ; (t es una variable libre)

continuar a

Lecciones de Algebra. Jaime Guti errez Guti errez y Carlos Ruiz de Velasco y Bellas Universidad de Cantabria. Santander. 5 marzo 2001 4