6

Propriedades do mdc
Sumrio
6.1 6.2 Propriedades do Mximo Divisor Comum . . . . . . Problemas . . . . . . . . . . . . . . . . . . . . . . . 2 6

Unidade 6

Propriedades do Mximo Divisor Comum

Estudaremos nesta unidade as propriedades bsicas do Mximo Divisor Comum.

6.1

Propriedades do Mximo Divisor Comum

Sejam a, b Z. Denimos o conjunto

I (a, b) = {xa + yb; x, y Z}.

Note que se a e b no so simultaneamente nulos, ento I (a, b) N = . De fato, temos que a2 + b2 = a a + b b I (a, b) N.

Teorema 1

Sejam a, b Z no ambos nulos. Se d = min I (a, b) N, ento i) d o mdc de a e b; e ii) I (a, b) = dZ (= {ld; l Z}).

Demonstrao

(i) Suponha que c divida a e b, logo c divide todos os nmeros naturais da forma xa + yb. Portanto, c divide todos os elementos de I (a, b), e, consequentemente, c|d. Vamos agora mostrar que d divide todos os elementos de I (a, b). Seja z I (a, b) e suponha, por absurdo, que d |z . Logo, pela Diviso Euclidiana,
z = dq + r, com 0 < r < d.

(6.1)

Como z = xa + vb e d = na + mb, para alguns x, y, n, m Z, segue-se de (6.1) que r = (x qn)a + (y qm)b I (a, b) N, o que um absurdo, pois d = min I (a, b) N e r < d. Em particular, d|a e d|b. Assim, provamos que d o mdc de a e b. (ii) Dado que todo elemento de I (a, b) divisvel por d, temos que I (a, b) dZ. Por outro lado, para todo ld dZ, temos que ld = l(na + mb) =

Propriedades do mdc
(ln)a + (lm)b I (a, b) e, portanto, dZ I (a, b). Em concluso, temos que I (a, b) = dZ.

Unidade 6

O Teorema acima nos d uma outra demonstrao da existncia do mdc de dois nmeros. Note que essa demonstrao, ao contrrio da prova de Euclides, no construtiva, no sentido de que no nos fornece um meio prtico para achar o mdc dos dois nmeros. Quaisquer que sejam a, b Z, no ambos nulos e n N, (na, nb) = n(a, b). Note inicialmente que
I (na, nb) = nI (a, b) (= {nz ; z I (a, b)}).

Corolrio 2

Demonstrao

Agora, o resultado segue do teorema e do fato que

min nI (a, b) = n min I (a, b).

Dados a, b Z, no ambos nulos, tem-se que

a b , (a, b) (a, b) = 1.

Corolrio 3

Pelo Corolrio 1, temos que

(a, b) a b , (a, b) (a, b) = (a, b) a b , (a, b) (a, b) (a, b) = (a, b),

Demonstrao

o que prova o resultado. Dois nmeros inteiros a e b sero ditos primos entre si, ou coprimos, se (a, b) = 1; ou seja, se o nico divisor comum positivo de ambos 1.

Unidade 6

Propriedades do Mximo Divisor Comum

Proposio 4

Dois nmeros inteiros a e b so primos entre si se, e somente se, existem nmeros inteiros n e m tais que na + mb = 1. Suponha que a e b so primos entre si. Logo, (a, b) = 1. Como, pelo Teorema 1, temos que existem nmeros inteiros n e m tais que na + mb = (a, b) (= 1), segue a primeira parte da proposio. Reciprocamente, suponha que existam nmeros inteiros n e m tais que na + mb = 1. Se d = (a, b), temos que d|(na + mb), o que mostra que d|1, e, portanto, d = 1. A Proposio 4 estabelece uma relao crucial entre as estruturas aditiva e multiplicativa dos nmeros naturais, o que permitir provar, entre vrios outros resultados, o importante teorema a seguir.

Demonstrao

Teorema 5

Sejam a, b e c nmeros inteiros. Se a|b c e (a, b) = 1, ento a|c. Se a|b c, ento existe e Z tal que bc = ae. Se (a, b) = 1, ento, pela Proposio 4, temos que existem m, n Z tais que
na + mb = 1.

Demonstrao

Multiplicando por c ambos os lados da igualdade acima, temos que

c = nac + mbc.

Substituindo bc por ae nesta ltima igualdade, temos que

c = nac + mae = a(nc + me)

e, portanto, a|c.

Corolrio 6

Dados a, b, c Z, com b e c no ambos nulos, temos que

b|a e c|a bc |a. (b, c)

Propriedades do mdc
De fato, temos que a = nb = mc para alguns n, m Z. Logo,
n c b =m . (b, c) (b, c) b |m, o que implica que (b, c)

Unidade 6

Demonstrao

Como
c

b c , (b, c) (b, c)

= 1, segue-se que

b |cm. Como cm = a, o resultado segue. (b, c)

A noo de mdc pode ser generalizada como a seguir. Um nmero natural d ser dito mdc de dados nmeros inteiros a1 , . . . , an , no todos nulos, se possuir as seguintes propriedades: i) d um divisor comum de a1 , . . . , an . ii) Se c um divisor comum de a1 , . . . , an , ento c|d. O mdc, quando existe, certamente nico e ser representado por
(a1 , . . . , an ).

Dados nmeros inteiros a1 , . . . , an , no todos nulos, existe o seu mdc e

(a1 , . . . , an ) = (a1 , . . . , (an1 , an )).

Proposio 7

Vamos provar a proposio por induo sobre n ( 2). Para n = 2, sabemos que o resultado vlido. Suponha que o resultado vale para n. Para provar que o resultado vlido para n + 1, basta mostrar que
(a1 , . . . , an , an+1 ) = (a1 , . . . , (an , an+1 )),

Demonstrao

pois isso provar tambm a existncia. Seja d = (a1 , . . . , (an , an+1 )). Logo, d|a1 , . . . , d|an1 e d|(an , an+1 )). Portanto, d|a1 , . . . , d|an1 , d|an e d|an+1 . Por outro lado, seja c um divisor comum de a1 , . . . , an , an+1 ; logo, c um divisor comum de a1 , . . . , an1 e (an , an+1 ); e, portanto, c|d. Para calcular o nmero (a1 , . . . , an ), pode-se usar recursivamente o Algoritmo de Euclides.

Unidade 6

Problemas
6.2
1.

Problemas

Mostre que, se (a, b) = 1, a|c e b|c, ento a b|c. (a) Mostre que, se (a, b) = 1, ento (a c, b) = (c, b). (b) Mostre que (a c, b) = 1 se, e somente se, (a, b) = (c, b) = 1.

2.

3.

Suponha que (a, b) = (a, d) = (c, b) = (c, d) = 1. (a) Mostre que (a c, b d) = 1. (b) Mostre que (an , bm ) = 1, n, m N. (c) Mostre que, se n N, ento (a + b, bn ) = (a b, bn ) = 1.

4.

(a) Mostre que, se n mpar, ento n(n2 1) divisvel por 24. (b) Mostre que 24 divide n(n2 1)(3n + 2) para todo n N.

5.

(a) Mostre que n5 n divisvel por 30. (b) Mostre que n5 e n possuem o mesmo algarismo das unidades.

6.

Mostre que a|bc se, e somente se,

a |c. (a, b)

7.

Sejam a e b dois nmeros inteiros com (a, b) = 1. (a) Mostre que (b + a, b a) 1 ou 2. (b) Mostre que (a + b, a2 + b2 ) 1 ou 2.

8.

Sejam a, b Z com (a, b) = 1 e m N. (a) Se a = b, mostre que a b,

am bm ab = (a b, m). am + bm a+b = (a + b, m).

(b) Se a + b = 0 e m mpar, mostre que a + b,

9.

Mostre que, se a, b, x, y Z, com ax + by = (a, b), ento (x, y ) = 1. Calcule (1116, 984, 852).

10.

Propriedades do mdc
Trs nmeros inteiros so ditos primos entre si se (a, b, c) = 1. Mostre que trs nmeros inteiros, dois a dois primos entre si, so primos entre si. Mostre que no vale a recproca; isto , ache trs nmeros inteiros primos entre si e que no dois a dois primos entre si. Mostre que, para todo n N, tem-se que n + 1 divide
2n n
.

Unidade 6

11.

12.