Propriedades dos inteiros

Teorema (Algoritmo da Divisao)

Sejam a e b n
umeros inteiros, com b > 0. Entao existem n
umeros
inteiros q e r , u
nicos e tais que a = bq + r , com 0 r < b.
Demonstrac
ao. Existencia:
Consideremos S = {a bk | k Z a bk 0}.
Se 0 S, ent
ao b divide a. Fazendo q = a/b e r = 0 temos o pretendido.
Suponhamos agora que 0
/ S. Como 0
/ S, temos que k Z, a 6= bk, ou
seja, b n
ao divide a, donde a 6= 0. Se a > 0, a b 0 S; se a < 0,
a b(2a) = a(1 2b) S. Assim, pelo Princpio de Boa Ordenac
ao, podemos
afirmar que S tem um elemento mnimo, digamos r = a bq, para algum
q Z. Assim obtemos que a = bq + r e r 0 (por definic
ao de S), faltando
provar que r < b.
Suponhamos que r > b, ent
ao a b(q + 1) = a bq b = r b > 0. Deste
modo a b(q + 1) S e a b(q + 1) < a bq, o que n
ao pode ser, pois a bq
e o elemento mnimo de S. Portanto, r b. Se r = b, ent
ao b = a bq, isto
e, a b(q + 1) = 0. Assim 0 S o que contradiz a hip
otese. Logo r < b.
Unicidade de q e de r :
Suponhamos que a = bq + r , com 0 r < b e a = bq 0 + r 0 , com 0 r 0 < b.
Podemos supor que r 0 r . Temos que bq + r = bq 0 + r 0 , ou seja,
b(q q 0 ) = r 0 r . Como b divide r 0 r e 0 r 0 r r 0 < b, temos que

r 0 r = 0. Logo r 0 = r e consequentemente
q 0 = q.
Algebra
(Curso de CC)
Ano lectivo 2005/2006

32 / 68

Propriedades dos inteiros

Os inteiros a e b referidos no teorema anterior designam-se por dividendo

e divisor, respectivamente. Os inteiros q e r designam-se,
respectivamente, por quociente e resto da divisao de a por b.

Exemplo
Para a = 27 e b = 6, o algoritmo da divisao da 27 = 6 4 + 3.
O algoritmo da divisao, para a e b inteiros positivos, pode ser descrito da
forma seguinte.

Algoritmo (Algoritmo da divisao)

Input: dois n
umeros inteiros positivos a e b (a b)
q 0; r 0;
while (a q b b) do
q q + 1;
r a q b;

fim;
Output: dois n
umeros inteiros q e r tais que a = bq + r e 0 r < b

Algebra
(Curso de CC)

Ano lectivo 2005/2006

33 / 68

Propriedades dos inteiros

Exerccio
Escreva uma funcao GAP que efectue o algoritmo da divisao. Dados os
inteiros positivos a e b deve devolver os valores de q e de r numa lista da
forma [q, r ].
Crie uma outra funcao que permita testar a funcao acabada de construir
com valores gerados aleatoriamente (use a funcao RandomList).
No GAP as func
oes QuoInt e RemInt permitem calcular,
respectivamente, o quociente e o resto da divisao de dois n
umeros
inteiros positivos. A funcao QuotientRemainder devolve uma lista com
o quociente e o resto da divisao de dois n
umeros inteiros positivos. O
operador mod calcula o resto da divisao de dois n
umeros inteiros
quaisquer (sendo o divisor nao nulo).
gap>
4
3
gap>
[ 4,
gap>
3

QuoInt(27,6); RemInt(27,6);

QuotientRemainder(27,6);
3 ]
27 mod 6;

Algebra
(Curso de CC)

Ano lectivo 2005/2006

34 / 68

Propriedades dos inteiros

Exerccio
Em Illinois (EUA) os u
ltimos tres dgitos da carta de conducao sao
determinados pela f
ormula: 31(m 1) + d + s, onde m e o n
umero
correspondente ao mes de nascimento, d e o dia de nascimento e s vale 0
se for homem e 600 se for mulher.
Escreva um programa no GAP que, dados os tres u
ltimos dgitos de uma
carta de conducao emitida em Illinois, determine o sexo, o mes e o dia de
nascimento do condutor.
Teste o programa para os seguintes casos: 972 = 31 11 + 31 (mulher
que nasceu em Dezembro, mes 12, no dia 31); 341 = 31 10 + 31
(n
umero invalido); 001 = 31 0 + 1 (homem que nasceu em Janeiro, mes
1, no dia 1).

Algebra
(Curso de CC)

Ano lectivo 2005/2006

35 / 68

Propriedades dos inteiros

Definicao (Maximo Divisor Comum)

O maximo divisor comum de dois inteiros a e b nao simultaneamente
nulos e o maior de todos os divisores comuns a ambos. Vamos denotar
este inteiro por mdc(a, b).
Note-se que, se d divide a e b, entao d tambem divide a e b. Assim,
pretendendo encontrar o maior de todos os divisores comuns de dois
inteiros, basta considerar divisores positivos, como se afirma na primeira
parte da seguinte nota.

Nota
Sendo a e b inteiros nao simultaneamente nulos,
(i) mdc(a, b) = max{k N | k|a k|b};
(ii) mdc(a, b) = mdc(b, a);
(iii) mdc(a, 0) =| a |.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

36 / 68

Propriedades dos inteiros

No GAP a funcao DivisorsInt da uma lista dos divisores positivos de

um inteiro nao nulo.

Exemplo
Determinacao (pela definicao) de mdc(16, 20) (fazendo uso do GAP):
gap>
[ 1,
gap>
[ 1,
gap>
[ 1,
gap>
4

D16:=DivisorsInt(16);
2, 4, 8, 16 ]
D20:=DivisorsInt(20);
2, 4, 5, 10, 20 ]
DC:=Intersection(D16,D20);
2, 4 ]
Maximum(DC);

Exerccio
Construa uma funcao GAP para determinar o maximo divisor comum de
dois n
umeros inteiros nao simultaneamente nulos, com base na definicao.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

37 / 68

Propriedades dos inteiros

Proposicao (Euclides)
Sejam a e b inteiros positivos e seja a = qb + r , com q, r Z e
0 r < b. Entao mdc(a, b) = mdc(b, r ).
Demonstrac
ao. Para provar que mdc(a, b) = mdc(b, r ) basta provar que
{k N | k|a k|b} = {k N | k|b k|r }.
: Se k | a e k | b, para algum k N, ent
ao k | a qb = r .
: Se k | b e k | r = a qb, para algum k N, ent
ao k | a qb + qb = a.

Exemplo
Vamos determinar mdc(154, 105).
154 = 105 1 + 49
105 = 49 2 + 7
49 = 7 7 + 0

(mdc(154, 105) = mdc(105, 49))

(mdc(105, 49) = mdc(49, 7))
(mdc(49, 7) = mdc(7, 0))

Assim, mdc(154, 105) = mdc(105, 49) = mdc(49, 7) = mdc(7, 0) = 7.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

38 / 68

Propriedades dos inteiros

Este processo (designado por Algoritmo de Euclides) permite determinar

mdc(a, b), a e b inteiros positivos, realizando divis
oes sucessivas de
forma a encontrar uma sequencia decrescente de inteiros
r1 > r2 > ... > rk tais que:
a = bq1 + r1
b = r1 q2 + r2
r1 = r2 q3 + r3

rk2 = rk1 qk + rk
rk1 = rk qk+1 + 0

0 < r1
0 < r2
0 < r3

0 < rk

<b
< r1
< r2
< rk1

mdc(a, b) e igual a rk , o resto que antecede o resto nulo.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

39 / 68

Propriedades dos inteiros

Algoritmo (Algoritmo de Euclides)

Input: dois n
umeros inteiros positivos a e b
r1 a; r2 b;
while r2 6= 0 do
r0 r1 ;
r1 r2 ;
r2 r0 mod r1 ;

end;
Output: r1 , o maximo divisor comum de a e b

Exerccio
Construa uma funcao GAP que, dados dois n
umeros inteiros positivos,
determine atraves do Algoritmo de Euclides o seu maximo divisor comum.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

40 / 68

Propriedades dos inteiros

Exemplo
Vamos aplicar o Algoritmo de Euclides para determinar mdc(3150, 495).
3150
495
180
135

=
=
=
=

495 6 + 180
180 2 + 135
135 1 + 45
45 3 + 0

Resulta que mdc(3150, 495) = 45.

As igualdades anteriores permitem escrever 45 como uma combinacao
linear de 3150 e 495:
45 = mdc(3150, 495)

=
=
=
=
=
=

180 135 1
180 1 (495 2 180)
3 180 1 495
3 (3150 6 495) 1 495
3 3150 19 495
3 3150 + (19) 495

Encontramos inteiros x e y (x = 3 e y = 19) tais que

mdc(3150, 495) = x 3150 + y 495.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

41 / 68

Propriedades dos inteiros

Teorema (MDC como combinacao linear)

Sejam a e b inteiros nao simultaneamente nulos. Entao existem inteiros
x e y tais que mdc(a, b) = xa + yb. Alem disso, mdc(a, b) e o menor
inteiro positivo da forma xa + yb.
Demonstrac
ao. Seja S = {ma + nb | m, n inteiros e ma + nb > 0}. Como S e
n
ao vazio (se uma escolha de m e n faz ma + nb < 0, ent
ao substitui-se m e n
por m e n, obtendo, assim, um elemento de S), o Princpio de Boa
Ordenac
ao diz que S tem um elemento mnimo, digamos d = xa + yb, onde x
e y s
ao inteiros.
Vejamos que d = mdc(a, b). O Algoritmo da Divis
ao permite escrever
a = dq + r , com 0 r < d. Vamos supor que r > 0. Assim,
r = a dq = a (xa + yb)q = a xaq ybq = (1 xq)a + (yq)b S,
contradizendo o facto de que d e o elemento mnimo de S. Logo r = 0 e d
divide a. De forma an
aloga prova-se que d divide b. Isto prova que d e um
divisor comum de a e b.
Resta provar que d e o menor divisor comum de a e b. Suponhamos que d 0 e
outro divisor comum de a e b. Ent
ao, para alguns g e h inteiros, a = d 0 g e
0
b = d h. Assim, d = xa + yb = x(d 0 g ) + y (d 0 h) = d 0 (xg + yh), portanto d 0 e
um divisor de d. Logo, d e o maior de todos os divisores comuns a a e b.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

42 / 68

Propriedades dos inteiros

Algoritmo (Algoritmo de Euclides - versao alargada)

Input: dois n
umeros inteiros positivos a e b
r1 a; r2 b;
x1 1; x2 0;
y1 0; y2 1; while r2 6= 0 do
r0 r1 ; r1 r2 ;
x0 x1 ; x1 x2 ;
y0 y1 ; y1 y2 ;
q QuocienteInteiro(r0 , r1 );
r2 r0 q r1 ;
x2 x0 q x1 ;
y2 y0 q y1 ;

end;
Output: inteiros x1 e y1 tais que r1 = mdc(a, b) = x1 a + y1 b

Algebra
(Curso de CC)

Ano lectivo 2005/2006

43 / 68

Propriedades dos inteiros

Existem no GAP as func

oes GcdInt e Gcdex para determinar o maximo
divisor comum de dois inteiros nao simultaneamente nulos. Esta u
ltima,
encontra os n
umeros necessarios para escrever o maximo divisor comum
como uma combinacao linear.
gap> GcdInt(2520,154);
14
gap> Gcdex(2520,154);
rec(gcd:=14,coeff1:=3,coeff2:=-49,coeff3:=-11,coeff4:=180)
No output da funcao Gcdex, coeff1 e coeff2 sao os inteiros x e y
necessarios para escrever mdc(a, b) = xa + yb e coeff3 e coeff4 sao
inteiros m e n tais que 0 = ma + nb. No caso do exemplo, o output
diz-nos que mdc(2520, 154) = 14, que
mdc(2520, 154) = 2520 3 + 154 (49) e, ainda, que
0 = 2520 (11) + 154 180.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

44 / 68

Propriedades dos inteiros

Teorema (Caracterizacao do maximo divisor comum)

Sejam a, b, d Z+ . As afirmac
oes seguintes sao equivalentes:
(i) d = mdc(a, b).
(ii) d e um divisor comum de a e b tal que todo o divisor comum de a e
b divide d.
(iii) d e o menor inteiro positivo da forma xa + yb, com x, y inteiros, isto
e, d = min{i N | x, y Z : i = xa + yb}.
Demonstrac
ao. (i)(ii) Seja d = mdc(a, b). Ent
ao d = xa + yb, para alguns
inteiros x e y . Se c e um divisor comum de a e b, ent
ao c | xa + yb = d.
(ii)(i) Seja D um divisor comum de a e b tal que todo o divisor comum de a
e b divide D. Como mdc(a, b) e um divisor comum de a e b, ent
ao mdc(a, b)
divide D e, portanto, mdc(a, b) D. Por outro lado, D n
ao pode ser maior
que o m
aximo divisor comum de a e b. Logo, D tem que ser igual a mdc(a, b).
(i)(iii) J
a foi provado no teorema anterior.

Na demonstracao da proposicao seguinte intervem (iii), isto e, o facto de

mdc(a, b) ser o menor inteiro positivo que se pode escrever como
combinacao linear de a e b.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

45 / 68

Propriedades dos inteiros

Proposicao
Sejam a e b inteiros positivos.
(i) Sendo n N, tem-se mdc(na, nb) = n mdc(a, b).
(ii) Se d for um

divisor comum positivo de a e b, entao
mdc da , db = d1 mdc(a, b).
Demonstrac
ao. (i) Existem x, y , r , s Z tais que
mdc(na, nb) = xna + ynb e mdc(a, b) = ra + sb.
Ent
ao, mdc(na, nb) = xna + ynb = n(xa + yb) n mdc(a, b).
A outra desigualdade: n mdc(a, b) = n(ra + sb) = nra + nsb mdc(na, nb).
(ii) Seja d um divisor
` positivo
comum `a a ea b. Utilizando (i) temos que
mdc(a, b) = mdc d da , d db = d mdc da , db .

Quando mdc(a, b) = 1, os inteiros a e b dizem-se primos entre si.

Proposicao
Sejam a, b e c inteiros, com a e b primos entre si. Se a | bc, entao a | c.
Demonstrac
ao. Tem-se bc = ka e ax + by = 1, para certos inteiros k, x, y .
Assim, c = c 1 = c(ax + by ) = cax + cby = cax + kay = a(cx + ky ). Logo,
a | c.

Algebra
(Curso de CC)

Ano lectivo 2005/2006

46 / 68