Semestre II-2021 MAT 100 ALGEBRA I “B” Ing. L. Gonzalo Arteaga T.

# Avance 8 - (05.Oct.21) comp 12.Oct

ALGORITMO DE LA DIVISION ENTERA.

Definición.- Dados dos enteros a y b, donde a > b, existirán dos enteros q y r llamados
cociente y resto respectivamente que satisfacen:
i) a= b q + r
ii) 0 r b

ALGORITMO DE EUCLIDES
Definición.- Máximo Común Divisor de Z.- El máximo común divisor positivo de dos
enteros a y b no simultáneamente nulos, se denota por:
m.c.d. (a , b) = a ^ b = d
(*) Propiedad.- El máximo común divisor de dos enteros a y b ; con b>0, se identifica con
el máximo común divisor entre b y r, siendo r el resto de la división de a por b.
Considerando la relación divisor: x l y : “ x divide a y” ; escribimos dos conjuntos A y B
definidos por:
A = { x ϵ Z / x l a ^ x l b } (define m.c.d. entre a y b)
B = { x ϵ Z / x l b ^ x l r } (define m.c.d. entre b y r)
Donde: a = bq + r ; 0 r b
Si ambos conjuntos son iguales, esto es si A=B, entonces se verifica la propiedad.
Demostración:
i) Sea x ϵ A => x l a ^ x l b
=> x l a ^ x l b ^ x l bq (prop de divisor)
=> x l b ^ x l (a – bq) (prop de divisor)
=> x l b ^ x l r (algoritmo de división)
=> x ϵ B => A ϲ B
ii) Sea x ϵ B => x l b ^ x l r
=> x l b ^ x l bq ^ x l r (prop de divisor)
=> x l bq ^ x l r ^ x l b (prop de divisor)
=> x l (bq + r) ^ x l b (algoritmo de división)
=> x l a ^ x l b
=> x ϵ A => B ϲ A
Entonces A = B

Determinación de mcd por el algoritmo de Euclides

Sean los enteros a y b con b>0, por el algoritmo de la división entera existen los enteros
q1 y r1 que satisfacen:
a= bq1 + r1 0 r1 b
por (*) a ^ b = b ^ r1 si r1 = 0 => a ^ b = b
Pero si r1 > 0 seguimos dividiendo el divisor entre el resto hasta llegar a un resto nulo al
cabo de n+1 etapas, así tendríamos:
b= r1 q2 + r2 0 r 2 r1
r1=r2 q3 + r3 0 r 3 r2
r2=r3 q4 + r4 0 r 4 r3
............ ..........
.rn-2 = rn-1 qn + rn 0 rn rn-1
.rn-1 = rn qn+1 + 0 0 = rn+1 rn
Semestre II-2021 MAT 100 ALGEBRA I “B” Ing. L. Gonzalo Arteaga T.

Vemos que los sucesivos restos disminuyen y son enteros no negativos, llegando a un
resto nulo en la etapa n+1;
Teniendo en cuenta (*)
.a ^ b = b ^ r1 = r1 ^ r2 = r1 ^ r3 = … = rn-1 ^ rn = rn ^0 = rn  a ^ b = rn

Entonces el máximo común divisor positivo de dos enteros no nulos es el último resto
no nulo que se obtiene por el algoritmo de Euclides. Podemos ejecutar esas divisiones
sucesivas bajo un esquema

q1 q2 q3 qn qn-1
a b r1 r2 … rn-1 rn
r1 r2 r3 rn 0

Ejemplo: Hallar el mcd entre 198 y 6060

30 1 1 1 1 6
6060 198 120 78 42 36 6
120 78 42 36 6 0

Números Primos
Definición.- El entero no nulo p 1 es primo si y solo si los únicos divisores que admite
son : +1, -1, +p , -p
Definición.- Dos enteros son coprimos si y solo si su máximo común divisor positivo es
igual a 1.
Ejemplo: Hallar el mcd entre 3423 y 155
22 11 1 12 #¡DIV/0! #¡DIV/0!
3423 155 13 12 1 0 #¡DIV/0!
13 12 1 0 #¡DIV/0! #¡DIV/0!
Así, 3423 y 155 son coprimos

Factorización en Z.-

Todo entero mayor que 1 puede descomponerse en el producto de 1 por factores primos
positivos. Salvo el orden en que se consideren los factores, esa descomposición es única.

PRACTICA 7

1.- Efectuar las operaciones en N2=Z

a).- [(12,3) + (4,7)] x [(5,2) x (4,12) + (6,2)]
b).- Calcular X = (x,y)
(7,2). (x,y) + (4,1) . (3,8)=(3,6) . (x,y) + (5,12)
2.- Hallar el mcd:
a).- 9473 ; 428
b).- 12045 ; 1620
Semestre II-2021 MAT 100 ALGEBRA I “B” Ing. L. Gonzalo Arteaga T.

22 7 1 1 28 #¡DIV/0!
9473 428 57 29 28 1 0
57 29 28 1 0 #¡DIV/0!

7 2 3 2 1 4
12045 1620 705 210 75 60 15
705 210 75 60 15 0

# Avance 8 (cont) - (05.Oct.21)21 comp 12.Oct

TEMA – MAXIMO COMUN DIVISOR – ALGORITMO DE EUCLIDES (cont)

Considerando el proceso de división descrito, definimos:

Definicion.- a,b Z ; el elemento c es un divisor común de a y b  c l a y c l b

Definicion.- a,b Z , a 0 v b 0 => c Z+ es el máximo común divisor de a y b si:
i) . c l a ^ c l b (c es divisor común de ambos)
ii) Para cualquier común divisor d de a y b, se cumple d l c

Ejemplo: los divisores comunes de 36 y 90 son: 1,2,3,6,9 y 18 => el mayor es =18 =c

Cualquier otro divisor común , ej. d=6, satisface d l c 6 l 18
Entonces el m.c.d (36;90) = 18
Definición.- a,b Z+ ; el máximo divisor entre a y b existe y es único denotado por:
mcd (a,b)
Aquí: mcd(a,b) = mcd(-a,b) = mcd(a,-b) = mcd(-a,-b)

El mcd(a,b) no solo existe sino que mcd(a,b) también es el entero positivo más
pequeño que se puede escribir como una combinación lineal de a y b de la forma:
: c = ax + by x,y Z a, b, c Z+
Sabiendo que dos enteros positivos a, b, Z+ son primos relativos o coprimos cuando
mcd(a,b) = 1, entonces existen x,y Z tal que :
; ax + by = 1
Ejemplo: el mcd(36,90) = 18, podemos encontrar x,y Z tales que
36 x +90 y = 18 => 2 x + 5 y = 1 por inspección x=-2 y y=1 satisface
Asi: 2 (-2) + 5 (1) = 1 es una solución. (solución particular)

Pero si consideramos un elemento ; k Z , otras soluciones se obtendrían a partir de:

2 (5k-2) + 5 (1-2k) = 1
Entonces: 36 (5k-2) + 90 (1-2k) = 18 y las soluciones para x , y no son únicas.
x = 5k-2 ; y = 1-2k soluciones generales

Por lo anterior y de manera general: si mcd(a,b) = d => mcd ((a/d) , (b/d)) = 1

Y sea su combinación lineal

1 = (a/d) xo + (b/d) yo xo , yo : solución particular

Entonces:
1 = (a/d)(xo – (b/d)k ) + (b/d)(yo + (a/d)k) k Z
Asi:
.d = (a)(xo – (b/d)k ) + (b)(yo + (a/d)k) (*)
Semestre II-2021 MAT 100 ALGEBRA I “B” Ing. L. Gonzalo Arteaga T.

Ecuación que produce un número infinito de soluciones para la ecuación d = ax + by

Ejemplo.- Determinar el mcd entre 4325 y 745, y expresar como combinación lineal de
elementos x , y Z

5 1 4 7 4 #¡DIV/0!
4325 745 600 145 20 5 0
600 145 20 5 0 #¡DIV/0! #¡DIV/0!
: mcd (4325 , 745 ) = 5

Luego, por el algoritmo de la división: si a = bq + r => r = a - bq

5 = 145 – 7 x 20 20 = 600 – 4x145
5 = 145 – 7 x (600 – 4 x145)
5 = (29)(145) - (7)(600) 145 = 745 – 1x600
5 = (29)(745-1x600) –(7)(600)
5 = (29)(745) – (36)(600) 600 = 4325 – 5x745
5 = (29)(745) – (36)(4325-5x745)
5 = (209)(745) – (36)(4325)
Escribimos: 5 = 4325 (-36) + 745 (209) => 1 = (4325/5)(-36) +(745/5)(209)
Expresando así el mcd entre a y b como combinación lineal: d = ax + by
Con la solución particular xo = -36 yo = 209
Sin embargo, de acuerdo a (*)
5 = 4325 ((745/5)k-36) + 745(209-(4325/5)k) k Z
Expresión que produce un número infinito de soluciones si k adopta diferentes valores.