E.T.S. DE INGENIER´ IA INFORM ´ ATICA
Apuntes de
INTRODUCCI ´ ON A LA
MATEM ´ ATICA DISCRETA
para la titulaci´ on de
INGENIER´ IA INFORM ´ ATICA
Curso 2001-2002 por
Fco. Javier Cobos Gavala
DEPARTAMENTO DE
MATEM ´ ATICA APLICADA I
Contenido
1 Aritm´ etica entera 1
1.1 El conjunto Z de los n´ umeros enteros . . . . 1
1.2 Definiciones recursivas . . . . 3
1.3 Inducci´ on matem´ atica . . . . 3
1.3.1 Conjuntos inductivos . . . . 4
1.3.2 El m´ etodo de inducci´ on . . . . 5
1.4 Divisores . . . . 6
1.5 M´ aximo com´ un divisor . . . . 9
1.5.1 Algoritmo de Euclides . . . . 10
1.6 La identidad de Bezout . . . . 13
1.7 M´ınimo com´ un m´ ultiplo . . . . 17
1.8 Ecuaciones diof´ anticas lineales . . . . 18
1.9 N´ umeros primos y factorizaci´ on . . . . 21
1.10 Distribuci´ on de primos . . . . 26
1.11 Primos de Fermat y Mersenne . . . . 30
1.12 Test de primalidad y factorizaci´ on . . . . 32
1.13 Ejercicios propuestos . . . . 34
2 Aritm´ etica modular 41 2.1 Aritm´ etica modular . . . . 41
2.1.1 Criterios de divisibilidad . . . . 50
2.2 Congruencias lineales . . . . 50
i
2.3 El Teorema Chino del Resto . . . . 55
2.4 La aritm´ etica en Z
p. . . . 63
2.4.1 El Peque˜ no Teorema de Fermat . . . . 65
2.4.2 El Teorema de Wilson . . . . 67
2.5 Los tests de base a: pseudoprimos y n´ umeros de Carmichael . 68 2.6 Test de Lucas-Lehmer . . . . 73
2.7 La funci´ on de Euler . . . . 74
2.8 Aplicaciones . . . . 79
2.8.1 Criptograf´ıa RSA . . . . 81
2.9 Ejercicios propuestos . . . . 84
3 Combinatoria 91 3.1 Funciones . . . . 91
3.1.1 Enumeraci´ on . . . . 94
3.2 El principio de adici´ on . . . . 94
3.3 Contar en tablas . . . . 96
3.4 Funciones, palabras y variaciones . . . . 97
3.4.1 Variaciones sin repetici´ on . . . . 98
3.4.2 Permutaciones . . . . 99
3.5 N´ umeros bin´ omicos . . . . 101
3.5.1 Combinaciones con repetici´ on . . . . 103
3.5.2 Teorema del binomio . . . . 105
3.6 El principio de inclusi´ on y exclusi´ on . . . . 105
3.7 Ejercicios propuestos . . . . 107
4 Recursi´ on 111 4.1 Recurrencias lineales homog´ eneas . . . . 111
4.2 Recurrencias lineales no homog´ eneas . . . . 114
4.3 Ejercicios propuestos . . . . 116
´ Indice 123
1. Aritm´ etica entera
Dado que se supone que el alumno est´ a familiarizado con las operaciones de- finidas en el conjunto Z de los n´ umeros enteros, definiremos este conjunto a trav´ es de una axiom´ atica, es decir, a trav´ es de las propiedades que cumplen sus elementos en relaci´ on con las operaciones en ´ el definidas.
1.1 El conjunto Z de los n´ umeros enteros
El conjunto, que denotaremos por Z, de n´ umeros enteros no es m´ as que un conjunto de n´ umeros en el que se han definido dos leyes de composici´ on u operaciones, entre sus elementos, que verifican la siguiente lista de axiomas:
Axioma 1 La suma y el producto son leyes de composici´ on internas.
∀a, b ∈ Z ⇒ a + b ∈ Z, ab ∈ Z Axioma 2 Ambas leyes son asociativas.
∀a, b, c ∈ Z ⇒ a + (b + c) = (a + b) + c = a + b + c a(bc) = (ab)c = abc Axioma 3 Existen elementos neutros 0 y unidad 1 tales que:
∀a ∈ Z ⇒ a + 0 = 0 + a = a a · 1 = 1 · a = a Axioma 4 Existen elementos opuestos. Es decir:
∀a ∈ Z ∃ − a ∈ Z : a + (−a) = −a + a = 0 Axioma 5 Ambas leyes son conmutativas.
∀a, b ∈ Z ⇒ a + b = b + a ab = ba
1
Axioma 6 El producto es distributivo respecto de la suma.
∀a, b, c ∈ Z ⇒ a(b + c) = ab + ac Axioma 7 EL producto posee la propiedad cancelativa.
Si a 6= 0 y ab = ac =⇒ b = c
En el conjunto Z de los n´ umeros enteros se define la relaci´ on de orden “ ≤ ”, la cual cumple los siguientes propiedades:
Axioma 8 Propiedad reflexiva: ∀a ∈ Z =⇒ a ≤ a.
Axioma 9 Propiedad antisim´ etrica:
a ≤ b y b ≤ a
=⇒ a = b.
Axioma 10 Propiedad transitiva:
a ≤ b y b ≤ c
=⇒ a ≤ c.
Definici´ on 1.1 Sea S ⊂ Z un subconjunto de Z. Se dice que c ∈ Z es una cota inferior del conjunto S si c ≤ a cualquiera que sea el elemento a ∈ S. Si adem´ as c ∈ S, recibe el nombre de primer elemento. An´ alogamente, se dice que d ∈ Z es una cota superior del conjunto S si a ≤ d cualquiera que sea el elemento a ∈ S. Si adem´ as d ∈ S, recibe el nombre de ´ ultimo elemento.
Decimos una y no la cota inferior (superior) ya que cualquier n´ umero c
0∈ Z (d
0∈ Z) con c
0< c (d
0> d) tambi´ en ser´ a una cota inferior (superior) de S.
Teniendo en cuenta la definici´ on anterior, el conjunto Z de los n´ umeros enteros verifica:
Axioma 11 [buena ordenaci´ on] Todo subconjunto de Z no vac´ıo y acotado inferiormente (superiormente) posee un primer (´ ultimo) elemento.
Axioma 12
a ≤ b y c > 0 =⇒ ac ≤ bc a ≤ b =⇒ a + c ≤ b + c
Para un tratamiento formal del tema ser´ıa necesario probar que este conjun-
to de axiomas define a un ´ unico conjunto num´ erico que coincide con el conjunto
Z definido intuitivamente. Aqu´ı prescindiremos de la demostraci´ on de la exis-
tencia y unicidad de este conjunto debido a que desbordar´ıa las necesidades
de este curso de Introducci´ on a la Matem´ atica Discreta.
1.2. Definiciones recursivas 3
1.2 Definiciones recursivas
Muchas veces nos habremos encontrado con expresiones del tipo
S
n= 1 + 3 + 5 + · · · + (2n − 1) con n ∈ N (1.1) y lo primero que podemos preguntarnos es qu´ e significado tienen los puntos suspensivos.
El significado de estos no es m´ as que hacernos ver que estamos dando una definici´ on recursiva de S
n. Es decir, estamos definiendo
S
1= 1 y S
n= S
n−1+ (2n − 1) siempre que n ∈ N
De esta manera, para definir el valor de S
ndebemos utilizar el de S
n−1. En otras palabras, estamos utilizando la funci´ on en su propia definici´ on. Evidente- mente, si para calcular el transformado de un elemento n necesitamos conocer el del elemento anterior n − 1, tendremos que conocer cu´ al es el transformado del primer elemento para, a partir de ´ el, calcular todos los dem´ as.
Obs´ ervese que, como consecuencia del axioma de buena ordenaci´ on, pode- mos definir funciones de N en otro conjunto cualquiera de forma recursiva, ya que cualquiera que sea el conjunto de originales C ⊆ N por ser un subconjunto de Z y estar acotado inferiormente (ya que N lo est´ a por 0), posee un primer elemento y, por tanto, a partir de ese elemento podemos definir todos los pos- teriores. No ocurrir´ıa as´ı si trat´ aramos de definir una funci´ on f : Z → Y de forma recursiva ya que al dar f (n) en funci´ on de f (n − 1) y no estar Z acota- do inferiormente, no tendr´ıamos un primer elemento a partir del cual obtener todos los restantes.
Nota: Debido a que las funciones de N en otro conjunto num´ erico como pueden ser R o C reciben el nombre de sucesiones y se suelen denotar por u
nen vez de por u(n), utilizaremos dicha notaci´ on.
1.3 Inducci´ on matem´ atica
En cualquier ciencia experimental, la inducci´ on es el proceso de obtener un
resultado general a partir del an´ alisis de casos particulares. De esta forma,
observando la ca´ıda de una serie de cuerpos pesados se induce que cualquier
cuerpo m´ as pesado que el aire cae por la acci´ on de la gravedad. Este hecho se
considerar´ a v´ alido mientras no se encuentre un cuerpo m´ as pesado que el aire
que no caiga.
En Matem´ aticas se utiliza un proceso equivalente pero con la diferencia de que el resultado inducido es necesario probar que siempre se va a cumplir.
En nuestro ejemplo tenemos que
S
1= 1 S
2= 4 S
3= 9 . . .
Si consideramos el polinomio P (n) = n
3− 5n
2+ 11n − 6 vemos que:
P (1) = 1 = S
1P (2) = 4 = S
2y P (3) = 9 = S
3sin embargo, no podemos asegurar que S
n= P (n) ∀n ∈ N. Para poder garantizarlo tendr´ıamos que probar que se verifica para cualquier elemento n ∈ N. Para probar que no es cierto bastar´ a con encontrar un contraejemplo, es decir, un caso para el que no se verifique la igualdad. En nuestro caso P (4) = 22 mientras que S
4= 16, es decir P (4) 6= S
4por lo que podemos asegurar que la igualdad no es cierta.
Vemos entonces que una igualdad de este tipo no puede probarse estudiando casos particulares, ya que para 1, 2 y 3 s´ı era cierto, pero para 4 no lo es.
En general puede que lo hayamos comprobado para una gran cantidad de elementos y sin embargo, falle en cualquier momento. De aqu´ı, la necesidad de probar que va a cumplirse cualquiera que sea el elemento que se tome.
1.3.1 Conjuntos inductivos
Un conjunto S se dice que es inductivo si se verifican:
a) 1 ∈ S
b) x ∈ S =⇒ x + 1 ∈ S (1.2)
Teorema 1.1 Si S ⊆ N es un conjunto inductivo, entonces S = N.
Demostraci´ on. Si S 6= N, sea S
∗el complementario de S en N. Como
S
∗⊆ N ⊂ Z y est´ a acotado inferiormente (ya que N lo est´ a), por el axioma
de buena ordenaci´ on de los n´ umeros enteros, sabemos que S
∗posee un primer
elemento que denotaremos por a. Por tratarse del primer elemento, a−1 6∈ S
∗,
por lo que a − 1 ∈ S y como por hip´ otesis S era inductivo, (a − 1) + 1 = a ∈ S
en contra de que a era un elemento de S
∗. Por tanto, ha de ser necesariamente
S
∗= ∅ o lo que es lo mismo, S = N.
1.3. Inducci´ on matem´ atica 5
1.3.2 El m´ etodo de inducci´ on
Teorema 1.2 [M´ etodo de inducci´ on] Sea P
nuna proposici´ on matem´ atica. Si se verifican:
a) P
1es verdadera y
b) P
kverdadera implica que P
k+1tambi´ en lo es, entonces, P
nes verdadera para cualquier n ∈ N.
Demostraci´ on. Sea S = {n ∈ N : P
nes cierta}.
Las hip´ otesis del teorema nos dicen que:
1 ∈ S
k ∈ S =⇒ k + 1 ∈ S
=⇒ S es inductivo =⇒ S = N
es decir, la propiedad P
nes cierta cualquiera que sea el n´ umero natural n que se elija.
Ejemplo 1.1 Si nos fijamos en el ejemplo (1.1) observamos que S
1= 1 = 1
2S
2= 4 = 2
2S
3= 9 = 3
2S
4= 16 = 4
2En un primer paso, la inducci´ on nos conduce a pensar en la posibilidad de que S
n= n
2. Es ahora cuando debemos aplicar formalmente el m´ etodo de inducci´ on matem´ atica.
Hemos comprobado ya que se verifica para n = 1. Adem´ as, supongamos que S
n= n
2y veamos si entonces es S
n+1= (n + 1)
2. En efecto:
S
n+1= S
n+ [2(n + 1) − 1] = n
2+ 2n + 1 = (n + 1)
2Al haber probado la veracidad para n = 1 y que es cierto para n + 1 si lo es para n, hemos probado que es cierta para cualquier natural n.
Es ahora cuando podemos asegurar que S
n= n
2∀n ∈ N. 2 Una variante del m´ etodo de inducci´ on matem´ atica es el denominado m´ etodo de inducci´ on completa.
Teorema 1.3 [M´ etodo de inducci´ on completa] Sea P
nuna proposici´ on mate-
m´ atica. Si se verifican:
a) P
1, P
2, . . . , P
rson verdaderas y
b) P
1, P
2, . . . , P
k, con k ≤ r, verdaderas implica que P
k+1tambi´ en lo es, entonces, P
nes verdadera para cualquier n ∈ N.
1.4 Divisores
Comenzaremos esta secci´ on estudiando el algoritmo de divisibilidad que establece el siguiente teorema:
Teorema 1.4 Si a y b son enteros con b > 0, existe un ´ unico par de enteros q y r tales que
a = qb + r con 0 ≤ r < b.
Demostraci´ on.
a) Existencia:
Sea S = {a − nb | n ∈ Z} = {a, a ± b, a ± 2b, . . . }. Este conjunto de enteros contiene elementos no negativos (por ejemplo, para n = −|a|), por lo que S ∩ N es un subconjunto no vac´ıo de N y, por tanto, de Z.
El principio de buena ordenaci´ on de los n´ umeros enteros nos asegura la existencia de un primer elemento que ser´ a de la forma r = a − qb ≥ 0 para alg´ un entero q. Se tiene, por tanto, que a = qb + r con r ≥ 0. Si r ≥ b, S contendr´ıa al elemento no negativo a − (q + 1)b = r − b < r que contradice el hecho de que r es el primer elemento de S ∩ N. Por tanto, r < b.
b) Unicidad
Supongamos que a = qb + r = q
0b + r
0con 0 ≤ r < b y 0 ≤ r
0< b.
Entonces r − r
0= (q
0− q)b. Si q 6= q
0, es |q
0− q| ≥ 1, por lo que
|r − r
0| ≥ |b| = b lo que imposibilita el hecho de que r y r
0est´ en ambos entre 0 y b − 1 inclusive. Por tanto, ha de ser q = q
0y de ah´ı que tambi´ en sea r = r
0, lo que prueba la unicidad.
Ejemplo 1.2
a) Si a = 9 y b = 4, como 9 = 2 × 4 + 1 con 0 ≤ 1 < 4, se tiene que q = 2 y
r = 1.
1.4. Divisores 7
b) Si a = −9 y b = 4, como −9 = −3 × 4 + 3 con 0 ≤ 3 < 4, se tiene que
q = −3 y r = 3. 2
Definici´ on 1.2 Con la notaci´ on del Teorema 1.4 el entero q recibe el nombre de cociente entero o simplemente cociente y el tambi´ en entero r el de resto . Si dividimos por b obtenemos que
a
b = q + r
b con 0 ≤ r
b < 1
por lo que q viene dado por la parte entera por defecto o suelo de a/b (el mayor entero i con i ≤ a
b ) y que denotaremos por
a b
. Esto facilita el c´ alculo de q.
El de r se realiza posteriormente mediante la igualdad r = a − qb.
Si consideramos ahora el caso b < 0, dado que −b > 0, el Teorema 1.4 nos garantiza la existencia de los enteros q
∗y r tales que a = q
∗(−b) + r con 0 ≤ r < −b, y haciendo q
∗= −q se obtiene que a = qb + r. La prueba de la unicidad es similar a la anterior.
Teniendo en cuenta este resultado y el del Teorema 1.4, podemos establecer el siguiente corolario:
Corolario 1.5 Si a y b son dos enteros con b 6= 0, existe un ´ unico par de enteros q y r tales que
a = qb + r con 0 ≤ r < |b|
(N´ otese que si b < 0 se tiene que a
b = q + r
b con 0 ≥ r
b > −1
por lo que en este caso q es la parte entera por exceso o techo del cociente a/b que denotaremos por
a b
, es decir, el menor entero i tal que i ≥ a b ).
Ejemplo 1.3 Vamos a probar, como una aplicaci´ on, que si n es un cuadrado perfecto, al dividirlo entre 4 s´ olo puede darnos como resto 0 ´ o 1.
Sea n = a
2. El Teorema 1.4 (con b = 4) nos dice que a = 4q + r con r = 0, 1, 2 ´ o 3, por lo que n = a
2= (4q + r)
2= 16q
2+ 8qr + r
2.
a) Si r = 0 obtenemos que n = 4(4q
2+ 2qr) + 0 =⇒ el resto es 0,
b) si r = 1 que n = 4(4q
2+ 2qr) + 1 =⇒ el resto es 1, c) si r = 2 que n = 4(4q
2+ 2qr + 1) + 0 =⇒ el resto es 0, d) y si r = 3 que n = 4(4q
2+ 2qr + 2) + 1 =⇒ el resto es 1.
En cualquiera de los casos, el resto es siempre 0 ´ o 1. 2 Definici´ on 1.3 Si a y b son enteros y a = qb para alg´ un entero q, diremos que b divide a a, o bien que b es un factor o un divisor de a, o tambi´ en que a es m´ ultiplo de b. As´ı, por ejemplo, los factores de 6 son ±1, ±2, ±3 y ±6.
Cuando b divide a a lo denotaremos por b | a y se utiliza la notaci´ on b 6 | a cuando b no divide a a. Para evitar errores obs´ ervese que cualquier entero divide a 0 (ya que 0 = 0 · b para cualquiera que sea b ∈ Z), 1 divide a cualquier entero y cualquier entero se divide a si mismo. Debido a ello, dado un entero n, s´ olo los divisores de n distintos de 1 y del propio n se consideran divisores propios de dicho n´ umero.
Recordamos a continuaci´ on algunas propiedades simples pero ´ utiles de la divisibilidad, probando dos de ellas y dejando la demostraci´ on de las otras a modo de ejercicios para el alumno.
Teorema 1.6 a) a | b y b | c =⇒ a | c.
b) a | b y c | d =⇒ ac | bd.
c) m 6= 0 =⇒ a | b si, y s´ olo si, ma | mb.
d) d | a y a 6= 0 =⇒ |d| ≤ |a|.
Teorema 1.7
a) Si c divide a a
1, a
2, . . . , a
k=⇒ c divide a a
1u
1+ a
2u
2+ · · · + a
ku
kcua- lesquiera que sean los enteros u
1, u
2, . . . , u
k.
b) a | b y b | a si, y s´ olo si, a = ±b.
Demostraci´ on.
a) Si c | a
ise tiene que a
i= q
ic para algunos enteros q
i(i=1,2,. . . ,k).
Entonces a
1u
1+ a
2u
2+ · · · + a
ku
k= q
1cu
1+ q
2cu
2+ · · · + q
kcu
k=
(q
1u
1+ q
2u
2+ · · · + q
ku
k)c y dado que q
1u
1+ q
2u
2+ · · · + q
ku
kes un
entero (ya que q
i∈ Z y u
i∈ Z) se tiene que c | (a
1u
1+ a
2u
2+ · · · + a
ku
k).
1.5. M´ aximo com´ un divisor 9
b) Si a = ±b se tiene que b = qa y a = q
0b donde q = q
0= ±1, por lo que a | b y b | a.
Rec´ıprocamente, si a | b y b | a es b = qa y a = q
0b para algunos enteros q y q
0. Si b = 0, de la segunda igualdad se obtiene que a = 0, por lo que a = ±b. Podemos suponer, por tanto, que b 6= 0. Eliminando a de ambas expresiones, obtenemos que b = qq
0b y como b 6= 0, por la propiedad cancelativa podemos asegurar que qq
0= 1, por lo que q, q
0= ±1 (utilizar el Teorema 1.6–(d)), por lo que a = ±b.
La forma m´ as usual del Teorema 1.7–(a) es el caso k = 2, que recordamos a continuaci´ on con una notaci´ on m´ as simple.
Corolario 1.8 Si c es un divisor de a y de b, divide a au + bv cualesquiera que sean los enteros u y v.
1.5 M´ aximo com´ un divisor
Definici´ on 1.4 Si d | a y d | b decimos que d es un divisor com´ un (o factor com´ un) de a y b; por ejemplo, 1 es un divisor com´ un a cualquier par de enteros a y b. Si a y b son no nulos, el Teorema 1.6–(d) prueba que ninguno de sus divisores comunes puede ser mayor que m´ ax(|a|, |b|), por lo que de entre todos sus divisores comunes debe existir uno que sea el mayor de ellos. Este es el m´ aximo com´ un divisor de a y b; siendo el ´ unico entero d que satisface
a) d | a y d | b (por ser d un divisor com´ un),
b) Si c | a y c | b =⇒ c ≤ d (pues d es el mayor divisor com´ un de a y b).
Teorema 1.9 El m´ aximo com´ un divisor de dos n´ umeros enteros es ´ unico.
Demostraci´ on. Supongamos que existiesen dos d y d
0.
d = mcd (a, b) =⇒ d | a y d | b. Al ser d
0= mcd (a, b) =⇒ d ≤ d
0d
0= mcd (a, b) =⇒ d
0| a y d
0| b. Al ser d = mcd (a, b) =⇒ d
0≤ d
y teniendo en cuenta la antisimetr´ıa de la relaci´ on de orden en el conjunto Z de los n´ umeros enteros, obtenemos que d = d
0.
Sin embargo, el caso a = b = 0 debe ser excluido; cualquier entero divide a 0 y es, por tanto, un divisor com´ un de a y b, por lo que, en este caso, no existe el m´ aximo com´ un divisor. Cuando existe, denotamos el m´ aximo com´ un divisor de a y b por mcd (a, b), o simplemente por (a, b). Esta definici´ on puede obviamente extenderse al m´ aximo com´ un divisor de cualquier conjunto de enteros (no todos nulos).
1.5.1 Algoritmo de Euclides
Una forma de encontrar el m´ aximo com´ un divisor de a y b es simplemente construir las listas de todos los divisores de a y todos los de b para buscar el mayor entero que aparece en ambas. Evidentemente basta con buscar la lista de los divisores positivos: si, por ejemplo, a = 12 y b = −18, los divisores positivos de 12 son 1,2,3,4,6,12 y los de -18 son 1,2,3,6,9,18, con lo que in- mediatamente vemos que el m´ aximo com´ un divisor es 6. Este m´ etodo resulta muy tedioso cuando a o b son grandes, pero afortunadamente existe un m´ etodo m´ as eficiente, para calcular el m´ aximo com´ un divisor, llamado algoritmo de Euclides (publicado en el libro VII de los Elementos de Euclides alrededor del a˜ no 300 a.C.). Este m´ etodo se basa en la siguiente observaci´ on.
Lema 1.10 Dados dos enteros a y b se verifica que mcd (a, b) = mcd (b, r) cualesquiera que sean los enteros q y r verificando que a = bq + r.
Demostraci´ on. Por el Corolario 1.8 cualquier divisor com´ un de b y de r tambi´ en divide a qb + r = a; de manera an´ aloga, como r = a − qb, obtenemos que cualquier divisor com´ un de a y b tambi´ en divide a r. Por tanto, las dos parejas a y b, y b y r poseen los mismos divisores comunes y, por tanto, tiene el mismo m´ aximo com´ un divisor.
El algoritmo de Euclides es usado de forma repetitiva para simplificar el c´ alculo del m´ aximo com´ un divisor por reducci´ on del tama˜ no de los enteros sin alterar su m´ aximo com´ un divisor. Supongamos que se tienen dos enteros a y b (no ambos nulos) y que se desea calcular d = mcd (a, b). Si a = 0 entonces d = |b|, si b = 0 entonces d = |a|, por lo que sin considerar estos casos triviales, podemos suponer que a y b son ambos no nulos. Como
mcd (a, b) = mcd (−a, b) = mcd (a, −b) = mcd (−a, −b)
1.5. M´ aximo com´ un divisor 11
podemos asumir que a y b son ambos positivos. Adem´ as, como mcd (a, b) = mcd (b, a) podemos suponer que a ≥ b y si despreciamos, por ´ ultimo, el caso trivial mcd (a, a) = a podemos suponer que a > b, es decir, que
a > b > 0.
Utilizamos ahora el algoritmo de la divisi´ on (Teorema 1.4) para dividir a entre b y escribimos
a = q
1b + r
1con 0 ≤ r
1< b.
Si r
1= 0 entonces b | a, por lo que d = b y hemos terminado. Si r
16= 0 dividimos b entre r
1y escribimos
b = q
2r
1+ r
2con 0 ≤ r
2< r
1.
y repetimos el proceso; como b > r
1> r
2> · · · ≥ 0 debemos encontrar necesariamente un resto r
n= 0 (despu´ es de, a lo m´ as, b pasos) y en ese punto finalizamos el proceso. Los dos ´ ultimos pasos podemos escribirlos de la forma
r
n−3= q
n−1r
n−2+ r
n−1con 0 < r
n−1< r
n−2, r
n−2= q
nr
n−1+ r
ncon r
n= 0.
Teorema 1.11 En el proceso de c´ alculo anterior, d = r
n−1(´ ultimo resto no nulo).
Demostraci´ on. Aplicando el Lema 1.10 a las sucesivas ecuaciones dadas anteriormente para a, b, r
1, . . . , r
n−3observamos que
d = mcd (a, b) = mcd (b, r
1) = mcd (r
1, r
2) = · · · = mcd (r
n−2, r
n−1).
La ´ ultima ecuaci´ on r
n−2= q
nr
n−1prueba que r
n−1divide a r
n−2, por lo que mcd (r
n−2, r
n−1) = r
n−1y, por tanto, d = r
n−1.
Ejemplo 1.4 Para calcular el mcd (112, 70), dividimos 112 entre 70 obteni´ en- dose un cociente igual a 1 y un resto r = 42.
El Lema 1.10 nos dice que mcd (112, 70) = mcd (70, 42). Repitiendo ahora este mismo proceso obtenemos:
112=70+42
mcd (112, 70)=
70=42+28
mcd (70, 42)=
42=28+14
mcd (42, 28)=
28=2·14+0