3 El Máximo Común Divisor

EL MXIMO COMN DIVISOR
En esta seccin analizaremos el problema de determinar el mayor de los factores comunes a dos
enteros. En las secciones siguientes consideraremos algunas de las interesantes propiedades de
este factor.
Si k|a y k|b , entonces se dice que k es un divisor comn o un factor comn de a y b .
g
Se dice que
es el mximo comn divisor de
positivos que dividen los valores absolutos de los enteros

para denotar al mximo comn divisor de
a y
y
a
si
y
es el mayor de los enteros
b . Usaremos el smbolo
(a , b)
b . Por ejemplo, el mximo comn divisor de 24 y
78 es 6; esto es,
( 24,78 )=6
Ntese que
(24,78 )=( 24,78 )=(24,78 )=6
Si
a=b=0 , entonces (a, b) no existe. Si
a0
b=0,
entonces
(a , b)=|a| ; si
a=0
b 0 , entonces (a , b)=|b| .
g
Para demostrar que un entero positivo
es el mximo comn divisor de dos enteros
b ,
no ambos cero, es suficiente probar que

(i) g|a y g|b
(ii) Si
k|a
k|b , entonces
k| g .
La condicin (i) establece que el mximo comn divisor g de a y b es un divisor comn de

a y b ; la condicin (ii) establece que todo divisor comn de a y b es un divisor del
mximo comn divisor g de a y b . Los enunciados (i) y (ii) en conjunto sern aceptados
como un enunciado equivalente al de la definicin del mximo comn divisor
a y b .
de los enteros
Ejemplo: Hallar el M.C.D. de 36 y 60.

Divisores de 36:1, 2, 3, 4, 6, 12, 18 y 36.
Divisores de 60: 1, 2, 3, 4, 6, 10, 12, 15, 30 y 30.
( 36,60 )=12
a=36,b=60 g=12k =6
( i ) 12|36 y
12|60
( ii ) 6|36 y
6|60 , entonces
6|12 .
El teorema siguiente no slo demuestra la existencia del mximo comn divisor de dos enteros, no
ambos cero, sino que tambin pone de manifiesto una propiedad interesante y til del mximo
comn divisor.
Teorema 2.3.1:
Si a y b son enteros, no ambos cero, entonces el mximo comn divisor
(a , b)
de
es el menor entero positivo que puede ser expresado como una funcin lineal homognea de
y b ; es decir, (a , b) es el menor entero positivo tal que
( a , b ) =xa+ yb
Donde
son enteros.
Demostracin:
Consideremos el conjunto
enteros. Evidentemente el conjunto

S
hay un elemento
xa+ yb , donde
de enteros positivos de la forma

no es vaco, ya que
son
a +b >0 . Por lo tanto, en el conjunto
g menor que todos los dems.
g=x 1 a+ y 1 b(2.3 .1)

Ahora bien, si
es
0 , la demostracin de que
es
(a , b)
es trivial. Supongamos
entonces que a 0 y b 0 . Por la propiedad de la divisin, existen enteros

a=qg+r , donde 0 r < g ,
y r
tales que
Entonces
r=aqg
Aplicando (2.3.1) tenemos que
r=aq ( x1 a+ y 1 b ) =( 1q x1 ) a+ ( q y 1) b ;
Esto es, r es una funcin lineal de
g
b . Sin embargo,
es el menor de los enteros positivos de
Anlogamente se prueba que

Sea k
S . Por lo tanto,
g|b . De aqu que
cualquier otro divisor de
no est en
r=0
0 r<g
a=qg ; es decir,
g es un divisor comn de
y b . Supongamos
ya que
a
g|a .
y b .
k a' =a y k b ' =b . Entonces
g=x 1 ( ka ' ) + y 1 ( kb ' ) =k ( x 1 a ' + y 1 b ' )

Y
k| g . Por lo tanto, g es el mximo comn divisor.
Dos aspectos concernientes al teorema 2.3.1 merecen ser mencionados. Primero, aunque
es el menor entero positivo que puede ser expresado como una funcin lineal homognea de
b , esta representacin no es nica. Notar que si
( a , b ) =xa+ yb
(a , b)
a
Donde
son enteros, enteros
( a , b ) =( x+bt ) a+ ( yat ) b
Para cualquier entero
d=ra +sb ,
t . Segundo, notar que si
Entonces
t ( a , b )=txa+ tyb ,
Para todo entero t; es decir,
d=ra +sb ,
Donde d=t ( a , b ) , r=tx , y s=ty .
Teorema 2.3.2
El mximo comn divisor de dos enteros, no ambos cero, es nico.
Demostracin:
Si g y g son dos enteros positivos que satisfacen condiciones (i) y (ii) para dos enteros
b , no ambos cero, entonces
g|g '
g ' |g . Por lo tanto,
g=g' .
Los teoremas 2.3.1 y 2.3.2, en conjunto, establecen que el mximo comn divisor de dos enteros, no
ambos nulos, existe y es nico; pero ninguno da un procedimiento para determinar el mximo comn
divisor. Ilustraremos un procedimiento en el caso en que ambos enteros sean distintos de 0. Este
procedimiento, un algoritmo, depende de la propiedad de la divisin. Un algoritmo es un proceso que
envuelve el uso repetido de una frmula o regla u operacin tal que la informacin o resultado
obtenido en cada paso es usado en los pasos siguientes hasta que el resultado deseado es
obtenido.
Consideremos dos enteros positivos a y b. Sea a>b . Entonces, por la propiedad de la divisin,
existen
qi
ri
tales que
a=q1 b+r 1 , donde 0<r 1< b ;

b=q2 r 1 +r 2 , donde 0<r 2 <r 1 ;
r 1=q 3 r 2+r 3 , donde 0<r 3 <r 2 ;
r k3=qk1 r k2+ r k1 ,donde 0<r k1 <r k2 ;

r k2=qk r k1 +r k , donde 0<r k < r k1 ;
r k1=qk+ 1 r k +0, donde 0< r k1 <r k2 ;
Observar que
r 1 ,r 2 , r 3 , ,r k1 , r k
representan una secuencia decreciente de enteros positivos.
Como slo existe un nmero finito de enteros positivos menores que b, el proceso debe terminar, es
r
decir slo existe un nmero finito de enteros positivos i que satisfacen aquellas condiciones. Este
( a , b ) =r k .
proceso, llamado algoritmo de Euclides produce
( a , b ) =r k ,
Para demostrar que
necesitamos probar que

r a
r b
(i) k| y k| ;
(ii) Todo divisor de a y b divide a
rk
De la ltima ecuacin se sigue que
.
r k|r k1 .
Sustituyendo
r k1
en la penltima ecuacin,
r k2=qk q k+1 r k + r k
r k2=r k ( qk q k+1 +1 )
r k|r k2 .
Por lo tanto,
Sustituyendo
r k2
r k1
en la antepenltima ecuacin,
r k3=qk1 ( q k q k+1 +1 ) r k +q k+1 r k =( qk1 q k q k+1 +q k1+ qk +1 ) r k
Por la tanto,
r k|r 1
r k|r k3 .
r k|r 2
Continuando en forma anloga, podemos demostrar que
en la segunda ecuacin. Por lo tanto, usando la primera ecuacin
entonces la condicin (i) es satisfecha; es decir

condicin (ii) es satisfecha, sea
d|r 1 ;
r k|b
d|a
de la segunda ecuacin,
penltima ecuacin,
d|r k .
y
d|r 2 ;
rk
divide a
, ya que
r k|a
b . Para demostrar que la
d|b . Entonces de la primera ecuacin se desprende que

de la tercera ecuacin
d|r 3 ;
; y finalmente, de la
Por lo tanto, todo divisor de a y b tambin divide a
rk .
De aqu que
(a , b)=r k .
Si a o b es un nmero negativo, podemos hacer caso omiso del signo negativo en el algoritmo de
Euclides, ya que
( a , b ) =( a ,b )=(a , b ) =(a ,b ) .
Ejemplo 1. Encontrar
Solucin:
Sea a=10.672
(10.672,4 .147)
y b=4147.
10.672=2 4.147+2.378
4.147=1 2.378+1769
3378=1 1769+609
1.769=2 609+551
609=1 551+58
551=1 58+29
Entonces por el algoritmo de Euclides.
58=2 29+ 0
Por lo tanto,
( 10.672,4 .147 )=29.
El algoritmo de Euclides puede ser usado para determinar los enteros

necesarios para escribir
(a , b)
como una funcin lineal homognea de
llevado a cabo expresado los sucesivos restos
ri
en trminos de
e
a
del teorema 2.3.1,

b . Esto puede ser
y b :
r 1=a+ (q1 ) b ,
r 2=b + (q2 ) r 1=(q 2 ) r 1+ ( 1q 1) b ,
r 3=r 1+ ( q 3 ) r 2=( 1+q 2 q 3 ) a+ ( q 1 q 3q 1q 3 ) b ,
rk
Eventualmente se tendr
como funcin lineal de
y b .
Ejemplo 2:
Expresar ( 10.672,4 .147 )
como funcin lineal homognea de
10.672 y 4.147 .
Solucin:
2378=10.672+(2)4.147
1769=4147+ (1 ) 2378=4147+ (1 ) [ 10.672+(2)4.147 ] =(1 ) 10.672+(3) 4.147
609=2378+ (1 ) 1769=( 2 ) 10.672+ (5 ) 4147

551=1769+ (2 ) 609=(5 ) 10.672+ ( 13 ) 4147
58=609+ (1 ) 551=( 7 ) 10.672+ (18 ) 4147
29=551+ (9 ) 58=(68 ) 10.672+ (175 ) 4147
Como ( 10.672,4 .147 )=29,
entonces
( 10.672,4 .147 )= (68 ) 10.672+ ( 175 ) 4147

Ejemplo 3:
Encontrar (252,180) y expresarlo como funcin lineal homognea de
Solucin:
Sea a=252
y b=180 . Entonces, por el algoritmo de Euclides.
252=1 180+72
180=2 72+36
252 y
180 .
72=2 36+ 0
Entonces
( 252,180 ) =( 252,180 ) =36,

Adems
72=252+ (1 ) .180
Y
36=180+ (2 ) .72=(2 ) .252+ ( 3 ) .180
Como
36= (2 ) .252+(3).180
As
36= (2 ) .252+ (3 ) . (180 )
Esto es;
( 252,180 ) =(2 ) .252+ (3 ) . (180 )
EJERCICIOS
1. (172,64 )
Solucin:
172=2 64 +44
64=1 44 +20
44=2 20+ 4
20=5 4+ 0
Por lo tanto,
(172,64 )=4.
2. (117, 169)
Solucin:
169=1 117 +52
117=2 52+13
52=4 13+0
Luego,
(117, 169)=13
3. (323,221)
Solucin:
323=1 221+102
221=2 102+17
102=6 17 +0
Luego,
(323,221)=17
4. (884, 1292)
Solucin:
1292=1 884+ 408
884=2 408+ 68
408=6 68+ 0
Por lo tanto,
(884,1292)=68
5. (816,7209)
Solucin:
7209=8 816+681
816=1 681+ 135
681=5 135+ 6
135=22 6 +3
6=2 3+0
Por lo tanto,
(816,7209)=3
6. (5376,3402)
Solucin:
5376=1 3402+1974
3402=1 1974+1428
1974=1 1428+546
1428=2 546+ 336
546=1 336 +210

336=1 210+ 126
210=1 126+ 84
126=1 84+ 42
84=2 42+0
Por lo tanto,
(5376,3402 )=42
7. (7469,2387)
Solucin:
7469=3 2387+308
2387=7 308+231
308=1 231+77
231=3 77+ 0
Por lo tanto
(7469,2387)=77
8 .(11.143, 8749)
Solucin:
11.143=1 8749+2.394
8749=3 2.394+1567
2394=1 1567+827
1567=2 827+740
827=1 740+87
740=8 87+ 44
87=1 44+ 43
44=1 43+1
43=43 1+ 0
Luego ( 11.143, 8749 )=1
En los ejercicios 9 al 16 encontrar enteros
9. 2=78 x +32 y
Solucin:
Utilizamos el algoritmo de Euclides
78=2 32+14 14=78+ (2 ) .32
32=2 14+ 4 4=32+ (2 ) .14
14=3 4 +2
4=2 2+0
Como
14=3 4 +2 2=14 (3 ) .4
2=14 + (3 ) . ( 32+ (2 ) .14 )=( 7 ) .14+ (3 ) .32

2=( 7 ) .14+ (3 ) .32
2=( 7 ) . [ 78+ (2 ) .32 ] + (3 ) .32
2=(7).78+ (17 ) .32
tales que cada enunciado sea verdadero:
Luego,
x=7
y=17 , existen otros conjuntos de valores
10. 13=104 x +91 y

Solucin:
104=1 91+13 13=( 1 ) .104+ (1 ) .91
Luego: x=1 e
y=1 , existen otros conjuntos de valores
11. 7=31 x +19 y

Solucin:
31=1 19+12 12=31+ (1 ) .19
19=1 12+7 7=19+ (1 ) 12
7=19+ (1 ) [ 31+ (1 ) .19 ]
7= (1 ) .19+ ( 2 ) .19
Luego,
x=1 e
y=2 , otra solucin puede ser:
x=56
y=91
x=40
y=64
12. 16=42 x +26 y

Solucin:
42=1 26+16 16=( 1 ) .42+ (1 ) .26
Luego,
x=1
y=1 , otra solucin puede ser
13. 3=288 x +51 y

Solucin:
288=5 51+33 33=288+ (5 ) .51
51=1 33+18 18=51+ (1 ) 33
33=1 18+15 15=33+ (1 ) .18
18=1 15+3 3=18+ (1 ) .15
3=18+ (1 ) [ 33+ (1 ) .18 ]= ( 2 ) .18+ (1 ) .33
3= (2 ) . [ 51+ (1 ) 33 ] + (1 ) .33= ( 2 ) .51+ (3 ) .33
3= (2 ) .51+ (3 ) . [ 288+ (5 ) .51 ] =(3 ) .288+ (17 ) .51
Luego,
x=3 e
y=17 , existen otros conjuntos de valores.
14. 1=52 x+13 y

Solucin:
52=4 13+0
x
No existen enteros
15. 87=145 x +58 y

Solucin:
145=1 58+ 87 87=( 1 ) .145+ (1 ) .58
Luego,
x=1
y=1 , otro conjunto solucin sera:
x=3
y=6
x=4
y=14
16. 2=17 x+5 y

Solucin:
17=3 5+22=(1 ) .17 + ( 3 ) .5
Luego,
x=1 e
17. Demostrar que si

Solucin:
y=3,
otro conjunto solucin sera:
d=xa+ yb ,
entonces
( a , b )|d
d=xa+ yb x=
dy.b d b
= y d| a b|a(1)
a
a a
d=xa+ yb y =
d y .a d a
= y d|b a|b (2)
b
b b
De (1) y (2) se puede concluir que

18. Demostrar que si
a=qb+r ,
( a , b )|d
entonces ( a , b ) =( b , r ) .
Solucin:
Sabemos que
( a , b ) =xa+ yb=x ( qb+ r )+ yb=xqb + xr + yb=( xq+ y ) b+ xr =xr + y ' b=(b , r)
19. Usando el ejercicio 18 demostrar que el algoritmo de Euclides

Solucin:
De las relaciones:
a=q1 b+r 1 ,
b=q2 r 1 +r 2 ,
r 1=q 3 r 2+ r 3 ,
( a , b ) =(r k 1 , r k ) .

r k3=qk1 r k2+ r k1 ,
r k2=qk r k1 +r k ,
r k1=qk+ 1 r k +0,
Podemos concluir segn el ejercicio 18.
( a , b ) =( b , r 1 )=( r 1 , r 2 )==( r k2 , r k 1 ) =( r k1 , r k )=( r k ,0 )=r k
20. Demostrar que
( ka , kb )=|k| ( a ,b ) , cuando k 0.
Solucin:
Multiplicamos las relaciones
a=q1 b+r 1 , donde 0<r 1< b ;
b=q2 r 1 +r 2 , donde 0<r 2 <r 1 ;
r 1=q 3 r 2+r 3 , donde 0<r 3 <r 2 ;
r k3=qk1 r k2+ r k1 ,donde 0<r k1 <r k2 ;

r k2=qk r k1 +r k , donde 0<r k < r k1 ;
r k1=qk+ 1 r k +0, donde 0< r k1 <r k2 ;
Trmino a trmino por k obtendremos:
ka=kq 1 b+ k r 1 ,
kb=kq 2 r 1 +kr 2 ,
kr 1=k q3 r 2 +kr 3 ,
kr k 3 =kq k1 r k2 +k r k1 ,
kr k 2 =kq k r k 1 +k r k ,
kr k 1=kq k+1 r k + 0,
Obtendremos
nuevas
ka , kb , kr 1 , , kr k1 , kr k
relaciones,
donde
en
lugar
de
, por esto ( ka , kb )=|k| r k =|k|( a , b ) , cuando
a , b , r 1 , , r k1 , r k
figuraran
k 0.
GENERALIZACIN DEL MAXIMO COMN DIVISOR

Es posible generalizar el concepto de mximo comn divisor. El mayor entero positivo g que
a1 , a2 , a3 , y an
divide a los valores absolutos de cada uno de los n enteros
, no todos 0, se dice
n 2
que es el mximo comn divisor de aquellos
enteros. El smbolo
a1 , a2 , a3 , y an
usado para denotar el mximo comn divisor de
( a1 , a2 , a3 , , an )
ser
. Por ejemplo, el mximo comn
divisor de 30, 21, 12, y 66 es 3; esto es,

( 30,21, 12, 66 )=3.
Para demostrar que un entero positivo g es el mximo comn divisor de
a1 , a2 , a3 , y an
, no todos 0, es suficiente demostrar que
(i)
g|ai
(ii) Si
enteros
i=1, 2, , n ;
para
d|ai
n 2
para i=1, 2, , n ,
Teorema 2.4.1
a , a , a , y an
Si 1 2 3
d|g .
entonces
son enteros distintos de 0, donde
n 3 , entonces
( a1 , a2 , , an )=( ( a1 , a2 , , an1 ) , an )
Demostracin:
Sean
g=( a1 , a2 , , a n)
Como
g|ai
para
g '=( a1 , a2 , , a n1 )
i=1, 2, , n ;
Anlogamente, como
i=1, 2, , n .
g|an
Por lo tanto,
g ' |g .
g|( a1 , a2 , ,a n1)
entonces
g ' |( a1 , a2 , ,a n1 )
Como
g ' |an , entonces
y
g
g|an . Por lo tanto, g|g ' .

g ' |ai , para todo para
son enteros positivos, se tiene que
g=g
(ver ejercicio 4 de 2.1); es decir,

( a1 , a2 , , an )=( ( a1 , a2 , , an1 ) , an )
Usando el algoritmo de Euclides y el teorema 2.4.1 podemos determinar el mximo comn divisor
de ms de dos enteros, no todos cero. Notar que
( a1 , a2 , , an ,0, 0, , 0 ) = ( a1 , a2 , , an )
Ejemplo 1.
Encontrar (570, 810, 495,125)
Solucin:
Por el teorema 2.4.1
( 570,810, 495, 125 )=( ( 570, 810, 495 ) ,125)
( 570,810, 495 )=( ( 570, 810 ) , 495 )

Por el algoritmo de Euclides
( 570,810 )=30
( ( 570, 810 ) , 495 )=( 30, 495 )=15

( 570,810, 495, 125 )= ( ( 570,810, 495 ) , 125 ) =( 15,125 ) =5
Esto es, el mximo comn divisor de
Teorema 2.4.2:
a1 , a2 , , y an
Si
a1 , a2 , , y an
a1 , a2 , , y an ;
570,810, 495,
y 125 es 5 .
son enteros no todos 0, entonces el mximo comn divisor
( a1 , a2 , , an ) de
es el menor entero positivo que puede ser expresado como una funcin lineal de
esto es,
( a1 , a2 , , an ) es el menor entero positivo tal que
( a1 , a2 , , an )=k 1 a1+ k 2 a2 ++ k n an
Donde
k1 , k2 , , kn
son enteros
La demostracin del teorema 2.4.2 es similar a la del teorema 2.3.1 y queda como ejercicio (ejercicio
13)
Ejemplo2.
Expresar (570, 810, 495,125) como funcin lineal homognea de
570,810, 495 y 125 .
Solucin:
Como (570, 810)=30 , entonces
30=( 10 ) .570+ (7 ) .810 ;
Como (30,495)=15 , entonces
15=(16 ) .30+ ( 1 ) .495,
Y
15=(160 ) .570+ ( 112 ) .810+ ( 1 ) .495 ;
Como (15,125)=5 , entonces
5=(8 ) .15+ ( 1 ) .125,
Y
5=( 1280 ) .570+ (896 ) .810+ (8 ) .495+ ( 1 ) .125,
Esto es,
( 570,810, 495, 125 )= (1280 ) .570+ (896 ) .810+ (8 ) .495+ ( 1 ) .125,
Ejercicios
En los ejercicios 1 al 6 encontrar los mximos comunes divisores indicados, usando el algoritmo de
Euclides:
1. (624,504, 90)
Solucin:
( 624,504, 90 ) =( ( 624, 504 ) , 90)

Por el algoritmo de Euclides:
624=1 504+120
504=4 120+24
120=5 24+0
Luego ( 624,504 )=24
( ( 624, 504 ) , 90 )=(24, 90)

Por el algoritmo de Euclides
90=3 24+18
24=1 18+6
18=3 6+0
( 624,504, 90 ) =( ( 624,504 ) , 90 )=( 24, 90 ) =6
Por lo tanto,
2. (285, 675, 405)

Solucin:
( 285,675, 405 )=( ( 285,675 ) , 405)
675=2 285+ 105
285=2 105+75
105=1 75+30
75=2 30+ 15
30=2 15+ 0
Luego ( 285,675 )=15
( ( 285, 675 ) , 405 )=(15, 405)

405=27 15+0
Luego (15, 405)=15
Por lo tanto
( 285,675, 405 )=( ( 285, 675 ) , 405 )= (15, 405 )=15
3. (209, 299,102)
Solucin:
( 209,299, 102 )=( ( 209,299 ) , 102)
299=1 209+ 90
209=2 90+29
90=3 29+3
29=9 3+2
3=1 2+1
2=2 1+0
Luego (209, 299)=1
( 209,299, 102 )=( ( 209, 299 ) , 102 )=( 1,102 )

102=102 1+0
Entonces ( 1,102 ) =1
Por lo tanto
( 209,299, 102 )=( ( 209, 299 ) , 102 )=( 1,102 )=1
4. (69, 598,253)
Solucin:
( 69,598, 253 )=( ( 69, 598 ) ,253)
598=8 69+46
69=1 46+23
46=2 23+0
Luego ( 69,598 )=23
( 69,598, 253 )= ( ( 69,598 ) , 253 ) =(23, 253)

Ahora por el algoritmo de Euclides
253=11 23+0
Entonces (23, 253)=23
Por lo tanto
( 69,598, 253 )= ( ( 69,598 ) , 253 ) =( 23,253 ) =23
5. (116, 248,148, 152)

Solucin:
( 116, 248,148, 152 )=( ( 116, 248 ) , 148, 152)
248=2 116 +16
116=7 16+ 4
16=2 4+ 0
Luego ( 116, 248 )=4
( ( 116, 248 ) ,148, 152 )=(4, 148,152)

( ( 116, 248 ) ,148, 152 )= ( 4,148, 152 )=4
Por lo tanto
6. (1131, 594,2907, 1517).

Solucin:
( 1131, 594,2907, 1517 )=( (1131,594 ) ,2907, 1517 )
1131=1 594 +537
594=1 537+57
537=9 57+24
57=2 24+9
24=2 9+6
9=1 6+3
6=2 3+0
Luego ( 1131, 594 )=3
( ( 1131, 594 ) , 2907,1517 )=( 3, 2907,1517 )=( ( 3,1517 ) , 2907 )

1517=505 3+2
3=1 2+1
2=2 1+0
Por lo tanto
( ( 1131,594 ) , 2907,1517 )=( 3, 2907,1517 )=( ( 3,1517 ) , 2907 )= ( 1,2907 )=1
En los ejercicios 7 al 10 encontrar enteros
x, y
7. 1=11 x +19 y+ 3 z
Solucin:
Expresemos
(11, 19,3)
11, 19 y 3
19=1 11+ 8 8=191 11
11=1 8+3 3=111 8

8=2 3+2 2=82 3
3=1 2+1 1=31 2
1=31 2=31 ( 82 3 )=38+ ( 2 ) 3=38+ ( 2 ) (111 8 ) =3+ (3 ) 8+ ( 2 ) 11=3+ (3 ) ( 191 11 )+ (2 )

Por lo tanto
x=5, y=3, z=1
Otros valores pueden ser,
x=28, y=16, z=1
8. 2=56 x +6 y +32 z
Solucin:
Expresemos
(56, 6,32) como funcin lineal homognea de
56,6 y 32
56=1 32+24 24=561 32

32=1 24+ 8 8=321 24
24=3 8+ 0 24=3 8
Luego ( 56,6, 32 )=(8,6)
8=1 6+2 2=81 6
8=321 [ 561 32 ]= (2 ) 32+(1) 56
2=81 6=( 2 ) 32+ (1 ) 56+(1)6

Por lo tanto
x=1, y =1, z=2
Otros valores pueden ser,
x=17, y=153, z=1
9. 9=6 x+3 y +15 z

Solucin:
Expresemos
(6, 3,15)
6=2 3+0
15=2 3+ 9 9=1523
3,6 y 15
Por lo tanto
x=0, y=2, z =1
Otros valores pueden ser
x=18, y=18, z=3
10. 4=14 x +7 y +21 z

Solucin:
Como (21,14, 7)=7 , no hay forma de expresar el 4 como funcin lineal de
En los ejercicios 11 y 12 encontrar
w, x y z
21,14 y 7 .
11. 15=120 w +30 x+60 y +165 z

Solucin:
La expresin se puede simplificar. 1=8 w+2 x + 4 y +11 z

8=4 2+ 0
4=2 2+0
11=5 2+ 1 1=115 2
Por lo tanto
z=1, x =5, y=0 , w=0
Otros valores pueden ser
w=15, x=45, y =5, z=1
12. 1=21 w+ 9 x +3 y +6 z
Solucin:
Como (21, 9,3, 6)=3 , no hay forma de expresar el 1 como funcin lineal de
21, 9,3 y 6 .
13. Demostrar el teorema 2.4.2

a1 , a2 , , y an
Si
son enteros no todos 0, entonces el mximo comn divisor
a1 , a2 , , y an
a1 , a2 , , y an ;
es el menor entero positivo que puede ser expresado como una funcin lineal de
esto es,
( a1 , a2 , , an ) es el menor entero positivo tal que
( a1 , a2 , , an )=k 1 a1+ k 2 a2 ++ k n an
Donde
k1 , k2 , , kn
Demostracin:
( a1 , a2 , , an ) de
son enteros
Consideremos el conjunto
a1 , a2 , , an
son enteros. Evidentemente el conjunto
Por lo tanto, en el conjunto
k 1 a1 +k 2 a2 ++ k n an
de enteros positivos de la forma
hay un elemento
no es vaco, ya que
2
1
, donde
2
2
a +a + +a2n >0 .
g menor que todos los dems.
g=k 1 a 1+k 2 a2 ++k n a n (2.3 .1)

a1 a2 an
Ahora bien, si
Supongamos entonces que

y
0 , la demostracin de que
es
ai 0, i=1,2,. . ,n
( a1 , a2 , , an ) es trivial.
es
. Por la propiedad de la divisin, existen enteros
tales que
ai=qg+r , donde 0 r < g ,
Entonces
r=aiqg
Aplicando (2.3.1) tenemos que
r=a1q ( k 1 a1+ k 2 a2 + k i ai ++ k n an ) =( 1q k i ) ai + (q ) ( k 1 a1 + k 2 a 2+ +k n a n ) ;
Esto es,
es una funcin lineal de
0 r<g
decir,
g|ai .
Sea
a1 , a2 , , an
. Sin embargo,
es el menor de los enteros positivos de
De aqu que
g es un divisor comn de
cualquier otro divisor de
a1 , a2 , , an
S . Por lo tanto,
a1 , a2 , , an
no est en
r=0
ya que
ai=qg
; es
. Supongamos
k a'1 =a1 , k a'2=a 2 , k a 'n=a n
Entonces
g=k 1 ( k a'1 ) + k 2 ( k a'2 ) + +n ( k a'n )=k ( k 1 a'1 +k 2 a '2+ +k n a'n )
Y
k| g . Por lo tanto, g es el mximo comn divisor.
2.5 POPIEDADES DEL MXIMO COMN DIVISOR

Se dice que dos enteros a y b, no ambos 0, son relativamente primos o primos entre s, si el mximo
comn divisor es la unidad; esto es, si (a , b)=1 . Por ejemplo, 22 y 15 son enteros relativamente
primos, aunque ninguno de ellos es primo. En general, los
n 2
enteros
a1 , a2 , , an ,
no todos
cero, se dicen relativamente primos o primos entre s, si el mximo comn divisor es la unidad, es
a , a , , an )=1
a , a =1
decir, si ( 1 2
. Adems, si ( i j )
para cada i j e i, j=1,2, 3, , n entonces
los
n 2
enteros
a1 , a2 , , an ,
se dicen relativamente primos o pares. Por ejemplo, los tres
enteros 5, 10, y 13 son relativamente primos ya que

primos a pares, puesto que
( 5,10,13 )=1;
pero ellos no son relativamente
(5,10) 1
Los siguientes teoremas concernientes a propiedades del mximo comn divisor de dos enteros son
de cierto inters.
Teorema 2.5.1
Dos enteros a y b, no ambos cero, son relativamente primos si y solo si existen enteros x e y tales
que
1=xa+ yb
Demostracin:
Si (a , b)=1 , entonces por el teorema 2.3.1 existen enteros
tales que
1=xa+ yb
Si
(a , b)=d
d >1,
entonces, por el teorema 2.3.1,
ser expresado como funcin lineal homognea de

1 xa+ yb
es el menor entero positivo que puede
y b . Por lo tanto,
Para todo par de enteros x e y. Por lo tanto, el teorema queda demostrado.

Teorema 2.5.2
Si d=(a , b)
entonces
Demostracin:
a b
, =k ,
Si
donde
d d
( )
Como
dk|a
( ad , bd )=1.
k 1,
entonces
dk|b , se tiene
d ( a ,b ) .
a
=ka '
d
b
=k b' ;
d
De aqu que, si
esto es,
a=dka '
d=( a ,b ) , entonces
Teorema 2.5.3
Si (a , b)=1 y (a , c )=1 , entonces (a , bc)=1
Demostracin:
Si (a , b)=1 , entonces, por el teorema 2.3.1 existen enteros
1=xa+ yb ;
Si (a , c )=1 , entonces existen enteros r y s tales que
1=ra+ sc .
Entonces
1=xa+ yb .1=xa+ yb . ( ra+sc )
1=( x + ybr ) a+ ( ys ) bc .
De aqu que por el teorema 2.5.1, se tiene que
(a , bc)=1
Teorema 2.5.4:
a , b1 b2 bn ) =1
Si (a , bi )=1, para i=1,2, , n , entonces (
Demostracin:
tales que
b=dkb ' .
( ad , bd )=1.
( a , b1 ) =1
La demostracin es por induccin matemtica. Est dado que

a , b k+1 )=1,
Como (
entonces, por el teorema 2.5.3
( a , b1 b2 bk +1 )=1
Por lo tanto
( a , b1 b2 bn ) =1
Para cualquier entero positivo n, y el teorema queda demostrado
Teorema 2.5.5
Si a|bc y (a , b)=1 , entonces
a|c .
Demostracin:
Si (a , b)=1 , entonces, por el teorema 2.3.1, existen enteros
tales que
1=xa+ yb
Entonces
c=xac + ybc
Como
a|bc
a|ac , por el ejercicio 3 de 2.1 se tiene
a|( xac+ ybc ) ;
esto es
EJERCICIOS
Demostrar que:
1. Si b|c y (a , c )=1 , entonces ( a , b ) =1.
Demostracin:
Si b|c , entonces
c=kb(1)
Si (a , c )=1, , por el teorema 2.3.1, existen enteros
tales que
1=xa+ yc (2)
Reemplazando (1) en (2) tenemos:
1=xa+ ykb 1=xa+ ( yk ) b
De aqu que por el teorema 2.5.1, se tiene que
2. Si
b|c , entonces
Demostracin:
Si b|c , entonces
(a , b)=1
( a , b ) =(a+ c , b)
c=kb(1)
( a+ c , b ) =( a+c ) x+ by=( a+ kb ) x+by =ax +kbx +by=ax+ ( kb+b ) y=(a , b)
3. Si
( a , c )=1, entonces ( a , b ) =( a , bc ) .
Solucin:
a|c .
Si (a , c )=1, , por el teorema 2.3.1, existen enteros
tales que
1=xa+ yc (1)
( a , b ) =as+ bt=as+bt .1=as +bt . ( xa+ yc )=as+btxa+btyc=( s +btx ) a+ ( tyc ) b=(a , b)

4. Si
a|c , b| c ,
y (a , b)=1,
entonces
ab|c .
Solucin:
Si a|c c=k 1 a(1)
Si
b|c c=k 2 b(2)
Si
( a , b ) =1 1=ax +by c=axc +byc c=ax k 2 b+ by k 1 a
c=( x k 2 ) ab+ ( y k 1 ) ab=ab ( x k 2 + y k 1 ) =k 3 ab
Por lo tanto,
5. Si
ab|c
( b , c )=1, entonces ( a , bc )=( a , b ) ( a , c )
Solucin:
Si ( b , c )=1,
entonces
1=bx +cy
( a , b ) ( a , c )=( as +tb )( aw +cz )=a2 sw+ acsz+abtw +tzbc=

Pendiente!
6. Si
( a , b ) =1, entonces ( a k , b n )=1, donde k y n son enteros positivos.
Solucin:
7. Si
( a , b ) =1, entonces ( a+b ,ab )=1 o ( a+b ,ab )=2 .
Solucin:
8. Si
( a , b c )=1, entonces ( a , b ) =1 y
Solucin:
( a , c )=1 .

3 El Máximo Común Divisor

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

3 El Máximo Común Divisor

Cargado por

Copyright:

Formatos disponibles

EL MXIMO COMN DIVISOR

es el mximo comn divisor de

positivos que dividen los valores absolutos de los enteros

es el mayor de los enteros

b . Por ejemplo, el mximo comn divisor de 24 y

a=b=0 , entonces (a, b) no existe. Si

Para demostrar que un entero positivo

es el mximo comn divisor de dos enteros

no ambos cero, es suficiente probar que

La condicin (i) establece que el mximo comn divisor g de a y b es un divisor comn de

Ejemplo: Hallar el M.C.D. de 36 y 60.

y b ; es decir, (a , b) es el menor entero positivo tal que

enteros. Evidentemente el conjunto

de enteros positivos de la forma

a +b >0 . Por lo tanto, en el conjunto

g menor que todos los dems.

g=x 1 a+ y 1 b(2.3 .1)

entonces que a 0 y b 0 . Por la propiedad de la divisin, existen enteros

es el menor de los enteros positivos de

Anlogamente se prueba que

g|b . De aqu que

cualquier otro divisor de

k a' =a y k b ' =b . Entonces

g=x 1 ( ka ' ) + y 1 ( kb ' ) =k ( x 1 a ' + y 1 b ' )

k| g . Por lo tanto, g es el mximo comn divisor.

son enteros, enteros

t . Segundo, notar que si

g ' |g . Por lo tanto,

a=q1 b+r 1 , donde 0<r 1< b ;

r k3=qk1 r k2+ r k1 ,donde 0<r k1 <r k2 ;

representan una secuencia decreciente de enteros positivos.

proceso, llamado algoritmo de Euclides produce

Para demostrar que

necesitamos probar que

De la ltima ecuacin se sigue que

r k3=qk1 ( q k q k+1 +1 ) r k +q k+1 r k =( qk1 q k q k+1 +q k1+ qk +1 ) r k

Continuando en forma anloga, podemos demostrar que

en la segunda ecuacin. Por lo tanto, usando la primera ecuacin

entonces la condicin (i) es satisfecha; es decir

b . Para demostrar que la

d|b . Entonces de la primera ecuacin se desprende que

Por lo tanto, todo divisor de a y b tambin divide a

Entonces por el algoritmo de Euclides.

( 10.672,4 .147 )=29.

El algoritmo de Euclides puede ser usado para determinar los enteros

como una funcin lineal homognea de

llevado a cabo expresado los sucesivos restos

del teorema 2.3.1,

como funcin lineal de

como funcin lineal homognea de

609=2378+ (1 ) 1769=( 2 ) 10.672+ (5 ) 4147

( 10.672,4 .147 )= (68 ) 10.672+ ( 175 ) 4147

y b=180 . Entonces, por el algoritmo de Euclides.

( 252,180 ) =( 252,180 ) =36,

546=1 336 +210

2=14 + (3 ) . ( 32+ (2 ) .14 )=( 7 ) .14+ (3 ) .32

tales que cada enunciado sea verdadero:

y=17 , existen otros conjuntos de valores

10. 13=104 x +91 y

y=1 , existen otros conjuntos de valores

11. 7=31 x +19 y

y=2 , otra solucin puede ser:

12. 16=42 x +26 y

y=1 , otra solucin puede ser