1

Os n¶
umeros inteiros

1.1 Propriedades b¶
asicas
Nesta se»c~ao exploraremos o que consideramos serem as propriedades b¶asicas dos n¶umeros
inteiros, ou o ponto de partida para o estudo sistem¶atico de suas propriedades.
Assumiremos que existe um conjunto Z, cujos elementos s~ao chamados de n¶umeros
inteiros, tendo Z dois elementos destacados, 0 (zero) e 1 (um), e tamb¶em duas opera-
»c~oes, a adi»c~ao (+) e a multiplica»c~ao (¢).
Sendo a e b dois inteiros quaisquer, denotamos por a + b a soma de a e b, e por
a ¢ b (ou por ab, quando isto n~ao nos causar confus~ao), o produto de a por b.
Os inteiros satisfazem aos seguintes axiomas:

² Fechamento: a + b e a ¢ b s~ao inteiros sempre que a e b forem inteiros.

² Leis comutativas: a + b = b + a e a ¢ b = b ¢ a, para quaisquer inteiros a e b.
² Leis associativas: (a + b) + c = a + (b + c) e (a ¢ b) ¢ c = a ¢ (b ¢ c), para
quaisquer inteiros a, b e c.
² Leis dos elementos neutros: a + 0 = a e a ¢ 1 = a, para todo inteiro a.
² Lei distributiva: (a + b) ¢ c = a ¢ c + b ¢ c
² Lei da exist^encia de inversos aditivos: Para cada inteiro a, existe um inteiro x tal
que a + x = 0. Este inteiro x ¶e chamado inverso aditivo ou oposto de a e ¶e
denotado por ¡a. Sendo a e b dois inteiros, de¯ne-se a ¡ b = a + (¡b).
² Lei do cancelamento da multiplica»c~ao: Se a, b e c s~ao inteiros, com c 6
= 0, e
a ¢ c = b ¢ c ent~ao a = b.

A partir das propriedades acima, tomadas aqui como axiomas (ou postulados, e das
propriedades habituais da igualdade, podemos deduzir outras propriedades dos n¶umeros

1
 ¶meros inteiros
Os nu 2

inteiros, as quais, por serem deduzidas, recebem o nome de teoremas. Como exemplo
de uma dessas propriedades, temos o seguinte

Teorema 1.1 Se a ¶e um inteiro qualquer, a ¢ 0 = 0.

Demonstra»c~ao. Chamemos a ¢ 0 = x. Ent~ao temos:

x = a ¢ 0 = a ¢ (0 + 0) (0 ¶e elemento neutro da adi»c~ao)

=a¢0+a¢0 (Lei distributiva)
=x+x

Assim, x + x = x. Somando ¡x, o oposto de x, a ambos os membros, temos

(x + x) + (¡x) = x + (¡x). Aplicando a lei associativa da adi»c~ao, deduzimos que
x + (x + (¡x)) = 0, ou seja, x + 0 = 0. Usando novamente o fato de que 0 ¶e
elemento neutro da adi»c~ao, obtemos x = 0.
Portanto, a ¢ 0 = 0, conforme quer¶³amos demonstrar.
Aqui e no restante do texto, o quadrado signi¯ca o ¯m de uma demonstra»c~ao.
A ordena»c~ao dos inteiros ¶e um conceito, de¯nido axiomaticamente, da seguinte
forma:
Existe um conjunto P , subconjunto de Z, cujos elementos s~ao chamados inteiros
positivos, caracterizado pelos seguintes axiomas:

² Fechamento do conjunto P : Se a e b s~ao inteiros positivos, ent~ao a + b e ab

tamb¶em s~ao inteiros positivos.

² Lei da tricotomia: Para cada inteiro a, vale uma e somente uma das a¯rma»c~oes:

a 2 P; a = 0; ¡a 2 P

O conjunto Z diz-se ordenado por satisfazer aos axiomas acima.

Habitualmente, escrevemos a > 0, em lugar de a 2 P . Assim, os axiomas de
ordena»c~ao dos inteiros podem ser reescritos da seguinte forma:

² Se a > 0 e b > 0, ent~ao a + b > 0 e a ¢ b > 0.

² Para cada inteiro a, tem-se uma e somente uma das a¯rma»co~es:

a > 0; a = 0; ¡a > 0

ao 1.1 Sendo a e b inteiros quaisquer, dizemos que a < b (a ¶e menor que b),
De¯ni»c~
ou que b > a (b ¶e maior que a), se b ¡ a > 0. Escrevemos a · b quando a < b ou
a = b.
 ¶meros inteiros
Os nu 3

V¶arias propriedades da ordena»c~ao dos inteiros podem ser provadas usando-se os

axiomas de ordena»c~ao, juntamente com propriedades elementares das opera»co~es + e ¢.
Um exemplo dessas propriedades ¶e a seguinte:

ao 1.1 Sendo a, b e c inteiros,

Proposi»c~

1. se a > b e c > 0, ent~ao ac > bc;

2. se a > b e c < 0 ent~ao ac < bc.

Demonstra»c~ao. Se a > b ent~ao a ¡ b > 0, conforme a de¯ni»c~ao 1.1. Se c > 0 ent~ao,

pelo primeiro axioma da ordena»c~ao de Z, (a ¡ b)c > 0.
Logo, (a + (¡b))c > 0 e ent~ao ac + (¡b)c > 0.
Agora, podemos demonstrar que (¡b)c = ¡bc (fa»ca a demonstra»c~ao disto).
Assim, deduzimos que ac ¡ bc > 0 e portanto ac > bc.
Demonstre agora, para exercitar-se, que se a > b e c < 0, ent~ao ac < bc.
Finalizando nosso conjunto de axiomas para o conjunto Z, temos o axioma da boa
ordena»c~ao:

Axioma 1.1 O conjunto P dos inteiros positivos ¶e bem ordenado, ou seja, todo sub-
conjunto n~ao vazio de P possui um menor (ou primeiro) elemento. Em outras palavras,
para cada conjunto A, subconjunto de P , se A 6 = ¿, ent~ao existe a 2 A tal que
a · x para todo x 2 A.

O axioma da boa ordena»c~ao dos inteiros positivos torna o conjunto Z substan-

cialmente diferente do familiar conjunto Q dos n¶umeros racionais (admitamos, por um
momento, familiaridade com o conjunto Q). Seja Q+ o conjunto dos racionais positivos.
Note que existem subconjuntos de Q+ , n~ao vazios, sem um primeiro (menor) elemento.
O pr¶oprio Q+ ¶e um tal subconjunto.
Recordemo-nos de que um n¶umero real x ¶e um n¶umero racional se existem inteiros
a e b tais que x = a=b. Um n¶umero real n~ao racional ¶e um n¶umero p irracional. Os
umeros irracionais. Tamb¶em 2 ¶e um n¶umero
n¶umeros ¼ e e s~ao exemplos famosos de n¶
irracional e este fato pode ser demonstrado usando-se a propriedade de boa ordena»c~ao
dos inteiros positivos.

p
Teorema 1.2 2 ¶e irracional.

p
Demonstra»c~ao. Suponhamos que 2 ¶e um n¶umero racional. Mostraremos que uma tal
suposi»c~ap
o nos leva a uma contradi»c~ao (uma a¯rma»c~ao falsa). Logo, a suposi»c~ao inicial,
de que 2 ¶e um n¶umero racional, ¶e falsa (pois de uma a¯rma»c~ao verdadeira n~ao se
 ¶meros inteiros
Os nu 4

p
pode deduzir uma falsa, um axioma da l¶ogica elementar). Assim conclu¶³mos que 2 s¶o
pode ser irracional.
p
pPois bem, tendo assumido
p que 2 ¶e racional, existem inteiros positivos a e b tais
que 2 = a=b. Da¶³, b ¢ 2 = a.
p
Consideremos o conjunto A, dos inteiros positivos m tais que m e m 2 p s~ao
ambos inteiros positivos. A ¶e n~ao vazio, visto que b 2 A (b ¶e inteiro positivo, e b 2
¶e o inteiro positivo a).

p boa ordena»c~ao dos inteiros positivos, A tem um menor elemento

Pelo princ¶³pio da
s. Temos que s e s 2 s~ao ambos inteiros positivos.
p p
p Considere ent~ao o inteiro r = s 2 ¡ p s. Temos r = s( 2 ¡ p 1) < s, pois
2 ¡ 1 < 1.pr ¶e um inteiro
p positivo,
p pois 2p ¡ 1 > 0. Al¶em disso, r 2 ¶e tamb¶em
um inteiro: r 2 = (s 2 ¡ s) 2 = 2s ¡ s | {z2}.
inteiro

Assim, r 2 A, mas r ¶e menor que o primeirop elemento de A. Temos ent~ao

uma
p contradi»
c~ao. Logo, nossa suposi»
c~ao de que 2 ¶
e racional est¶a errada. Portanto,
2 2 Q.

1.1.1 Exerc¶³cios

Sendo P1 e P2 duas a¯rma»co~es matem¶aticas, ao escrever P1 ) P2 queremos dizer

\Se P1 ent~ao P2 ", ou que \P1 acarreta (ou implica) P2".

1. Use os axiomas das opera»c~oes adi»c~ao e multiplica»c~ao em Z, para demonstrar que,

sendo a e b inteiros quaisquer,
(a) (a + b)2 = a2 + 2ab + b2 (b) (¡1) ¢ a = ¡a
2
(c) Se a = a ent~ao a = 0 ou a = 1 (d) ¡(a + b) = (¡a) + (¡b)
(e) (¡a)b = ¡ab
2. Admita, no conjunto de axiomas dos n¶umeros inteiros, a propriedade

a ¢ b = 0 ) a = 0 ou b = 0

em lugar da lei do cancelamento da multiplica»c~ao. Demonstre ent~ao a lei do

cancelamento da multiplica»c~ao a partir de tal propriedade, admitindo as demais
propriedades axiom¶aticas das opera»c~oes em Z.

3. Use os axiomas da rela»c~ao \<" em Z, bem como propriedades da adi»c~ao e da

multiplica»c~ao em Z, para demonstrar que, sendo a, b e c inteiros,
(a) Se a < b ent~ao ¡a > ¡b (b) c > 0 e ac < bc ) a < b
(c) Se c < 0 e ac < bc ent~ao a > b (d) a2 ¡ ab + b2 ¸ 0
(e) Se a < b ent~ao a3 < b3 (f) Se a3 < b3 ent~ao a < b
) a2 < b2
(g) a < b 6
 ¶meros inteiros
Os nu 5

4. Para cada inteiro a, de¯ne-se o valor absoluto de a como sendo o inteiro jaj,
dado por ½
a; se a ¸ 0
jaj =
¡a; se a < 0
Demonstre que, sendo a e b inteiros,
(a) jaj ¸ 0; jaj = 0 , a = 0 (b) ¡ jaj · a · jaj
(c) j¡aj = jaj (d) jabj = jajjbj
(e) ja § bj · jaj + jbj (f) jjaj ¡ jbjj · ja ¡ bj
5. Usando o princ¶³pio da boa ordena»c~ao do conjunto P dos inteiros positivos, demons-
tre que o conjunto N = P [ f0g, dos n¶umeros naturais ¶e tamb¶em bem ordenado.
6. Usando o princ¶³pio da boa ordena»c~ao dos inteiros positivos, demonstre que n~ao
existe um inteiro n satisfazendo 0 < n < 1.
7. Mostre que, sendo a e b inteiros, se ab = 1 ent~ao a = b = §1.
8. Se A ½ Z, dizemos que A ¶e limitado superiormente se existe b 2 Z tal que
x · b para todo x 2 A. Mostre que todo conjunto A de inteiros, n~ao vazio,
limitado superiormente, tem um m¶aximo, ou seja, existe a 2 A tal que x · a,
para todo x 2 A.
9. Admita familiaridade com o conjunto R dos n¶umeros reais. Com rela»c~ao µa ordem
\<" estabelecida em R, dizemos que um subconjunto X de R ¶e bem-ordenado
se todo subconjunto n~ao vazio de X possui um menor elemento ou m¶³nimo.
Determine quais dos seguintes subconjuntos de R ¶e bem-ordenado. Em caso a¯r-
mativo, demonstre sua a¯rma»c~ao (usando, por exemplo, o fato de que o conjunto
de inteiros positivos ¶e bem-ordenado). Em caso negativo, d^e um exemplo de um
subconjunto (do conjunto dado) que n~ao possui um menor (ou primeiro) elemento.
(a) o conjunto dos inteiros negativos;
(b) o conjunto dos n¶umeros racionais n~ao negativos;
(c) o conjunto dos inteiros pares positivos;
(d) o conjunto dos n¶umeros racionais da forma a=2, com a inteiro positivo.
10. Admita familiaridade com n¶
umeros racionais e irracionais.
(a) Demonstre que a soma e o produto de dois n¶umeros racionais ¶e racional.
(b) Demonstre ou d^e um contra-exemplo a cada uma das seguintes a¯rma»co~es.
i. A soma de um n¶umero racional e um n¶ umero irracional ¶e irracional.
ii. A soma de dois n¶
umeros irracionais ¶e irracional.
iii. O produto de um n¶umero racional e um n¶ umero irracional ¶e irracional.
iv. O produto de dois n¶umeros irracionais ¶e irracional.
p
11. Demonstre quep 5 ¶e irracional. [Sugest~ao: Tente imitar os passos da demons-
tra»c~ao de que 2 ¶e irracional.]
 ¶meros inteiros
Os nu 6

1.2 Indu»c~
ao matem¶
atica
Muitos teoremas que se referem a n¶ umeros inteiros tem um formato do tipo \Para cada
inteiro n, a partir de um certo inteiro n0 dado, vale a propriedade...".
Um m¶etodo freqÄuentemente usado para demonstrar esses teoremas ¶e o da demons-
tra»c~ao por indu»c~ao sobre n. Tal m¶etodo ¶e validado pelos princ¶³pios de indu»c~ao mate-
m¶atica, ou de indu»c~ao ¯nita.
O primeiro princ¶³pio de indu»c~ao matem¶atica ¶e baseado no seguinte teorema, que
¶e uma propriedade bastante intuitiva, quase um axioma. Como veremos, este teorema
¶e uma conseqÄu^encia do princ¶³pio da boa ordena»c~ao dos inteiros positivos.

Teorema 1.3 Seja S um conjunto de inteiros positivos, satisfazendo as seguintes pro-

priedades:

1. 1 2 S

2. Para cada inteiro positivo k, se k 2 S, tem-se tamb¶em k + 1 2 S (ou seja,

k 2 S ) k + 1 2 S).

Ent~ao S ¶e o conjunto Z+ de todos os inteiros positivos.

Demonstra»c~ao. Suponhamos que o conjunto S satisfaz as hip¶oteses 1 e 2, mas n~ao

cont¶em todos os inteiros positivos.
Pelo princ¶³pio da boa ordena»c~ao dos inteiros positivos, existe ent~ao o menor inteiro
positivo s tal que s 62 S.
Temos ent~ao s > 1, pois 1 2 S.
Da¶³, s ¡ 1 ¸ 1 e s ¡ 1 2 S, visto que s ¶e o menor dos inteiros positivos n
satisfazendo n 62 S.
Agora, s ¡ 1 2 S ) s = (s ¡ 1) + 1 2 S, pela hip¶otese 2 sobre S. Temos
ent~ao uma contradi»c~ao: s 6
2 S e s 2 S. Nossa contradi»c~ao foi derivada do fato de
supormos que existe um inteiro positivo n, n 6
2 S. Logo, S cont¶em todos os inteiros
positivos.
Podemos adaptar a demonstra»c~ao acima e demonstrar o seguinte teorema, mais
geral, cuja demonstra»c~ao deixamos como exerc¶³cio.

Teorema 1.4 Sejam n0 um inteiro positivo e S um conjunto de inteiros positivos,

satisfazendo as seguintes propriedades:

1. n0 2 S;

2. Todo elemento x de S satisfaz x ¸ n0 ;

 ¶meros inteiros
Os nu 7

3. Para cada inteiro positivo k, se k 2 S ent~ao k + 1 2 S.

Ent~ao, S ¶e o conjunto de todos os inteiros positivos n satisfazendo n ¸ n0 .

Os resultados acima nos prov^eem um teorema utilizado para demonstrar teoremas

sobre n¶umeros inteiros, quando eles se aplicam a todos os inteiros a partir de um certo
inteiro n0 . Esse teorema ¶e o primeiro princ¶³pio de indu»c~ao ¯nita e consiste no seguinte:

Teorema 1.5 (Primeiro Princ¶³pio de Indu»c~ ao Finita) Seja n0 um n¶umero inteiro e

suponhamos que a cada inteiro n, n ¸ n0 , est¶a associada uma a¯rma»c~ao A(n), a
qual, dependendo de n, pode ser verdadeira ou falsa. Suponhamos que as condi»c~oes 1
e 2 abaixo sejam veri¯cadas:

1. A a¯rma»c~ao A(n) ¶e verdadeira quando n = n0;

2. Para cada k ¸ n0, quando A(k) ¶e verdadeira, A(k + 1) ¶e tamb¶em verdadeira
(ou seja, A(k) verdadeira ) A(k + 1) verdadeira).

Ent~ao a a¯rma»c~ao A(n) ¶e verdadeira para todo n ¸ n0.

Demonstra»c~ao. Considere o conjunto de inteiros,

S = fn 2 Z j n ¸ n0 e A(n) ¶e verdadeirag
Ent~ao temos:

1. n0 2 S pois, por hip¶otese, A(n0 ) ¶e verdadeira;

2. n ¸ n0 para cada n 2 S;
3. Para cada inteiro positivo k, se k 2 S, ent~ao A(k) ¶e verdadeira, e ent~ao, pelo
item 2 da hip¶otese, A(k + 1) ¶e tamb¶em verdadeira.
Portanto, k 2 S ) k + 1 2 S.

Pelo teorema 1.4, S ¶e o conjunto de todos os inteiros satisfazendo n ¸ n0 .

Assim, a a¯rma»c~ao A(n) ¶e verdadeira para todo n ¸ n0 .
Damos a seguir alguns exemplos de resultados (teoremas) que podem ser demons-
trados mediante aplica»c~ao do primeiro princ¶³pio de indu»c~ao ¯nita.

Exemplo 1.1 Muitas vezes, ap¶os um pouco de experimenta»c~ao com n¶umeros, notamos
um padr~ao de comportamento, tal como no seguinte exemplo.
1 = 1
1+3 = 4
1+3+5 = 9
1+3+5+7 = 16
1+3+5+7+9 = 25
1 + 3 + 5 + 7 + 9 + 11 = 36
 ¶meros inteiros
Os nu 8

Feitas as contas acima, podemos naturalmente suspeitar que a soma dos n primeiros
n¶umeros ¶³mpares positivos ¶e igual a n2 . A con¯rma»c~ao disto vir¶a na forma de um
teorema que podemos demonstrar usando o primeiro princ¶³pio de indu»c~ao ¯nita.
X
n
Pequeno teorema. (2j ¡ 1) = 1 + 3 + 5 + ¢ ¢ ¢ + (2n ¡ 1) = n2 .
j=1

Demonstra»c~ao. Faremos a demonstra»c~ao disto, por indu»c~ao sobre n.

Aqui, a a¯rma»c~ao A(n), do enunciado do teorema 1.5, que queremos demonstrar
ser verdadeira para todo inteiro n ¸ 1, ¶e a seguinte:
X
n
(2j ¡ 1) = 1 + 3 + 5 + ¢ ¢ ¢ + (2n ¡ 1) = n2
j=1

Veri¯camos (facilmente) que a a¯rma»c~ao A(n) ¶e verdadeira quando n = 1:

X
1
(2j ¡ 1) = 1 = 12 .
j=1

Supomos ent~ao que a a¯rma»c~ao A(n) ¶e verdadeira para n = k, isto ¶e, supomos
X
k
que (2j ¡ 1) = 1 + 3 + ¢ ¢ ¢ (2k ¡ 1) = k2. Esta ¶e a nossa hip¶otese de indu»c~ao.
j=1

Assumindo a hip¶otese de indu»c~ao, demonstramos que ent~ao a mesma propriedade

¶e v¶alida para n = k + 1:
Vejamos:
k+1
X
(2j ¡ 1) = 1 + 3 + ¢ ¢ ¢ + (2k ¡ 1) + (2(k + 1) ¡ 1)
j=1

= 1 + 3 + ¢ ¢ ¢ + (2k ¡ 1) +(2k + 1) (hip¶otese de indu»c~ao)

| {z }
=k2
2
= k + 2k + 1
= (k + 1)2
k+1
X
e portanto, assumindo a hip¶otese de indu»c~ao, deduzimos que (2j ¡ 1) = (k + 1)2 .
j=1

Assim, pelo primeiro princ¶³pio de indu»c~ao ¯nita, temos que

1 + 3 + ¢ ¢ ¢ + (2n ¡ 1) = n2 , para todo inteiro positivo n.

Exemplo 1.2 (2o Pequeno teorema) Para cada inteiro n, n ¸ 0, o inteiro 9n ¡ 1

¶e divis¶³vel por 8, ou seja (9n ¡ 1)=8 ¶e um n¶umero inteiro.

Demonstra»c~ao \por indu»c~ao sobre n".

 ¶meros inteiros
Os nu 9

Agora a a¯rma»c~ao A(n) do enunciado do teorema 1.5, que queremos demonstrar

ser verdadeira para todo inteiro n ¸ 0, ¶e a seguinte:

A(n) : \9n ¡ 1 ¶e divis¶³vel por 8"

A demonstra»c~ao de que vale a propriedade A(n) para cada n ¸ 0, por indu»c~ao

sobre n, consiste em veri¯car a validade de A(n) em apenas duas inst^ancias, realizando
duas \veri¯ca»c~oes" (da¶³ o nome \indu»c~ao ¯nita"), a saber,

² veri¯camos a validade da a¯rma»c~ao A(n) para n = 0;

² considerando um inteiro k qualquer, k ¸ 0, supomos que a a¯rma»c~ao A(n) j¶a

esteja valendo para n = k (esta suposi»c~ao ¶e chamada hip¶otese de indu»c~ao) e, a
partir disto, deduzimos (demonstramos) que a¯rma»c~ao A(n) tamb¶em vale para
n = k + 1.

Se n = 0, A(n) ou A(0) ¶e a a¯rma»c~ao \90 ¡ 1 ¶e divis¶³vel por 8", que ¶e

verdadeira, pois 90 ¡ 1 = 0.
Seja ent~ao k um inteiro, k ¸ 0, e admitamos a hip¶otese de indu»c~ao, de que
A(k) ¶e verdadeira, ou seja, de que 9k ¡ 1 ¶e divis¶³vel por 8. Demonstraremos que ent~ao
9k+1 ¡ 1 tamb¶em ¶e divis¶³vel por 8.
9k ¡1
Por hip¶otese de indu»c~ao, 8
= a, para algum inteiro a. Da¶³ 9k = 8a + 1.
Como conseqÄu^encia temos ent~ao

9k+1 ¡ 1 = 9k ¢ 9 ¡ 1
= (8a + 1) ¢ 9 ¡ 1 (hip¶otese de indu»c~ao)
= 72a + 9 ¡ 1
= 72a + 8
= 8(9a + 1)
k+1
e portanto 9 8 ¡1 = 9a + 1, ou seja, 9k+1 ¡ 1 ¶e um m¶ultiplo inteiro de 8, isto ¶e,
tamb¶em ¶e divis¶³vel por 8.
Demonstramos portanto que a hip¶otese de indu»c~ao, isto ¶e, a validade da a¯rma»c~ao
A(k), implica na validade da a¯rma»c~ao A(k + 1).
Sendo assim, demonstramos, pelo primeiro princ¶³pio de indu»c~ao ¯nita, que A(n)
¶e v¶alida para cada n ¸ 0, ou seja, que 9n ¡ 1 ¶e divis¶³vel por 8 para cada n ¸ 0.
Um n¶umero natural ¶e um inteiro n~ao negativo. O conjunto dos n¶
umeros naturais
¶e denotado por N. Assim, N = fn 2 Z j n ¸ 0g.
Outro importante resultado da aritm¶etica dos inteiros, e que pode ser demonstrado
por indu»c~ao ¯nita, ¶e o seguinte teorema.
 ¶meros inteiros
Os nu 10

Teorema 1.6 (Algoritmo da divis~ ao euclidiana em N) Para cada n¶umero natural

n, e cada inteiro positivo d, existem n¶umeros naturais q (quociente) e r (resto) satis-
fazendo:
n = d ¢ q + r e 0 · r < d:
Al¶em disso, os naturais q e r, satisfazendo as condi»co~es acima, s~ao u¶nicos.

Demonstra»c~ao da exist^encia dos naturais q e r, por indu»c~ao sobre n.

Mostraremos que, ¯xado um inteiro positivo d, para cada n¶umero natural n,
existem q e r nas condi»c~oes enunciadas.
Se n = 0, basta tomar q = r = 0.
Seja k um n¶
umero natural e suponhamos que existem q e r satisfazendo

k = dq + r e 0 · r < d:

Ent~ao k + 1 = dq + (r + 1).
Como 0 · r < d, temos r + 1 < d + 1, ou seja, r + 1 · d. Se r + 1 < d,
tomamos q0 = q e r 0 = r + 1 e teremos k + 1 = dq0 + r 0 , com 0 · r 0 < d.
Se r + 1 = d, ent~ao k + 1 = dq + d = d(q + 1) = dq 00 + r 00 , onde
q = q + 1 e r 00 = 0.
00

Portanto, pelo primeiro princ¶³pio de indu»c~ao ¯nita, para cada n 2 N , existem q

e r satifazendo n = dq + r, com 0 · r < d.
Demonstra»c~ao da unicidade de q e r:
Suponhamos que existem naturais q1 ; q2 ; r1 e r2 tais que

n = q1 d + r1 = q2 d + r2

e 0 · r1 < d, 0 · r2 < d.
Ent~ao (q1 ¡ q2 )d = r2 ¡ r1 . Da¶³, jq1 ¡ q2 jjdj = jr2 ¡ r1 j.
Agora, como 0 · r1 < d e 0 · r2 < d, temos ent~ao 0 · jr2 ¡ r1 j < d
(justi¯que esta passagem). Logo, jq1 ¡ q2jjdj < jdj, e ent~ao jq1 ¡ q2 j < 1.
Sendo 0 · jq1 ¡ q2 j < 1, como n~ao existem inteiros x com 0 < x < 1, temos
necessariamente jq1 ¡ q2 j = 0, ou seja, q1 = q2 e, por conseguinte, r1 = r2 .
Logo, o quociente e o resto, em uma divis~ao euclidiana, s~ao determinados de
maneira ¶unica.

Observa»c~
ao 1.1 (Uma nota»c~ao para o algoritmo da divis~ ao.) Se n e d s~ao n¶u-
meros naturais, com d 6
= 0, e se q e r s~ao n¶umeros naturais como no teorema 1.6,
denotamos simbolicamente:
n d
r q
 ¶meros inteiros
Os nu 11

Neste caso, nessa divis~ao euclidiana de n por d, n ¶e o dividendo, d ¶e o divisor, q

¶e o quociente e r ¶e o resto.
Assim, por exemplo, escrevemos
59 7
3 8
para indicar que, na divis~ao euclidiana de 59 por 7, o quociente ¶e 8 e o resto ¶e 3.

O leitor poder¶a veri¯car facilmente, atrav¶es de alguns poucos exemplos, que o

teorema 1.6 n~ao ¶e v¶alido se d = 0.
Um pouco mais adiante, enunciaremos e demonstraremos um teorema do algoritmo
da divis~ao na sua vers~ao mais geral para inteiros, n~ao necessariamente naturais.
Uma segunda forma de demonstra»c~ao por indu»c~ao, algumas vezes utilizada, ¶e
estabelecida pelo seguinte teorema:

Teorema 1.7 (Segundo Princ¶³pio de Indu»c~ ao Finita.) Seja n0 um n¶umero inteiro

e suponhamos que a cada inteiro n, n ¸ n0 , est¶a associada uma a¯rma»c~ao A(n), a
qual, dependendo de n, pode ser verdadeira ou falsa. Suponhamos que as condi»c~oes 1
e 2 abaixo sejam veri¯cadas:

1. A a¯rma»c~ao A(n) ¶e verdadeira para n = n0 ;

2. Para cada inteiro k ¸ n0 , se A(n) ¶e verdadeira para cada inteiro n satisfazendo
n0 · n · k ent~ao A(k + 1) ¶e tamb¶em verdadeira (ou seja, A(n) verdadeira
para n = n0 ; n0 + 1; : : : ; k ) A(k + 1) verdadeira)

Ent~ao a a¯rma»c~ao A(n) ¶e verdadeira para cada n ¸ n0 .

Observa»c~ ao 1.2 O que difere o segundo princ¶³pio de indu»c~ao ¯nita do primeiro ¶e a

forma como ¶e formulada a hip¶otese de indu»c~ao. Na hip¶otese de indu»c~ao do primeiro
princ¶³pio, supomos que a a¯rma»c~ao A(n) ¶e verdadeira para n = k somente, enquanto
que, na hip¶otese do segundo, supomos A(n) v¶alida para cada n desde n0 at¶e k. Em
ambos os princ¶³pios, devemos demonstrar que a hip¶otese de indu»c~ao acarreta a validade
de A(n) para n = k + 1.

Um teorema cuja demonstra»c~ao pode ser feita pelo segundo princ¶³pio de indu»c~ao
¶e o seguinte

Teorema 1.8 (Representa»c~ ao decimal de n¶ umeros naturais) Para cada inteiro

n ¸ 1, existem n¶umeros naturais a0 ; : : : ; as , (s ¸ 0), com os \algarismos" a0 , : : : ,
as , tomados no conjunto f0; 1; 2; : : : ; 9g, e as 6= 0, tais que
X
s
n= ai ¢ 10i = as 10s + ¢ ¢ ¢ + a0 100
i=0
 ¶meros inteiros
Os nu 12

ao 1.3 Ilustrando o teorema acima com um exemplo, quando escrevemos,

Observa»c~
por exemplo, 50 237, queremos dizer 5 ¢ 104 + 2 ¢ 102 + 3 ¢ 101 + 7 ¢ 100 .

Demonstra»c~ao do teorema 1.8.

Se n = 1, podemos tomar n = a0 = 1.
Seja k ¸ 1 um inteiro e suponhamos que o resultado do teorema seja verdadeiro
para cada inteiro n, com 1 · n · k. Mostraremos que isto acarreta a validade da
mesma propriedade para n = k + 1.
Com efeito, realizando a divis~ao euclidiana de k + 1 por 10,
k + 1 10
r q
obtemos um quociente q 2 N e um resto r 2 N, satisfazendo k + 1 = 10q + r, com
0 · r < 10, conforme o teorema 1.6.
Se q = 0, ent~ao k + 1 = r = a0 , com a0 2 f0; 1; 2; : : : ; 9g.
Se q > 0, ent~ao q · k, pois se q > k, ent~ao k + 1 = 10q + r > 10k + r ¸
10k, e assim k + 1 > 10k e ent~ao 1 > 9k ¸ 9, o que ¶e imposs¶³vel.
Sendo ent~ao 1 · q · k, pela hip¶otese de indu»c~ao,
q = bt ¢ 10t + ¢ ¢ ¢ + b0 ¢ 100
para certos algarismos bt ; : : : ; b0 , todos em f0; 1; 2; : : : ; 9g.
Ent~ao,
k + 1 = 10q + r
= 10(bt ¢ 10t + ¢ ¢ ¢ + b0 ¢ 100 ) + r
= bt ¢ 10t+1 + ¢ ¢ ¢ + b0 ¢ 101 + r
com bt ; : : : ; b0 e r todos em f0; 1; 2; : : : ; 9g.
Logo, pelo segundo princ¶³pio de indu»c~ao ¯nita, a representa»c~ao decimal de n ¶e
poss¶³vel para cada inteiro n ¸ 1.

1.2.1 Exerc¶³cios
1. Sendo a1 , a2 , : : : , an uma sequ^encia de n n¶umeros reais, de¯ne-se
X
n
ak = a1 + a2 + ¢ ¢ ¢ + an
k=1

como sendo o somat¶orio (ou soma) dos ak , para k de 1 at¶e n. Se m · n,

Xn
ak = am + am+1 + ¢ ¢ ¢ + an .
k=m
 ¶meros inteiros
Os nu 13

Demonstre que, sendo a um n¶umero real, com a 6

= 1,
X
n
an+1 ¡ 1
aj =
j=0
a¡1

e ent~ao calcule as seguintes somas

(a) 1 ¡ 2 + 22 ¡ 23 + ¢ ¢ ¢ + 2100
(b) 3 + 3 ¢ 52 + 3 ¢ 54 + 3 ¢ 56 + ¢ ¢ ¢ + 3 ¢ 51000
(c) 73 ¢ 112 + 75 ¢ 116 + 77 ¢ 1110 + ¢ ¢ ¢ + 799 ¢ 11194
1 1 1 1
(d) 1 + 2
+ 22
+ 23
+¢¢¢ + 2100

2. Use indu»c~ao ¯nita para demonstrar que

P
n
n(n+1)
(a) j = 1 + 2 + ¢¢¢ + n = 2
, para todo inteiro n ¸ 1.
j=1
P
n
n(n+1)(2n+1)
(b) j 2 = 12 + 22 + ¢ ¢ ¢ + n2 = 6
, para todo inteiro n ¸ 1.
j=1
P
n h i2
n(n+1)
(c) j 3 = 13 + 23 + ¢ ¢ ¢ + n3 = 2
, para todo inteiro n ¸ 1.
j=1

3. O prop¶osito deste exerc¶³cio ¶e explorar como podem ser deduzidas as f¶ormulas para
Pn
somat¶orios do tipo kr = 1r + 2r + ¢ ¢ ¢ + nr , com r inteiro positivo.
k=1

(a) Mostre que, sendo a0 ; : : : ; an uma seqÄu^encia de n¶umeros reais,

X
n
(ak ¡ ak¡1 ) = an ¡ a0
k=1

(b) Somando membro a membro as igualdades

(k + 1)2 ¡ k2 = 2k + 1;

de k = 1 at¶e k = n, e usando o resultado do item (a), deduza uma f¶ormula

P
n
para k.
k=1
(c) Somando membro a membro as igualdades

(k + 1)3 ¡ k3 = 3k2 + 3k + 1;

de k = 1 at¶e k = n, e usando o resultado do item (a) e a f¶ormula para

Pn P
n
k, deduza uma f¶ormula para k2 .
k=1 k=1
P
n
(d) Deduza uma f¶ormula para k3 .
k=1
 ¶meros inteiros
Os nu 14

4. Sendo a1 , a2 , : : : , an uma sequ^encia de n n¶umeros reais, de¯ne-se

Y
n
ak = a1 ¢ a2 ¢ ¢ ¢ ¢ ¢ an
k=1

como sendo o produt¶orio (ou produto) dos ak , para k de 1 at¶e n. Se m · n,

Y
n
ak = am ¢ am+1 ¢ ¢ ¢ ¢ ¢ an
k=m
Encontre, em fun»c~ao de n, os valores dos produtos
Qn Q
n
(a) (1 ¡ 1j ) (b) (1 ¡ j12 )
j=2 j=2

5. Use indu»c~ao ¯nita para demonstrar que

P
n
1 1 1 1 1
(a) k2
= 12
+ 22
+ ¢¢¢ + n2
·2¡ n
k=1
(b) Um conjunto com n elementos tem 2n subconjuntos.
Pn
(c) j ¢ j! = 1 ¢ 1! + 2 ¢ 2! + ¢ ¢ ¢ + n ¢ n! = (n + 1)! ¡ 1
j=1
P
n
1 1 1 1
(d) Sendo Hn = j
=1+ 2
+ 3
+ 4
+ ¢ ¢ ¢ + n1 , tem-se H2n ¸ 1 + n
2
j=1
¡1 1¢
6. Conjeture uma f¶ormula para An , sendo A = 0 1
. Demonstre sua conjetura
usando indu»c~ao sobre n.
7. (a) Uma fun»c~ao f , de¯nida no conjunto N, satisfaz f (1) = 2 e f (n + 1) =
2f (n), para n ¸ 1. Que f¶ormula de¯ne f (n)? Demonstre sua a¯rma»c~ao
usando indu»c~ao ¯nita.
(b) De¯ne-se uma fun»c~ao f , recursivamente, pelas regras: f (1) = 1, f (2) = 5
e, para n ¸ 3, f (n) = f (n ¡ 1) + 2f (n ¡ 2). Mostre que f (n) =
2n + (¡1)n , para todo inteiro positivo n.
8. Nos itens abaixo, fn denota o n-¶esimo termo da seqÄu^encia de Fibonacci, de¯nida
recursivamente por f1 = f2 = 1, e fn = fn¡1 +fn¡2 para cada inteiro n ¸ 3.
Assim, os termos iniciais da seqÄ
u^encia de Fibonacci s~ao (con¯ra)
1; 1; 2; 3; 5; 8; 13; 21; 34; 55; 89; : : :
(a) Suponha que em 1o de janeiro, um casal de coelhos ¶e deixado numa ilha.
Este casal leva dois meses para procriar, e em 1o de mar»co d¶a µa luz um
novo casal de coelhos. Eles produzem continuadamente um novo par de
coelhos no primeiro dia de cada m^es subseqÄuente. Cada novo casal gerado
leva dois meses para tornar-se adulto e produz um novo casal no primeiro
dia do terceiro m^es de sua vida, bem como no primeiro dia de cada m^es
subseqÄuente. Mostre que o n¶umero de casais de coelhos presentes na ilha no
n-¶esimo m^es ¶e fn , o n-¶esimo termo da seqÄu^encia de Fibonacci.
 ¶meros inteiros
Os nu 15

Pn
(b) Veri¯que que fk = fk+2 ¡ fk+1 , e ent~ao calcule j=1 fj = f1 + f2 +
¢ ¢ ¢ + fn .
(c) Usando o segundo
p princ¶³pio de indu»
pc~ao ¯nita, mostre que sendo p
® = (1 + 5)=2 e ¯ = (1 ¡ 5)=2, tem-se fn = (®n ¡ ¯ n )= 5
para cada inteiro positivo n.
(d) De¯ne-se a seqÄu^encia generalizada de Fibonacci por g1 = a, g2 = b e,
para cada inteiro n ¸ 3, gn = gn¡1 + gn¡2 . Mostre que, para n ¸ 3,
gn = afn¡2 + bfn¡1 .
¡ ¢
9. Sendo n e k inteiros positivos, com n ¸ k, denotamos por nk ¡ o¢ n¶umero de
subconjuntos com k elementos, de um conjunto de n elementos. nk ¶e tamb¶em
chamado o n¶umero de combina»c~oes de n objetos, tomados k a k, e tamb¶em
recebe o nome de n¶umero binomial n sobre k.
¡ ¢
(a) Explique porque n0 = 1.
(b) Demonstre a rela»c~ao de Stifel: para n ¸ k + 1 ¸ 0,
µ ¶ µ ¶ µ ¶
n n n+1
+ =
k k+1 k+1

(c) Demonstre, por indu»c~ao sobre n, que

µ ¶
n n!
=
k k!(n ¡ k)!
Q
(O fatorial de um inteiro positivo n, ¶e o produto n! = n
k=1 k = 1¢2¢¢ ¢ ¢¢n.
De¯ne-se tamb¶em 0! = 1. Assim, por exemplo, 1! = 1, 2! = 1 ¢ 2 = 2,
3! = 1 ¢ 2 ¢ 3 = 6, 4! = 24, 5! = 120.)
(d) Demonstre, por indu»c~ao sobre n, que sendo a e b n¶umeros reais,
n ¡ ¢
P n
(a + b)n = k
an¡k bk =
¡ ¢ ¡ ¢ k=0 ¡ ¢ 2 n¡2 ¡ n ¢ n¡1
an + n1 an¡1b + n2 an¡2 b2 + ¢ ¢ ¢ + n¡2 n
a b + n¡1 ab + bn

10. Mostre que, sendo n um inteiro positivo,

¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢
(a) n0 + n1 + n2 + ¢ ¢ ¢ + n n
= 2n .
¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢
(b) n0 ¡ n1 + n2 ¡¢ ¢ ¢+(¡1)n n n
= 0. [Sugest~ao: Expanda (1+(¡1))n ].
(c) Um conjunto ¯nito de n elementos tem 2n subconjuntos (fa»ca uma demon-
stra»c~ao direta, usando n¶
umeros binomiais, sem usar indu»c~ao).

11. Sendo n um inteiro positivo, use resultados dos exerc¶³cios anteriores para calcular
¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢
(a) n0 + n2 + n4 + ¢ ¢ ¢ (b) n1 + n3 + n5 + ¢ ¢ ¢
¡ ¢ ¡ ¢ ¡ ¢ ¡ ¢
12. Sendo n e r inteiros, n ¸ r ¸ 1, mostre que rr + r+1 r
+ ¢ ¢ ¢ + nr = n+1 r+1
.
 ¶meros inteiros
Os nu 16

¡n¢ ¡n¡2¢ ¡ ¢
13. Demonstre que se n ¸ 4 e 2 · k · n ¡ 2, ent~ao = + 2 n¡2 +
¡n¡2¢ k k¡2 k¡1

k
.

14. Utilizando o princ¶³pio da boa ordena»c~ao dos inteiros positivos, ou o teorema 1.3,
demonstre o teorema 1.4.

15. Demonstre o teorema 1.7. [Sugest~ao: Considere o conjunto S de todos os inteiros

k ¸ n0 tais que A(n) ¶e verdadeira para todo n satisfazendo n0 · n · k. Use
ent~ao o teorema 1.4 para demonstrar que todo inteiro n ¸ n0 est¶a em S.]
2

Divisibilidade

Sabemos, desde a escola b¶asica, que quando um n¶ umero inteiro ¶e dividido por um
segundo n¶umero inteiro n~ao nulo, o quociente pode ou n~ao ser um n¶
umero inteiro. Esta
observa»c~ao nos leva µa seguinte de¯ni»c~ao.

De¯ni»c~ao 2.1 Um inteiro c divide um inteiro a quando existe um terceiro inteiro m

tal que a = c ¢ m. Se c 6
= 0, o inteiro m ¶e chamado quociente de a por c e ¶e indicado
por m = c .
a

Quando c divide a escrevemos c j a e dizemos tamb¶em que c ¶e um divisor ou

fator de a. No caso em que c 6 = 0, dizemos ainda que a ¶e divis¶³vel por c. Quando c
n~ao divide a escrevemos c 6
j a.

Exemplo 2.1 13 divide 182 j¶a que existe um terceiro inteiro, 14, tal que 182 = 13¢14.
Os divisores de 6 s~ao 1, 2, 3, 6, ¡1, ¡2, ¡3 e ¡6.
J¶a os divisores de 17 s~ao 1 e 17, ¡1 e ¡17.

ao 2.1 Se a, b e c s~ao inteiros, tais que c j b e b j a, ent~ao c j a.

Proposi»c~

Demonstra»c~ao. Como c j b e b j a, existem inteiros m e n tais que b = cm e a = bn.

Logo, a = (cm)n = c(mn), e portanto c j a.

ao 2.2 Se a, b, c, m e n s~ao inteiros, tais que c j a e c j b, ent~ao c j

Proposi»c~
(ma + nb).

Demonstra»c~ao. Como c j a e c j b existem inteiros e e f tais que a = ce e b = cf .

Logo ma + nb = mce + ncf = (me + nf )c, de onde c j (ma + nb).
Para exempli¯car a proposi»c~ao acima, note que 3 j 21, 3 j 33 e, conseqÄuente-
mente, 3 j (5 ¢ 21 ¡ 3 ¢ 33), isto ¶e, 3 j 6.

17
 18

Teorema 2.1 (Teorema do algoritmo da divis~ ao em Z) Se a e b s~ao inteiros, e

b6 = 0, ent~ao existem inteiros q e r tais que a = bq + r, e 0 · r < jbj. Tais inteiros
s~ao determinados de modo u¶nico. Os inteiros q e r s~ao chamados, respectivamente, de
quociente e resto da divis~ao euclidiana de a por b.

Demonstra»c~ao. Demonstraremos o teorema supondo b > 0 e deixaremos o caso b < 0

para ser completado pelo leitor.
Pelo teorema 1.6, se a ¸ 0, existem n¶umeros naturais q e r satisfazendo a =
bq + r e 0 · r < b.
Se a < 0, ent~ao jaj > 0. Aplicando o teorema 1.6, do algoritmo da divis~ao em
N, cap¶³tulo 1, existem naturais q e r satisfazendo

jaj = bq + r; e 0 · r · jaj:

Como jaj = ¡a, temos ent~ao ¡a = bq + r, ou seja, a = b(¡q) + (¡r). Se

r = 0, temos a = b(¡q) + 0, sendo ent~ao ¡q e 0 o quociente e o resto da divis~ao
de a por b, respectivamente.
Se r > 0, temos

a = b(¡q) + (¡r)
= b(¡q) ¡ b + b ¡ r
= b(¡q ¡ 1) + (b ¡ r)

Como 0 < r < b, temos ¡b < ¡r < 0 e ent~ao, somando b aos tr^es membros desta
u¶ltima desigualdade, 0 < b ¡ r < b. Fazendo q0 = ¡q ¡ 1, e r 0 = b ¡ r, temos
a = bq 0 + r 0 , com 0 < r 0 < b.
Para demonstrar a unicidade do quociente q e do resto r, assuma que existam duas
igualdades, a = bq1 + r1 e a = bq2 + r2 , com q1 ; q2 ; r1 e r2 inteiros, 0 · r1 < b e
0 · r2 < b. Subtraindo uma igualdade da outra obtemos 0 = b(q1 ¡ q2 ) + (r1 ¡ r2 )
ou, equivalentemente, (r2 ¡ r1 ) = b(q1 ¡ q2 ). Logo b divide r2 ¡ r1 . Por outro
lado, como 0 · r1 < b e 0 · r2 < b segue que ¡b < r2 ¡ r1 < b. Note que
as a¯rma»co~es b divide r2 ¡ r1 e ¡b < r2 ¡ r1 < b implicam que r2 ¡ r1 = 0 e,
conseqÄuentemente, q1 ¡ q2 = 0. Segue portanto a unicidade q1 = q2 e r1 = r2.
Demonstra»c~ao alternativa da exist^encia de q e r, assumindo familiaridade com n¶umeros
racionais.
No caso em que b > 0, podemos fazer uma demonstra»c~ao do algoritmo da divis~ao
em Z introduzindo a fun»c~ao maior inteiro [x] que, a cada n¶umero real x, associa o
maior inteiro poss¶³vel menor que ou igual a x. Por exemplo, [2; 2] = 2, [3] = 3 ,
[¡1; 5] = ¡2, [¼] = 3. Notemos que valem as desigualdades x ¡ 1 < [x] · x,
para todo n¶umero real x.
£ ¤ £ ¤
Para demonstrar a exist^encia de q e r, sejam q = ab £ e ¤r = a ¡ b ab . Basta
veri¯car que 0 · r < b. Para tal, multiplicamos ab ¡ 1 < ab · ab por ¡b e depois
 19

somamos a, isto ¶e:

· ¸ · ¸ · ¸
a a a £(¡b) a +a a
¡1< · () ¡a · ¡b < b ¡ a () 0 · a ¡ b <b
b b b b b

Exempli¯cando o algoritmo da divis~ao, se a = 1028 e b = 34 ent~ao q =

[1028=34] = 30 e r = 1028 ¡ [1028=34] ¢ 34 = 1028 ¡ 30 ¢ 34 = 8. Se
a = ¡380 e b = 75 ent~ao q = [¡380=75] = ¡6 e r = ¡380¡[¡380=75]¢75 =
¡380 ¡ (¡6) ¢ 75 = 70.

Fixado um inteiro positivo d, podemos sempre classi¯car os n¶umeros inteiros de

acordo com o resto na divis~ao por d. Por exemplo, se d = 2 ent~ao o resto no algoritmo
da divis~ao de qualquer inteiro n por 2 satisfaz 0 · r < 2, isto ¶e, r = 0 ou r = 1.
No primeiro caso, n = 2k ¶e par e no segundo caso n = 2k + 1 ¶e ¶³mpar. De forma
an¶aloga, se d = 4 ter¶³amos 0 · r < 4 e n = 4k, n = 4k + 1, n = 4k + 2 ou
n = 4k + 3.

2.0.2 Exerc¶³cios
1. De acordo com a de¯ni»c~ao 2.1, podemos dizer que 0 divide 0?

2. Mostre que 1001 ¶e divis¶³vel por 7, por 11 e por 13.

3. Encontre o quociente e o resto da divis~ao por 17, sendo o dividendo

(a) 100 (b) 289 (c) ¡44 (d) ¡100

4. Sendo a e b inteiros, demonstre que a j b e b j a , a = §b.

5. Mostre que sendo a, b, c e d inteiros, se a j b e c j d ent~ao ac j bd.

6. Existem inteiros a, b e c tais que a j bc mas a 6

j b e a6
j c?

7. Mostre que a soma de dois pares ¶e sempre par, que a soma de dois ¶³mpares ¶e
sempre par e que a soma de um par com um ¶³mpar ¶e sempre ¶³mpar.

8. Mostre que se a ¶e um inteiro ent~ao a3 ¡ a ¶e divis¶³vel por 6.

9. Mostre que o quadrado de um inteiro ¶³mpar ¶e da forma 8k + 1, com k inteiro.

10. Mostre que o produto de dois inteiros da forma 6k + 5 ¶e um inteiro da forma

6k + 1.

11. Mostre que o cubo de um inteiro ¶e de uma das formas: 9k, 9k ¡ 1, 9k + 1, com
k inteiro.

12. Seja fn o n-¶esimo n¶umero de Fibonacci.

(a) Mostre que fn ¶e par , n ¶e divis¶³vel por 3.

 20

(b) Mostre que fn ¶e divis¶³vel por 3 , n ¶e divis¶³vel por 4.

(c) Mostre que fn+m = fn fm¡1 + fn+1 fm se m ¸ 2 e n ¸ 1. [Sugest~ao:
Mostre que isto vale para m = 2 e para m = 3. Demonstre ent~ao a
igualdade, por indu»c~ao sobre m, pelo 2o princ¶³pio de indu»c~ao.]
(d) Usando o resultado do item anterior, mostre que se n j m ent~ao fn j fm .

13. O que se pode concluir sobre inteiros a e b n~ao nulos tais que a j b e b j a ?

14. Sejam a; b; c; d quatro inteiros com a e c n~ao nulos. Mostre que se a j b e c j d

ent~ao ac j bd.

15. Existem inteiros a; b; c tais que a j bc mas a 6

j b e a6
jc?

16. Sejam a; b; c tr^es inteiros com c 6

= 0. Mostre que a j b se e s¶o se ac j bc.

17. Sejam a e b dois inteiros com a j b. Mostre que a · jbj.

18. Sejam a; b; c tr^es inteiros com b > 0 e c > 0. Sejam q e r os respectivos

quociente e resto na divis~ao de a por b, e sejam t e s os respectivos quociente e
resto na divis~ao de q por c. Mostre que t e bs + r s~ao os respectivos quociente
e resto na divis~ao de a por bc.

19. Demonstre o teorema 2.1 no caso em que b < 0.

20. Demonstre que

(a) x ¡ 1 < [x] · x, para todo n¶umero real x.

umeros reais ent~ao [x + y] ¸ [x] + [y]. [Sugest~ao:
(b) Se x e y s~ao dois n¶
Considere que [x] = a , x = a + ®, sendo a inteiro e ® um n¶ umero real
satisfazendo 0 < ® < 1.]
£ ¤
(c) Se x ¶e um n¶umero real ent~ao x + 12 ¶e o inteiro mais pr¶oximo de x.

21. (a) Mostre que, se x e d s~ao inteiros positivos, o n¶umero de inteiros positivos,
£ ¤
menores do que ou iguais a x, que s~ao divis¶³veis por d ¶e calculado por xd .
(b) Calcule o n¶umero de inteiros positivos que n~ao excedem 1000 e que s~ao
divis¶³veis por 5, por 25, por 125 e por 625.
(c) Quantos inteiros entre 100 e 1000 s~ao divis¶³veis por 7 ? E por 49 ?

22. O envio de uma encomenda custa 20 centavos para o primeiro quil^ometro, e 18

centavos para cada quil^ometro ou fra»c~ao de quil^ometro adicional. Encontre uma
f¶ormula envolvendo a fun»c~ao maior inteiro para o custo do envio da encomenda
em fun»c~ao da quilometragem. Quais dist^ancias s~ao alcan»cadas a um pre»co de
R$ 1; 08 ou R$ 1; 28 ?
 21

23. Seja T (n) uma fun»c~ao com dom¶³nio nos inteiros positivos de¯nida por
(
n
2
se n ¶e par
T (n) = 3n+1
2
se n ¶e ¶³mpar

Iterando a fun»c~ao T podemos construir, a partir de um inteiro n ¯xado, uma

seqÄu^encia de interos conforme mostra o quadro abaixo:

n n; T (n); T (T (n)); T (T (T (n))); T 4 (n); T 5(n); : : :

1 1; 2; 1; 2; 1; 2; 1; : : :
2 2; 1; 2; 1; 2; 1; 2; 1; : : :
3 3; 5; 8; 4; 2; 1; 2; 1; : : :
4 4; 2; 1; 2; 1; 2; 1; : : :
5 5; 8; 4; 2; 1; 2; 1; : : :
6 6; 3; 5; 8; 4; 2; 1; 2; 1; : : :
7 7; 11; 17; 26; 13; 20; 10; 5; 8; 4; 2; 1; 2; 1; : : :
.. ..
. .

Uma conjectura muito conhecida, as vezes chamada de Conjectura de Collatz,

a¯rma que a seqÄu^encia obtida pelas itera»co~es de T sempre recaem na repeti»c~ao
1; 2; 1; 2; 1; : : : , independente do valor do inteiro inicial n.
a) Encontre a seqÄu^encia obtida pelas itera»co~es de T , come»cando com n = 29.
b) Mostre que a seqÄu^encia obtida pelas itera»c~oes de T , come»cando com n =
(2k ¡ 1)=3, onde k > 1 ¶e um inteiro positivo par, sempre recai em 1, 2, 1, 2,
1, : : : .
3

Representa»c~
ao de Inteiros

Usualmente os n¶umeros inteiros s~ao representados pela nota»c~ao decimal, na qual d¶³gitos
ou algarismos representam m¶ultiplos de pot^encias na base 10. Por exemplo, ao escrever-
mos 34 065 estamos representando a quantidade

3 ¢ 104 + 4 ¢ 103 + 0 ¢ 102 + 6 ¢ 101 + 5 ¢ 100

A raz~ao hist¶orica para a ado»c~ao da base 10 na representa»c~ao dos inteiros ¶e provavelmente

o fato de termos dez dedos em nossas m~aos. Algumas civiliza»c~oes antigas usaram bases
diferentes, como os Babil^onios, que usavam a base 60. Uma heran»ca cultural que temos
dos Babil^onios est¶a no sistema hexadecimal da contagem de minutos e segundos. J¶a
os computadores eletr^onicos usam a base 2 para representar os inteiros internamente,
nos circuitos el¶etricos, e a base 8 ou 16 para representar os inteiros externamente, nos
dispositivos de visualiza»c~ao.
Como veremos a seguir, qualquer inteiro positivo maior do que 1 pode ser usado
como base na representa»c~ao dos inteiros. A representa»c~ao de inteiros de que estamos
tratando ¶e chamada representa»c~ao posicional, uma vez que a posi»c~ao de cada d¶³gito ¶e
relevante na representa»c~ao do n¶
umero.

Teorema 3.1 Seja b > 1 um inteiro positivo ¯xado. Ent~ao qualquer inteiro positivo
n pode ser representado, de maneira u¶nica, na forma

n = ak ¢ bk + ak¡1 ¢ bk¡1 + ¢ ¢ ¢ + a2 ¢ b2 + a1 ¢ b + a0

na qual os coe¯cientes aj , para j = 0; 1; : : : ; k s~ao elementos do conjunto de d¶³gitos

f0; 1; : : : ; b ¡ 1g, e ak 6
=0.

Demonstra»c~ao. A exist^encia da expans~ao segue aplicando sucessivamente o algoritmo da

divis~ao. Primeiro dividimos n por b para obter

n = bq0 + a0 ; 0 · a0 < b:

22
 23

Se q0 > 0 ent~ao dividimos q0 por b para obter

q0 = bq1 + a1 ; 0 · a1 < b:

Se q1 > 0, continuamos o processo obtendo

q1 = bq2 + a2 ; 0 · a2 < b
q2 = bq3 + a3 ; 0 · a3 < b
..
.
qk¡1 = bqk + ak ; 0 · ak < b

at¶e encontrarmos qk = 0. Note que a garantia de que o processo termina est¶a no fato
de que n > q0 > q1 > q2 > ¢ ¢ ¢ ¶e uma seqÄ u^encia estritamente decrescente de inteiros
n~ao negativos, terminando portanto em algum qk = 0. Substituindo sucessivamente
q0 ; q1 ; : : : ; qk¡1 na equa»c~ao n = bq0 + a0 obtemos

n= bq0 + a0
= b(bq1 + a1 ) + a0
= q1 b2 + a1 b + a0
= (bq2 + a2 )b2 + a1b + a0
= b3 q2 + a2 b2 + a1 b + a0
..
.
= (bqk + ak )bk + ak¡1 bk¡1 + ¢ ¢ ¢ + a2 b2 + a1 b + a0
= ak bk + ak¡1 bk¡1 + ¢ ¢ ¢ + a2 b2 + a1 b + a0

Para demonstrarmos a unicidade da expans~ao, vamos supor duas expans~oes dis-

tintas,

n = ak bk + ak¡1bk¡1 + ¢ ¢ ¢ + a2 b2 + a1b + a0
n = Ak bk + Ak¡1 bk¡1 + ¢ ¢ ¢ + A2b2 + A1 b + A0

com os coe¯cientes aj e Aj , para j = 0; 1; : : : ; k, tomados no conjunto de d¶³gitos

f0; 1; : : : ; b ¡ 1g.
Note que, em princ¶³pio, as duas expans~oes n~ao precisam conter o mesmo numero
k + 1 de termos. Isto ¶e facilmente contornado somando parcelas com coe¯cientes nulos
para for»car a igualdade no n¶umero de coe¯cientes das duas expans~oes. Subtraindo uma
expans~ao da outra obtemos

(ak ¡ Ak )bk + ¢ ¢ ¢ + (a2 ¡ A2 )b2 + (a1 ¡ A1 )b + (a0 ¡ A0 ) = 0 :

Se j 2 f0; 1; 2; : : : ; kg ¶e o menor dos inteiros tal que aj 6

= Aj (note que tal j existe
somente se as expans~oes s~ao realmente distintas) ent~ao podemos escrever
£ ¤
bj (ak ¡ Ak )bk¡j + ¢ ¢ ¢ + (aj+1 ¡ Aj+1 )b + (aj ¡ Aj ) = 0
 24

ou, equivalentemente,
£ ¤
Aj ¡ aj = b (ak ¡ Ak )bk¡j¡1 + ¢ ¢ ¢ + (aj+1 ¡ Aj+1 ) :

Nestas condi»c~oes b j (Aj ¡ aj ). Por outro lado, como 0 · aj < b e 0 · Aj < b,

segue que ¡b < Aj ¡ aj < b. Assim Aj ¡ aj ¶e o u¶nico m¶ultiplo de b no intervalo
¡b < Aj ¡ aj < b, isto ¶e, Aj ¡ aj = 0. Chegamos ent~ao a uma contradi»c~ao, j¶a
que estamos sob a hip¶otese de que aj 6= Aj .
Alternativamente, podemos demonstrar a exist^encia da expans~ao na base b, do
teorema 3.1, por indu»c~ao sobre n, usando o segundo princ¶³pio de indu»c~ao ¯nita, analoga-
mente ao procedimento usado na demonstra»c~ao do teorema 1.8, cap¶³tulo 1.
Um caso particularmente interessante do teorema 3.1 ocorre quando b = 2,
conforme enunciado a seguir.

ario 3.1 Qualquer inteiro positivo pode ser representado, de maneira u

Corol¶ ¶nica, como
uma soma de pot^encias distintas de dois.

Demonstra»c~ao. Seja n um inteiro positivo. Segue do teorema 3.1, quando b = 2, que

n = ak ¢ 2k + ak¡1 ¢ 2k¡1 + ¢ ¢ ¢ + a2 ¢ 22 + a1 ¢ 21 + a0 ¢ 20

com cada aj igual a 0 ou 1, sendo os d¶³gitos aj determinados de maneira u¶nica. Logo

n pode ser representado, de maneira u¶nica, como uma soma de pot^encias distintas de
dois.
Na expans~ao descrita no teorema 3.1, b ¶e chamado de base ou raiz da expans~ao.
Expans~oes decimais (b = 10), bin¶arias (b = 2), hexadecimais (b = 16) ou octais
(b = 8) s~ao as mais usadas. Os coe¯cientes aj s~ao chamados de d¶³gitos da expans~ao.
D¶³gitos bin¶arios tamb¶em s~ao chamados de bits (binary digits).
Para distinguir representa»c~oes de inteiros em diferentes bases, ¶e h¶abito usar a
nota»c~ao
(ak ak¡1 : : : a2 a1 a0 )b
para representar

ak bk + ak¡1bk¡1 + ¢ ¢ ¢ + a2 b2 + a1b + a0

Tamb¶em escrevemos abc : : : rsb em lugar de (abc : : : rs)b .

Assim, por exemplo, (2102)3 ou 21023 signi¯ca 2 ¢ 33 + 1 ¢ 32 + 0 ¢ 31 + 2 ¢ 30 ,
que ¶e, no nosso sistema decimal, 2 ¢ 27 + 1 ¢ 9 + 2 = 65.
Como de h¶abito, ¯ca subententida a base dez quando n~ao ¯zermos men»c~ao µa base
na qual o inteiro est¶a representado. Assim, 2307 ¶e o mesmo que 2 ¢ 103 + 3 ¢ 102 + 7.
Note que a demonstra»c~ao do teorema 3.1 fornece um m¶etodo para encontrar a
expans~ao na base b de um inteiro qualquer n. N¶os simplesmente aplicamos o algoritmo
 25

da divis~ao sucessivamente sempre com o mesmo divisor b, come»cando com o dividendo

n, tomando sempre, como novo dividendo, o ¶ultimo quociente obtido, e parando quando
o quociente se anular. A leitura dos restos, do u¶ltimo para o primeiro, fornece a expans~ao
procurada.

Exemplo 3.1 Para encontrar a expans~ao na base 2 do inteiro 1864 basta usar o algo-
ritmo da divis~ao sucessivamente como abaixo:
1864 2 932 2 466 2 233 2 116 2
0 932 0 466 0 233 1 116 0 58
58 2 29 2 14 2 7 2 3 2 1 2
0 29 1 14 0 7 1 3 1 1 1 0
Das divis~oes acima, temos:
1864 = 2 ¢ 932 + 0
932 = 2 ¢ 466 + 0
466 = 2 ¢ 233 + 0
233 = 2 ¢ 116 + 1
116 = 2 ¢ 58 + 0
58 = 2 ¢ 29 + 0
29 = 2 ¢ 14 + 1
14 = 2¢7 + 0
7 = 2¢3 + 1
3 = 2¢1 + 1
1 = 2¢0 + 1
Para obter a expans~ao desejada basta fazer a leitura dos restos do u¶ltimo para o primeiro,
isto ¶e,
(1864)10 = (11101001000)2 :

Computadores representam n¶umeros em circuitos el¶etricos usando uma s¶erie de

chaves el¶etricas que possuem dois estados: \ligada" (passando corrente el¶etrica) e \desli-
gada" (n~ao passando corrente el¶etrica). Chaves ligadas representam o d¶³gito bin¶ario 1
e chaves desligadas representam o d¶³gito bin¶ario 0. J¶a em seus dispositivos visuais,
os computadores representam n¶umeros usando a base hexadecimal, atrav¶es dos d¶³gitos
hexadecimais 0, 1, 2, 3, 4, 5 ,6 ,7, 8, 9, A, B, C, D, E e F . As letras A, B, C, D,
E e F representam os d¶³gitos correspondentes a 10 ,11, 12, 13, 14 e 15 no sistema
decimal. Por exemplo, para converter (A35BOF )16 para a base decimal escrevemos

(A35BOF )16 = 10 ¢ 165 + 3 ¢ 164 + 5 ¢ 162 + 11 ¢ 162 + 0 ¢ 16 + 15

= (10705679)10 :

A convers~ao hexadecimal-bin¶ario ¶e feita atrav¶es da convers~ao dos d¶³gitos hexade-

cimais em blocos de 4 d¶³gitos bin¶arios, conforme mostra a tabela 3.1.
 26

Tabela 3.1: Convers~ao de d¶³gitos hexadecimais para o sistema bin¶ario.

d¶³gito hexadecimal d¶³gitos bin¶arios

0 0000
1 0001
2 0010
3 0011
4 0100
5 0101
6 0110
7 0111
8 1000
9 1001
A 1010
B 1011
C 1100
D 1101
E 1110
F 1111

Exemplo 3.2 Para converter (2F B3)16 em bin¶ario basta colocar, em seqÄu^encia, os
respectivos blocos de d¶³gitos bin¶arios de cada um dos d¶³gitos hexadecimais 2, F , B e
3. Assim

(2F B3)16 = (0010

| {z } 1111
| {z } 1011
| {z } 0011
| {z })2 = (10111110110011)2 :
2 F B 3

Exemplo 3.3 Para converter (11110111101001)2 em hexadecimal basta converter,

da direita para a esquerda, os blocos de digitos bin¶arios em hexadecimal. Assim

(11110111101001)2 = (0011 1101 1110 1001)2 = (3DE9)16 :

O esquema de convers~ao bin¶ario-hexadecimal tamb¶em se aplica quando uma das

bases ¶e uma pot^encia da outra.

3.0.3 Exerc¶³cios
1. Seja n um inteiro positivo, e seja n = (as as¡1 : : : a1 a0 )10 sua representa»c~ao
decimal posicional, isto ¶e,

n = as 10s + as¡1 10s¡1 + ¢ ¢ ¢ + a1 10 + a0

 27

sendo as ; as¡1 ; : : : ; a0 \algarismos" tomados no conjunto f0; 1; : : : ; 8; 9g.

Demonstre os seguintes resultados:

(a) n ¶e divis¶³vel por 2 se e somente se a0 , o d¶³gito das unidades, ¶e par.

(b) n ¶e divis¶³vel por 3 se e somente se a soma dos d¶³gitos de n, as +as¡1 +¢ ¢ ¢+
a1 + a0 ¶e divis¶³vel por 3. [Sugest~ao: Repare primeiramente que 10 ¡ 1 = 9,
102 ¡ 1 = 99, 103 ¡ 1 = 999, etc. Escreva n = as 10s + as¡1 10s¡1 +
¢ ¢ ¢ + a110 + a0 = as (10s ¡ 1) + as¡1 (10s¡1 ¡ 1) + ¢ ¢ ¢ + a1 (10 ¡
1) + a0 + (as + ¢ ¢ ¢ + a1 ) = 9m + (as + as¡1 + ¢ ¢ ¢ + a1 + a0)].
(c) n ¶e divis¶³vel por 5 se e somente se a0 , o d¶³gito das unidades, ¶e 0 ou 5.
(d) n ¶e divis¶³vel por 9 se e somente se a soma dos d¶³gitos de n, as + as¡1 +
¢ ¢ ¢ + a1 + a0 , ¶e divis¶³vel por 9.
(e) n ¶e divis¶³vel por 11 se e somente se a soma alternada de seus d¶³gitos,
a0 ¡ a1 + a2 ¡ ¢ ¢ ¢ + (¡1)s as , ¶e divis¶³vel por 11. [Sugest~ao: Mostre
primeiramente que, se m ¶e par ent~ao 10m ¡ 1 ¶e multiplo de 11, e se m ¶e
¶³mpar 10m + 1 ¶e m¶ ultiplo de 11.]

2. Determinar todos os inteiros positivos, m¶ultiplos de 5 que, escritos em base 10,

s~ao de 3 algarismos cuja soma ¶e 19.

3. Demonstre que nenhum inteiro da seqÄu^encia

11; 111; 1111; 11111; : : :

¶e um quadrado perfeito.

4. Determine um inteiro de quatro algarismos, que somado µa soma de seus algarismos

resulta 2603.

5. Demonstre que o quadrado de um inteiro ¶e da forma 5k ou 5k § 1. Com quais

algarismos pode terminar um quadrado perfeito?

6. (a) Converta 1999 da nota»c~ao decimal µa nota»c~ao em base 7.

(b) Converta 61057 µa nota»c~ao decimal.
(c) Converta 89156 da nota»c~ao decimal µa nota»c~ao em base 8.
(d) Converta 7061138 µa nota»c~ao decimal.
(e) Converta 101011112 e 1010010002 µa nota»c~ao decimal.
(f) Converta 999 e 1984 ao sistema bin¶ario.
(g) Converta 1000111101012 e 111010011102 ao sistema hexadecimal (base
16).
(h) Converta ABCDEF16 , DEF ACED16 e 9A0B16 ao sistema bin¶ario.
 28

7. Imagine que voc^e viajou para um planeta, onde os habitantes usam o sistema de
numera»c~ao posicional de base 5. Construa tabuadas nesse sistema, para a adi»c~ao
e para a multiplica»c~ao.
Realize as seguintes contas, sem converter os n¶umeros para o sistema decimal,
como se voc^e estivesse que explic¶a-las a seus alunos nesse planeta.

(a) 12343215 + 20301045

(b) 44342015 ¡ 4344215
(c) 12345 ¢ 30025
(d) 143215 ¥ 3345 (divis~ao euclidiana)

8. Nos exerc¶³cios abaixo, imite o procedimento usado no exerc¶³cio anterior, isto ¶e,
fa»ca os c¶alculos aritm¶eticos imitando os algoritmos que voc^e aprendeu na escola
b¶asica, da aritm¶etica do sistema decimal. Realize as opera»c~oes sem converter os
n¶umeros dados para o sistema decimal.

(a) Calcule, dando solu»co~es no sistema em que os inteiros est~ao representados:

i. 1011110112 + 11001110112
ii. 100010001111012 + 111111010111112
iii. 11110000112 ¡ 1101011112
iv. 11011011002 ¡ 1011101012
v. 111012 ¢ 1100012
vi. 11101112 ¢ 100110112
(b) Encontre o quociente e o resto
i. quando 1100111112 ¶e dividido por 11012
ii. quando 1101001112 ¶e dividido por 111012
(c) Calcule
i. ABAF ADA16 + BEBADA16
ii. F ADA16 ¡ CAF E16
iii. CAF E16 ¢ BED16

9. (a) Demonstre que todo inteiro ¶e de uma das formas: 3k ou 3 ¡ 1 ou 3k + 1,

com k inteiro.
(b) Demonstre ent~ao que cada inteiro positivo n pode ser representado na forma
tern¶aria balanceada, ou seja, pode ser representado na forma

n = an ¢ 3n + an¡1 ¢ 3n¡1 + ¢ ¢ ¢ + a1 ¢ 3 + a0

com ai = 0 ou §1, para cada ¶³ndice i.

(c) Um farmac^eutico tem apenas pesos de 1g, 3g, 9g, 27g, 81g, e uma balan»ca
de dois pratos (os pesos podem ser colocados em ambos os pratos). Mostre
que ele pode pesar qualquer objeto com at¶e 121g.
 29

10. Mostre que qualquer peso n~ao excedendo 2k ¡ 1 gramas pode ser medido usando
pesos de 1, 2, 22 , : : : , 2k¡1 gramas, em uma balan»ca de dois pratos, os pesos
sendo colocados num u¶nico prato da balan»ca.

11. Explique como converter expans~oes de inteiros na base 3 para a base 9 e vice-versa.

12. Mostre que se n = (ak ak¡1 : : : a1 a0)b ent~ao o quociente e o resto, da divis~ao de
n por bj s~ao, respectivamente, q = (ak ak¡1 : : : aj )b e r = (aj¡1 : : : a1 a0 )b .

13. Se n = (ak ak¡1 : : : a1 a0 )b ent~ao qual ¶e a expans~ao de bm n na base b ?

14. Uma expans~ao de Cantor para um inteiro positivo n ¶e uma soma do tipo

n = am m! + am¡1 (m ¡ 1)! + ¢ ¢ ¢ + a2 2! + a1 1!

onde cada aj ¶e um inteiro com 0 · aj · j.

(a) Encontre a expans~ao de Cantor para 14, 56 e 384.

(b) Mostre que qualquer inteiro positivo tem uma u¶nica expans~ao de Cantor.

15. O Jogo chin^es NIM ¶e jogado em duplas como segue. Inicialmente um n¶umero
aleat¶orio de palitos est~ao dispostos em v¶arias ¯leiras. Cada movimento consiste
em retirar um ou mais palitos sempre de uma mesma ¯leira, vencendo o jogo
aquele que retirar o u ¶ltimo palito em sua jogada. Uma jogada segura ¶e uma
con¯gura»c~ao de palitos em ¯leiras que, quando deixada para o oponente, o leva a
derrota seguindo uma estrat¶egia de jogo. Por exemplo, dois palitos, cada um em
uma ¯leira, ¶e uma jogada segura pois seu oponente ir¶a tirar um dos palitos e voc^e
ira tirar o ¶ultimo palito.

(a) Mostre que a con¯gura»c~ao de duas ¯leiras, com dois palitos cada, ¶e uma
jogada segura.
(b) Mostre que uma jogada ¶e segura se e somente se acontecer o seguinte:
expandindo a quantidade de palitos em cada ¯leira na nota»c~ao bin¶aria, a
soma em coluna dos d¶³gitos bin¶arios ¶e sempre par. Por exemplo, se tivermos
tr^es ¯leiras com 3, 7 e 4 ent~ao a expans~ao bin¶aria ¶e

3 = 0 1 1
7 = 1 1 1
4 = 1 0 0

e a soma em coluna dos d¶³gitos bin¶arios ¶e sempre par (neste caso ¶e sempre
igual a dois).

16. Seja a um inteiro com expans~ao decimal de quatro d¶³gitos n~ao constantes, even-
tualmente com d¶³gitos iniciais nulos. Seja a0 o inteiro obtido a partir dos d¶³gitos
decimais de a em ordem decrescente e seja a00 o inteiro obtido a partir dos d¶³gitos
decimais de a em ordem crescente. De¯na T (a) = a0 ¡ a00 . Por exemplo,
T (7318) = 8731 ¡ 1378 = 7358.
 30

(a) Mostre que o u¶nico inteiro a com expans~ao decimal de quatro d¶³gitos n~ao
constantes tal que T (a) = a ¶e 6174.
(b) Mostre que se a ¶e um inteiro positivo com expans~ao decimal de quatro d¶³gitos
n~ao constantes ent~ao a sequ^encia a, T (a), T (T (a)), T (T (T (a))),: : :
obtida pela itera»c~ao de T em a sempre recai em 6174. Por causa desta
propriedade, 6174 ¶e chamado de constante de Kaprekar.

17. Seja b um inteiro positivo e seja a um inteiro com expans~ao na base b de quatro
d¶³gitos n~ao constantes, eventualmente com d¶³gitos iniciais nulos. Seja a0 o inteiro
obtido a partir dos d¶³gitos de a na base b em ordem decrescente e seja a00 o
inteiro obtido a partir dos d¶³gitos de a na base b em ordem crescente. De¯na
Tb (a) = a0 ¡ a00 .

(a) Seja b = 5. Encontre o u¶nico inteiro a0 com expans~ao na base b de quatro

d¶³gitos n~ao constantes tal que T5 (a0 ) = a0 . Mostre este inteiro a0 ¶e uma
constante de Kaprekar para a base 5, isto ¶e, mostre que a sequ^encia a,
T5 (a), T5(T5 (a)), T5(T5 (T5 (a))),: : : sempre recai em a0 quando a ¶e
um inteiro com expans~ao na base b de quatro d¶³gitos n~ao constantes.
(b) Mostre que n~ao existe constante de Kaprekar para a base 6.
4

N¶
umeros primos

Neste cap¶³tulo, apresentamos o conceito de n¶

umero primo e exploramos as primeiras
propriedades dos n¶umeros primos.

4.1 Conceito e primeiras propriedades

O inteiro positivo 1 tem somente um divisor positivo. Qualquer outro inteiro positivo
n > 1 tem pelo menos dois divisores positivos, 1 e n.

De¯ni»c~ ao 4.1 Dizemos que um inteiro p ¶e primo se p 6

= 0, p 6= §1 e os ¶unicos
inteiros divisores positivos de p s~ao 1, p, ¡1 e ¡p. Dizemos que um inteiro m ¶e
composto se m 6 = 0, m 6 = §1, e m n~ao ¶e primo .

Assim sendo, um inteiro p ¶e primo quando p 6

= §1 e seus ¶unicos divisores positivos
s~ao 1 e jpj. J¶a um inteiro m ¶e composto quando m 6= 0, e m possui divisores positivos
diferentes de 1 e de jmj.
umeros primos, como blocos construtivos
O teorema abaixo estabelece o papel dos n¶
dos inteiros.

Teorema 4.1 Todo inteiro m, com m ¸ 2, ¶e um n¶umero primo ou tem a forma

m = p1 £ ¢ ¢ ¢ £ pn , para certos inteiros positivos e primos p1; : : : ; pn , com n ¸ 2.

Demonstra»c~ao por indu»c~ao sobre m:

Se m = 2, ent~ao m ¶e primo (demonstre).
Seja k ¸ 2 e suponhamos que todo inteiro m, com 2 · m · k, ¶e primo ou
se decomp~oe como produto de fatores primos. Trataremos de provar que ent~ao k + 1
tamb¶em ¶e primo ou se escreve como produto de fatores primos.

31
 ¶meros inteiros
Os nu 32

Consideremos o inteiro k + 1. Se k + 1 ¶e primo, ent~ao nada mais temos a provar.

Se k + 1 n~ao ¶e primo (isto ¶e, se k + 1 ¶e composto), ent~ao existem inteiros
positivos a e b, com 1 < a < k + 1 e 1 < b < k + 1, tais que k + 1 se fatora na
forma k + 1 = a ¢ b.
Agora, como 1 < a · k e 1 < b · k, pela hip¶otese de indu»c~ao cada um dos
inteiros a e b se decomp~oe como produto de fatores primos positivos.
Logo, como k + 1 = ab, k + 1 se decomp~oe como um produto de fatores primos.
Assim sendo, cada inteiro m ¸ 2 ¶e primo ou se escreve como um produto de
primos.
O teorema 4.1 enuncia, em parte, o Teorema Fundamental da Aritm¶etica, que
ser¶a estudado oportunamente. O Teorema Fundamental da Aritm¶etica estabelece que a
decomposi»c~ao de cada inteiro positivo, maior que 1, em fatores primos, ¶e u¶nica a menos
da ordem dos fatores.
O teorema seguinte estabele um resultado que pode ser usado para testar se um
inteiro positivo n ¶e primo. Como veremos, o mesmo teorema pode ser usado para listar
todos os primos positivos menores que ou iguais a n.

Teorema 4.2 Se pn ¶e um inteiro positivo composto ent~ao n tem um fator primo p

satisfazendo p · n.

Prova. Sendo n composto,

p escrever n p
podemosp = a ¢ b com 1 < a · bp< n.
p Um dos
fatores a e b ¶e · n, pois se a > n e b > n, ent~ao n = ab > n ¢ n = n,
e temos a¶³ uma contradi»c~ao.
Pelo teorema 4.1, a possui pelo menos um fator primo p. Comopp j a e a j n
que p j n, de onde p ¶e um fator primo de n com p · a e a · n, e portanto
seguep
p · n.

Exemplo 4.1 Parap testar se o inteiro 1007 ¶e primo observamos,

p com o uso de uma
calculadora, que 1007 ¼ 31; 73. Os primos positivos · 1007 s~ao 2, 3, 5, 7, 11,
13, 17, 19, 23, 29, 31. Com a calculadora, veri¯camos que 1007 n~ao ¶e divis¶³vel por
nenhum desses fatores, e portanto ¶e primo. J¶a o mesmo procedimento nos revela que
1003 = 17 ¢ 59 e que 1001 = 13 ¢ 17.

4.2 O crivo de Erat¶

ostenes
O teorema 4.2 ¶e usado, por exemplo, para listar os primos menores que ou iguais a n.
Este procedimento ¶e chamado de Crivo de Erat¶ostenes, e consiste listar os n¶umeros
menores que ou iguais a n crivando os m¶ultiplos dos primos menores que ou iguais a
 ¶meros inteiros
Os nu 33

p
n. Como mostramos abaixo, para n = 100 crivamos os m¶
ultiplos de f2; 3; 5; 7g,
obtendo todos os primos p · 100.

1 2 3 6
4 5 6
6 7 6
8 Â9 10
6
11 12
6 13 14
6 15
 16
6 17 18
6 19 20
6
21
 22
6 23 24
6 25
j 26
6 27
 28
6 29 30
6
31 32
6 33
 34
6 35
j 36
6 37 38
6 39
 40
6
41 42
6 43 44
6 45
 46
6 47 48
6 4Á
Â9 50
6
51
 52
6 53 54
6 55
j 56
6 57
 58
6 59 60
6
61 62
6 63
 64
6 65
j 66
6 67 68
6 69
 70
6
71 72
6 73 74
6 75
 76
6 7Á
Â7 78
6 79 80
6
81
 82
6 83 84
6 85
j 86
6 87
 88
6 89 90
6
9
ÁÂ
1 92
6 93
 94
6 95
j 96
6 97 98
6 99
 100
6

4.3 A distribui»c~
ao dos n¶
umeros primos
Exporemos agora alguns resultados que envolvem a distribui»c~ao dos primos dentre os
inteiros.

Teorema 4.3 (Euclides) Existem in¯nitos n¶

umeros primos.

Demonstra»c~ao. Demonstraremos que, sendo dado um conjunto ¯nito qualquer de primos

positivos, ¶e poss¶³vel \construir" um primo que est¶a fora desse conjunto. Assim, o
conjunto de primos ¶e in¯nito.
Seja ent~ao fp1 ; : : : ; pn g um conjunto de n primos positivos distintos, n ¸ 1.
Considere o inteiro positivo
a = p1 ¢ ¢ ¢ pn + 1

Mostraremos que a possui um fator primo diferente dos primos p1 , : : : , pn .

Obviamente, a ¶e um inteiro positivo maior que cada um dos primos p1 , : : : , pn .
Se a ¶e primo, ele mesmo ¶e o fator primo procurado.
Se a n~ao ¶e primo, pelo teorema 4.1, ele possui um fator primo positivo q. Temos
ent~ao q 6 2 fp1; : : : ; pn g: se q = pi para algum i 2 f1; : : : ; ng, ent~ao q j
p1 ¢ ¢ ¢ pn ; como q j a, temos que q j (a ¡ p1 ¢ ¢ ¢ pn ), e portanto q j 1, o que
contradiz o fato de q ser primo.
Assim, o inteiro a tem um fator primo diferente dos primos p1 , : : : , pn .
Portanto, o conjunto dos n¶
umeros primos n~ao pode ser ¯nito.

Proposi»c~ao 4.1 Para cada inteiro positivo n, existe pelo menos uma seqÄ
u^encia de n
inteiros consecutivos compostos.
 ¶meros inteiros
Os nu 34

Demonstra»c~ao. Fixado n considere os n inteiros consecutivos

(n + 1)! + 2 ; (n + 1)! + 3 ; : : : ; (n + 1)! + (n + 1) :

Como j j (n + 1)! para todo 2 · j · n+1 e como j j j segue que j j (n + 1)! + j

para todo 2 · j · n + 1. Logo os n inteiros consecutivos listados s~ao compostos.
De acordo com a proposi»c~ao, os sete inteiros consecutivos a partir de com 8!+2 =
40322 s~ao compostos. Entretanto estes n~ao s~ao os primeiros sete inteiros positivos
consecutivos compostos, j¶a que 90; 91; 92; 93; 94; 95 e 96 tamb¶em s~ao compostos. A
proposi»c~ao anterior estabelece que o intervalo entre dois primos consecutivos pode ser
arbitrariamente grande.
Por outro lado, muitos pares de primos consecutivos diferem entre si por duas
unidades, sendo por isto chamados de primos g^emeos. Alguns exemplos de primos
g^emeos s~ao: 3 e 5, 5 e 7, 11 e 13, 101 e 103, 4967 e 4969. A exist^encia de um
n¶umero in¯nito de pares de primos g^emeos ¶e uma conjetura matem¶atica famosa (um
problema em aberto).
O pr¶oximo teorema, o teorema do n¶umero primo, foi conjeturado por Gauss em
1793 e provado somente em 1896, quando o matem¶atico franc^es Jacques Hadamard
e o matem¶atico belga Charles Jean de la Vall¶ee Poussin produziram demonstra»c~oes
independentes.

De¯ni»c~ao 4.2 A fun»c~ao ¼(x), onde x ¶e um n¶umero real positivo, determina a quan-
tidade de n¶umeros primos menores que ou iguais a x. Por exemplo, ¼(10) = 4 e
¼(100) = 25.

x
Teorema 4.4 (Teorema do n¶ umero primo) A fun»c~ao ¼(x) aproxima-se de loge x
, µa
¼(x)
medida que x cresce inde¯nidamente. Mais precisamente, lim x = 1.
x!1
loge x

N~ao temos condi»c~oes de demonstrar o teorema 4.4 aqui, e deixamos a tabela 4.3
para que o leitor aprecie evid^encias num¶ericas a respeito desse teorema. Aqui, loge x ¶e o
logaritmo natural de x, comumente denotado por ln x, cuja base ¶e o n¶umero irracional
e ¼ 2; 7182.
Note que, como ¼(n)= logn n tende a 1, quando n tende ao in¯nito, temos que
e
¼(n)
n
¢ loge n tende a 1. Como loge n tamb¶em tende ao in¯nito, temos que ¼(n)=n =
¼(n)
( n ¢ loge n)= loge n tende a 0. Assim, a porcentagem de primos, dentre os primeiros
n inteiros positivos, ¼(n)=n, tende µa zero µa medida em que n cresce. Isto nos revela
que ¶e cada vez mais dif¶³cil encontrar n¶umeros primos µa medida em que avan»camos nos
inteiros positivos.
Observando a tabela 4.3, notamos que 168% dos inteiros positivos at¶e 103 s~ao
primos. 7; 8498% dos inteiros at¶e 106 s~ao primos e, at¶e 1014 , aproximadamente 3; 1%
s~ao primos.
 ¶meros inteiros
Os nu 35

x
Tabela 4.1: Compara»co~es de ¼(x) com loge x

x
x ¼(x) loge x
¼(x)= logx x
e

103 168 144; 8 1; 160

104 1229 1085; 7 1; 132
105 9592 8685; 9 1; 104
106 78498 72382; 4 1; 085
107 664579 620420; 7 1; 071
108 5761455 5428681; 0 1; 061
109 50847534 48254942; 4 1; 054
1010 455052512 434294481; 9 1; 048
1011 4118054813 3948131663; 7 1; 043
1012 37607912018 36191206825; 3 1; 039
1013 3460655335898 33407267837; 1 1; 036
1014 3204941750802 3102103442166 1; 033

Tabela 4.2: Densidade dos n¶umeros primos dentre os primeiros inteiros positivos.
¼(n)
n ¼(n) n
103 168 0; 168
10 6 78498 0; 078498
10 9 50847534 0; 050847534
1010 455052512 0; 0455052512
1014 3204941750802 0; 03102103442166

Existem v¶arias conjeturas envolvendo n¶umeros primos, f¶aceis de se enunciar. Essas

conjeturas s~ao propriedades ainda n~ao demonstradas e tampouco refutadas. Uma delas
¶e sobre a exist^encia de in¯nitos primos da forma n2 + 1, com n inteiro positivo. Ou
seja, n~ao se sabe se o conjunto dos primos dessa forma ¶e ¯nito ou in¯nito. Uma outra,
¶e a seguinte conjetura.
Conjetura de Goldbach Todo inteiro par, maior que dois, pode ser expresso como a
soma de dois primos.
Esta propriedade de inteiros pares, formulada por Christian Goldbach em uma carta
escrita a Euler, em 1742, ¶e verdadeira para todos os inteiros pares muito grandes, da
ordem dos milh~oes, e sua validade, para inteiros pares grandes, continua sendo veri¯cada
continuadamente em supercomputadores. Por exemplo,

² 10=3+7=5+5
² 24=5+19=7+17=11+13
 ¶meros inteiros
Os nu 36

² 100 = 3+97 = 11+89 = 17+83 = 29+71 = 41+59 = 47+53

Considere agora a seqÄuencia dos inteiros primos positivos, em ordem crescente,

p1 < p2 < p3 < : : : . Ou seja, p1 = 2, p2 = 3, p3 = 5, p4 = 7, p5 = 11, etc.
Como na demonstra»c~ao do teorema 4.3, consideremos o inteiro an = p1 p2 ¢ ¢ ¢ pn + 1.
Como vimos naquela demonstra»c~ao, an possui um fator primo diferente dos primos p1 ,
p2 , : : : , pn . N~ao podemos dizer com certeza se an ¶e primo ou n~ao mas, por exemplo,

a1 2 + 1 = 3
a2 = 2 ¢ 3 + 1 = 7
a3 = 2 ¢ 3 ¢ 5 + 1 = 31
a4 = 2 ¢ 3 ¢ 5 ¢ 7 + 1 = 211
a4 = 2 ¢ 3 ¢ 5 ¢ 7 ¢ 11 + 1 = 2311

s~ao todos primos. Entretanto,

a6 = 2 ¢ 3 ¢ 5 ¢ 7 ¢ 11 ¢ 13 + 1 = 30 031 = 59 ¢ 509
a7 = 19 ¢ 97 ¢ 277
a8 = 347 ¢ 27953

N~ao se sabe se an ¶e primo para uma in¯nidade de ¶³ndices n, e nem se an ¶e composto

para uma in¯nidade de valores de n. Temos a¶³ mais duas conjeturas a respeito de primos.

4.4 Exerc¶³cios
1. Determine quais dos seguintes n¶umeros s~ao primos, usando o teorema 4.2.
(a) 101 (b) 103 (c) 107 (d) 211 (e) 213 (f) 221

2. Use o crivo de Erat¶ostenes para encontrar todos os primos menores que 200.
[Sugest~ao: Fa»ca uma lista dos inteiros positivos ¶³mpares, menores que 200, e
aplique o procedimento do crivo.]

3. Encontre todos os primos da forma a4 ¡ b4 com a e b inteiros positivos.

4. Mostre que nenhum inteiro da forma n3 + 1 ¶e primo, exceto 2 = 13 + 1.

5. Mostre que se a e n s~ao inteiros positivos tais que an ¡ 1 ¶e primo, ent~ao ne-
k`
cessariamente a = 2 e n¡ ¶e primo. [Sugest~ao: Use a identidade¢ a ¡1 =
k ` k k(`¡1) k(`¡2) k
(a ) ¡ 1 = (a ¡ 1) a +a + ¢ ¢ ¢ + a + 1 , para k ¸ 2,
` ¸ 2.]

6. Prove que, para cada inteiro positivo n, existe um inteiro primo p, com p > n.
Conclua ent~ao, por uma nova demonstra»c~ao, que o conjunto dos inteiros primos
positivos ¶e in¯nito. [Sugest~ao: Mostre que todo fator primo, do inteiro an =
n! + 1, ¶e maior que n].
 ¶meros inteiros
Os nu 37

7. (a) Encontre os cinco primeiros inteiros positivos consecutivos compostos;

(b) Encontre um milh~ao de inteiros consecutivos compostos;

8. Mostre que n~ao existem primos trig^emeos p, p + 2 e p + 4, a n~ao ser 3, 5 e 7.

9. Demonstre que qualquer inteiro n ¸ 11 ¶e a soma de dois inteiros compostos.

10. (a) Mostre que o polin^omio x2 ¡ x + 41 ¶e primo para todos os inteiros x com
0 · x · 40. Mostre, entretanto, que ele ¶e composto em x = 41.
(b) (Goldbach) Mostre que se f (x) = an xn + an¡1 xn¡1 + ¢ ¢ ¢ + a1x + a0 ,
com n ¸ 1 e an 6 = 0, sendo os coe¯cientes an ; : : : ; a0 todos inteiros,
ent~ao existe um inteiro a tal que f (a) ¶e composto. [Sugest~ao: Assuma que
f (a) ¶e primo para todo inteiro a. Considere o n¶umero primo p = f (0) =
a0. Demonstre que ent~ao f (kp) = p, para todo inteiro k.]
5

M¶
aximo Divisor Comum

5.1 Conceitua»c~
ao e propriedades elementares
Se x e a s~ao inteiros, com a 6
= 0, e x j a ent~ao jxj · jaj. De fato, como a = xc,
para algum inteiro c, e c 6
= 0 (pois a 6
= 0), temos jcj ¸ 1, e portanto
jxj = jxj ¢ 1 · jxjjcj = jxcj = jaj ) jxj · jaj

Assim sendo, se a 6 = 0, o conjunto D(a) dos inteiros divisores de a ¶e limitado

superiormente por jaj (note por¶em que se a = 0, ent~ao D(a) = D(0) = Z, pois
cada inteiro ¶e divisor de zero).
Agora, dados dois inteiros a e b, com a 6 = 0 ou b 6 = 0, existe pelo menos um
divisor comum de a e b, a saber, 1, j¶a que 1 j a e 1 j b. Al¶em disso, se x 2 Z ¶e um
divisor comum de ambos a e b ent~ao, pela observa»c~ao acima, jxj · jaj (se a 6 = 0)
ou jxj · jbj (se b 6= 0). Assim sendo, o conjunto dos divisores comuns de a e b ¶e
limitado superiormente (pelo maior dos inteiros jaj e jbj), e portanto possui um m¶aximo
d, sendo d ¸ 1, j¶a que 1 j a e 1 j b. A este inteiro d chamamos m¶aximo divisor
comum de a e b.

De¯ni»c~ao 5.1 Dados dois inteiros a e b, chama-se m¶aximo divisor comum de a e b ao

inteiro d satisfazendo:

1. d = 0, se a = b = 0
2. Se a 6
= 0 ou b 6
= 0, d ¶e caracterizado pelas seguintes duas propriedades:
(i) d j a e d j b
(ii) 8x 2 Z, x j a e x j b ) x · d

ao 5.1 Se d ¶e o m¶aximo divisor comum de a e b, denotamos

Observa»c~
d = mdc(a; b)

38
 ¶meros inteiros
Os nu 39

De acordo com a nota»c~ao estabelecida acima, simbolicamente temos:

1. mdc(0; 0) = 0

2. Se a 6
= 0 ou b 6
= 0, ent~ao
mdc(a; b) = maxfx 2 Z j x j a e x j bg

Exemplo 5.1 Os divisores comuns de 24 e 84 s~ao §1; §2; §3; §4; §6; e §12.
Portanto mdc(24; 84) = 12. Analogamente, olhando os conjuntos de divisores co-
muns, conclu¶³mos que mdc(15; 81) = 3, mdc(100; 5) = 5 , mdc(17; 25) = 1,
mdc(0; ¡44) = 44 e mdc(¡6; ¡15) = 3.

ao 5.1 8a; b 2 Z
Proposi»c~

1. mdc(a; 0) = jaj

2. mdc(a; b) = mdc(jaj; jbj)

3. mdc(a; b) = mdc(b; a)

Demonstra»c~ao. A demonstra»c~ao dos itens 2 e 3 ¶e imediata, j¶a que 8x 2 Z,

x j a e x j b , x j b e x j a , x j jaj e x j jbj

Demonstra»c~ao do item 1.
Se a = 0, mdc(a; 0) = mdc(0; 0) = 0 = jaj.
Se a 6
= 0, seja d = jaj. Como a = §d = d(§1), temos que d j a. Tamb¶em
d j 0. Agora, para cada x 2 Z, x j a e x j 0 ) x j a ) x · jaj ) x · d.
Logo, pela de¯ni»c~ao de mdc, jaj = d = mdc(a; 0).

ao 5.2 Dois inteiros a e b s~ao chamados primos entre si ou relativamente primos

De¯ni»c~
quando mdc(a; b) = 1.

ao 5.2 Sejam a, b e c inteiros, com a 6

Proposi»c~ = 0 ou b ¡6
= 0,¢e mdc(a; b) = d.
Ent~ao a=d e b=d s~ao inteiros primos entre si, ou seja, mdc ad ; db = 1.

Demonstra»c~ao. Sejam a e b dois inteiros, com mdc(a; b) = d > 0. Veremos que 1 ¶e

o u¶nico divisor positivo comum de a=d e b=d.
Suponhamos que e ¶e um inteiro positivo tal que e j (a=d) e e j (b=d). Ent~ao,
existem inteiros k e ` tais que a=d = ke e b=d = `e, logo a = dek e b = de`.
Portanto, de ¶e um divisor comum de a e b. Como d ¶e o m¶aximo divisor comum de a
e b, temos de · d. Assim e · 1 e portanto e deve ser igual a 1.
 ¶meros inteiros
Os nu 40

Portanto, mdc(a=d; b=d) = 1.

O seguinte teorema, um teorema n~ao intuitivo de nossa introdu»c~ao µa aritm¶etica
dos inteiros, nos d¶a uma segunda caracteriza»c~ao do m¶aximo divisor comum, e ser¶a fun-
damental para estabelecermos uma terceira (e bem utilizada) caracteriza»c~ao do m¶aximo
divisor comum.

Teorema 5.1 O m¶aximo divisor comum de dois inteiros a e b, n~ao ambos nulos, ¶e o
menor inteiro positivo d que ¶e uma combina»c~ao linear de a e b, isto ¶e, o menor inteiro
positivo da forma ma + nb com m e n inteiros. Em outras palavras, se a 6 = 0 ou
b6= 0, ent~ao

mdc(a; b) = minfx 2 Z j x > 0 e x = ma + nb; com m; n 2 Zg

Demonstra»c~ao. Seja d = ma + nb o menor inteiro positivo que ¶e combina»c~ao linear de

a e b, cuja exist^encia ¶e garantida pelo principio da boa ordem (existe uma combina»c~ao
linear de a e b que ¶e positiva: basta considerar jaj + jbj = (§1)a + (§1)b).
Vamos mostrar que d j a e d j b. Pelo algoritmo da divis~ao podemos escrever
a = dq + r, para certos inteiros q e r, com 0 · r < d.
Logo r = a ¡ dq = a ¡ q(ma + nb) = (1 ¡ qm)a ¡ (qn)b, de onde r ¶e
uma combina»c~ao linear de a e b.
Como 0 · r < d e d ¶e o menor inteiro positivo que ¶e uma combina»c~ao linear de a
e b, conclu¶³mos que r = 0 e que portanto d j a. Analogamente, podemos demonstrar
que d j b.
Para mostrar que d ¶e o m¶aximo divisor comum de a e b precisamos mostrar que
qualquer divisor comum c de a e b ¶e menor que ou igual a d. Como d = ma + nb,
se c j a e c j b segue imediatamente que c j d, e portanto, c · d.

Corol¶ario 5.1 Se a e b s~ao inteiros e d = mdc(a; b), ent~ao existem inteiros r e s

tais que d = ra + sb.

Corol¶ario 5.2 Sendo a e b dois inteiros, a e b s~ao primos entre si se e somente se

existem inteiros r e s satisfazendo ra + sb = 1.

Demonstra»c~ao. Se mdc(a; b) = 1 ent~ao, pelo corol¶ario 5.1, vale uma igualdade ra +

sb = 1, com r e s inteiros. Reciprocamente, se ra + sb = 1 ent~ao a 6 = 0 ou b 6 =0
e, al¶em disso, 1 ¶e a menor combina»c~ao linear positiva de a e b, com coe¯cientes inteiros.
Pelo teorema 5.1, mdc(a; b) = 1.
 ¶meros inteiros
Os nu 41

ario 5.3 Sejam a; b 2 Z e d = mdc(a; b). Sejam

Corol¶
A = fx 2 Z j x = ma + nb; com m; n 2 Zg; e
M = fy 2 Z j y = ¸d; com ¸ 2 Zg:
Ent~ao A = M , isto ¶e, as combina»c~oes lineares ma+nb, com m e n inteiros coincidem
com os inteiros m¶ultiplos de d.

Demonstra»c~ao. Se a = b = 0, temos d = 0 e A = M = f0g. Suponhamos ent~ao

a6= 0 ou b 6 = 0. Para provar que A = M , provaremos que A ½ M e M ½ A.
(i) A ½ M :
Seja x um elemento de A.
x 2 A ) x = ma + nb para certos inteiros m e n.
Sendo d = mdc(a; b), temos que d j a e d j b ) d j (ma + nb) ) d j x
) x = ¸d, para algum inteiro ¸ ) x 2 M .
(ii) M ½ A:
Seja y um elemento de M .
y 2 M ) y = ¸d, para algum inteiro ¸.
Pelo teorema 5.1, d = ra + sb, para certos inteiros r; s. Logo, y = ¸d =
¸(ra + sb) = (¸r)a + (¸s)b ) y 2 A.
Por (i) e (ii), temos A = M .

Corol¶ ao habitual do mdc) Sendo a e b dois inteiros dados,

ario 5.4 (Caracteriza»c~
temos: 8
< (1) d ¸ 0
d = mdc(a; b) , (2) d j a e d j b
:
(3) 8x 2 Z; x j a e x j b ) x j d

Demonstra»c~ao.
()) Note que (1) e (2) j¶a s~ao propriedades estabelecidas do mdc. Assim s¶o nos
resta demonstrar que d = mdc(a; b) satisfaz µa condi»c~ao (3).
Pelo primeiro corol¶ario do teorema 5.1, d = ra + sb para certos inteiros r e s.
Logo, para cada x 2 Z, se x j a e x j b ent~ao x j (ra + sb), logo x j d.
(() Sejam a = b = 0 e suponhamos que d 2 Z satisfaz as condi»c~oes (1),
(2) e (3). Por (3), cada inteiro x que divide a e b deve tamb¶em dividir d. Agora,
x = 0 divide a e b, logo divide d. Mas 0 j d , d = 0. Logo, pela de¯ni»c~ao 5.1,
d = mdc(a; b).
Suponhamos agora a 6
= 0 ou b 6
= 0. Por (2), d 6
= 0 e ent~ao, por (1) e (2),
d > 0.
 ¶meros inteiros
Os nu 42

Agora temos: se x 2 Z ¶e tal que x j a e x j b. Pela condi»c~ao (3), temos ent~ao

que x j d, logo x · jdj = d.
Assim temos:
djaedjbe
8x 2 Z; x j a e x j b ) x · d.
Portanto, conforme a de¯ni»c~ao 5.1, d = mdc(a; b).

De¯ni»c~ao 5.3 Seja a1 ; a2; : : : ; an uma cole»c~ao ¯nita de inteiros n~ao todos nulos.
O m¶aximo divisor comum dessa cole»c~ao ¶e o maior inteiro d que divide simultanea-
mente todos os inteiros da cole»c~ao, e ser¶a denotado por mdc(a1 ; a2 ; : : : ; an ) ou por
(a1 ; a2; : : : ; an ).

Por exemplo, (12; 18; 30) = 6 e (10; 15; 25) = 5.

Proposi»c~ao 5.3 Se a1 ; a2 ; : : : ; an ¶e uma cole»c~ao ¯nita de inteiros, n~ao todos nulos,

ent~ao (a1 ; a2 ; : : : ; an¡1 ; an ) = (a1 ; a2 ; : : : ; an¡2 ; mdc(an¡1 ; an ).

Demonstra»c~ao. Qualquer divisor comum da cole»c~ao a1 ; a2 ; : : : ; an ¶e, em particular,

um divisor de an¡1 e an , e portanto um divisor comum da cole»c~ao a1 ; a2; : : : ; an¡2 ,
mdc(an¡1; an ).
Reciprocamente, todo divisor comum de a1 , a2 , : : : , an¡2 , mdc(an¡1 ; an ) ¶e
um divisor comum da cole»c~ao a1; a2 ; : : : ; an , pois para dividir mdc(an¡1 ; an ) ter¶a
necessariamente que dividir an¡1 e an . Como as duas cole»c~oes possuem o mesmo
conjunto de divisores comuns, segue a proposi»c~ao.
Por exemplo,
mdc(105; 140; 350) = mdc(105; mdc(140; 350)) = mdc(105; 70) = 35:

De¯ni»c~ao 5.4 Dizemos que os inteiros a1 ; a2 ; : : : ; an s~ao mutuamente primos se

(a1 ; a2; : : : ; an ) = 1. Dizemos que os inteiros a1 ; a2 ; : : : ; an s~ao dois a dois
primos entre si, ou relativamente primos, quando ai e aj s~ao primos entre si para cada
par de inteiros ai e aj .

¶ f¶acil ver que serem dois a dois primos entre si implica serem mutuamente primos
E
mas a rec¶³proca ¶e falsa, como mostra o seguinte exemplo.

Exemplo 5.2 Considere os inteiros 15, 21 e 35. Como

mdc(15; 21; 35) = mdc(15; mdc(21; 35)) = mdc(15; 7) = 1
vemos que esses inteiros s~ao mutuamente primos. Contudo, quaisquer dois desses inteiros
n~ao s~ao primos entre si, pois mdc(15; 21) = 3, mdc(15; 35) = 5 e mdc(21; 35) =
7.
 ¶meros inteiros
Os nu 43

5.2 O algoritmo Euclidiano para o c¶

alculo do mdc
Estabeleceremos aqui um algoritmo para o c¶alculo de mdc(a; b), no caso em que a e
b s~ao inteiros ambos n~ao nulos, realizado atrav¶es de uma seqÄu^encia ¯nita de divis~oes
Euclidianas. Antes de enunci¶a-lo ilustr¶a-lo-emos atrav¶es de um exemplo.
Considere o problema de calcular mdc(91; 35).
Come»camos fazendo

91 35
21 2

Consideramos ent~ao o divisor 35 e o resto 21 dessa primeira divis~ao e efetuamos

a divis~ao Euclidiana de 35 por 21.

35 21
14 1

Agora repetimos o processo iniciado acima, isto ¶e, tomamos, na pr¶oxima divis~ao,
21 como dividendo e 14 como divisor:

21 14
7 1

Finalmente, chegamos µa divis~ao exata

14 7
0 2

Tendo chegado a um resto igual a zero, o algoritmo termina. O u¶ltimo resto n~ao
nulo, das divis~oes sucessivas realizadas, ¶e o mdc procurado, ou seja, mdc(91; 35) = 7.

Lema 5.1 Sejam a e b dois inteiros, com b 6

= 0, e seja r o resto da divis~ao Euclidiana
de a por b. Ent~ao mdc(a; b) = mdc(b; r).

Demonstra»c~ao. Para demonstrar o resultado enunciado no lema, ¶e su¯ciente provar que

todo divisor de a e b ¶e tamb¶em divisor de b e r, e reciprocamente. Assim sendo, o
maior divisor de a e b coincidir¶a com o maior divisor de b e r. Note que esse \maior
divisor" existe, j¶a que b 6
= 0.
Temos, por hip¶otese, a = bq + r, logo r = a ¡ bq.
Seja x um inteiro divisor de a e b. Ent~ao x j a e x j b ) x j (a¡qb) ) x j r.
Logo, x j b e x j r.
 ¶meros inteiros
Os nu 44

Agora, seja x um inteiro divisor de b e r. Ent~ao x j b e x j r ) x j (qb+r) )

x j a. Logo, x j b e x j a.

Lema 5.2 Sejam a e b inteiros ambos positivos com a ¸ b e de¯namos uma seqÄu^encia
de inteiros n~ao negativos da seguinte forma:

² r1 = a;
² r2 = b;
² Para cada ¶³ndice k, com k ¸ 2, se rk 6
= 0, rk+1 ¶e o resto da divis~ao Euclidiana
de rk¡1 por rk :

rk¡1 rk
rk+1 ¤

e se rk = 0, a seqÄu^encia termina em rk . Ent~ao a seqÄu^encia r1; r2 ; : : : ¶e ¯nita e

termina num zero, ou seja, existe um indice n tal que r1 ¸ r2 > : : : > rn > 0 e
rn+1 = 0.

Demonstra»c~ao. Por hip¶otese, r1 ¸ r2 e, pela de¯ni»c~ao de rk+1 , para k ¸ 2 temos

rk+1 < rk .
Considere o conjunto de n¶umeros naturais S = fr1 ; r2 ; : : : g. Como S ½ N
e S 6 = ¿, pelo princ¶³pio da boa ordem, S possui um m¶³nimo, o qual denotaremos
por rn+1 . Pelo que foi observado acima, teremos rn+1 < rn < : : : < r2 · r1 .
A¯rmamos que rn+1 = 0. Para justi¯car isto, basta observar que se rn+1 6 = 0 ent~ao
podemos de¯nir rn+2 2 S como sendo o resto da divis~ao de rn por rn+1 . Teremos
ent~ao 0 · rn+2 < rn+1 , contrariando o fato de rn+1 ser m¶³nimo de S.

Teorema 5.2 (Algoritmo Euclidiano para o c¶ alculo do mdc) Sejam a e b inteiros

ambos positivos com a ¸ b e seja r1 ; r2 ; : : : ; rn ; rn+1 a seqÄu^encia de¯nida pelo lema
5.2, sendo r1 ¸ r2 > : : : > rn > rn+1 = 0. Ent~ao rn = mdc(a; b).

Demonstra»c~ao. Para cada k ¸ 3, rk ¶e o resto da divis~ao de rk¡2 por rk¡1 . Pelo lema
5.1,
mdc(rk ; rk¡1 ) = mdc(rk¡1 ; rk¡2 )
Logo
rn = mdc(0; rn )
= mdc(rn+1 ; rn ) (pois rn+1 = 0)
= mdc(rn ; rn¡1 ) (pelo lema 1)
= :::
= mdc(r3 ; r2 )
= mdc(r2 ; r1 )
= mdc(a; b)
 ¶meros inteiros
Os nu 45

5.3 Escrevendo mdc(a; b) = ra + sb, com r e s

inteiros, atrav¶
es do algoritmo Euclidiano.
O algoritmo euclideano pode ser usado para expressar o m¶aximo divisor comum de dois
inteiros como uma combina»c~ao linear destes inteiros. Vimos h¶a pouco que mdc(91; 35)
= 7. Para expressar 7 como combina»c~ao linear de 91 e 35, consideramos as divis~oes
euclidianas usadas no c¶alculo de mdc(91; 35),

91 35 35 21 21 14 14 7
21 2 14 1 7 1 0 2
Lembremo-nos de que ¶ultimo resto n~ao nulo, das divis~oes sucessivas realizadas, ¶e o mdc
procurado.
As tr^es primeiras divis~oes estabelecem
91 = 35 ¢ 2 + 21
35 = 21 + 14
21 = 14 ¢ 1 + 7
E ent~ao, isolando os restos, temos
21 = 91 ¡ 35 ¢ 2
14 = 35 ¡ 21 ¢ 1
7 = 21 ¡ 14 ¢ 1,
de onde ent~ao obtemos, passo a passo, cada um dos tr^es restos como combina»c~ao linear
de 91 e 35:
21 = 91 ¡ 35 ¢ 2, conforme j¶a estabelecido.

14 = 35 ¡ 21 ¢ 1
= 35 ¡ (91 ¡ 35 ¢ 2)
= (¡1) ¢ 91 + 3 ¢ 35

e ¯nalmente

7 = 21 ¡ 14 ¢ 1
= (91 ¡ 35 ¢ 2) ¡ [(¡1) ¢ 91 + 3 ¢ 35] ¢ 1
= 2 ¢ 91 + (¡5) ¢ 35

ou seja,
7 = 2 ¢ 91 + (¡5) ¢ 35
obtendo-se assim 7 = mdc(91; 35) como combina»c~ao linear r ¢ 91 + s ¢ 35, com r e
s inteiros.
 ¶meros inteiros
Os nu 46

Teorema 5.3 Sejam a e b inteiros ambos positivos com a ¸ b, e considere a seqÄu^encia

de¯nida no lema 5.2, r1 ; r2 ; : : : ; rn ; rn+1 , em que r1 = a, r2 = b, rn = d =
mdc(a; b) e rn+1 = 0. Ent~ao cada rk , para 1 · k · n, pode ser escrito como
combina»c~ao linear de a e b.

Demonstra»c~ao. Pelo modo como a seqÄu^encia ¶e formada,

r1 = r2 q2 + r3
r2 = r3 q3 + r4
..
.
rn¡2 = rn¡1qn¡1 + rn
rn¡1 = rn qn :

Da¶³,

r3 = r1 ¡ r2 q2
r4 = r2 ¡ r3 q3
..
.
rn = rn¡2 ¡ rn¡1 qn¡1

Temos que r1 = a e r2 = b s~ao combina»c~oes lineares de a e b. Logo, r3 =

r1 ¡ r2 q2 + = a ¡ bq2 tamb¶em ¶e combina»c~ao linear de a e b.
E supondo que rk¡1 e rk , k ¸ 2, sejam combina»c~oes lineares de a e b, deduzimos
que
rk+1 = rk¡1 ¡ rk qk
ser¶a tamb¶em combina»c~ao linear de a e b. Assim, cada rk (1 · k · n) ¶e combina»c~ao
linear de a e b.

5.4 Exerc¶³cios
Nos exerc¶³cios abaixo, µas vezes denotamos mdc(a; b) simplesmente por (a; b).

1. Encontre o m¶aximo divisor comum de cada par de inteiros dados.

(a) 15, 35; (b) 0, 111; (c) -12, 18; (d) 99, 100; (e) -11, -121.

2. Seja a um inteiro positivo. Determine o m¶aximo divisor comum de

(a) a e 2a; (b) a e a2 ; (c) a e a + 1; (d) a e a + 2.

3. Mostre que se a, b e c s~ao inteiros, ent~ao

mdc(ac; bc) = jcj ¢ mdc(a; b)

 ¶meros inteiros
Os nu 47

[Sugest~ao: Chame d = mdc(a; b). Lembre-se que existem inteiros r e s tais

que d = ra + sb. Ent~ao cd = r(ac) + s(bc). Da¶³, se xjac e xjbc (x 2 Z),
tem-se ent~ao que xjcd. O resto ¶e por sua conta].

4. Mostre que se a e b s~ao inteiros com (a; b) = 1, ent~ao (a + b; a ¡ b) = 1 ou

2.

5. Qual ¶e (a2 + b2 ; a + b), sendo a e b inteiros primos entre si, n~ao ambos nulos?

6. Mostre que se a e b s~ao ambos inteiros pares, n~ao ambos nulos, ent~ao (a; b) =
2(a=2; b=2).

7. (a) Mostre que se a, b e c s~ao inteiros tais que (a; b) = (a; c) = 1, ent~ao
(a; bc) = 1.
(b) Use indu»c~ao matem¶atica para mostrar que se a1 ; a2 ; : : : ; an s~ao inteiros,
e b ¶e outro inteiro tal que (a1; b) = (a2 ; b) = ¢ ¢ ¢ = (an ; b) = 1,ent~ao
(a1 a2 ¢ ¢ ¢ an ; b) = 1.

8. Encontre um conjunto de quatro inteiros que s~ao mutuamente primos, com quais-
quer tr^es deles n~ao primos entre si.

9. Encontre o m¶aximo divisor comum de cada um dos seguintes conjuntos de inteiros

dados.
(a) 6, 15, 21; (b) -7, 28, -35; (c) 0, 0, 1001.

10. Mostre que se k ¶e um inteiro, ent~ao os inteiros 6k ¡ 1, 6k + 1, 6k + 2, 6k + 3,

e 6k + 5 s~ao 2 a 2 primos entre si.

11. Mostre que se k ¶e um inteiro positivo, ent~ao 3k + 2 e 5k + 3 s~ao primos entre

si.

12. Use o algoritmo euclidiano para encontrar

(a) mdc(45; 75); (b) mdc(666; 1414);
(c) mdc(102; 222); (d) mdc(20785; 44350)

13. Para cada par de inteiros no problema anterior, expresse o m¶aximo divisor comum
como uma combina»c~ao linear dos inteiros em quest~ao.

14. Para cada cole»c~ao de inteiros abaixo, expresse o m¶aximo divisor comum como uma
combina»c~ao linear dos inteiros na cole»c~ao.
(a) 6,10,15; (b) 70,98,105

15. Sejam m e n dois inteiros positivos e seja a um inteiro maior que um. Mostre
que mdc(am ¡ 1; an ¡ 1) = amdc(m;n) ¡ 1.

16. Mostre que, sendo fn o n-¶esimo termo da seqÄu^encia de Fibonacci, tem-se

mdc(fm ; fn ) = fmdc(m;n)
 ¶meros inteiros
Os nu 48

17. Mostre que se a e b s~ao inteiros tais que ma + nb = ¡26 para certos inteiros
m e n ent~ao mdc(a; b) 2 f1; 2; 13; 26g.

18. Descreva, enumerando-os na forma de uma seqÄ

u^encia in¯nita de inteiros, os ele-
mentos do conjunto

(a) A = f12m + 18n j m; n 2 Zg

(b) B = f24m + 18n + 30p j m; n; p 2 Zg

19. Mostre que existem in¯nitos pares de inteiros (r; s) satisfazendo

r ¢ 2 + s ¢ 3 = mdc(2; 3) = 1

[Sugest~ao: Mostre que a equa»c~ao

x¢2+y¢3=0 (5.1)

tem um n¶
umero in¯nito de solu»co~es. Mostre que a equa»c~ao

r¢2+s¢3=1 (5.2)

tem ao menos uma solu»c~ao. Mostre ent~ao que as solu»c~oes da equa»c~ao 5.2 s~ao da
forma (x + r0; y + s0 ), onde (x; y) ¶e solu»c~ao da equa»c~ao 5.1 e (r0 ; s0 ) ¶e uma
solu»c~ao particular da equa»c~ao da equa»c~ao 5.2].

20. Mostre que se m e n s~ao inteiros primos entre si, ent~ao existem inteiros x e y
tais que
1 x y
= +
mn m n
A partir deste fato, justi¯que o seguinte argumento:
Sendo m e n inteiros positivos primos entre si, se uma circunfer^encia pode ser
dividida, com o uso de r¶egua e compasso, em m arcos congruentes, e tamb¶em em
n arcos congruentes, ent~ao ela tamb¶em pode ser dividida, com r¶egua e compasso,
em mn arcos congruentes.
6

O Teorema fundamental da
aritm¶
etica

Vimos, no cap¶³tulo 4, o teorema 4.1, que estabelece que todo inteiro positivo, maior que
1, ou ¶e um n¶ umero primo ou ¶e um produto de inteiros positivos todos primos. Neste
cap¶³tulo estabeleceremos a unicidade desses fatores primos.
O teorema fundamental da aritm¶etica estabelece que os primos positivos s~ao os
blocos usados para construir, atrav¶es de produtos, todos os inteiros positivos, a partir
de 2.

Teorema 6.1 (Teorema Fundamental da Aritm¶ etica) Todo inteiro m, m ¸ 2,

pode ser escrito na forma m = p1 ¢ ¢ ¢ ¢ ¢ pn , para certos primos positivos p1 ; : : : ; pn ,
com n ¸ 1 e p1 · : : : · pn .
Al¶em disso, os fatores primos p1 ; : : : ; pn , satisfazendo as condi»c~oes acima, s~ao
u¶nicos, isto ¶e, se q1 ; : : : ; qs s~ao tamb¶em primos positivos com q1 · : : : · qs e
m = q1 ¢ ¢ ¢ qs , ent~ao n = s e, al¶em disso, p1 = q1 ; : : : ; pn = qn .

Exempli¯cando o teorema fundamental da aritm¶etica, temos as seguintes fato-

ra»c~oes de inteiros, com os fatores primos escritos em ordem n~ao decrescente:
264 = 2 ¢ 2 ¢ 2 ¢ 3 ¢ 11 = 23 ¢ 3 ¢ 11
3484 = 2 ¢ 2 ¢ 13 ¢ 67 = 22 ¢ 13 ¢ 67
10011 = 3 ¢ 47 ¢ 71:

As pr¶oximas proposi»c~oes s~ao preparativos preliminares µa demonstra»c~ao do teorema

fundamental da aritm¶etica.
Conforme estabelecido no cap¶³tulo 5, corol¶ario 5.2, dois inteiros a e b s~ao primos
entre si, se e somente se existem inteiros r e s tais que ra + sb = 1.

ao 6.1 Dados inteiros a, b e c, se a e b s~ao primos entre si e ajbc ent~ao ajc.

Proposi»c~

49
O Teorema fundamental da aritm¶
etica 50

Demonstra»c~ao. Como a e b s~ao primos entre si, ra + sb = 1 para certos inteiros r e

s.
Logo, rac + sbc = c.
Assim, aj(rac) e aj(sbc) (pois ajbc). Logo aj(rac + sbc), e portanto ajc.

ao 6.2 Sendo a e p inteiros, se p ¶e primo e p n~ao divide a ent~ao a e p s~ao

Proposi»c~
primos entre si.

Demonstra»c~ao. Sejam a e p como no enunciado da proposi»c~ao e seja d = mdc(a; p).

Ent~ao d > 0, dja e djp. Como p ¶e primo, temos que d = 1 ou d = p. Mas
p6
j a e dja, logo d = 1 e assim a e b s~ao primos entre si.

ao 6.3 Sejam a, b e p inteiros, com p primo.

Proposi»c~ Se pjab ent~ao pja ou
pjb (podendo ser fator de ambos, a e b).

Demonstra»c~ao. Temos que pja ou p 6

j a.
Se p 6j a, ent~ao, pela proposi»c~ao anterior, p e a s~ao relativamente primos. Como
pjab, pela proposi»c~ao 6.1, temos que pjb.

ario 6.1 Sejam p; a1; : : : ; an n¶umeros inteiros com n ¸ 2 e p primo. Se

Corol¶
pj(a1 a2 ¢ ¢ ¢ an ) ent~ao pjai para algum ¶³ndice i, i 2 f1; 2; : : : ; ng.

Demonstra»c~ao por indu»c~ao sobre n.

Para n = 2, o corol¶ario ¶e verdadeiro, pela proposi»c~ao 6.3.
Seja k um inteiro, com k ¸ 2, e suponhamos que a a¯rma»c~ao do corol¶ario seja
verdadeira para n = k, isto ¶e, suponhamos que se p ¶e primo e p divide um produto de
k n¶umeros inteiros ent~ao p divide ao menos um dos fatores.
Consideremos ent~ao um produto de k + 1 inteiros a1 a2 : : : ak ak+1 e supo-
nhamos que pj(a1 a2 : : : ak ak+1 ). Ent~ao pj(a1 a2 ¢ ¢ ¢ ak )ak+1 . Pela proposi»c~ao 6.3,
pj(a1 a2 ¢ ¢ ¢ ak ) ou pjak+1 . Logo, pjaj para algum j 2 f1; : : : ; kg (pela hip¶otese
de indu»c~ao) ou pjak+1 , e assim a propriedade enunciada tamb¶em se aplica ao produto
de k + 1 inteiros.
Pelo primeiro princ¶³pio de indu»c~ao ¯nita, o corol¶ario est¶a demonstrado.
Demonstra»c~
ao do teorema fundamental da aritm¶
etica.
Seja m ¸ 2 um inteiro. A exist^encia da decomposi»c~ao de m, em fatores primos,
¶e estabelecida pelo teorema 4.1, cap¶³tulo 4.
Nos resta ent~ao demonstrar que essa decomposi»c~ao de m, em fatores primos, ¶e
u¶nica. Para demonstrar isto, utilizaremos o segundo princ¶³pio de indu»c~ao ¯nita.
O Teorema fundamental da aritm¶
etica 51

Se m = 2, obviamente n~ao ser¶a poss¶³vel termos m = q1 ¢ ¢ ¢ qs , com q1 ; : : : ; qs

primos positivos e s ¸ 2, j¶a que 2 ¶e primo. S¶o nos resta a possibilidade s = 1, tendo
ent~ao 2 = q1 . Assim, s¶o h¶a uma maneira de escrever 2 como \produto" de fatores
primos positivos.
Seja k ¸ 2 e suponhamos que para cada inteiro m, com 2 · m · k, s¶o
h¶a uma fatora»c~ao poss¶³vel de m como produto de primos positivos, se considerados
ordenadamente, como no enunciado do teorema. Mostraremos que o mesmo se d¶a com
rela»c~ao ao inteiro k + 1.
Suponhamos que k + 1 = p1 ¢ ¢ ¢ pn = q1 ¢ ¢ ¢ qs , com n ¸ 1, s ¸ 1, p1 ·
: : : · pn e q1 · : : : · qs .
Se n = 1, ent~ao k + 1 = p1 ¶e primo e, neste caso tamb¶em teremos s = 1, j¶a
que um primo n~ao pode ser um produto de dois ou mais primos. Ent~ao n = s = 1 e
k + 1 = p1 = q1.
Se, por outro lado, s = 1, ent~ao, analogamente, teremos n = 1 e k + 1 =
p1 = q1.
Suponhamos ent~ao n ¸ 2 e s ¸ 2. Como p1 ¢ ¢ ¢ pn¡1pn = q1 ¢ ¢ ¢ qs¡1 qs ,
temos que pn j(q1 ¢ ¢ ¢ qs ) e qs j(p1 ¢ ¢ ¢ pn ).
Pelo corol¶ario 6.1, temos que pn jqi e qs jpj para certos ¶³ndices i; j, com 1 · i ·
s e 1 · j · n. Logo, pn · qi · qs · pj · pn , o que ent~ao acarreta pn = qs .
Logo, p1 ¢ ¢ ¢ pn¡1pn = q1 ¢ ¢ ¢ qs¡1 qs e pn = qs , e ent~ao

p1 ¢ ¢ ¢ pn¡1 = q1 ¢ ¢ ¢ qs¡1

Agora, 2 · p1 ¢ ¢ ¢ pn¡1 = q1 ¢ ¢ ¢ qs¡1 < k + 1, ou seja, 2 · p1 ¢ ¢ ¢ pn¡1 =

q1 ¢ ¢ ¢ qs¡1 · k.
Aplicando a hip¶otese de indu»c~ao, temos ent~ao que n ¡ 1 = s ¡ 1 e, al¶em disso,
p1 = q1, : : : , pn¡1 = qn¡1.
Logo, n = s e p1 = q1; : : : ; pn¡1 = qn¡1 ; pn = qn .
Assim sendo, a unicidade dos fatores primos de m ¶e v¶alida para cada m ¸ 2.

Corol¶ ario 6.2 Para cada inteiro m, com m ¸ 2, existem primos positivos p1 , : : : ,
ps , com s ¸ 1 e p1 < : : : < ps se s ¸ 2, e inteiros positivos ®1 ; : : : ; ®s tal que
m = p1®1 ¢ ¢ ¢ ps ®s . Tal representa»c~ao de m ¶e u¶nica.

Demonstra»c~ao. Pelo teorema fundamental da aritm¶etica, m ¶e um produto de fatores

primos q1 ¢ ¢ ¢ qn , com q1 · : : : · qn (n ¸ 1). Agrupando-se os fatores primos
repetidos na forma de pot^encias de primos, temos a representa»c~ao enunciada neste
corol¶ario. Ademais, pelo teorema fundamental da aritm¶etica, tal representa»c~ao ¶e u¶nica.
O Teorema fundamental da aritm¶
etica 52

Corol¶ario 6.3 Seja m um inteiro, m = p® ®n

1 ¢ ¢ ¢ pn , com n ¸ 1 e p1 ; : : : ; pn
1

primos positivos com p1 < : : : < pn se n ¸ 2 e ®1 ; : : : ; ®n inteiros positivos.

Sendo a um inteiro, temos que a divide m se e somente se a = p¯1 1 ¢ ¢ ¢ p¯nn , para
certos inteiros n~ao negativos ¯1 ; : : : ; ¯n satisfazendo ¯1 · ®1; : : : ; ¯n · ®n .

Demonstra»c~ao. Se ajm, ent~ao m = a ¢ c para um certo inteiro positivo c. Assim, os

eventuais fatores primos de a (eventuais, pois podemos ter a = 1) s~ao fatores primos
de m. Ou seja, o conjunto de fatores primos de a ¶e um subconjunto dos fatores primos
de m.
Assim sendo, a = p¯1 1 ¢ ¢ ¢ p¯nn para certos inteiros n~ao negativos ¯1 ; : : : ; ¯n
(onde teremos ¯j = 0 se pj n~ao for fator de a). Claramente, para cada ¶³ndice j,
¯1
teremos ¯j · ®j , pois como p® ®n ¯n
1 ¢ ¢ ¢ pn = p1 ¢ pn ¢ c, se ®j < ¯j para algum
1

¶³ndice j, teremos uma contradi»c~ao ao teorema fundamental da aritm¶etica.

A proposi»c~ao 6.3 nos prov^e um meio de encontrar todos os divisores positivos de
um inteiro m, m ¸ 2, a partir de sua fatora»c~ao em primos positivos. Por exemplo, os
divisores positivos de 120 = 23 ¢ 3 ¢ 5 s~ao os inteiros positivos cujas fatora»c~oes, possem
somente pot^encias dos primos 2, 3 e 5, com expoentes menores ou iguais a 3, 1 e 1,
respectivamente. Os divisores de 120 s~ao portanto

1 3 5 3 ¢ 5 = 15
2 2¢3=6 2 ¢ 5 = 10 2 ¢ 3 ¢ 5 = 30
22 = 4 22 ¢ 3 = 12 22 ¢ 5 = 20 22 ¢ 3 ¢ 5 = 60
23 = 8 23 ¢ 3 = 24 23 ¢ 5 = 40 23 ¢ 3 ¢ 5 = 120

Corol¶ ario 6.4 Sejam a e b dois inteiros positivos. Ent~ao existem primos positivos
p1 ; : : : ; pn , com n ¸ 1 e p1 < : : : < pn se n ¸ 2, e inteiros n~ao negativos
¯1
®1 ; : : : ; ®n , ¯1 ; : : : ; ¯n , tais que a = p® ®n ¯n
1 ¢ ¢ ¢ pn e b = p1 ¢ pn . E a partir
1

destas representa»co~es de a e b, teremos

mdc(a; b) = p°11 ¢ ¢ ¢ p°nn

onde, para cada ¶³ndice i, °i = minf®i ; ¯i g.

Como exemplo de aplica»c~ao do corol¶ario 6.4, fatorando-se 720 e 2100 em pot^en-

cias de primos obtemos

720 = 2 ¢ 2 ¢ 2 ¢ 2 ¢ 3 ¢ 3 ¢ 5 = 24 ¢ 32 ¢ 5
2100 = 2 ¢ 2 ¢ 3 ¢ 5 ¢ 5 ¢ 7 = 22 ¢ 3 ¢ 52 ¢ 7:

Qualquer divisor comum de 720 e 2100 deve conter pelo menos um dos primos
comuns a estes dois n¶umeros, a saber, 2, 3 ou 5. O maior dos divisores comuns de 720
e 2100 ¶e o produto das pot^encias de primos comuns a estes dois n¶umeros, a saber

mdc(720; 2100) = 2 ¢ 2 ¢ 3 ¢ 5 = 22 ¢ 3 ¢ 5 = 60:

O Teorema fundamental da aritm¶
etica 53

Em outras palavras, o corol¶ario 6.4 enuncia que se

a = 2a1 ¢ 3a2 ¢ 5a3 ¢ 7a4 ¢ 11a5 ¢ ¢ ¢ e b = 2b1 ¢ 3b2 ¢ 5b3 ¢ 7b4 ¢ 11b5 ¢ ¢ ¢
sendo os ai 's e bi 's inteiros n~ao negativos, ent~ao
mdc(a; b) = 2minfa1 ;b1 g ¢ 3minfa2 ;b2 g ¢ 5minfa3 ;b3 g ¢ 7minfa4 ;b4 g ¢ 11minfa5 ;b5 g ¢ ¢ ¢

Uma terceira utilidade da decomposi»c~ao em fatores primos est¶a no c¶alculo do

m¶³nimo m¶ultiplo comum de dois inteiros, usado por exemplo para ajustar denominadores
na soma de fra»c~oes.

De¯ni»c~ao 6.1 O m¶³nimo m¶ ultiplo comum de dois inteiros a e b, n~ao ambos nulos,
denotado por mmc(a; b), ou por [a; b], ¶e o menor inteiro positivo que ¶e divis¶³vel
simultaneamente por a e b, ou seja, que ¶e simultaneamente m¶ultiplo de a e de b.

Con¯ra os exemplos: mmc(15; 21) = 105, mmc(24; 36) = 72, mmc(2; 20)
= 20, mmc(7; 11) = 77.
Se a e b s~ao como acima, ent~ao
mmc(a; b) = 2maxfa1 ;b1 g ¢ 3maxfa2 ;b2 g ¢ 5maxfa3 ;b3 g ¢ 7maxfa4 ;b4 g ¢ 11maxfa5 ;b5 g ¢ ¢ ¢ :

Teorema 6.2 Se a e b s~ao dois inteiros positivos ent~ao mmc(a; b) = ab= mdc(a; b).

Demonstra»c~ao. Sejam a e b fatorados em pot^encias de todos os primos, como acima,

onde os expoentes ai 's e bi 's podem ser nulos. Sejam Mi = maxfai ; bi g e mi =
minfai ; bi g. Nestas condi»c~oes,
mmc(a; b) ¢ mdc(a; b)
¡ ¢
= 2M1 ¢ 3M2 ¢ 5M3 ¢ 7M4 ¢ ¢ ¢ ¢ (2m1 ¢ 3m2 ¢ 5m3 ¢ 7m4 ¢ ¢ ¢ )
= 2m1 +M1 ¢ 3m2 +M2 ¢ 5m3 +M3 ¢ 7m4 +M4 ¢ ¢ ¢
= 2a1 +b1 ¢ 3a2 +b2 ¢ 5a3 +b3 ¢ 7a4 +b4 ¢ ¢ ¢
¡ ¢
= (2a1 ¢ 3a2 ¢ 5a3 ¢ 7a4 ¢ ¢ ¢ ) ¢ 2b1 ¢ 3b2 ¢ 5b3 ¢ 7b4 ¢ ¢ ¢
=a¢b
j¶a que Mi + mi = maxfai ; bi g + minfai ; bi g = ai + bi para todo i.
Mostraremos agora uma conseqÄu^encia do teorema fundamental da aritm¶etica muito
u¶til.

Lema 6.1 Sejam a e b dois inteiros positivos, primos entre si. Se d ¶e um divisor positivo
do produto ab ent~ao existe um u¶nico par de inteiros positivos d1 e d2, sendo d1 divisor
de a, e d2 divisor de b, tais que d = d1 d2 .
Reciprocamente, se d1 ¶e divisor positivo de a e d2 ¶e divisor positivo de b ent~ao o
d = d1 d2 ¶e um divisor positivo do produto a ¢ b.
O Teorema fundamental da aritm¶
etica 54

Demonstra»c~ao. Considere as fatora»c~oes em pot^encias de primos de a e b, como abaixo:

a = pm m2 mr
1 ¢ p2 ¢ ¢ ¢ pr
1
; b = q1n1 ¢ q2n2 ¢ ¢ ¢ qsns :

Note que os divisores positivos de a e de b s~ao respectivamente do tipo

d1 = pe11 ¢ pe22 ¢ ¢ ¢ perr ; d2 = q1f1 ¢ q2f2 ¢ ¢ ¢ qsfs

sendo 0 · ei · mi para todo i = 1; 2; : : : ; r e 0 · fj · nj para todo j =

1; 2; : : : ; s.
A hip¶otese de a e b serem primos entre si garante que nenhum fator primo de d1 ¶e
fator primo de d2 , e vice-versa, j¶a que mdc(a; b) = 1 implica que n~ao existem fatores
primos comuns. Logo mdc(d1 ; d2 ) = 1 para quaisquer d1 divisor de a e d2 divisor
de b. Mais ainda, a fatora»c~ao de ab em pot^encia de primos ¶e, a menos da ordem dos
divisores,
ab = pm 1
1
¢ pm mr
2 ¢ ¢ ¢ pr
2
¢ q1n1 ¢ q2n2 ¢ ¢ ¢ qsns
e qualquer divisor positivo d de ab ¶e do tipo

d = (pe11 ¢ pe22 ¢ ¢ ¢ perr ) ¢ (q1f1 ¢ q2f2 ¢ ¢ ¢ qsfs ) = d1 ¢ d2 :

A unicidade da fatora»c~ao em pot^encias de primos garante a unicidade de cada um dos

fatores d1 e d2 .
Reciprocamente, se d1 = pe11 ¢ pe22 ¢ ¢ ¢ perr ¶e um divisor positivo de a e d2 =
q1f1 ¢ q2f2 ¢ ¢ ¢ qsfs ¶e um divisor positivo de b ent~ao d = d1d2 = pe11 ¢ pe22 ¢ ¢ ¢ perr ¢ q1f1 ¢
q2f2 ¢ ¢ ¢ qsfs ¶e um divisor positivo de pm 1
1
¢ pm mr
2 ¢ ¢ ¢ pr
2
¢ q1n1 ¢ q2n2 ¢ ¢ ¢ qsns = ab.

6.1 Exerc¶³cios
1. Encontre a fatora»c~ao em produtos de primos dos inteiros 36, 100, 256, 5040 e
9999.

2. Mostre que os expoentes, na fatora»c~ao em pot^encias de primos, de um inteiro n,

s~ao todos pares se e somente se n ¶e um quadrado perfeito.

3. Quais inteiros positivos tem exatamente tr^es divisores positivos ? Quais tem ex-
atamente quatro divisores positivos?

4. Sejam a e b inteiros positivos. Mostre que se a3 j b2 ent~ao a j b.

5. Seja p um primo e n um inteiro positivo. Dizemos que pa ¶e um divisor exato de

n quando pa divide n e pn+1 n~ao divide n.

(a) Mostre que se pa ¶e um divisor exato de m e pb ¶e um divisor exato de n

ent~ao pa+b ¶e um divisor exato de mn.
O Teorema fundamental da aritm¶
etica 55

(b) Mostre que se pa ¶e um divisor exato de m ent~ao pka ¶e um divisor exato de

mk .
(c) Mostre que se pa ¶e um divisor exato de m e pb ¶e um divisor exato de n,
ent~ao pminfa;bg ¶e um divisor exato de m + n.

6. (a) Seja n um inteiro positivo. Mostre que o expoente ® de um primo p, na

fatora»c~ao em pot^encia de primos de n! ¶e

® = [n=p] + [n=p2 ] + [n=p3] + ¢ ¢ ¢

(b) Use o item anterior para encontrar a fatora»c~ao em pot^encia de primos de

20!.

7. Quantos s~ao os zeros existentes no ¯nal da expans~ao decimal de 1000! ? E na

expans~ao octagonal ?

8. Encontre o m¶³nimo m¶ultiplo comum de cada um dos pares de inteiros a seguir: 8

e 12, 111 e 303, 343 e 999.

9. Encontre o m¶aximo divisor comum e o m¶³nimo m¶

ultiplo comum de cada um dos
pares de inteiros a seguir:

(a) 2 ¢ 3 ¢ 5 ¢ 7 ¢ 11 ¢ 13 e 17 ¢ 19 ¢ 23 ¢ 29
(b) 23 ¢ 57 ¢ 1113 e 2 ¢ 3 ¢ 5 ¢ 7 ¢ 11 ¢ 13
(c) 4711 ¢ 79111 ¢ 1011001 e 4111 ¢ 83111 ¢ 1011000

10. Mostre que qualquer m¶ ultiplo comum de dois inteiros positivos a e b ¶e divis¶³vel
pelo menor m¶ultiplo comum de a e b.

11. Quais pares de inteiros positivos possuem m¶aximo divisor comum 18 e m¶³nimo
m¶ultiplo comum 540 ?

12. Mostre que se a e b s~ao inteiros ent~ao mdc(a; b) j mmc(a; b). Quando
mdc(a; b) = mmc(a; b) ?

13. Mostre que se a e b s~ao inteiros positivos ent~ao existe um divisor c de a e um

divisor d de b com mdc(c; d) = 1 e cd = mmc(a; b).

14. Sejam a, b e c inteiros positivos. Mostre que mmc(a; b) j c se e s¶o se a j c e

b j c.

15. Seja n um inteiro positivo. Quantos pares de inteiros positivos satisfazem

mmc(a; b) = n ?

16. Encontre a fatora»c~ao, em pot^encias de primos, de

106 ¡ 1; 108 ¡ 1; 215 ¡ 1; 224 ¡ 1; 230 ¡ 1; 236 ¡ 1:

O Teorema fundamental da aritm¶
etica 56

17. Mostre que se p ¶e um primo, a ¶e um inteiro, n ¶e um inteiro positivo, e p j an

ent~ao p j a.

18. Sejam a e b dois inteiros positivos. Mostre que se a2 j b2 ent~ao a j b.

19. Sejam a, b e c tr^es inteiros positivos com mdc(a; b) = 1 e ab = cn para algum

inteiro positivo n. Mostre que existem inteiros positivos d e e tais que a = dn
e b = en .
7

Equa»c~
oes diofantinas lineares

Considere o seguinte problema. Se um trabalhador recebe $510 reais em t¶³quetes de

alimenta»c~ao, com valores de $20 reais ou $50 reais cada t¶³quete, de quantas formas
pode ser formado o carn^e de t¶³quetes deste trabalhador ?
Note que se x denota a quantidade de t¶³quetes de $20 reais e se y denota a quan-
tidade de t¶³quetes de $50 reais ent~ao a equa»c~ao 20x + 50y = 510 deve ser satisfeita
e o problema ¶e resolvido determinando-se todas as solu»co~es inteiras n~ao negativas desta
equa»c~ao.
Outro problema de ilustra»c~ao ocorre quando se posta uma encomenda nos correios
com selos. Por exemplo, se o custo da postagem ¶e de 83 centavos e os valores dos selos
s~ao de 6 e 15 centavos, como combinar os selos na postagem ? Se x denota a quantidade
de selos de 6 centavos e se y denota a quantidade de selos de 15 centavos ent~ao a
equa»c~ao 6x + 15y = 85 deve ser satisfeita e o problema ¶e resolvido determinando-se
todas as solu»c~oes inteiras n~ao negativas de tal equa»c~ao.
Equa»c~oes polinomiais, em v¶arias inc¶ognitas, com coe¯cientes inteiros (ou racio-
nais), das quais se buscam solu»c~oes restritas ao conjunto dos n¶umeros inteiros s~ao
comumente denominadas de equa»co~es diofantinas.
O problema de se determinar inteiros x1, x2 , : : : , xn , satisfazendo uma equa»c~ao
da forma a1 x1 + a2 x2 + ¢ ¢ ¢ + an xn = b, sendo a1 , a2 , : : : , an e b n¶umeros inteiros
(ou racionais) ¶e o que chamamos de uma equa»c~ao diofantina linear.
Neste cap¶³tulo, estudaremos a equa»c~ao linear diofantina em duas inc¶ognitas x e
y, ax + by = c, sendo a, b e c n¶umeros inteiros.

ao 7.1 Sendo a, b e c n¶umeros inteiros,

Proposi»c~
a equa»c~ao diofantina ax + by = c possui solu»c~ao , mdc(a; b) divide c.

Demonstra»c~ao.
()) Suponhamos que (x0 ; y0 ) ¶e um par de inteiros satisfazento ax0 + by0 = c.
Sendo d = mdc(a; b), temos que dja e djb. Logo dj(ax0 + by0 ), ou seja, djc.

57
Equac
»o~ es diofantinas lineares 58

(() Seja d = mdc(a; b) e suponhamos que djc. Ent~ao c = d ¢ °, para algum

° 2 Z.
Pelo teorema 5.1, cap¶³tulo 5, existem inteiros r e s tais que ra + sb = d. Logo,
ra° + sb° = d°, ou seja a(r°) + b(s°) = c, e assim (x0 ; y0 ) = (r°; s°) ¶e
solu»c~ao de ax + by = c.

Proposi»c~ao 7.2 Se mdc(a; b) = 1, as solu»c~oes da equa»c~ao diofantina ax + by = 0

s~ao dadas pelas equa»c~oes param¶etricas
½
x = bt
(t 2 Z)
y = ¡at

Demonstra»c~ao. Se x = bt e y = ¡at, ent~ao

ax + by = a(bt) + b(¡at) = abt ¡ abt = 0

Assim, ¶e imediato ver que as equa»c~oes param¶etricas x = bt e y = ¡at, com t 2 Z,

nos d~ao solu»c~oes da equa»c~ao diofantina ax + by = 0.
Suponhamos agora que x e y s~ao inteiros satisfazendo ax + by = 0. Ent~ao
ax = ¡by. Logo bj(ax). Como a e b s~ao primos entre si, temos que bjx. Existe
ent~ao t 2 Z tal que x = bt. Substituindo x = bt em ax = ¡by, obtemos y = ¡at.
Portanto, x = bt e y = ¡at, para algum t 2 Z.
A equa»c~ao diofantina ax+by = 0 ¶e o que chamamos de equa»c~ao linear diofantina
homog^enea correspondente µa equa»c~ao ax + by = c.
Sendo d = mdc(a; b), a proposi»c~ao 7.1 estabelece que a equa»c~ao diofantina
ax + by = c tem solu»c~ao se e somente se djc. Assumindo que djc, notemos que a
equa»c~ao ax + by = c ¶e equivalente µa equa»c~ao
µ ¶ µ ¶
a b c
x+ y=
d d d
de coe¯cientes todos inteiros, j¶a que dja e djb. Al¶em disso, os inteiros a=d e b=d
s~ao primos entre si: como existem inteiros r e s tais que ra + sb = d, temos
r(a=d) + s(b=d) = 1.
Pelas observa»c~oes feitas acima, podemos nos restringir ao estudo de equa»c~ao dio-
fantinas ax + by = c assumindo a e b primos entre si.

Teorema 7.1 Sejam a, b e c inteiros, com a e b primos entre si. Seja (x0 ; y0 ) uma
solu»c~ao da equa»c~ao diofantina ax + by = c. Ent~ao as solu»co~es dessa equa»c~ao s~ao
dadas pelas equa»c~oes param¶etricas
½
x = x0 + bt
(t 2 Z)
y = y0 ¡ at
Equac
»o~ es diofantinas lineares 59

Demonstra»c~ao. Seja (x0 ; y0 ) uma solu»c~ao da equa»c~ao diofantina ax + by = c.

Se x = x0 + bt e y = y0 ¡ at, com t 2 Z, ent~ao

ax + by = a(x0 + bt) + b(y0 ¡ at)

= ax0 + abt + by0 ¡ bat
= ax0 + by0 = c

e portanto (x; y) ¶e uma solu»c~ao da equa»c~ao diofantina ax + by = c.

Suponhamos agora que (x; y) ¶e solu»c~ao da equa»c~ao diofantina ax + by = c.
Temos ent~ao ½
ax + by = c
ax0 + by0 = c
e assim

a(x ¡ x0 ) + b(y ¡ y0 ) = ax ¡ ax0 + by ¡ by0

= (ax + by) ¡ (ax0 + by0 )
=c¡c=0

Logo, (x¡x0 ; y ¡y0 ) ¶e solu»c~ao da correspondente equa»c~ao homog^enea ax+by = 0.

Pela proposi»c~ao 7.2, existe t 2 Z tal que x ¡ x0 = tb e y ¡ y0 = ¡ta, ou seja
½
x = x0 + bt
y = y0 ¡ at

para algum t 2 Z.

Exemplo 7.1 Se o custo de uma postagem ¶e de 83 centavos e os valores dos selos s~ao
de 6 e 15 centavos, como podemos combinar os selos na postagem ?
Se x denota a quantidade de selos de 6 centavos e se y denota a quantidade de
selos de 15 centavos ent~ao 6x + 15y = 85. Como mdc(6; 15) = 3 e 3 6 j 83, a
equa»c~ao diofantina 6x + 15y = 83 n~ao possui solu»co~es inteiras e assim o problema de
postagem n~ao tem solu»c~ao.

Exemplo 7.2 Consideremos agora o problemas dos t¶³quetes, mencionado no in¶³cio do

cap¶³tulo, que d¶a origem µa equa»c~ao diofantina 20x + 50y = 510.
Pelo teorema 7.1, a equa»c~ao tem solu»c~ao inteira, visto que mdc(20; 50) = 10 e
10j510.
Como observado, a equa»c~ao 20x + 50y = 510 ¶e equivalente a 2x + 5y = 51.
Assim sendo, passamos a buscar as solu»co~es inteiras desta u
¶ltima.
Posteriormente, devido µa natureza do problema original (contagem de t¶³quetes),
estaremos nos restringindo µas solu»c~oes (x; y) que tamb¶em satisfazem x ¸ 0 e y ¸ 0.
Equac
»o~ es diofantinas lineares 60

Como mdc(2; 5) = 1, pelo teorema 7.1, as solu»co~es de 2x + 5y = 51 tem a

forma ½
x = x0 + 5t
(t 2 Z)
y = y0 ¡ 2t
sendo (x0 ; y0 ) uma solu»c~ao particular da equa»c~ao.
Nos resta ent~ao obter uma solu»c~ao particular da equa»c~ao. Para tal, primeiramente
obtemos inteiros r e s satisfazendo 2r + 5s = mdc(2; 5) = 1. Podemos faz^e-lo
usando as divis~oes sucessivas do algoritmo euclidiano do c¶alculo de mdc(2; 5).
Neste problema particular, no entanto, podemos \adivinhar" valores para r e s, a
saber, r = ¡2, s = 1. Tendo 2r + 5s = 1, teremos 2(51r) + 5(51s) = 51, de
onde uma solu»c~ao particular de 2x + 5y = 51 nos ¶e dada por x0 = ¡102, y0 = 51.
A solu»c~ao geral de 2x + 5y = 51 (ou de 20x + 50y = 510) ¶e portanto
½
x = ¡102 + 5t
(t 2 Z)
y = 51 ¡ 2t

Na busca de solu»co~es n~ao negativas, impomos ¡102 + 5t ¸ 0 e 51 ¡ 2t ¸ 0,

de onde
A restri»c~ao de solu»c~oes n~ao negativas determinam que x = ¡102 + 5t ¸ 0, ou
seja, t ¸ 102=21 e que, simultaneamente, y = 51 ¡ 2t ¸ 0, ou seja, t · 51=2 <
26. Assim, t deve assumir um dos seguintes valores: 21, 22, 23, 24 e 25.
Temos ent~ao 5 possibilidades para os carn^es, a saber:

² carn^e com 3 t¶³quetes de $20 reais e 9 t¶³quetes de $50 reais;

² carn^e com 8 t¶³quetes de $20 reais e 7 t¶³quetes de $50 reais;

² carn^e com 13 t¶³quetes de $20 reais e 5 t¶³quetes de $50 reais;

² carn^e com 18 t¶³quetes de $20 reais e 3 t¶³quetes de $50 reais;

² carn^e com 23 t¶³quetes de $20 reais e 1 t¶³quetes de $50 reais;

Exemplo 7.3 Resolver a equa»c~ao diofantina 2x ¡ 6y + 5z = 3.

Como mdc(2; 6; 5) = 1 (e 1j3), temos que o problema tem solu»c~ao.
Como mdc(2; 6) = 2, podemos escrever 2x ¡ 6y = 2¸. Aqui estamos usando
o fato de que sendo a e b inteiros, toda combina»c~ao linear ax + by, com x e y inteiros,
¶e m¶ultiplo de d = mdc(a; b) (pois dja e djb, logo dj(ax + by)).
Temos ent~ao
2x ¡ 6y +5z = 3
| {z }
=2¸
Equac
»o~ es diofantinas lineares 61

Tratamos ent~ao de, primeiramente, resolver a equa»c~ao 2¸+5z = 3. Uma solu»c~ao

particular ¶e (¸0 ; z0 ) = (¡6; 3). Assim, a solu»c~ao geral dessa equa»c~ao ¶e dada por
½
¸ = ¡6 + 5t
(t 2 Z)
z = 3 ¡ 2t

Passamos ent~ao µa equa»c~ao diofantina 2x ¡ 6y = 2¸, assumindo que ¸ ¶e uma

constante inteira.
A equa»c~ao 2x ¡ 6y = 2¸ ¶e equivalente a x ¡ 3y = ¸. Uma solu»c~ao particular
desta equa»c~ao ¶e dada por x0 = 4¸, y0 = ¸. A solu»c~ao geral da equa»c~ao ¶e dada por
½
x = 4¸ + 3u
(u 2 Z)
y =¸+u

Como ¸ = ¡6 + 5t, chegamos ¯nalmente µa solu»c~ao do problema:

8
< x = ¡24 + 20t + 3u
y = ¡6 + 5t + u (t; u 2 Z)
:
z = 3 ¡ 2t

7.1 Exerc¶³cios
1. Encontre todas as solu»c~oes das seguintes equa»co~es diofantinas lineares:
(a) 17x + 13y = 100 (b) 12x + 18y = 50
(d) 60x + 18y = 67 (e) 1402x + 1969y = 1
(g) 102x + 1001y = 533 (h) 33x + 25y = 0
2. Encontre as solu»c~oes das seguintes equa»co~es diofantinas

(a) 2x ¡ 10y + 35z = 0

(b) 101x ¡ 102y + 103z = 1
(c) 12x + 21y + 9z + 15w = 9

3. Quais combina»c~oes de moedas de 1, 10 e 25 centavos totalizam 99 centavos?

4. Uma ag^encia de correios possui apenas selos de 14 centavos e de 21 centavos.

Determine as combina»c~oes desses selos que podem ser feitas para postar cartas
dos seguintes valores postais:
(a) R$ 3,50 (b) R$ 4,00 (c) R$ 7,77

5. Com R$ 5,49 pode-se comprar ma»c~as, a 18 centavos cada, e peras, a 33 centavos

cada. Qual ¶e o n¶umero m¶³nimo de frutas que podem ser compradas?
Equac
»o~ es diofantinas lineares 62

6. Um estudante, viajando da Europa aos Estados Unidos, troca seus francos su¶³»cos
e francos franceses por d¶olares. Ele recebe US$ 17,06, tendo recebido US$ 0,19
(19 `cents') por cada franco franc^es e US$ 0,59 por cada franco su¶³»co. Quanto de
cada moeda ele possu¶³a?

7. Encontre as solu»c~oes inteiras dos sistemas de equa»c~oes lineares

8
½ < x + y + z + w = 100
x + y + z = 100
(a) (b) x + 2y + 3z + 4w = 300
x + 8y + 50z = 156 :
x + 4y + 9z + 16w = 1000
Sugest~ao: Primeiramente, passe os sistemas µa forma escalonada.

8. De que modos ¶e poss¶³vel combinar 50 moedas, misturando moedas de 1, de 10 e

de 25 centavos, de modo a totalizar 3 reais?
8

Congru^ odulo m em Z
encia m¶

A no»c~ao de congru^encia m¶odulo m, sendo m um inteiro, muito u¶til em teoria dos

n¶umeros, foi desenvolvida no inicio do s¶eculo dezenove por Karl Friedrich Gauss.

De¯ni»c~ao 8.1 Dados tr^es inteiros a, b e m, dizemos que a ¶e congruente a b m¶odulo

m, e denotamos a ´ b (mod m) ou a ´ b se m divide a¡b. Se a n~ao ¶e congruente
m
a b, m¶odulo m, escreveos a 6́b (mod m), ou ainda a 6́b.
m

ao 8.1 Alternativamente, temos que dados tr^es inteiros a, b e m,

Observa»c~

a´b (mod m)
, mj(a ¡ b)
, a ¡ b = ¸ ¢ m; para algum ¸ 2 Z,
, a = b + ¸m; para algum ¸ 2 Z.

Exemplo 8.1 Temos que 22 ´ 4 (mod 9), pois 9j(22 ¡ 4). Do mesmo modo
3 ´ ¡6 (mod 9) e 200 ´ 2 (mod 9). Por outro lado, 13not ´ 5 (mod 9)
pois 9 6
j (13 ¡ 5).

Usamos congru^encias rotineiramente em nossa vida. Por exemplo, na contagem

das horas, fazemos uso de congru^encia m¶odulo 12 ou m¶odulo 24. Na contagem de
minutos e segundos, usamos congru^encia m¶odulo 60. Nos calend¶arios, na contagem dos
dias da semana fazemos uso, de certa forma, da congru^encia m¶odulo, e na contagem
dos meses, empregamos congru^encia m¶odulo 12. Os hod^ometros dos carros, usados para
marcar quil^ometros rodados, geralmente trabalham m¶odulo 100000.

Proposi»c~ao 8.1 Sendo m um inteiro, a rela»c~ao de congru^encia m¶odulo m, de¯nida

em Z conforme a de¯ni»c~ao 8.1, ¶e uma rela»c~ao de equival^encia em Z, ou seja, satisfaz
µas seguintes tr^es propriedades:

63
Congru^ ¶ dulo m em Z
encia mo 64

1. 8a 2 Z, a ´ a (isto ¶e, a rela»c~ao de congru^encia m¶odulo m ¶e re°exiva);

m

2. 8a; b 2 Z, se a ´ b ent~ao b ´ a (a rela»c~ao de congru^encia m¶odulo m ¶e

m m
sim¶etrica);

3. 8a; b; c 2 Z, se a ´ b e b ´ c ent~ao a ´ c (a rela»c~ao de congru^encia m¶odulo

m m m
m ¶e transitiva).

Demonstra»c~ao. Para cada a, cada b e cada c, todos inteiros, temos:

1. mj0 ) mj(a ¡ a) ) a ´ a
m

2. a ´ b ) mj(a ¡ b) ) mj ¡ (a ¡ b) ) mj(b ¡ a) ) b ´ a
m m

3. a ´ b e b ´ c ) mj(a ¡ b) e mj(b ¡ c) ) mj[(a ¡ b) + (b ¡ c)] )

m m
mj(a ¡ c) ) a ´ c
m

ao 8.2 (Compatibilidade de ´ com as opera»c~

Proposi»c~ oes em Z)
m
Seja m um inteiro ¯xado. Dados a; b; c e d inteiros, e n natural, tem-se:

1. a ´ b , a + c ´ b + c
m m
)
a´b
2. m ) a+c´b+d
c´d m
m

3. a ´ b ) ac ´ bc
m m
)
a´ b
4. m ) ac ´ bd
c´d m
m

5. a ´ b ) an ´ bn
m m

Demonstra»c~ao.

1. a ´ b , mj(a ¡ b) , mj[(a + c) ¡ (b + c)] , a + c ´ b + c

m m

2. )
a´b
m ) mj(a ¡ b) e mj(c ¡ d)
c´d
m
) mj[(a ¡ b) + (c ¡ d)]
) mj[(a + c) ¡ (b + d)]
) a+c´b+d
m
Congru^ ¶ dulo m em Z
encia mo 65

3. a ´ b ) mj(a ¡ b) ) mj(a ¡ b)c ) mj(ac ¡ bc) ) ac ´ bc

m m
) ( )
a´b ac ´ bc
4. m ) m ) ac ´ bd
c´d bc ´ bd m
m m

5. A prova ¶e feita por indu»c~ao sobre n (exerc¶³cio para o leitor).

Observa»c~ao 8.2 O que acontece quando ambos os lados de uma congru^encia s~ao di-
vididos por um inteiro? Considere o seguinte exemplo.
Temos 14 = 7 ¢ 2 ´ 4 ¢ 2 = 8 (mod 6). Mas n~ao podemos cancelar o fator
comum 2, pois 7 6́4 (mod 6).
Este exemplo mostra que nem sempre a congru^encia ¶e preservada quando dividimos
ambos os membros por um inteiro. Contudo, o seguinte teorema d¶a uma condi»c~ao
su¯ciente para que uma congru^encia seja preservada quando os dois lados s~ao divididos
por um inteiro.

ao 8.3 Sejam a; b; c e m inteiros, com m ¸ 2. Se ac ´ bc (mod m), e

Proposi»c~
c e m s~ao primos entre si, ent~ao a ´ b (mod m).

Demonstra»c~ao. Se ac ´ bc (mod m), ent~ao mj(ac ¡ bc). Logo, mj(a ¡ b)c.

Sendo mdc(m; c) = 1, segue que mj(a ¡ b) e ent~ao a ´ b (mod m).

Exemplo 8.2 Como 42 ´ 7 (mod 5) e mdc(5; 7) = 1, podemos concluir que

42=7 ´ 7=7pmod5, ou que 6 ´ 1 (mod 5).

Observa»c~
ao 8.3 (Congru^
encias Irrelevantes)

1. Se m = 0, dados dois inteiros a e b,

a ´ b , a ´b , 0j(a ¡ b) , a ¡ b = 0 , a = b
m 0
Assim, a rela»c~ao de congru^encia m¶odulo 0 coincide com a rela»c~ao de igualdade
em Z.

2. Se m = 1, dados dois inteiros a e b,

a ´ b , a ´b , 1j(a ¡ b)
m 1
Como 1 divide qualquer inteiro, quaisquer dois inteiros a e b s~ao congruentes
m¶odulo 1.
Em vista dos itens 1 e 2 acima, as congru^encias m¶odulo 0 e m¶odulo 1 s~ao casos
desinteressantes de congru^encia.

3. Dado m 2 Z e inteiros a e b,
a ´ b , mj(a ¡ b) , (¡m)j(a ¡ b) , a ´ b
m ¡m
Congru^ ¶ dulo m em Z
encia mo 66

Assim, as congru^encias m¶odulo m e m¶odulo ¡m s~ao a mesma rela»c~ao de con-

gru^encia.
Em vista das tr^es observa»co~es feitas a partir dos itens 1, 2 e 3 acima, doravante
trataremos de estudar a rela»c~ao de congru^encia m¶odulo m em Z apenas para
m ¸ 2.

Proposi»c~
ao 8.4 (Congru^ encia mod m e resto da divis~
ao por m)
Sejam a, b e m inteiros com m ¸ 2. Ent~ao

1. Se r ¶e o resto da divis~ao de a por m ent~ao a ´ r

m

2. Se a ´ s (s 2 Z) e 0 · s < m ent~ao s ¶e o resto da divis~ao de a por m.

m

3. a ´ b , os restos das divis~oes de a e b por m s~ao iguais.

m

Demonstra»c~ao.

1. a = mq + r, com q 2 Z ) a ¡ r = mq ) mj(a ¡ r) ) a ´ r.
m

2. Sendo a ´
m
s, temos a ¡ s = mq, para algum inteiro q.
Da¶³, a = mq + s, com q e s inteiros e 0 · s < jmj = m. Pelo teorema do
algoritmo da divis~ao em Z, teorema 2.1, p¶agina 18, s ¶e o resto da divis~ao de a
por m, j¶a que o resto e o quociente dessa divis~ao s~ao ¶unicos.

3. Seja r o resto da divis~ao de a por m. Pelo item 1, a ´ r.

m
Como a ´ b, pelas propriedades da rela»c~ao de congru^encia m¶odulo m, proposi»c~ao
m
8.1, teremos b ´ r. Como 0 · r < m, pelo item 2 acima, r ¶e o resto da divis~ao
m
de b por m.

Suponha que m ¸ 2 ¶e um inteiro. Dado um inteiro a, pelo algoritmo da divis~ao

temos a = qm + r, para certos inteiros q e r, sendo 0 · r · m ¡ 1. Chamamos
r o menor res¶³duo de a m¶odulo m. Dizemos que r ¶e o resultado da emphredu»c~ao de
a m¶odulo m. Tamb¶em usamos a nota»c~ao a mod m = r para denotar que r ¶e o resto
da divis~ao de a por m. Por exemplo, 17 mod 5 = 2 e ¡8 mod 7 = 6.
Pela proposi»c~ao 8.4, todo inteiro ¶e congruente, m¶odulo m, a um inteiro r 2
f0; 1; : : : ; m ¡ 1g, sendo r o resto da divis~ao dele por m. Como os inteiros
0; 1; : : : ; m ¡ 1 s~ao, dois a dois, n~ao congruentes m¶odulo m, temos a¶³ exatamente
m inteiros tais que todo inteiro ¶e congruente a exatamente um deles.
Congru^ ¶ dulo m em Z
encia mo 67

8.1 Determinando restos via congru^

encias
Nesta se»c~ao daremos exemplos do emprego de congru^encias m¶odulo m no c¶alculo de
restos de divis~oes euclidianas. Note que no primeiro exemplo o dividendo considerado ¶e
t~ao grande que nos impede de computar o quociente da divis~ao.

Exemplo 8.3 Determinar o resto da divis~ao de 2364638 564 por 7.

Solu»c~ao
Em virtude da proposi»c~ao 8.4, basta determinar um inteiro r, com
0 · r < 7 satisfazendo 2364638 564 ´ r (mod 7).
Temos inicialmente
2364 ´7 5
j¶a que 2364 deixa resto 5 quando dividido por 7.
2364 ´7 5 ) 23642 ´7 52 = 25 ´7 4 ) 23642 ´7 4
)
2364 ´7 5
) 23643 ´ 5 ¢ 4 = 20 ´ 6 ) 23643 ´ 6
23642 ´7 4 7 7 7

)
2364 ´7 5
) 23644 ´7 5 ¢ 6 = 30 ´7 2 ) 23644 ´7 2
23643 ´7 6
E ainda
23645 ´7 23644 ¢ 2364 ´7 2 ¢ 5 = 10 ´7 3
23646 ´7 23645 ¢ 2364 ´7 3 ¢ 5 = 15 ´7 1, e esta ¶e uma boa not¶³cia!
Como 23646 ´7 1, se escrevermos 638 564 = 6m + s, teremos

2364638 564 = 23646m+s = 23646m ¢ 2364s

m
= (23646 ) ¢ 2364s
´7 1m ¢ 2364s = 2364s

Dividindo 638 564 por 6, obtemos 638 564 = 6m + 2, logo s = 2 e ent~ao

2364638 564 ´7 2364s = 23642 ´7 4, e portanto o resto da divis~ao de
2364638 564 por 7 ¶e igual a 4.

Exemplo 8.4 Dado um n¶umero inteiro N > 0, seja

N = as as¡1 : : : a1 a0 = (as as¡1 : : : a1 a0 )10

Congru^ ¶ dulo m em Z
encia mo 68

a sua representa»c~ao decimal, isto ¶e,

N = as ¢ 10s + as¡1 ¢ 10s¡1 + ¢ ¢ ¢ + a1 ¢ 10 + a0

com os \algarismos" as ; as¡1 ; : : : ; a1; a0 todos no conjunto f0; 1; : : : ; 9g.

Por exemplo, quando escrevemos 46 728, estamos na verdade simbolizando o
n¶umero

(46728)10 = 40000 + 6000 + 700 + 20 + 8

= 4 ¢ 104 + 6 ¢ 103 + 7 ¢ 102 + 2 ¢ 10 + 8

Mostrar que o resto da divis~ao de N por 11 ¶e o resto da divis~ao do inteiro

a0 ¡ a1 + a2 ¡ : : : + (¡1)s as por 11.

Considere a representa»c~ao decimal de N como acima. Em termos de congru^encia

m¶odulo 11, podemos simpli¯car as pot^encias de 10 que aparecem na representa»c~ao de
N como segue.

1 ´
11
1
10 ´ ¡1
11
102 ´ (¡1)2 = 1
11
103 ´ (¡1)3 = ¡1
11
..
.
s
10 ´ (¡1)s
11

Sendo assim, utilizando as propriedades descritas no teorema 8.2, teremos:

a0 ´ a0
11
a1 ¢ 10 ´ a1 ¢ (¡1) = ¡a1
11
2
a2 ¢ 10 ´ a2 ¢ (¡1)2 = a2
11
a3 ¢ 103 ´ a3 ¢ (¡1)3 = ¡a3
11
..
.
s
as ¢ 10 ´ as ¢ (¡1)s
11

de onde, somando-se todas estas congru^encias membro a membro, chegamos a

as ¢ 10s + as¡1 ¢ 10s¡1 + ¢ ¢ ¢ + a1 ¢ 10 + a0 ´ a0 ¡ a1 + a2 ¡ : : : + (¡1)s as ,
11
ou seja,
Congru^ ¶ dulo m em Z
encia mo 69

N ´
11
a0 ¡ a1 + a2 ¡ : : : + (¡1)s as .
Pelo teorema 8.4, N e a0 ¡ a1 + a2 ¡ : : : + (¡1)s as deixam o mesmo resto
quando divididos por 11, que ¶e o que quer¶³amos demonstrar.
O resultado aqui obtido d¶a origem a um crit¶erio de divisibilidade por 11:
Um inteiro positivo N = (as as¡1 : : : a1 a0 )10 ¶e divis¶³vel por 11 se e somente
se a soma alternada de seus algarismos, a0 ¡ a1 + a2 ¡ : : : + (¡1)s as , ¶e divis¶³vel
por 11.
Por exemplo, qual seria o resto da divis~ao do inteiro

34 628 702 016 322 112 985 531

por 11?
Temos que 1 ¡ 3 + 5 ¡ 5 + 8 ¡ 9 + 2 ¡ 1 + 1 + 2 ¡ 2 + 3 ¡ 6 + 1 ¡ 0 +
2 ¡ 0 + 7 ¡ 8 + 2 ¡ 6 + 4 ¡ 3 = ¡5 ´ 6, portanto o resto procurado ¶e 6.
11

8.1.1 Problemas Complementares

1. Encontre todos os inteiros x satisfazendo
(a) 2x ´ x (mod 5) (b) 2x ´ 4 (mod 6) (c) 25 ´ 4 (mod x)
(d) x2 ´ 1 (mod 8) [Sugest~ao: escreva x = 4m + r, com 0 · r < 4]
(e) x2 ´ x (mod 4)

2. Seja n um inteiro positivo e seja n = (as as¡1 : : : a2 a1 a0 )10 a sua representa»c~ao

no sistema decimal, isto ¶e, n = as ¢ 10s + as¡1 ¢ 10s¡1 + ¢ ¢ ¢ + a1 ¢ 10 + a0 ,
com as ; as¡1 ; : : : ; a1; a0 todos algarismos do conjunto f0; 1; : : : ; 9g.
Demonstre os seguintes crit¶erios de divisibilidade:

(a) n ¶e divis¶³vel por 3 , as + as¡1 + ¢ ¢ ¢ + a1 + a0 ¶e divis¶³vel por 3.

(b) n ¶e divis¶³vel por 4 , o n¶umero (a1 a0 )10 ¶e divis¶³vel por 4 , 2a1 + a0 ¶e
divis¶³vel por 4.
(c) n ¶e divis¶³vel por 9 , as + as¡1 + ¢ ¢ ¢ + a1 + a0 ¶e divis¶³vel por 9.
(d) n ¶e divis¶³vel por 8 , o n¶umero (a2 a1 a0 )10 ¶e divis¶³vel por 8 , 4a2 +
2a1 + a0 ¶e divis¶³vel por 8.

3. Considere n como no exerc¶³cio anterior. Mostre que o resto da divis~ao de n por

6 ¶e o resto da divis~ao de 4(as + as¡1 + ¢ ¢ ¢ a1 ) + a0 por 6. Utilizando este
resultado, determine o resto da divis~ao de 123 456 789 987 654 321 por 6.

4. Utilizando congru^encias, estabele»ca crit¶erios de divisibilidade

(a) por 7 (b) por 13 (c) por 12 (d) por 16
Congru^ ¶ dulo m em Z
encia mo 70

5. Mostre que 22225555 + 55552222 ¶e divis¶³vel por 231. [Sugest~ao: Note que
231 = 3 ¢ 7 ¢ 11. Mostre que o n¶
umero dado ¶e divis¶³vel por 3, por 7 e por 11].

6. Qual ¶e o algarismo das unidades do inteiro dado no problema anterior? Quais s~ao
seus dois ¶ultimos algarismos? [Sugest~ao: O algarismo das unidades de um inteiro
positivo ¶e o resto da divis~ao desse inteiro por 10. Seus dois u¶ltimos algarismos
constituem o resto da divis~ao dele por 100].

7. Veri¯que se 271958 ¡ 108878 + 101528 ¶e divis¶³vel por 26460.

8. Determine o algarismo das unidades de cada um dos seguintes inteiros:

9 97 8 77
(a) 78 (b) 9998 (c) 88 (d) 7777
c c
[Observa»c~ao: A nota»c~ao ab signi¯ca a(b ) ].
2 3 10
9. Determine o resto da divis~ao de 10 + 1010 + 1010 + 1010 + ¢ ¢ ¢ + 1010 por
7.

10. Seja n um inteiro positivo e seja n = (as as¡1 : : : a1 a0 )10 a sua represen-
ta»c~ao no sistema decimal. Mostre que n ¶e divis¶³vel por 7 se e somente se o
inteiro (as as¡1 : : : a2 a1 )10 ¡ 2a0 ¶e divis¶³vel por 7. [Sugest~ao: Sendo N =
(as as¡1 : : : a2a1 )10, temos, n = 10N + a0 . Veri¯que ent~ao que

n ´7 0 , 10N + a0 ´7 0 , 20N + 2a0 ´7 0 , N ¡ 2a0 ´7 0]:

11. Sejam p e q inteiros primos entre si. Mostre que as congru^encias

x´a (mod p); x ´ b (mod q)

podem ser resolvidas simultaneamente para algum x 2 Z. [Sugest~ao: Sendo p e

q primos entre si, existem inteiros r e s tais que rp + sq = 1.]

12. Sejam a; b; c e m s~ao inteiros, com m ¸ 2. Demonstre que se ac ´ bc

(mod m), e d = mdc(c; m), ent~ao a ´ b (mod m)=d.

13. Seja p ¸ 2 um n¶umero primo, e sejam a e b inteiros.

¡p¢
(a) Demonstre que, para cada inteiro k, com 1 · k · p ¡ 1, k
¶e divis¶³vel
por p.
(b) Demonstre ent~ao que (a + b)p ´ ap + bp (mod p).
(c) Demonstre, por indu»c~ao sobre n, que np ´ n (mod p). Demonstre ent~ao
que ap ´ a (mod p).
(d) Demonstre ¯nalmente o Pequeno Teorema de Fermat: Se p n~ao divide a,
ent~ao ap¡1 ´ 1 (mod p).
(e) Demonstre que 1234567892002 ´ 1 (mod 2)003.