DIVISOR DE DOS NUMEROS MAXIMO COMUN NATURALES 1. Concepto de m aximo com un divisor de dos n umeros 2.

. C alculo del m aximo com un divisor: algoritmo de Euclides 3. Propiedades del m aximo com un divisor

Concepto de m aximo com un divisor de dos n umeros. Sean a, b N. Designemos por D(a, b) el conjunto de los n umeros naturales que son divisores de a y b a la vez; es decir: D(a, b) = {divisores de a y b a la vez} = {d N : d | a y d | b}. Puesto que 1 es divisor de cualquier natural (propiedad (D1) de la secci on anterior), 1 siempre estar a en el conjunto D(a, b) independientemente de cuales sean a y b. Por otro lado, si a o b son distintos de 0, podemos garantizar que los divisores de ambos n umeros son menores o iguales que a, b (propiedad (D7) de la secci on anterior); de esto u ltimo se deduce que los elementos de D(a, b) son menores o iguales que ambos n umeros. Se llama m aximo com un divisor de a y b (y se abreviar a m.c.d. (a, b)) al mayor de los divisores comunes de a y b; es decir, m.c.d. (a, b) es el mayor elemento del conjunto D(a, b). Los n umeros a y b se dicen primos entre s cuando m.c.d. (a, b) = 1, es decir, cuando tienen u nicamente como divisor com un al 1. Ejemplo. Calcular el m.c.d. (18, 12). En primer lugar, calculemos los divisores de 18 y 12: Divisores de 18: 1, 2, 3, 6, 9, 18. Divisores de 12: 1, 2, 3, 4, 6, 12. Por tanto, D(18, 12) = {1, 2, 3, 6} y m.c.d. (18, 12) = 6. Ejemplo. Calcular el m.c.d. (14, 15). En primer lugar, calculemos los divisores de 14 y 15: Divisores de 14: 1, 2, 7, 14. Divisores de 15: 1, 3, 5, 12. Por tanto, D(14, 15) = {1} y m.c.d. (14, 15) = 1 (es decir, 14 y 15 son primos entre s ). C alculo del m aximo com un divisor: algoritmo de Euclides El proceso utilizado en los ejemplos anteriores para calcular el m aximo com un divisor de dos n umeros puede ser tedioso si son demasiado grandes. Por ello, se presenta a continuaci on un procedimiento pr actico mediante el cual el c alculo del m aximo com un divisor sea m as c omodo: el algoritmo de Euclides. Antes de presentar dicho algoritmo, vamos a enunciar las dos propiedades b asicas en las que se basa:

(AE1) Cualquiera que sea a N, a = 0 se tiene m.c.d. (a, 0) = a. (AE2) Sean a, b N, a > b > 0. Si designamos por r el resto de dividir a entre b, entonces D(a, b) = D(b, r). En consecuencia, m.c.d. (a, b) = m.c.d. (b, r). DEMOSTRACION: (AE1) En efecto, a es el mayor divisor de a; como a | 0 (cualquier natural es divisor de 0, seg un la propiedad (D1) de la secci on anterior), el mayor de los divisores comunes de a y 0 es a, por lo que m.c.d. (a, 0) = a. (AE2) Supongamos que, al dividir a entre b obtenemos cociente q y resto r; entonces: a = bq + r, 0 r < b. (1)

Para probar que los conjuntos D(a, b) y D(b, r) son iguales, tomaremos, en primer lugar un elemento del conjunto D(a, b) (es decir, un divisor com un de a y b) demostraremos que tambi en est a en el conjunto D(b, r) (es decir, es divisor com un de b y r). A continuaci on, con un razonamiento completamente an alogo, demostraremos que todo elemento de D(b, r) es tambi en elemento de D(a, b). Sea, pues, d un elemento del conjunto D(a, b); as : d|a d|b (D6) d|a d | bq (D5) d | (a bq ).

Teniendo en cuenta que r = a bq (despejar r en (1)), lo anterior nos conduce a que d | r. Por tanto, hemos partido de un divisor com un de a y b y hemos comprobado que es divisor com un de b y de r. An alogamente, si partimos de un elemento d del conjunto D(b, r), tenemos: d|b d|r (D6) d | bq d|r (D5) d | (bq + r).

Nuevamente, gracias a (1) se deduce que d | a. Por tanto, hemos partido de un divisor com un de b y r y hemos comprobado que es divisor com un de a y de b.

Para exponer el algoritmo de Euclides, trabajaremos con el siguiente ejemplo: Ejemplo. Calcular el m.c.d. (728, 304).

Si dividimos 728 : 304 obtenemos como cociente q1 = 2 y resto r1 = 120. Por tanto, la propiedad (AE2) nos permite armar que m.c.d. (728, 304) = m.c.d. (304, 120). En este momento, observamos que tenemos un problema de id entica naturaleza que al principio (esto es, debemos calcular el m aximo com un divisor de dos n umeros, si bien estos n umeros son menores que los del principio). La estrategia a seguir es dividir esos nuevos n umeros; la divisi on 304 : 120 proporciona como cociente q2 = 2 y resto r2 = 64. Por tanto, aplicando nuevamente la propiedad (AE2), conclu mos: m.c.d. (304, 120) = m.c.d. (120, 64). Dividiendo 120 : 64, queda q3 = 1 como cociente y r3 = 56, por lo que, gracias a (AE2) m.c.d. (120, 64) = m.c.d. (64, 56) Al dividir 64 : 56, el cociente es q4 = 1 y el resto r4 = 8, de donde m.c.d. (64, 56) = m.c.d. (56, 8). Por u ltimo, al dividir 56 : 8, el cociente es q5 = 7 y el resto r5 = 0, por lo que m.c.d. (56, 8) = m.c.d. (8, 0). Si ahora concatenamos las igualdades obtenidas: m.c.d. (728, 304) = m.c.d. (304, 120) = m.c.d. (120, 64) = m.c.d. (64, 56) = m.c.d. (56, 8) = m.c.d. (8, 0) = 8, la u ltima igualdad gracias a la propiedad (AE1). Extendiendo el razonamiento del ejemplo anterior, para calcular el m aximo com un divisor de a y b (a > b > 0) a trav es del algoritmo de Euclides, se divide a entre b; si el resto es 0, entonces b | a, por lo que m.c.d. (a, b) = b. Si el resto no es nulo, se aplica sucesivamente la propiedad (AE2), hasta obtener dos n umeros cuya divisi on d e como resto 0. Es inmediato observar que el m.c.d. (a, b) es precisamente el u ltimo resto no nulo obtenido. Observaciones. 1. La importancia de la propiedad (AE2) reside en que reduce el problema de calcular el m aximo com un divisor de dos n umeros a calcular el m aximo com un divisor de dos n umeros m as peque nos que los originales.

2. Tenemos garant as de que, tras aplicar sucesivamente la propiedad (AE2), llegaremos a una divisi on con resto 0? La respuesta es armativa. En efecto, la propiedad (AE2) garantiza que m.c.d. (a, b) = m.c.d. (b, r1 ), donde r1 es el resto de la divisi on entre a y b ( r1 < b); si r1 = 0, aplicamos la propiedad (AE2) a b y r1 , obteniendo que m.c.d. (b, r1 ) = mcd(r1 , r2 ), siendo r2 el resto de la divisi on de b y r1 ( r2 < r1 ); si r2 = 0, reiterar amos el proceso con r1 y r2 y as sucesivamente, obtendr amos la siguiente cadena de desigualdades: . . . < rk < rk1 < . . . < r3 < r2 < r1 < b, donde ri denota el resto de la divisi on i- esima. Observemos, entonces, que, en cada divisi on, obtenemos un resto cada vez m as peque no (esto es, los restos disminuyen al menos una unidad con cada divisi on). En un n umero nito de divisiones, tendremos garant as de obtener resto 0. Propiedades del m aximo com un divisor Sean a, b N. (MCD1) Si d es un divisor com un de a y b, entonces d | m.c.d. (a, b). (MCD2) Si h N, entonces m.c.d. (a h, b h) = h m.c.d. (a, b). (MCD3) Si h N y h es divisor com un de a y b, entonces m.c.d. consecuencia, si tomamos h = m.c.d. (a, b), resulta m.c.d. ( b m.c.d. (a, b) a , )= = 1; m.c.d. (a, b) m.c.d. (a, b) m.c.d. (a, b) a b , h h = m.c.d. (a, b) . Como h

es decir, si dividimos dos n umeros entre el m aximo com un divisor de ambos, los n umeros obtenidos son primos entre s . Por ejemplo, m.c.d. (54, 24) = 6; si escribimos a = m.c.d. (a , b ) = m.c.d. 54 , 24 = m.c.d. (54,24) = 1.
6 6 6 54 6

y b =

24 , 6

entonces

(MCD4) Sea c N. Si c | (a b) y m.c.d. (a, c) = 1 entonces c | b.1

Si un n umero natural c es divisor de un producto, no siempre podremos garantizar que c es divisor de alguno de los dos factores; por ejemplo 12 | (8 3), y sin embargo, 12 8 y 12 3; con esto, se quiere poner de maniesto que la hip otesis de que c sea primo con alguno de los dos factores (m.c.d. (a, c) = 1) es imprescindible en la propiedad (MCD4).

 DEMOSTRACION: (MCD1) Si d es divisor de a, b, la propiedad (AE2) garantiza que entonces d | b y d | r1 , siendo r1 el resto de dividir a entre b; si volvemos a aplicar la propiedad (AE2) a b y r1 , resultar a que d | r1 y d | r2 , siendo r2 el resto de dividir b entre r1 . As , reiterando este razonamiento, se obtiene que d es divisor de todos los restos de las divisiones y, en particular, d ser a divisor del u ltimo resto no nulo (que es precisamente el m.c.d. (a, b). (MCD2) Se utilizan razonamientos an alogos a los de la demostraci on anterior. (MCD3) Se utilizan razonamientos an alogos a los de la demostraci on anterior. (MCD4) Sabemos que m.c.d. (a, c) = 1 que (MCD2) = m.c.d. (a b, c b) = b. Por otra parte, sabemos

c | (a b) (por hip otesis) c | (c b) (por la propiedad (D6))

(MCD1) = c | m.c.d. (a b, c b) = b.