Sumrio

1 Oque ? 1
2 Pra que serve? 2
3 Induo Matemtica 4
3.1 Princpios de Induo . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4 Subtrao emN 12
5 Divisibilidade 13
5.1 Algoritmo de diviso . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
5.2 Representao sistemas posicionais . . . . . . . . . . . . . . . . . 18
5.3 MDC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.4 MMC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
6 Nmeros primos e Teorema Fundamental da Aritmtica 26
6.1 Distribuio dos primos . . . . . . . . . . . . . . . . . . . . . . . . . . 28
7 Construo dos Inteiros 30
8 Inteiros e suas propriedades aritmticas e de ordem 32
8.1 Valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
8.2 Induo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
9 Divisibilidade emZ 38
9.1 MDC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
10 Equaes diofantinas lineares 43
11 Congruncias 46
11.1 Sistema completo de restos . . . . . . . . . . . . . . . . . . . . . . . . 50
12 Congruncias lineares e sistemas de congruncias 51
12.1 Teorema chins do resto . . . . . . . . . . . . . . . . . . . . . . . . . . 53
13 A funo e o Teorema de Euler 59
13.1 O Teorema de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
13.2 O Pequeno Teorema de Fermat . . . . . . . . . . . . . . . . . . . . . . 63
14 Restos quadrticos 65
14.1 O smbolo de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2
Teoria Aritmtica dos Nmeros
Jair Donadelli
1 Oque ?
A Matemtica tem sido resultado de elaboraes a partir das noes bsicas de
nmero e gura geomtrica. Nmero, segundo Euler, uma contagem ou uma
medida, resultado da comparao de uma grandeza coma unidade.Teoria dos
nmeros um ramo da matemtica dedicado principalmente ao estudo das
propriedades dos nmeros inteiros em geral, e dos nmeros primos em parti-
cular, bem como as propriedades dos objetos obtidos a partir dos nmeros in-
teiros (e.g., nmeros racionais) ou de generalizaes dos nmeros inteiros (e.g.,
inteiros algbricos). Propriedades de nmeros reais e nmeros complexos so
estudados em Anlise Real e Anlise Complexa.
No incio do sculo 20 o termo para a Teoria dos Nmeros Aritmtica (a
palavra "aritmtica" usada pelo pblico em geral para signicar "clculos ele-
mentares"). Aritmtica tambm adquiriu outros signicados como em Aritm-
tica de Peano e Aritmtica de ponto utuante. O uso do termo Aritmtica para
designar o mesmo que Teoria dos Nmeros recuperou algumterreno na segunda
metade do sculo 20, em parte devido inuncia francesa; em particular arit-
mtica, como um adjetivo, preferido a terico-numrico [Wikipedia].
Aprimeira descoberta histrica de natureza aritmtica foi a Tbula de Plimp-
ton 322, 1800 aC.
Esse primeiro contato com a Teoria dos Nmeros por meio da Teoria Ele-
mentar dos Nmeros. Atravs desta disciplina introduziremos propriedades in-
teressantes e notveis dos nmeros inteiros.
1
2 Pra que serve?
Os nmeros esto na base da civilizao, faz parte da cultura dos povos e, se-
gundo historiadores, j se contava na Idade da Pedra.
Nmeros esto na base da construo do conhecimento matemtico, em
particular, o conjunto dos nmeros naturais, em alguns aspectos, a pea mais
bsica da matemtica pois voc pode construir os demais conjuntos nmericos
a partir de nmeros naturais
N

Z

Q

R
i
C
da voc pode chegar ao clculo, a topologia e outras disciplinas da Matemtica.
Por outro lado, a Teoria dos Nmeros utiliza tcnicas dessas disciplinas (lgebra,
anlise, geometria e topologia, lgica e a cincia da computao) para resolver
as questes que lhes so prprias, e muitas vezes direciona desenvolvimentos
nestes campos.
Teoria dos Nmeros um timo lugar para aprender a ler e escrever pro-
vas. uma rica fonte de conjecturas que so fceis de enunciar e muito dif-
ceis de provar. uma rea que lida com problemas de entendimento simples,
so acessveis pois envolvem elementos que so familiares, embora as solues
nem sempre so simples, exigem engenhosidade, em muitos casos, so muito
difceis. A Teoria dos Nmeros considerada uma disciplina desaadora e ins-
tigante.
Teoria dos Nmeros temalgumas grandes aplicaes. Acriptograa de chave
pblica (RSA o mais famoso), a construo de grafos expansores, a Teoria de
Cdigos, etc. Todo sistema digital est baseado nos nmeros inteiros. Duas apli-
caes modernas: cdigos corretores de erros e criptograa de chave pblica.
Cdigos corretores de erros fazem parte do nosso cotidiano de vrias formas,
e.g., ao falar pelo telefone, ao ouvir um CD de msica, ao assistir um lme em
DVD ou navegar pela Internet. Cdigos corretores de erros so usados frequen-
temente em aplicaes militares para proteo contra interferncia inimiga in-
2
tencional. Quando queremos transmitir uma informao atravs de um canal
de comunicao (linha telefnica, DVD, internet) podem ocorrer rudos, o que
acaba provocando erros na informao inicial. Detectar tais erros e, se possvel,
corrigi-los o objetivo dos cdigos corretores de erros. A lgebra, a Combinat-
ria e a Teoria de Nmeros so ferramentas fundamentais no estudo da Teoria de
Cdigos.
Criptograa RSA
1. Escolha dois nmeros primos p e q, por exemplo, p 3 e q 11
2. Compute n p q, no exemplo n 33
3. Compute (n) (p 1) (q 1), (33) 20
4. Escolha e {2, 3, . . . (n)} com e e n coprimos, e 7
3
5. Compute d tal que (d e) (n) deixa resto 1, d 3
6. Chave pblica (e, n), (7, 33)
7. Chave privada (d, n), (3, 33)
Para criptografar convertemos a mensagem num inteiro m e calculamos c m
e
(mod n), m2, c 29 .
Para decodicar, calculamos c
d
(mod n), m29
3
(mod 33) 2 .
A converso pra inteiro no problema, informao normavelmente codi-
cada em computador usando um sistema de numerao
String: teoria aritmtica dos nmeros
ASCII (decimal): 116 101 111 114 105 97 32 97 114 105 116 109 101 116 105 99 97
32 100 111 115 32 110 117 109 101 114 111 115
Binrio: 01110100 01100101 01101111 01110010 01101001 01100001 00100000
01100001 01110010 01101001 01110100 01101101 01100101 01110100 01101001
01100011 01100001 00100000 01100100 01101111 01110011 00100000 01101110
01110101 01101101 01100101 01110010 01101111 01110011
Hexadecimal: 74 65 6F 72 69 61 20 61 72 69 74 6D 65 74 69 63 61 20 64 6F 73 20
6E 75 6D 65 72 6F 73
Texto comum: teoria aritmtica dos nmeros
Textocriptografado(representadoemhex): c40bd12d61340e76830f00de6e590e
98f58cacf59b314d791824c280943770d4984caca3543496c543459d0051a299f57ce6
03aeff7745572ec659159ab0613e0a9ed6d5accb2f7588c60b7aaf13b05df9f4a51735b
0ca71d52922a94e9dff1f271285c3defad9fb5605f9e4c9e58c26898e40f47c078f328b7
3814ed6c6555b
3 Induo Matemtica
Princpio de Induo umdos axiomas de Peano publicado em1889 como obra
Arithmetic principia: novo methodo exposita Novo mtodo de exposio dos
princpios da Aritmtica. Esses axiomas formalizavam a ideia de que todos os
4
nmeros naturais podem ser obtidos a partir do nmero 1 pela soma sucessiva
da unidade. O grande mrito de Guiseppe Peano (1858-1932) foi a constatao
de que a partir de quatro axiomas pode-se conceituar ou deduzir todas as deni-
es e propriedades dos nmeros naturais, como por exemplo: adio, multipli-
cao e relao de ordem. Na realidade, os axiomas conhecidos como Axiomas
de Peano foram enunciados pela primeira vez por Dedekind, em 1888, como
arma o prprio Peano nas obras Arithmetics Principia Nova Methodo Exposita
e Sul Concetto di Numero. Apresentamos a seguir uma breve exposio dos axi-
omas de Peano e do Princpio de Induo Finita.
Consideremos trs conceitos primitivos: nmero natural, zero e sucessor. O
smbolo Ndenota o conjunto dos nmeros naturais.
Axiomas de Peano. Oconjunto dos nmeros naturais caracterizado pelas se-
guintes propriedades:
1. Todo nmero natural possui um nico sucessor, que tambm um n-
mero natural.
2. Nmeros naturais diferentes possuem sucessores diferentes.
3. Existe um nico nmero natural que no sucessor de nenhum outro.
Este nmero chamado de zero e representado pelo smbolo 0.
4. Axioma da Induo: Se um conjunto de nmeros naturais contm o n-
mero 0 e, alm disso, contm o sucessor de cada um dos seus elementos,
ento esse conjunto coincide comN.
Ou seja, existe uma funo injetiva s : NN, que associa a cada n N um ele-
mento s(n) N, chamado de sucessor de n. Existe um nico elemento no con-
junto N,o zero, tal que 0 /s(n) para todo n N. E o axioma da Induo ca
5
Axioma da Induo: Se X N um subconjunto tal que
1. 0 X e
2. n X s(n) X (n 0),
ento X N.
Denota-se 1 :s(0), 2 :s(1) s(s(0)), 3 :s(2) s(s(s(0))) e assim vai.
Exerccio 1. Todo natural, exceto o zero, sucessor de algum nmero natural.
Exerccio 2. Nenhum nmero sucessor dele mesmo
Adio Para m N, somar m denido por
1. m+0 m;
2. m+s(n) s(m+n).
De modo que
m+1 m+s(0) s(m+0) s(m). (1)
Fixado m N, notemos que se
X
m
:{n N: m+n est denido }
ento pelo Axioma da Induo X
m
Npois
1. 0 X
m
2. se m+n est denido ento s(m+n) Nlogo m+s(n) est denido.
Isso (X
m
N) vale para todo natural m, portanto, m+n est denido para todo
par de nmero naturais.
6
Multiplicao Para m N, multiplicar por m denido por
1. m 0 0
2. m s(n) m n +m.
Exerccio 3. Mostre que m n est denido para todo par m, n de nmeros natu-
rais.
A adio e a multiplicao de nmeros naturais tmas seguintes proprieda-
des.
Teorema 4. Sejam a, b, c, m, n, p nmeros naturais quaisquer
1. (elemento neutro da adio) 0 o nico natural tal que a +0 0+a a
2. (adio associativa)(a +b) +c a +(b +c)
3. (adio comutativa) a +b b +a
4. (lei de cancelamento da adio) a +c b +c a b
5. Se a +b 0 ento a b 0
6. (elemento neutro da multiplicao) m 1 1 m m e 1 nico com essa
propriedade
7. (multiplicao associativa)(m n) p m (n p)
8. (multiplicao comutativa) m n n m
9. (lei de cancelamento da multiplicao) mp np e p /0 mn
10. (multiplicao distributiva comrespeito a adio) (a+b)mam+bm
11. Se m n 0 ento m0 ou n 0
12. Se m n 1 ento mn 1.
DEMONSTRAO:

7
relao de ordem Para a, b Nescrevemos
a b
se existe um natural m tal que
a +mb.
Escrevemos a <b caso m acima 0. Ainda a b equivale a b a e a >b equivale
a b <a. A relao
reexiva a N, a a , pois
a a +0;
anti-simtrica a, b N, se a b e b a ento b a , pois existem naturais
m, n
a b a +mb
b a b +n a
portanto (a +m) +n a, donde m+n 0 e disso sabemos que mn 0
(teo. 4, item 5);
transitiva a, b, c N, se a b e b c ento a c , pois
a b a +mb
b c b +n c
portanto (a +m) +n c, donde a c.
Teorema 5. Para quaisquer a, b N, a b ou b a.
Exerccio 6 (Lei da tricotomia emN). Para quaisquer a, b N, vale uma e s uma
das relaes
a b, a <b, b <a
8
Exerccio 7. Mostre que compatvel com a adio, i.e.,
a b a +c b +c (2)
e compatvel com a multiplicao, i.e.,
a b a c b c (3)
para quaisquer a, b, c N.
Exerccio 8. Se a <b ento a +1 b.
Exerccio 9. No existe natural p tal que n <p <n +1, qualquer que seja n N.
Obs.: n <p <n +1 denota: n <p e p <n +1
DEMONSTRAO: Se p N tal que que n < p <n +1 ento, por denio de <,
existem naturais a, b N

tais que
n +a p
p +b n +1
logo n +(a +b) (n +a) +b p +b n +1, ou seja, a +b 1 pela lei cance-
lativa da adio. Mas no pode haver a, b N

com a +b 1, logo temos uma

contradio.
Princpio da Boa Ordem (PBO). Todo A N no-vazio tem um menor ele-
mento, ou seja, existe a Ntal que
a A (4)
x A, a x. (5)
DEMONSTRAO: Se 0 A ento 0 o menor elemento de A pois 0 n para todo
natural n. De fato 0+n n, donde 0 n.
9
Supondo 0 / A denimos
X :{n N: para todo k n, k A}
e notamos que 0 X (pois, 0 / A). Se valer que n X n +1 X para todo
natural n, ento teremos X N, o que no verdade (por qu?), portanto existe
um natural m tal que m X e m+1 / X.
De m X temos que n A para todo n m e de m+1 X temos m+1 A e
como no h p, m<p <m+1, m+1 menor elemento de A. De fato,
x A x >m
portanto, pelo exercicio 8, x m+1.
Exemplo. Para toda funo no-crescente f : NNexiste umnatural n
0
a partir
do qual f constante. A imagem da funo, Im( f ), um subconjunto no vazio
de naturais. Seja n
0
umnatural tal que f (n
0
) o menor elemento de Im( f ). Como
f no-crescente n n
0
f (n) f (n
0
), mas f (n) /< f (n
0
) pois f (n
0
) o menor
elemento de Im( f ), portanto n n
0
f (n) f (n
0
).
3.1 Princpios de Induo
Oaxioma de induo temumpapel de fundamental no s na teoria dos nme-
ros naturais como emtoda matemtica, pois pode ser visto como ummtodo de
demonstrao, conhecido como Princpio de Induo Matemtica ou Princpio
de Induo Finita, usualmente expresso da seguinte maneira
P(n) um predicado sobre N
Princpio da Induo Finita (PIF). Se so satisfeitas as condies
1. P(0) verdadeiro, e
2. para todo k 0, se P(k) verdadeiro ento P(k +1) verdadeiro,
10
ento P(n) verdadeiro para todo natural n.
Esse princpio decorre facilmente do axioma da Induo se tomarmos X
como o conjunto dos naturas para os quais o predicado verdadeiro, isto ,
X {n N: P(n) verdadeiro}
da condio 1 temos 0 X da condio 2 temos que se k X ento k +1 X,
portanto, X N.
Princpio da Induo Finita generalizado (PIFg). Seja a um nmero natural.
Se
1. P(a) verdadeiro, e
2. para todo k a, se P(k) verdadeiro ento P(k +1) verdadeiro,
ento P(n) verdadeiro para todo natural n a.
Esse princpio decorre do Princpio da Boa Ordem da seguinte forma: supo-
nha que no vale a sentena P(n) verdadeiro para todo natural n a, logo
A :{n N: n a e P(n) no verdadeiro}
no vazio, portanto admite um menor elemento b :minA.
b >a (estrito pois a A) logo b no zero, portanto existe existe um natural
c tal que b s(c) c +1, ainda b > a c a mas como b o menor elemento
de A devemos ter c / A, ou seja, P(c) verdadeiro. Mas, isso implica (condio
2) que P(c +1) P(b) verdadeiro, uma contradio.
Exemplo. 2
n
< n! para todo n 4: P(n) 2
n
< n! que verdadeiro para n 4
(conra). Seja k um natural maior ou igual a 4 e assumamos que P(k) verda-
deiro, ou seja
2
k
<k! (6)
11
Pela escolha de k,
k >1 k +1 >2 (k +1) k! >2 k!
(6)
2 k! >2 2
k
2
k+1
(7)
pelo PIFg, 2
n
<n! para todo n 4.
Notemos que, da deduo acima, PBOPIFg. Entretanto, PIFgPIF, basta
tomar a 0 e provamos o PBO usando PIF, isto , PIFPBO, portanto
PIFPBOPIFgPIF
tais princpios so equivalentes.
Princpio da Induo Finita, segunda forma. Seja a um nmero natural. Se
1. P(a) verdadeiro, e
2. P(k) verdadeiro para todo k {a, a +1, . . . , n} implica P(n +1) verdadeiro,
ento P(n) verdadeiro para todo natural n a.
4 Subtrao emN
Denimos
b a :c, sempre que a b em que c o natural tal que a +c b (8)
c por denio de . Portanto, para quaisquer a, b, c com a b
b a c b a +c (9)
Como a a, est denido a a que, por (9), vale a a 0. Por denio
b a +(b a).
Proposio 10. Para quaisquer a, b, c com a b vale
c (b a) c b c a
12
DEMONSTRAO: Primeiro, veriquemos que c b c a est denido. De fato,
pela compatibilidade da multiplicao com a relao de ordem, exerccio 7, a
b a c b c. Agora, pela denio de , existe um natural d tal que a +d b,
portanto, c (a +d) c b, que por associatividade deduzimos
c a +c d c b
e por (9)
c b c a c d
e a proposio segue do fato de que d b a.
5 Divisibilidade
Dizemos que o natural a divide o natural b, e escrevemos a[b, se existe um na-
tural c tal que b a c. Em smbolos essa denio
a[b c N, b a c
Notao: /[ signica no divide e b mltiplo de a signica a[b.
Observao. 0[0 pois 0 0 c para todo c, mas 0 /[b caso b / 0 pois, nesse caso,
no existe c tal que b 0 c. Ainda a[0.
Como o menor ou igual, o divide uma relao sobre o conjunto N que sa-
tisfaz
1
reexiva a N, a[a , pois a a 1;
antissimtrica a, b N, se a[b e b[a ento b a , pois de a[b e b[a ou a
b 0 ou a, b /0 e existem naturais m, n
a[b a mb
b[a b n a
1
toda relao reexiva, antissimtrica e transitiva sobre um conjunto chamada de ordem
parcial sobre o conjunto.
13
portanto (a m) n a, donde tiramos que m n 1 e disso sabemos que
mn 1 (teo. 4, item 12);
transitiva a, b, c N, se a[b e b[c ento a[c , pois
a[b a mb
b[c b n c
portanto (a m) n c, donde a[c.
Teorema 11. Para quaisquer nmeros naturais a, b, c
1. 1[a;
2. a[b e c[d a c[b d;
3. a[(b +c)
_
a[b a[c
_
;
4. c b e a[(b c)
_
a[b a[c
_
;
5. a[b e a[c a[(bx +c y) para todos x, y N.
6. a[b e b /0 a b;
DEMONSTRAO:
1. De 1 a a segue que 1[a.
2. Se a[b e c[d ento existem m, n Ntais que
a mb
c n d
de modo que b d (a m) (c n) (a c) (m n), portanto a c[b d.
3. Suponhamos que a[(b +c), i.e, a d b +c para algum d. Se a 0 ento
b +c 0, ento b c 0 e vale a concluso. Seja a /0.
14
Se a[b, a x b para algum x, portanto a d a x +c, assim a x a d e
pela equao (9)
a d a x c
como a /0, a x a d x d e pela Proposio 10
a (d x) c
donde conclumos que a[c.
Acima provamos que a[b a[c. Resta provar que a[c a[d.
a[c a y c a d a y +b a (d y) b a[b
pelas mesmas justicativas apresentadas acima.
4. Exerccio.
5. Se a[b e a[c ento existem m, n Ntais que
a mb
a n c
portanto, dados x, y N
a m x b x
a n y c y
portanto
a m x +a n y b x +c y
a (m x +n y) b x +c y
ou seja a[(bx +c y).
6. a[b e b / 0 a c b para algum c / 0; tambm, c d +1 para algum
d N. Portanto a (d +1) b o que implica em
a +a d b
que equivale a a b.

15
5.1 Algoritmo de diviso
Exerccio 12. Sejam a e b nmeros naturais, b /0. Ento para algum natural q
bq a <b(q +1). (10)
Soluo. Se a <b ento q 0 o nico natural que satisfaz (10). Se a b ento
denimos o conjunto
A :{n N: bn >a}
que no-vazio pois a +1 A (verique
2
), portanto tem um menor elemento
m > 0 (pois 0 A); ademais m sucessor de algum natural q, m q +1 e, pela
minimalidade de q +1, temos que bq a.
Continuando nas hipteses acima, se bq a ento existe um natural r tal
que
bq +r a
e com r <b pois, caso contrrio, r b bq +r b(q +1) contrariando (10)
Ademais, tal r nico. Por (9)
bq +r a r a bq
Admitamos que exista r
t
/r com r
t
a bq
t
, r a bq e r
t
<r <b. Ento
bq
t
+r
t
bq +r
bq
t
bq +r r
t
portanto b[(bq +r r
t
) e pelo teorema 11, item 3, b[(r r
t
) e pelo teorema 11,
item 6, b r r
t
, contrariando r <b.
Agora, se r
t
a bq
t
e r a bq e r r
t
ento q q
t
, ou seja, q tambm
nico.
Em resumo, os naturais q e r cujas existncia foi determinada acima so os
nicos a satisfazerem bq +r a. Provamos o seguinte teorema
2
b 1 ba a ba +b a +b >a
16
Teorema 13 (Algoritmo da diviso, livro VII de Elementos de Euclides, 300 aC).
Para todo natural a e todo natural b / 0 existe um nico natural q e um nico
natural r com r <b tal que
a bq +r. (11)
Notao No teorema acima, caso a bq +r
a o dividendo, b o divisor
]a/b] :q o quociente da diviso, quando r 0 escrevemos apenas a/b
a mod b :r o resto o resto.
Outra prova do teorema da diviso. Se a < b ento basta tomarmos q 0 e, as-
sim, r a. Agora, para unicidade, se q > 0 ento q 1 (exerccio 8), ento
bq +r b1+r para todo r (exerccio 7), ou seja, a b +r para todo r . Fazendo
r 0 temos a b. Portanto q nico, e por conseguinte r tambm nico.
Se a b, a ideia considerar as sucessivas subtraes a, ab, a2b, a3b, . . .
enquanto estiver denida. Denimos o conjunto
R :{n N: a bn est denido }. (12)
e como 1 R, R /. Como abn a (n R) podemos denir q como o maior
elemento de R, que existe pelo exerccio 1 da lista 2, e r :a bq.
Por (9)
bq +r a r a bq.
Caso r b deduzimos
t , r +t b t , bq +r +t bq +b t , a +t b(q +1)
portanto q +1 R, o que contraria o fato de q ser o maior elemento desse con-
junto, portanto, r <b.
Para provar a unicidade, suponhamos que r a bq e r
t
a bq
t
e r <r
t
<
b. Assim, r
t
r b(q q
t
) e b[(r r
t
) donde b r r
t
, um absurdo. Portanto
r r
t
, e disso a bq a bq
t
, donde q q
t
.
17
Exemplo. Do teorema temos que o resto da diviso de n por 2, para qualquer
n N, 0 ou 1; quando o resto 0 dizemos que n um natural par e quando o
resto 1 dizemos que n um natural mpar. A caracterstica de um nmero ser
par ou mpar chamada de paridade.
Exemplo. Todo nmero natural pode ser escrito em uma (e s uma) das formas:
3q, 3q +1, 3q +2.
Exemplo. 253 50 5+3, portanto, os naturais menores ou iguais a 253 e mlti-
plos no-nulos de 5 so: 1 5, 2 5, 3 5, . . . , 49 5, 50 5.
De um modo geral, se b a ento a quantidade de naturais menores ou
iguais a a que so mltiplos no-nulos de b ]a/b].
Exerccio 14. Discuta a paridade da adio, do produto, da subtrao e da po-
tncia de nmeros naturais.
Exerccio 15. Um nmero natural a par se e somente se a
n
par para todo
n N

.
Soluo. Seja a um natural par. Ento a
1
par. Suponhamos que para n > 1
xo, a
n1
par, ento a
n
a
n1
a e por ser o produto de dois pares, a
n
par.
Pelo PIFg a
n
par para todo n 1.
Se a
n
par para todo n N

, em particular a
1
par.
Exerccio 16. Seja n um natural. Um, e s um, nmero dentre n, n +2, e n +4
divisvel por 3.
5.2 Representao sistemas posicionais
No sistema decimal 253 200 +50 +3 cada algarismo tem o seu valor e, alm
disso, um peso determinado pela posio; todo natural m escrito como o nu-
meral d
n
d
n1
. . . d
1
d
0
com d
i
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9} para todo i de modo que
md
n
10
n
+d
n1
10
n1
+ +d
1
10+d
0
18
Exemplo. No sistema binrio os nmeros so escritos com os algarismos 0 e 1 do
sistema posicional de base 2
253 (11111101)
2
1 2
7
+1 2
6
+1 2
5
+1 2
4
+1 2
3
+1 2
2
+0 2
1
+1 2
0
Emcomputao {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B,C, D, E, F} so os algarismos do sistema
posicional de base 16
253 (FD)
16
15 16
1
+13 16
0
Teorema 17. Seja b > 1 um natural e R {0, 1, . . . , b 1}. Para todo natural m
existem natural n e nicos d
i
R para 0 i n, tais que
md
n
b
n
+d
n1
b
n1
+ +d
1
b +d
0
(13)
com d
n
/0, exceto quando m0.
Demonstrao. Se m 0 ento n 0 e d
0
0; se m 1 ento n 0 e d
0
1.
Seja m > 1 um natural e assumamos que todo natural menor que m pode ser
representado de forma nica como em (13).
Usando o algoritmo de diviso para dividir m por b temos que existem q e r
nicos tais que
mbq +r, r <b
e pela hiptese de induo, pois q < m (justique), existem e
0
, e
1
, . . . , e
n
t
1
, e
n
t
nicos tais que
q e
n
t b
n
t
+ +e
1
b +e
0
para algum n
t
. Assim
bq +r e
n
t b
n
t
+1
+ +e
1
b
2
+e
0
b +r
de modo que, fazendo n n
t
+1 e
d
0
r
d
i
e
i 1
para 1 i n
o resultado segue pela segunda forma do PIF.
19
Da demostrao acima tiramos que a representao de m na base b obtida
por
mbq
0
+d
0
q
0
bq
1
+d
1
q
1
bq
2
+d
2
.
.
.
como q
0
>q
1
>q
2
> essa sequncia ca constante a partir de algumn (exem-
plo na pgina 10), de fato, quando q
n1
<b temos q
n
0 e a partir da os restos
valem 0 e temos (13).
Exemplo. 253 na base binria obtido por
253 2 126+1
126 2 63+0
63 2 31+1
31 2 15+1
15 2 7+1
7 2 3+1
3 2 1+1
1 2 0+1
Exemplo 18 (divisibilidade por 5). Dado n N,
n d
t
10
t
+d
t 1
10
t 1
+ +d
1
10+d
0
10(d
t 1
10
t 2
+d
t 2
10
t 3
+ +d
1
) +d
0
assim, se 5[n, como 5[10(d
t 1
10
t 2
+d
t 2
10
t 3
+ +d
1
) (teorema 11) portanto
deve dividir d
0
, logo
d
0
{0, 5}
20
de modo que um natural divisvel por 5 se, e s se, termina com o algarismo 0
ou o algaismo 5.
Exemplo 19 (divisibilidade por 3). Vamos denotar, s nesse exemplo, por 9
[t ]
. . .9 o
numeral escrito com t ocorrncias do algarismo 9, por exemplo, 9
[3]
. . .9 999.
Dado n N,
n d
t
10
t
+d
t 1
10
t 1
+ +d
1
10+d
0
d
t
(9
[t ]
. . .9+1) +d
t 1
(9
[t 1]
. . . 9+1) + +d
1
(9+1) +d
0

_
d
t
9
[t ]
. . .9+d
t 1
9
[t 1]
. . . 9+ +d
1
9
_
+(d
t
+d
t 1
+ +d
0
)
9
_
d
t
1
[t ]
. . .1+d
t 1
1
[t 1]
. . . 1+ +d
1
1
_
+(d
t
+d
t 1
+ +d
0
)
assim, se 3[n, como 3[9(d
t 1
1
[t ]
. . .1 + +d
1
) (teorema 11) portanto deve dividir
d
t
+d
t 1
+ +d
0
, de modo que um natural divisvel por 3 se, e s se, a soma de
seus algarismos for divisvel por 3.
Exerccio 20. Obtenha um critrio de divisibilidade por 9.
5.3 MDC
d N o maior divisor comum de a e b, ambos naturais, se
1. d[a e d[b;
2. para todo c N, c[a e c[b c[d.
Denotamos omaior divisor comumde a e b por mdc(a, b). Claramente, mdc(a, b)
mdc(b, a).
Notemos que do item2 conclumos que se c[a e c[b ento c d (teo. 11, item
6). Ainda, se d e d
t
so mdc(a, b) ento d d
t
e d
t
d donde d d
t
, ou seja,
caso exista o mdc(a, b) nico. Notemos, tambm, que a denio no garante
a existncia do mdc. Vejamos alguns casos
1. a /0 mdc(0, a) a, convencionamos que mdc(0, 0) 0,
2. mdc(1, a) 1.
21
3. b[a se, e somente se, mdc(a, b) b.
Para o item 3, suponha que a[b. Como a[a o item 1 da denio de mdc ca
satisfeito. Se c[a, ento c[b por transitividade. Portanto c[a e vale o item 2 da
denio. Por outro lado, se mdc(a, b) a, ento a[b por 1 da denio de mdc.
Se b /[a ento temos a bq +r , 0 / r < b. De a bq +r , todo divisor de
b e r divide bq +r (teo. 11) portanto divide a e b. De r a bq, todo divisor
de a e b divide r e b. Logo, mdc(a, b) mdc(b, r ). Repetindo esse processo
temos mdc(b, r ) mdc(r, b modr ) e como o sequncia dos restos decrescente,
em algum momento o resto 0 e voltamos ao caso do item 3 acima. Ou seja, a
existncia de mdc(a, b) garantida por
Teorema 21 (Algoritmo de Euclides, livro VII de Elementos de Euclides, 300 aC).
Se a bq +r ento mdc(a, b) mdc(b, r ).
Assim, obtemos mdc(a, b) com divises sucessivas:
a bq
1
+r
1
, r
1
<b
b r
1
q
2
+r
2
, r
2
<r
1
r
1
r
2
q
3
+r
3
, r
3
<r
2
r
2
r
3
q
4
+r
4
, r
4
<r
3
r
3
r
4
q
5
+r
5
, r
5
<r
4
.
.
.
a sequncia de restos r
1
, r
2
, . . . decrescente, ento (decorre do exemplo na p-
gina 10, ou do PBO) para algum n
r
n2
r
n1
q
n
+r
n
, r
n
<r
n1
r
n1
r
n
q
n+1
+r
n+1
, r
n+1
0
r
n
[r
n1
logo mdc(r
n
, r
n1
) r
n
e do teorema acima mdc(a, b) mdc(b, r
1
)
mdc(r
n1
, r
n
) r
n
.
22
Demonstrao do Algoritmo de Euclides, teorema 21. Comofoi estabelecidoaci-
ma, de a bq +r , todo divisor de b e r divide a e b e, de r a bq, todo divisor
de a e b divide r e b. Assim d satisfaz o item 1 da denio de mdc(a, b) se e s
se d satisfaz o item 1 da denio de mdc(b, r ). Se d satisfaz o item 2 da de-
nio de mdc(a, b): c, c[a e c[b c[d ento, todo c tal que c[b e c[r , c[d; logo
d mdc(b, r ).
Exemplo. mdc(41, 12) 1:
41 12 3+5
12 5 2+2
5 2 2+1
2 1 2+0
Exemplo 22 (nmeros de Fermat). Para qualquer n >m
mdc
_
2
2
n
+1, 2
2
m
+1
_
(14)
Da identidade 2
2
m+1
1 (2
2
m
1)(2
2
m
+1) temos
2
2
n
1
_
2
2
n1
+1
__
2
2
n2
+1
__
2
2
n3
+1
_

_
2
2
m+1
+1
__
2
2
m
+1
__
2
2
m
1
_
portanto
_
2
2
m
+1
_

_
2
2
n
1
_
portanto um divisor de 2
2
m
+1 divide 2
2
n
1, ademais
2
2
n
+1
_
2
2
n
1
_
+2
portanto umdivisor de 2
2
n
+1, que divide 2
2
n
1, divide 2 (teo. 11, item3), ou seja,
um divisos comum de 2
2
n
+1 e 2
2
m
+1, que so mpares, divide 2, logo o mdc 1.
Exerccio 23. Para a, b, c N, o mdc satisfaz as seguintes propriedades:
1. mdc(ca, cb) c mdc(a, b).
2. Se a[bc e mdc(a, b) 1 ento a[c.
23
3. Se a[c e b[c, c /0, e mdc(a, b) 1 ento ab[c.
4. c divisvel por 6 se, e s se, divisvel por 2 e por 3, pois mdc(2, 3) 1.
Soluo. Sejam a, b, c N.
1. Vamos provar o item 1.Como no algoritmo da diviso, para mdc(ca, cb)
com divises sucessivas:
ca (cb)q
1
+r
1
cb (cr
1
)q
2
+r
2
cr
1
(cr
2
)q
3
+r
3
.
.
.
cr
n2
(cr
n1
)q
n
+r
n
cr
n1
(cr
n
)q
n+1
logomdc(ca, cb) mdc(cb, cr
1
) mdc(r
n1
, r
n
) cr
n
cmdc(a, b).
2. Para o item 2 observamos que mdc(a, b) 1 mdc(ac, bc) c e de a[bc
(e a[ac) temos a[mdc(ac, bc).
3. Para o item 3, observamos que das hipteses deduzimos que ab[ac, por-
tanto ab[mdc(ac, bc) e o mdc c.
Quando mdc(a, b) 1 dizemos que a e b so coprimos.
5.4 MMC
m N o mnimo mltiplo comum de a e b, ambos naturais, se
1. a[m e b[m;
2. para todo c N, a[c e b[c m[c.
24
Denotamos omaior divisor comumde a e b por mmc(a, b). claroque mmc(a, b)
mmc(b, a).
Proposio 24. Sejam a, b N. O mmc(a, b) existe e satisfaz
mdc(a, b) mmc(a, b) a b
Demonstrao. Sejam a, b N, d mdc(a, b) e tomemos m tal que md ab, ou
ainda, com a notao introduzida depois do teorema da diviso m(ab)/d.
Notemos que m a(b/d) b(a/d), ou seja, a[m e b[m. Agora, seja c um
mltiplo de a e tambm de b
Se c qa e c kb ento qa kb portanto q(a/d) k(b/d), ou seja, temos
que (a/d)[k(b/d). Entretanto, (a/d) /[(b/d) (por qu?), logo (a/d)[k, ou seja,
existe t tal que k t (a/d) donde c t (a/d)b t m, i.e., m[c. Por denio,
mmmc(a, b).
25
6 Nmeros primos e TeoremaFundamental daAritmtica
p / 0, 1 primo se os nicos divisores de p so 1 e p; se p no primo ento
dito composto.
Exerccio 25. Se a /0, 1 e
D(a) :{n: n >1 e n[a} (15)
ento o menor elemento de A um nmero primo.
Soluo. D(a) /pois a D(a). Seja m o menor elemento de D(a) e provemos
que primo. Primeiro, notemos que m/0, 1. Agora, se d[m ento
d <m ou d m (16)
(teo. 11, item 6; pois m/0). Se d <m ento d D(a) e como d[md[a temos
d 1, portanto d <md 1 e d 1 ou d m implca em m primo.
Proposio 26 (Proposio 30, livro VII de Elementos de Euclides, 300 aC). Se-
jam a, b /0 naturais. Se p primo e p[ab ento p[a ou p[b.
Demonstrao. Sejama, b, p naturais comoenunciado. Se p /[a entomdc(p, a)
1 e pelo exerccio 23, item 2, p[b. Analogamente, p /[b p[a.
Teorema 27 (Teorema Fundamental da Aritmtica). Todo natural maior que 1
ou primo ou um produto de primos que pode ser escrito de maneira nica a
menos da ordem dos fatores.
Demonstrao. Provemos usando induo em n que o predicado P(n) n ou
primo ou produto de primos verdadeiro para todo n >1.
P(2) verdadeiro.
Suponha k >1 um natural e P(n) verdadeiro para todo n {2, 3, 4, . . . , k}.
Provaremos que P(k +1) verdadeiro. Pelo exerccio 25
m :minD(k +1)
26
primo. Se mk +1, ento k +1 primo, seno 1 <m<k +1 um primo que
divide k +1, i.e, tal que k +1 m q. Como q <k +1, P(q) verdadeiro, ou seja,
q primo ou um produto de primos, logo m q produto de primos.
Pela 2 forma do PIF, P(n) verdadeiro para todo n >1.
Agora, provaremos que a escrita de n como produto de primos nica a
menos da ordem dos fatores. Se esse no o caso, seja n o menor natural que
pode ser escrito como diferentes produtos de primos
n p
1
p
2
p
a
q
1
q
2
q
b
com p
1
p
2
p
a
e q
1
q
2
q
b
primos. Ento
p
1
[q
1
q
2
q
b
e pela proposio acima p
1
[q
j
para algum j , logo p
1
q
j
q
1
. Analogamente,
q
1
[p
1
p
2
p
b
logo para algum i , q
1
p
i
p
1
. Portanto, p
1
q
1
. Pela minimalidade de n,
p
2
p
a
q
2
q
b
o mesmo produto de primos, uma contradio.
Assim, para todo n > 1 existem p
1
< p
2
< < p
k
primos e
1
,
2
, . . . ,
k
naturais tais que
n p

1
1
p

2
2
p

k
k
(17)
que chamamos de fatorao cannica de n em primos.
84 2
2
3 5
0
7 e 120 2
3
3 5 7
0
e 350 2 3
0
5
2
7
Os nmeros primos at n podem ser obtidos por
1. Liste todos os nmeros de 2 at n
2. Para cada i {2, 3, . . . , ]
_
n]}, i est na lista ento apague os mltiplos de i
maiores que i
27
conhecido como Crivo de Eratstenes. Por exemplo, para conhecer os primos
menores que 60 exclumos das lista 2, . . . , 60 os mltiplos de 2, 3, 5, 7.
Lema 28 (Crivo de Eratstenes). Se n >1 no divisvel por um primo p tal que
p
2
n ento n primo.
Demonstrao. Se n composto ento n n
1
n
2
com n
1
, n
2
/ 1. Ambos no
podem ser >
_
n, seno n <n
1
n
2
.
Exerccio 29. Quantos divisores tem n, para qualquer n >1?
Soluo.
d(n) :(
1
+1)(
2
+1) (
k
+1) (18)
Exerccio 30. d(n) mpar se, e s se, n um quadrado perfeito.
Soluo. n p

1
1
p

r
r
d(n) mpar
i
+1 mpar (i )

i
par (i )
n (p

1
/2
1
p

r
/2
r
)
2
6.1 Distribuio dos primos
Teorema 31. H innitos nmeros primos.
Demonstrao. Se p
1
, p
2
, . . . , p
r
so todos os nmeros primos ento
n p
1
p
2
p
r
+1
pode ser escrito como o produtos desses primos, mas se p
i
[n ento p
i
[1, um
absurdo.
28
Outra demonstrao. Vamos mostrar que para todo natural n existe um primo
maior que n. Para tal, tome p um fator primo de n! +1.
Se p n ento p[n! por denio de fatorial. Se p divide n! e n! +1 ento
p divide a diferena desses nmeros, i.e., p[1, portanto p 1, um absurdo que
estabelece p >n.
Exerccio 32. Deduza da coprimalidade dos nmeros de Fermat (exemplo 22)
que h innitos nmeros primos.
Exerccio 33. Para todo n, existem n naturais consecutivos e compostos.
Soluo. (n+1)!+2, (n+1)!+3, . . . , (n+1)!+n+1 divisvel, respectivamente, por
2, 3, . . . , n +1
Exerccio 34. Todo primo mpar da forma 4k +1 ou 4k +3.
Exerccio 35. Mostre que o produto de dois nmeros da forma 4k +1 tambm
dessa forma.
Exerccio 36. Mostre que N 4(p
1
p
r
) 1 da forma 4k +3. Suponha que
p
1
, . . . , p
r
sejamtodos os primos da forma 4k+3. Mostre que deve existir umprimo
p[N da forma 4k +3.
Exerccio 37. Conclua, usando os exerccios 34, 35 e 36 que h innitos primos
da forma 4k +3.
O teorema 31 arma que na sequncia
1, 2, 3, 4, 5, 6, . . . , n, n +1, . . .
h innitas ocorrncias de nmeros primos. O execcio 37 arma que o mesmo
ocorre na sequncia
3, 7, 11, 15, 19, 23, 27, 31, 35, 39, 43, 47, . . . , 4n +3, 4(n +1) +3, . . .
29
e um teorema famoso da Teoria Analtica dos Nmeros, o Teorema de Dirichlet,
arma que o mesmo ocorre com a sequncia (ou melhor, na progresso aritm-
tica que comea em a e tem razo d)
a, a +d, a +2d, a +3d, . . . , a +nd, a +(n +1)d, . . .
para quaisquer a, d coprimos.
Exerccio 38. Todo primo maior que 6 da forma 6k +1 ou 6k +5.
Exerccio 39. Mostre que h innitos primos da forma 6k +5.
7 Construo dos Inteiros
Considere a relao R NNdenida por
(a, b)R(n, m) se, e s se a +mb +n
Exerccio 40. Prove que R uma relao de equivalncia.
Para cada (a, b) denimos o conjunto
[a, b] :
_
(n, m) NN: (a, b)R(n, m)
_
(19)
chamado classe de equivalncia de (a, b). Por exemplo,
[1, 2]
_
(0, 1), (1, 2), (2, 3), (3, 4), . . .
_
[5, 2]
_
(3, 0), (4, 1), (5, 2), (6, 3), . . .
_
Notemos que [1, 2] [2, 3] [0, 1] /[5, 2] [4, 1].
Quandodenotamos a classe de equivalncia para
_
(0, 1), (1, 2), (2, 3), (3, 4), . . .
_
por [2, 3] dizemos que o par (2, 3) o representante da classe.
Exerccio 41. Prove que classes de equivalncias distintas so disjuntas e a unio
delas NN.
30
Z o conjunto dessas classes de equivalncia seus elementos so chama-
dos nmeros inteiros.
Denotamos
0 :[0, 0] {(n, n) : n N}
1 :[1, 0] {(n +1, n) : n N}
1 :[0, 1] {(n, n +1) : n N}
a :[0, a] {(n, n +a) : n N}
Denotemos por p a classe [a, b] e por q a classe [n, m]. Denimos p+q como
a classe de equivalncia
p +q :[a +n, b +m] (20)
Denimos p q como a classe de equivalncia
p q :[a n +b m, a m+b n] (21)
Notemos que [1, 2] +[5, 2] [0, 1] +[3, 0].
Exerccio 42. Prove que a soma de conjuntos denida acima compatvel com
a relao de equivalncia, isto , a soma no depende dos representantes de cada
classe de equivalncia envolvida.
Prove que a multiplicao de conjuntos denida acima compatvel com a
relao de equivalncia, isto , no depende dos representantes de cada classe de
equivalncia envolvida.
Exerccio 43. Para classes de equivalncia p, q, r e as operaes denidas acima
valem
1. p +(q +r ) (p +q) +r
2. p +q q +p
3. p +0 p
31
4. p +(p) 0
5. p (q r ) (p q) r
6. p q q p
7. p 1 p
8. p (q +r ) p q +p r
9. p q 0 p 0 ou q 0
Denimos
p q :p +(q)
e denimos
p q q p N
para quaisquer inteiros p e q.
Exerccio 44. A relao reexiva, antissimtrica e transitiva. Alm, disso para
quaisquer dois inteiros p e q vale: p q ou q p.
Exerccio 45. Prove que
1. p 0 p 0
2. (p) q (p q)
8 Inteiros e suas propriedades aritmticas e de ordem
Z
_
. . . , 2, 1, 0, 1, 2, . . .
_
oconjuntodos nmeros inteiros, os quais satisfazem
as seguintes propriedades com relao a adio, multiplicao e a relao de
ordem parcial :
Associatividade a, b, c Z
a +(b +c) (a +b) +c
a (b c) (a b) c.
32
Elemento neutro da adio a Z,
a +0 a
e 0 o nico inteiro que satisfaz essa sentena.
Inverso aditivo a Z, !b Z
a +b 0
b denotado por a.
Elemento neutro do produto a Z
a 1 a
e 1 o nico inteiro que satisfaz essa sentena.
Comutatividade a, b Z
a +b b +a
a b b a
Cancelativa a, b, c Z
a +b a +c b c
a /0 e a b a c b c
Distributiva a, b, c Z
a (b +c) a b +a c
Tricotomia a, b Z; a <b ou a b ou b <a.
reexiva a Z; a a.
antissimtrica a, b Z; a b e b a a b.
transitiva a, b, c Z; a b e b c a c.
33
Compatibilidade de comas operaes aritmticas a, b, c Z
a b a +c b +c
a b e 0 c a c b c
Essa lista no minimal, por exemplo, a lei cancelativa pode ser tirada dessa
lista provada a partir das restantes.
8.1 Valor absoluto
Denimos, para todo a Z, o valor absoluto de a
[a[ :
_

_
a se a 0,
a caso contrrio.
(22)
Exerccio 46. Prove a partir das propriedades acima que para a, b, c Z
1. a 0 0.
2. (a +b) (a) +(b) a b.
3. (a) a.
4. (a) b (a b) a (b).
5. (a) (b) a b.
6. c(a b) ca cb.
7. a b 0 a 0 ou b 0.
8. a 0 a 0.
9. a b a b.
10. a <b a >b.
11. Regras de sinal
34
(a) a >0 e b >0 ab >0
(b) a <0 e b <0 ab >0
(c) a <0 e b >0 ab <0
12. a b e c d a +c b +d.
13. a b e c <d a +c <b +d.
14. a
2
0.
15. a <b e c >0 ac <bc
16. a <b e c <0 ac >bc
17. ac bc e c <0 a b
18. [a[ 0 e [a[ 0 se e s se a 0.
19. [a[ a [a[.
20. [ a[ [a[.
21. [ab[ [a[[b[.
22. [a +b[ [a[ +[b[.
23. [a[ [b[ [a b[ [a[ +[b[
24. ab 1 a b 1 ou a b 1
Soluo item 24.
ab 1 [ab[ [1[ [ab[ 1
[a[[b[ 1 pelo item 21
[a[ [b[ 1 pelo teo. 4, item 12
Assim a 1 e b 1 pela denio de valor absoluto. Como 1 (1) 1 (1
neutro) a b.
35
Denotamos por
Z
+
:{1, 2, 3, 4, . . . }
o conjunto dos nmeros inteiros positivos, i.e., inteiros maiores que 0. O con-
junto Z\ Z
+
, dos inteiros menores ou iguais a 0 so ditos no-positivos. Analo-
gamente, denimos os inteiros negativos
Z

:{1, 2, 3, 4, . . . }
e os inteiros no-negativos.
8.2 Induo
A Z no-vazio limitado inferiormente se existe m Z (chamado cota infe-
rior) tal que
a A, ma
e m menor elemento ou mnimo de A se m A. Denotamos o mnimo de A
por min(A).
Princpio do menor inteiro: A Z no vazio e limitado inferiormente tem um
nico mnimo.
Que o mnimo, caso exista, nico decorre da denio: se m e m
t
so m-
nios ento m m
t
e m
t
m, portanto m m
t
. Que o mnimo existe, segue do
PBO: se m uma cota inferior ento
B :{a m: a A} N
ento, para algum b A temos n b m o menor elemento de B. Mostremos
que b uma cota inferior para A. Se a A ento a m B, logo a mb m,
portanto a b.
P(n) um predicado sobre os inteiros n, n a para algum inteiro xo a
36
Princpio da Induo Finita. Se
1. P(a) verdadeiro, e
2. para todo k a, se P(k) verdadeiro ento P(k +1) verdadeiro,
ento P(n) verdadeiro para todo inteiro n a.
Princpio da Induo Finita, segunda forma. Se
1. P(a) verdadeiro, e
2. para todo n >a, se P(k) verdadeiro para todo k {a, a+1, . . . , n} ento P(n+
1) verdadeiro,
ento P(n) verdadeiro para todo inteiro n a.
Demonstrao. Se S o conjunto dos inteiros m a tais que P(m) falso e as-
sumimos que S / ento a uma cota inferior e temos m
0
minS. m
0
> a
por 1 e P(a), . . . , P(m
0
1) verdadeiro pela minimalidade de m
0
, logo P(m
0
)
verdadeiro, por 2, o que uma contradio. Assim, S deve ser vazio.
Exerccio 47. Mostre que todo S Z limitado superiormente possui (nico) m-
ximo. Dena, nesse caso, os termos limitado superiormente, mximo e cota supe-
rior.
Exerccio 48. Prove usando induo
1. Seja a Z e P(n) um predicado a respeito dos inteiros n a. Suponha
que (i ) P(a) verdadeiro; (i i ) para todo n a, se P(n) verdadeiro ento
P(n 1) verdadeiro. Prove que P(n) verdadeiro para todo n a.
2. Seja n Z, n >0. n 1+1+1+ +1 (n parcelas)
3. Seja n Z, n <0. n (1) +(1) +(1) + +(1) (n parcelas)
37
9 Divisibilidade emZ
Sejam a, b Z. b divide a se existe c Z tal que bc a. Dizemos que b um
divisor de a, que c o quociente e que a mltiplo de b. Se b[a tambmdizemos
que b mltiplo de a. Por exemplo, o subconjunto dos inteiros mltiplos de 0
{0} e dos mltiplos de 1 Z {0, 1, 2, . . . }. Os mltiplos de 2 so os inteiros
pares
{0, 2, 4, 6. . . }
e o complemento
{1, 3, 5, . . . }
so os inteiros mpares. De modo geral, o subconjunto dos mltiplos de a, que
o mesmo dos mltiplos de a denotado por
a Z:{a n: n Z} {0, a, 2a, 3a, . . . } (23)
Exerccio 49. Prove para inteiros a, b, c
1. 0[a se e somente se a 0
2. Se b[a e a /0 ento [b[ [a[.
3. Se a[b e b[a ento a b.
4. (reexiva) a[a.
5. (transitiva) Se a[b e b[c ento a[c.
6. Se a[b e c[d ento ac[bd.
7. Se a[b e a[c ento a[(mb +nc) m, n Z.
8. a[b se e s se [a[

[b[.
9. se a[(b +c) ento a[b se e s se a[c.
38
Algumas solues. 2 Se b[a, ento bc a para algum inteiro c. Usando o
exerccio 46, item 21 [b[[c[ [a[. Como c /0, [b[[c[ [b[ +[b[([c[ 1), por-
tanto [b[ [a[.
3 Se a b 0 ento a armao vale. Se a, b / 0 ento a[b ac b, para
algum c / 0 e b[a bd a, para algum d / 0. Assim, a(cd) a, logo
cd 1 donde conclumos que c d 1 ou c d 1 (exerc. 46, item 24).
8 a[b ac b para algumc; pelo exerccio 46, item21 [a[[c[ [b[, portanto,
[a[

[b[. Por outro lado, se [a[

[b[ ento [a[c [b[ para algum c; notemos

que c [c[, portanto [ac[ [b[. Mas [b[ b e [ac[ ac a(c), logo
b a(c).
Teorema 50 (Teorema da Diviso). Para todo inteiro a e todo inteiro b /0 existe
um nico inteiro q e existe um nico inteiro r com 0 r <[b[ tal que
a bq +r. (24)
Demonstrao. Para b > 0, se a 0 no h o que demonstrar pois a e b so
naturais e j provamos esse caso. Agora, se a <0, tomamos q
t
e r
t
tais que [a[
bq
t
+r
t
. Se r 0 ento q q
t
donde
a [a[ b(q
t
) +r bq +r.
Seno tomamos q (q
t
+1) e r b r
t
,
Z
(q
t
+1)b q
t
b
0 1 2 1 2
q
t
b (q
t
+1)b
[a[ [a[
r
t
r
t
b r
t
de modo que
a [a[ b(q)
t
r
t
b(q +1) +r b bq +r.
39
Para b < 0 tomamos q
t
e r
t
tais que a q
t
[b[ +r
t
(independente so sinal
de a, como zemos acima) e tomamos q q
t
e r r
t
, assim a qb +r com
0 r <[b[.
Outra demonstrao. Para b >0 denimos
R :{a nb: n Z}
e A Z
+
/ pois para n [a[b temos a +[a[b
2
a +[a[ 0. Seja r o menor
inteiro positivo de AZ
+
, r a qb.
Se r b ento r b+s para algum s 0. De b+s aqb temos s a(q +
1)b R com s <r , uma contradio.
Para b <0 tomamos q
t
e r
t
tais que a q
t
[b[ +r
t
e fazemos q q
t
e r r
t
,
assim a qb +r com 0 r <[b[.
A prova de que r e q so nicos ca como exerccio.
Por exemplo
7 3 2+1 7 3 (3) +2
7 3 (2) +1 7 3 3+2
9.1 MDC
Para quaisquer a, b Z
mdc(a, b) :mdc([a[, [b[)
Se d mdc(a, b) ento
1. d 0
2. d[a e d[b
3. c[a e c[b c[d
4. b[a d [b[
5. a bq +r mdc(a, b) mdc(b, r )
40
a e b so coprimos, ou primos entre si, se mdc(a, b) 1 o que equivale a dizer
que os nicos divisores comuns a eles so o 1 e o 1.
mdc(42, 12) 6:
42 12 3+6
12 6 2+0
42 1+12 (3) 6
mdc(41, 12) 1:
41 12 3+5
12 5 2+2
5 2 2+1
2 1 2+0
1 52 2
5(125 2)2 5 512 2
(4112 3) 512 2 41 512 17
1 41 5+12 (17)
mdc(81, 57) 3:
81 57 1+24 24 8157 1
57 24 2+9 9 5724 2
24 9 2+6 6 249 2
9 6 1+3 3 96
6 3 2+0.
3 96 924+9 2 (9)324
(5724 2)324 57 3(24)7
57 3(8157 1)7 81 (7) +57 10
3 81 (7) +57 10
41
Obs.: 1 41 17+12 (58) e 3 81 (12) +57 (17), i.e., o modo de escrever no
nico.
Denimos
a Z+b Z:{a n +b m: n, m Z} (25)
o conjunto de todos os nmeros que so combinaes lineares inteiras de a e
b, ou seja, o conjunto dos inteiros da forma ax +by para algum x e algum y
inteiros. Vamos provar que o menor elemento positivo desse conjunto o mdc
de a e b.
Teorema 51 (Teorema de Bzout). Se a, b Z ento existem inteiros x e y tais
que
ax +by mdc(a, b) (26)
Demonstrao. O caso a b 0 trivial. Vamos supor que a / 0 ou b / 0,
portanto (a Z+b Z) Z
+
/ (justique com detalhes) e podemos usar o PBO
e tomarmos
d :min[(a Z+b Z) Z
+
]
o menor elemento positivo de aZ+bZ. Existemx
0
, y
0
Ztais que d ax
0
+by
0
.
Mostraremos que d mdc(a, b).
Seja c a Z+b Z, i.e. c um inteiro da forma ax +by, e vamos mostrar
que d[c. Existeminteiros x
1
e y
1
tais que c ax
1
+by
1
. Pelo Teorema da Diviso
existem inteiros q e r tais que c dq +r , onde 0 r <d, e
r c dq ax
1
+by
1
(ax
0
+by
0
)q a(x
1
x
0
q) +b(y
1
y
0
q), (27)
ou seja, r a Z+b Z. Como 0 r < d e d mnimo deduzimos que r 0,
portando d[c.
Resta mostrar que se c um inteiro que divide a e divide b, ento c divide
d ax
0
+by
0
, mas isso segue do exerccio 49, item 7.
Exerccio 52. Derive do Teorema de Bzout que se a[bc e mdc(a, b) 1, ento a[c.
Exerccio 53. Se a e b so inteiros, pelo menos um no-nulo, e d mdc(a, b),
ento mdc(
a
d
,
b
d
) 1.
42
Soluo. Existemn, m tais que an+bn d, portanto
a
d
n+
b
d
n 1, que o menor
positivo de
a
d
Z+
b
d
Z1, portanto mdc(
a
d
,
b
d
) 1.
10 Equaes diofantinas lineares
Estudaremos as equaes da forma
aX +bY c (28)
em que a, b, c Z; uma soluo para tal equao um par de inteiros (x
0
, y
0
)
para o qual a igualdade acima vale quando X x
0
e Y y
0
.
Proposio 54. Dados inteiros a, b e c a equao (28) admite soluo inteira se e
somente se mdc(a, b)[c.
Demonstrao. Sejam d mdc(a, b) e (n, m) soluo de aX +bY d. Ento
d[(ax +by) para quaisquer x, y Z, em particular d[c caso (28) tenha soluo.
Por outro lado, se d[c ento existe q tal que dq c portanto (qn, qm) solu-
o de aX +bY d.
O resultado acima estabelece que
a Z+b Zmdc(a, b) Z
Notemos que se a e b so coprimos ento (28) tem soluo qualquer que
seja o inteiro c. Tambm vale a recproca.
Corolrio 55. Dois inteiros a, b so coprimos se, e s se, a equao (28) admite
soluo inteira, qualquer que seja c Z.
Demonstrao. Se a e b so coprimos ento, pela proposio 54 a equao (28)
tem soluo qualquer que seja o inteiro c.
Agora, se existem x, y Z que satisfazem a equao para c 1, ento todo
divisor d de a e b divide ax +ay 1, portanto, d 1, logo mdc(a, b) 1.
43
Notemos que para a ou b no-nulo
ax +by c
a
d
x +
b
d
y
c
d
emque d mdc(a, b) /0 (d[c como provamos acima, logo
c
d
temsentido). Ade-
mais mdc(
a
d
,
b
d
) 1, portanto toda equao diofantina linear equivalente
temas mesmas solues de uma equao reduzida, aquela onde os coecientes
so coprimos. Ainda, se (x
0
, y
0
) uma soluo de
a
d
x +
b
d
y 1 ento (x
0
c
d
, y
0
c
d
)
uma soluo de
a
d
x +
b
d
y
c
d
.
Por exemplo, para achar uma soluo de 81X +57Y 27 basta achar uma
soluo de 27X +19Y 9 e para achar uma soluo dessa equao, primeiro
procuramos por uma soluo de 27X +19Y 1
Usando o algoritmo de Euclides para calcular o mdc e substituindo-se os
restos, como zemos anteriormente mdc(27, 19) 1:
27 19 1+8
19 8 2+3
8 3 2+2
3 2 1+1 1 32 1
1 3(83 2) 1
1 8+3 3 8+(198 2) 3
1 8 (7) +19 3
1 (2719 1) (7) +19 3
1 27 (7) +19 10
logo (7, 10) soluo de 27X +19Y 1, portanto (7 9, 10 9) soluo de
27X +19Y 9 e, consequentemente, de 81X +57Y 27.
Proposio 56. Se (x
0
, y
0
) uma soluo particular de (28) com a / 0 e b / 0,
ento o conjunto de todas as solues de (28)
__
x
0
+
b
d
t , y
o

a
d
t
_
: t Z
_
(29)
em que d mdc(a, b).
44
Demonstrao. um exerccio vericar que
_
x
0
+
b
d
t , y
o

a
d
t
_
soluo de (28).
Agora, suponha que (x, y) seja uma soluo de (28), ento
ax +by c ax
0
+by
0
portanto
a(x x
0
) b(y
0
y).
Se a dr e b sd,
r (x x
0
) s(y
0
y) (30)
com mdc(r, s) 1. Ainda, s[r (x x
0
), portanto, s[(x x
0
), ou seja, existe t Z tal
que x x
0
st , portanto
x x
0
+
b
d
t . (31)
Substituindo x x
0
st em (30) s(y
0
y) r (x x
0
) r st , logo
y y
0

a
d
t (32)
como queramos.
Exerccio57. De quantas maneiras podemos comprar selos de 3 e 5 reais de modo
a gastar 50 reais?
Exerccio 58. Mostre que se (x
0
, y
0
) soluo de aX +bY c, ento
1. (x
0
, y
0
) soluo de aX +bY c;
2. (x
0
, y
0
) soluo de aX bY c;
3. (x
0
, y
0
) soluo de aX bY c.
Exerccio 59. Sejam a, b, c, d inteiros. Dena mdc(a, b, c) : mdc(mdc(a, b), c).
Estabelea e prove um critrio para existncia de soluo de
aX +bY +cZ d.
45
11 Congruncias
Para inteiros a, b, n, com n / 0, dizemos que a congruente a b mdulo n, e
escrevemos
a b (mod n) (33)
se n[(a b). Como n[(a b) n[(a b) nos restringiremos ao caso n > 0. O
caso n 1 trivial pois quaisquer dois inteiros so equivalentes. Geralmente,
os casos interessantes so para n >1. Para n 2, por exemplo, dois inteiros so
equivalentes se, e s se, eles tmdiferempor uminteiro par, ou seja, tmmesma
paridade.
Por exemplo, 152 5 (mod 7) (152 21 7 +5) e 152 2 (mod 7) (152
(22) 7+2). Tambm, 7 15 (mod 8), 3 21 (mod 6).
Usando o Teorema da Diviso, existem (nicos) q
a
, r
a
, q
b
, r
b
tais que a
nq
a
+r
a
e b nq
b
+r
b
de modo que 0 r
a
, r
b
<n, portanto, n <r
a
r
b
<n e
temos
a b n(q
a
q
b
) +(r
a
r
b
) (34)
com n[(a b) e n[n(q
q
q
b
) logo n[(r
a
r
b
) e como o nico mltiplo de n que
satisfaz n <r
a
r
b
<n o 0 temos
r
a
r
b
.
Concluindo, se a congruente a b mdulo n ento a e b deixam o mesmo
resto quando divididos por n. Por outro lado, se a e b deixam o mesmo resto
quando divididos por n ento n[(ab) pois ab n(q
a
q
b
). Usando a notao
introduzida na pgina 17, o que estabelecemos foi
Proposio 60. a b (mod n) a mod n b mod n.
Observao 61. Segue da equivalncia dada na proposio acima e do Teorema
da Diviso que todo inteiro congruente a um, e somente um, dentre os nmeros
{0, 1, 2, . . . , n 1}
46
Claramente a a (mod n) e a b (mod n) b a (mod n), ou seja, con-
gruncia mdulo n uma relao reexiva e simtrica emZ. De fato, de equi-
valncia pois a mod n b mod n e b mod n c mod n a mod n c mod n.
Proposio 62. uma relao de equivalncia sobre Z.
Alm de ser relao de equivalncia, congruncia compatvel com as ope-
raes aritmticas dos inteiros.
Proposio 63. Para quaisquer inteiros a, b, c, d, n, se a b (mod n) e c d
(mod n) ento valem
1. a +c b +d (mod n)
2. a c b d (mod n)
3. a c b d (mod n)
Note que, em particular, vale quando c d.
Demonstrao. Da hiptese temos que n[(a b) e n[(c d) e do exerccio 49,
item 7 temos
1. n[
_
(ab)+(c d)
_
e o resultado segue de (ab)+(c d) (a+c)(b+d);
2. n[
_
(ab)(c d)
_
e o resultado segue de (ab)(c d) (ac)(bd);
3. n[
_
(a b)c +(c d)b
_
e o resultado segue de (a b)c +(c d)b ac bd.
Segue do item 3. que a
k
b
k
(mod n), para todo k N. Por exemplo, 10
1 (mod 11), portanto 10
200
1
200
(mod 11), e como 1 1
200
(mod 11) te-
mos 1 10
200
(mod 11), portanto, 11[10
200
1.
Exerccio 64. Mostre que 31[20
15
1. (dica: 20 11 (mod 31))
47
Esboo da soluo. 20 11 (mod 31) portanto 20
2
121 3 (mod 31). Mul-
tiplicando as congruncias 20
3
33 2 (mod 31), logo 20
15
2
5
1 (mod 31).
Exerccio 65. Qual o resto da diviso de 5
3
20
por 13?
Soluo. Nas potncias de 5
5
0
1 (mod 13) 5
4
1 (mod 13)
5
1
5 (mod 13) 5
5
5 (mod 13)
5
2
1 (mod 13) 5
6
1 (mod 13)
5
3
5 (mod 13) 5
7
5 (mod 13)
os restos se repetem com perodo 4. Portanto precisamos conhecer 3
20
mod 4:
3 1 (mod 4) logo 3
20
1 (mod 4), portanto 5
3
20
5 (mod 13).
Exerccio 66. Verique que para quaisquer inteiros a, b, c e n >0
a +c b +c (mod n) a b (mod n).
Proposio 67. Se mdc(c, n) 1 ento
ac bc (mod n) a b (mod n).
Demonstrao. Suponha ac bc (mod n) , ou seja, n[(ac bc). Ento n[(a
b)c e como mdc(c, n) 1, o exerccio 52 implica que n[(a b), portanto, a b
(mod n).
A proposio acima segue do seguinte resultado mais geral
Proposio 68. Se ca cb (mod n) e mdc(c, n) d >0 ento
a b (mod
n
d
).
Esboo de demonstrao: Existe q tal que nq ca cb c(a b), logo
n
d
q
c
d
(a b), mas mdc(
n
d
,
c
d
) 1, portanto
n
d
[(a b).
48
Corolrio 69. Se ca cb (mod p) e p primo que no divide c ento
a b (mod p).
Exerccio 70. Mostre, usando induo, que para n pares de inteiros a
i
e b
i
, tais
que a
i
b
i
(mod n) (i {1, 2, . . . , n}) valem
n

i 1
a
i

n

i 1
b
i
(mod n) (35)
n

i 1
a
i

n

i 1
b
i
(mod n) (36)
Exemplo 71 (critrio de divisibilidade por 9). Seja a
r
. . . a
0
a representao de-
cimal de n. De 10 1 (mod 9) temos, pela proposio 63 que 10
s
1 (mod 9),
a 10
s
a (mod 9) (a), portanto, pelo exerccio 70
a
0
+a
1
10+a
2
10
2
+a
r
10
r
a
0
+a
1
+a
2
+ +a
r
(mod 9).
Exemplo 72 (critrio de divisibilidade por 11). Seja a
r
. . . a
0
a representao de-
cimal de n. De 10 1 (mod 11) temos que a 10
s
a (1)
s
(mod 11) portanto
a
0
+a
1
10+a
2
10
2
+a
r
10
r
a
0
a
1
+a
2
+(1)
r
a
r
(mod 11).
Exemplo(ISBN International Standard Book Number). Umdos livros texto tem
ISBN 8-585-81825-5.
O ISBN tem dez dgitos. O ltimo um dgito de controle. Os primeiros nove
dgitos codicaminformaes como a lngua e a editora do livro. Umcdigo ISBN
vlido d
0
d
1
d
2
d
3
d
4
d
5
d
6
d
7
d
8
d
9
satisfaz
10d
0
+9d
1
+8d
2
+7d
3
+6d
4
+5d
5
+4d
6
+3d
7
+2d
8
+1d
9
0 (mod 11)
quando d
9
vale 10 usado a letra X.
Exerccio 73. Qual os dois ltimos algarismos de 3
200
.
Soluo. 3
200
9
100
(10 1)
100

100
k0
_
100
k
_
100
100k
(1)
k

_
100
99
_
10 +
_
100
100
_
(mod 10) 1 (mod 10). Portanto, 01.
Exerccio 74. Qual os dois ltimos algarismos de 7
7
100
. (dica: 7
k
mod 100 pe-
ridico)
49
11.1 Sistema completo de restos
S Z um sistema completo de restos mdulo n se para todo a Z existe um,
e s um, b S tal que a b (mod n). Por exemplo, alguns sistemas completos
de resduos mdulo 5 so os conjuntos:
{2, 1, 0, 1, 2},
{0, 1, 2, 3, 4},
{1, 2, 3, 4, 5},
{12, 24, 35, 4, 18}.
Conforme vimos, observao 61, {0, 1, . . . , n1} umsistema completo de restos
mdulo n.
Para qualquer sistema completo de restos mdulo n deve haver uma bijeo
com {0, 1, . . . , n 1} (por qu?) logo todo sistema completo de restos mdulo n
tem que ter cardinalidade n.
Observao 75. uma relao de equivalncia; uma classe de equivalncia
dada por todos os inteiros que deixamo mesmo resto quando divididos por n. Um
sistema completo de restos um conjunto formado por um representante de cada
classe de equivalncia.
Por exemplo, denimos para r Z
[r ]
n
:{a Z: a r (mod n)}
e temos as classes que equivalncia mdulo 5 dadas por [0]
5
, [1]
5
, [2]
5
, [3]
5
, [4]
5
.
Ademais, noexemploacima identicamos que [0]
5
[5]
5
[35]
5
, e [2]
5
[3]
5

[18]
5
, e [1]
5
[4]
5
[24]
5
, e [2]
5
[12]
5
e [4]
5
[1]
5
.
Exemplo 76. A equao X
3
117Y
3
+1 5 no temsoluo inteira. Toda soluo
inteira da equao deve satisfazer a congruncia X
3
117Y
3
+1 5 (mod 9) que,
Como 117 mltiplo de 9, equivale a X
3
+1 5 (mod 9) a qual no temsoluo.
3
3
uma histria curiosa a respeito dessa equao pode ser lida na pgina 81 de COUTINHO, C.;
Nmeros inteiros e criptograa RSA. IMPA-SBM, 2009.[512.7 COUn Estante:4H]
50
Vejamos, se x Z ento congruente a um (e s um) elemento r do sistema
completo de restos {0, 1, 2, 3, 4, 5, 6, 7, 8}, portanto, x
3
r
3
(mod 9) (r S) e
r 0 1 2 3 4 5 6 7 8
r
3
mod 9 0 1 8 0 1 8 0 1 8
porm nenhum inteiro dentre 0, 1, 8 satisfaz X
3
+1 5 (mod 9).
Exerccio 77. A congruncia X
2
+1 0 (mod 8) no tem soluo.
Soluo. Consideremos o seguinte sistema completo de restos mdulo 8 (veri-
que): {0, 1, 2, 3, 4}. Se x Zento existe umnico r {0, 1, 2, 3, 4} tal que
x r (mod 8), assim x
2
r
2
(mod 8) e
r 4 3 2 1 0
r
2
mod 8 0 1 4 1 0
portanto x
2
+1 congruente a um dentre 1, 2, 5.
12 Congruncias lineares e sistemas de congruncias
Dados inteiros a, b, n (n > 0) vamos estudar as solues da congruncia linear
emuma varivel com incgnita X
aX b (mod n). (37)
Uma soluo dessa congruncia linear um inteiro x tal que ax b (mod n)
e uma soluo mdulo n um inteiro x tal que x {0, 1, . . . , n 1} (ou qualquer
outro s.c.r.) e ax b (mod n).
Por denio, existe um inteiro x tal que ax b (mod n) se, e somente se,
ax b um mltiplo de n, ou seja, existe y Z tal que ax b ny que reescre-
vemos como
ax +ny b (38)
Pelo Teorema de Bzout a existncia de inteiros x e y que satisfazem a equao
acima equivalente a mdc(a, n)[b, alm disso, se x
0
uma soluo particular
ento todas as solues da congruncia linear so
x
t
:x
0
+
n
mdc(a, n)
t (39)
51
para todo t Z, portanto a congruncia linear que tem soluo tem innitas
solues.
Vejamos quando duas dessas innitas solues so congruentes mdulo n,
faamos d :mdc(a, n)
x
t
x
s
(mod n) x
0
+
n
d
t x
0
+
n
d
s (mod n)

n
d
t
n
d
s (mod n)
e como mdc(
n
d
, n)
n
d
temos, pela proposio 68 e de
n
d
t
n
d
s (mod
n
d
d) que
x
t
x
s
(mod n) t s (mod d)
portanto, quando h soluo, h exatamente d mdc(a, n) solues incongru-
entes x
t
com t S, para algum S sistema completo de restos mod d.
Teorema 78. Uma congruncia linear em uma varivel aX b (mod n), com
a /0, admite soluo inteira se e somente se mdc(a, n)[b. No caso de haver solu-
o, h exatamente mdc(a, n) solues mdulo n.
Por exemplo, 3X 6 (mod 15) satisfeita por todo inteiro x da forma 5t +2
(t Z) e 2, 7, 12 so trs solues mdulo 15 distintas.
Corolrio 79. Para n > 1, se mdc(a, n) 1 ento aX b (mod n) tem nica
soluo mdulo n.
Corolrio 80 (Inverso multiplicativo). Para n >1, aX 1 (mod n) tem soluo
se e somente se mdc(a, n) 1.
A nica soluo mdulo n garantida no ltimo resultado chamado de in-
verso multiplicativo de a mdulo n.
Por exemplo, 3X 1 (mod 5) temsoluo e como 3 e 5 so coprimos a solu-
o mdulo 5 nica. Uma soluo para a equao 2, portanto, toda soluo
inteira x da forma x 2+5t , portanto se x soluo ento
x 2 (mod 5).
52
Notemos que toda soluode 3X 1 (mod 5) tambm soluode X 2 (mod 5),
ademais 2 o inverso multiplicativo de 3 mdulo 5.
Aequao 2X 3 (mod 9) tambmtemnica soluo mdulo 9, que dada
a partir da soluo inicial 6, donde temos que 6 +9t so todas as solues, ou
seja, se x soluo ento x 6 (mod 9); de novo, notemos que toda soluo
de 2X 3 (mod 5) tambm soluo de X 6 (mod 9). Esse fato no um
particularidade desses exemplos. Sejam a, n Z inteiros quaisquer, no nulos e
d :mdc(a, n); b d Z. As equaes
aX b (mod n) e
a
d
X
b
d
(mod
n
d
) (40)
tm as mesmas solues, pois para quaisquer x, y Z
ax +ny b
a
d
x +
n
d
y
b
d
.
Como mdc(
a
d
,
n
d
) 1, usamos o corolrio 80 para termos o inverso a
t
de
a
d
m-
dulo
n
d
logo
a
d
X
b
d
(mod
n
d
) X a
t
b
d
(mod
n
d
)
portanto
aX b (mod n) e X a
t
b
d
(mod
n
d
) (41)
tmas mesmas solues. Ademais, todas as solues inteiras de X a
t b
d
(mod
n
d
)
so dadas por
a
t
b
d
+
n
d
t , t Z
e todo inteiro dessa forma congruente a algum de
a
t
b
d
+
n
d
t , t {0, 1, 2, . . . , d 1}.
12.1 Teorema chins do resto
Consideremos o seguinte sistema de congruncias lineares
_

_
X 2 (mod 5)
X 6 (mod 9)
X 5 (mod 11)
53
se a primeira congruncia satisfeita por x Z ento x 2+5t , para algum t ,
que para satisfazer a segunda congruncia deve valer 2 +5t 6 (mod 9), que
equivale a 5t 4 (mod 9) que, como 5 tem inverso 2 mdulo 9, equivale a t 8
(mod 9) donde t 8+9s, logo
x 2+5t 2+5(8+9s) 42+45s.
Observemos que para cada s Z o valor de x associado satisfaz as duas pri-
meiras congruncias lineares do sistema. Agora, para x satisfazer a ltima con-
gruncia linear 42 +45s 5 (mod 11) que equivale a 45s 37 (mod 11) ou
ainda 45s 7 (mod 11). Como 45 invertvel mdulo 11, e seu inverso 1, a
ltima congruncia equivale a s 7 (mod 11), ou seja, s 7+11u, portanto
x 42+45r 42+45(7+11u) 357+495u
ou seja, para cada u Z o inteiro x associado satisfaz o sistema de congruncias
lineares acima. De fato, essas so todas as solues inteiras, e a nica soluo
mdulo 495 5 9 11 357
x 357 (mod 5 9 11).
No caso geral, consideremos o sistema de congruncias lineares
_

_
X a (mod n)
X b (mod m)
a primeira congruncia linear tem solues inteiras a +nt , para t Z. Substi-
tuindo na segunda congruncia linear a +nt b (mod m), ou
nt b a (mod m) (42)
que tem soluo se e s se mdc(m, n)[b a. Garantimos essa condio exigindo
que mdc(m, n) 1
Observao 81. A hiptese mdc(m, n) 1 suciente mas no necessria para
que mdc(m, n)[b a.
54
Ademais, se mdc(m, n) 1 ento n tem inverso n
t
mdulo m, portanto (42)
equivale a
t n
t
(b a) (mod m)
ou seja t n
t
(b a) +ms, para s Z, portanto, se x uma soluo inteira do
sistema de congruncias ento, para algum s,
x a +nt a +n(n
t
(b a) +ms) (1nn
t
)a +nn
t
b +nms
e, ainda, 1nn
t
mm
t
para algum m
t
Z (segue do teorema de Bzout, m
t
o
inverso de m mdulo n), o que resulta em
x mm
t
a +nn
t
b +nms, (43)
e para cada s Z o valor de x associado uma soluo inteira para ambas con-
gruncias. De fato, todas as solues so da forma (43).
Se x, y Zsatisfazemambas as equaes acima, ento x y (mod n) e x y
(mod m), donde n[(xy) e m[(xy) e como mdc(m, n) 1 temos (veja exerc. 23,
item 3) mn[(x y), isto , x y (mod mn). Portanto, a nica soluo mdulo
mn
x mm
t
a +nn
t
b (mod mn). (44)
Observamos que esse caso suciente para resolver um sistema com qual-
quer nmero de congruncias lineares, como os mdulos coprimos dois-a-dois,
resolvendo-as duas-a-duas. No entanto, podemos generalizar a demonstrao
acima, o que fazemos abaixo.
O seguinte resultado o famoso Toerema Chins do Resto. A forma original
do teorema apareceu no livro Sun Tzu Suan Ching (manual de aritmtica de Sun
Tzu) do terceiro-sculo e generalizado e republicado em 1247 por Qin Jiushao.
Teorema 82 (Teorema Chins do Resto). Sejam n
1
, n
2
, . . . , n
k
inteiros maiores
que 1 e tais que mdc(n
i
, n
j
) 1 para todos i / j , e sejam a
1
, . . . , a
k
inteiros ar-
bitrrios. Ento o sistema de congruncias lineares
X a
i
(mod n
i
), i {1, 2, . . . , k}. (45)
55
tem uma nica soluo mdulo n n
1
n
2
n
k
dada por
m
t
1
m
1
a
1
+m
t
2
m
2
a
2
+ +m
t
k
m
k
a
k
(46)
em que m
i

n
1
n
2
n
k
n
i
e m
t
i
o inverso multiplicativo de m
i
mdulo n
i
, para todo
i {1, 2, . . . , k}.
Demonstrao. Notemos que mdc(m
i
, n
i
) 1, logo m
t
i
existe para todo i . To-
mamos x
0
:

k
i 1
m
t
i
m
i
a
i
e vamos mostrar que soluo.
Primeiro, notamos que para cada i temos
m
j
0 (mod n
i
) (j /i )
logo
x
0
m
t
i
m
i
a
i
(mod n
i
) (i {1, . . . , k}.
e m
i
m
t
i
1 (mod n
i
) logo m
t
i
m
i
a
i
a
i
(mod n
i
), portanto
x
0
a
i
(mod n
i
)
para todo i , ou seja, x
0
soluo de cada congruncia linear.
Agora vamos mostrar que a soluo nica mdulo n. Assuma que para
x Z vale x a
i
(mod n
i
) para todo i . Por transitividade x x
0
(mod n
i
) para
todo i e pelo exerccio 8 da lista 6 x x
0
(mod mmc(n
1
, . . . , n
k
)). Resta vericar
(ca como exerccio) que n mmc(n
1
, . . . , n
k
).
Exemplo 83. Considere o sistema
_

_
X 2 (mod 2)
X 1 (mod 3)
X 4 (mod 7).
Seguindo a notao da demonstrao, n 42, m
1
21, m
2
15 e m
3
6.
i m
t
i
m
i
1 1 21
2 1 14
3 1 6
56
e x
0
2 1 21+(1)(1)14+4(1)6 32. Ainda, toda soluo inteira da forma
32+42t , para todo t Z.
Exerccio 84. Mostre que as solues do exemplo 83 so solues do sistema
_

_
6X 4 (mod 4)
2X 1 (mod 3)
4X 2 (mod 7).
Variantes do TCR
Exerccio 85. Mostre que
_

_
X a (mod n)
X b (mod m)
com mdc(m, n)[(a b) tem uma nica soluo mdulo mmc(n, m) (veja a obser-
vao 81 e a discusso anterior, que garante que h soluo).
Exerccio 86. Verique se vale a seguinte verso do Teorema Chins do Resto: Se-
jamn
1
, n
2
, . . . , n
k
inteiros maiores que 1 e sejama
1
, . . . , a
k
inteiros arbitrrios. En-
to o sistema
X a
i
(mod n
i
), i {1, 2, . . . , k}. (47)
tem soluo se e somente se mdc(n
i
, n
j
)[a
i
a
j
para todo i / j . Caso exista, a
soluo nica mdulo mmc(n
1
, n
2
, . . . , n
k
).
Exerccio87. Sejamn
1
, n
2
, . . . , n
k
inteiros maiores que 1, e sejama
1
, . . . , a
k
e b
1
, . . . , b
k
inteiros arbitrrios tais que mdc(a
i
, n
i
)[b
i
para todo i . Prove que o sistema
a
i
X b
i
(mod n
i
), i {1, 2, . . . , k}. (48)
tem soluo.
57
Compartilhar segredos usando o TCR
O problema : dados inteiros n > k 1 determinar uma estratgia para que n
pessoas partilhem uma senha s Z sem conhece-la de modo que
1. qualquer subconjunto de k pessoas permite calcular s facilmente,
2. para menos que k pessoas quaisquer muito difcil computar s.
A ideia tomar uma lista L {m
1
<m
2
< <m
n
} nmeros inteiros tais que
mdc(m
i
, m
j
) 1 para todo i / j e escolher s
N <s <M (49)
onde N m
1
m
2
m
k
(produto dos k menores) e M m
nk+2
m
nk+3
m
n
(produto dos k 1 maiores).
Note que o produto de quaisquer k nmeros de L maior que N, o produto
de menos que k menor que M e s > m para todo m L. Cada pessoa recebe
um par (m, s
m
) com m L e s
m
s mod m. Note que s >s
m
.
Em um grupo de t pessoas temos o sistema
X s
i
(mod m
i
) i {1, 2, . . . , t } (50)
cuja soluo x
0
s (mod m
1
m
2
m
t
). Agora,
t k: nesse caso m
1
m
2
m
t
N >s e, pelo teorema chins do resto, existe uma
nica soluo x
0
mdulo m
1
m
2
m
t
, como s soluo x
0
s.
t <k: nesse caso m
1
m
2
m
t
< M < s e x
0
/ s, mas como s soluo devemos
ter s x
0
+y(m
1
m
2
m
t
), com
M <x
0
+y(m
1
m
t
) <N, (51)
e podemos escolher os mdulos de modo que esse intervalo seja muito
grande, o que torna a busca por y invivel.
Como exerccio, verique o protocolo acima de partilha de senha para o caso
k 2 com L {11, 13, 17, 19, 23}.
58
13 A funo e o Teorema de Euler
A funo de Euler associa a cada inteiro positivo n a quantidade de inteiros
positivos menores que n que so coprimos com n
(n) :

{a N: mdc(a, n) 1 e 1 a n}

(52)
n 1 2 3 4 5 6 7 8 9 10
(n) 1 1 2 2 4 2 6 4 6 4
Decorre da denio que se p primo ento (p) p 1. Para potncias de
primo temos que dentre 1, 2, . . . , p
k
no so coprimos com p
k
aquele que tm p
como fator primo, a saber p, 2p, 3p, . . . , p
k1
p, portanto p
k
p
k1
so os copri-
mos, isto
(p
k
) p
k
p
k1
p
k
_
1
1
p
_
A funo multiplicativa
Teorema 88. Se n, m Z
+
so coprimos ento (nm) (n)(m).
Demonstrao. O caso m1 ou n 1 imediato. Sejam n, m>1 inteiros. Seja
a um elemento do conjunto
A :{a N: mdc(a, nm) 1 e 1 a nm}.
Primeiro, vejamos que (a mod n, a mod m) pertence a
B :{b N: mdc(b, n) 1 e 1 a n} {c N: mdc(c, m) 1 e 1 a m}.
Observemos que a no mltiplo de n / 1 nem de m / 1, portanto a mod
n, b mod m/0. A pertinncia em B armada acima segue de
mdc(a, nm) 1 mdc(a, n) 1 e mdc(a, m) 1 (53)
pois mdc(a modn, n) mdc(a, n) como sabemos do algoritmo de Euclides. Para
provar (53) notemos que mdc(a, nm) 1 implica que existem x e y inteiros tais
59
que ax +nmy 1 donde temos que aX +nY 1 tem soluo e aX +mY 1
tem soluo, portanto, mdc(a, n) 1 e mdc(a, m) 1 pelo corolrio 55.
Com isso temos que a funo f : A B dada por
f (a) (a mod n, a mod m)
est bem denida. Para provar o teorema, vamos mostrar que a funo uma
bijeo.
Sejama
1
e a
2
so elementos de A. Se f (a
1
) f (a
2
) ento a
1
modn a
2
mod
n e a
1
mod ma
2
mod m portanto
a
1
a
2
(mod n)
a
1
a
2
(mod m)
logo a
1
a
2
(mod nm) (veja oargumentonopargrafoanterior a equao(44)),
e como 1 a
1
, a
2
nm temos a
1
a
2
. Portanto a funo injetiva.
Resta provar que a funo sobrejetiva. Seja (b, c) umelemento qualquer de
B, isto , 1 b n, 1 c m, mdc(b, n) 1 e mdc(c, m) 1. Como mdc(n, m)
1 o Teorema Chins do Resto garante que h uma nica soluo a mdulo nm
para o sistema de congruncias
_

_
X b (mod n)
X c (mod m)
portanto (a mod n, a mod n) (b, c).
Exerccio 89. Use induo (em k) para mostrar que se mdc(n
i
, n
j
) 1 para todo
i / j ento (n
1
n
2
n
k
) (n
1
)(n
2
) (n
k
).
Agora, pelo exerccio anterior, se n p
m
1
1
p
m
k
k
a fatorao cannica de n
ento
(n)
k

i 1
(p
m
i
i
)
k

i 1
p
m
i
i
(11/p
i
)
k

i 1
p
m
i
i
k

i 1
(11/p
i
)
ou seja,
(n) n
k

i 1
_
1
1
p
i
_
. (54)
60
Exerccio 90. Mostre que (n) n 1 se e s se n primo.
Exerccio 91. Mostre que (n
2
) n(n).
Exerccio 92. Se n kd ento [{m: 1 mn e mdc(m, n) d}[ (k).
Sistema completo de invertveis (sci)
Do conjunto R : {0, 1, . . . , n 1} dos restos mdulo n, consideremos apenas os
que so coprimos comn, isto , o subconjunto S :{r
1
, r
2
, . . . , r
(n)
} R de todos
os restos r
i
R tais que mdc(r
i
, n) 1. Como R umsistema completo de restos
(scr) mdulo n todo inteiro b cngruo a um, e s um, r R; agora, se b
coprimo com n ento r S: do Teorema de Euclides temos mdc(n, b mod n)
mdc(b, n) 1 e r b mod n. Ou seja, todo inteiro coprimo com n congruente a
um e s um elemento de S.
Para n 1, um conjunto com (n) inteiros incongruentes entre si mdulo
n e coprimos com n chamado de sistema completo de invertveis mdulo n.
Equivalentemente, um conjunto S Z tal que mdc(a, n) 1 para todo a S e
tal que para todo z Z com mdc(z, n) 1 existe um nico a A tal que a z
(mod n) um sistema completo de invertveis mdulo n.
Por exemplo {1, 3, 5, 7}, {1, 3} e {5, 7} so sci mdulo 8.
Exerccio 93. Seja S um scr mdulo n qualquer. Mostre que os elementos de S
coprimos como n formam um sci mdulo n.
Emvista disso, umsci tambm chamado de sistema reduzido de restos m-
dulo n.
Exerccio 94. Mostre que se p primo mpar ento {1, 2, . . . , (p 1)/2} um
sci mdulo n.
Proposio 95. Se S um sci mdulo n ento para todo a coprimo com n o con-
junto a S um sci mdulo n.
61
Demonstrao. Tome S {x
1
, x
2
, . . . , x
(n)
} um sistema completo de invertveis
mdulo n e forme o conjunto aS {ax
1
, ax
2
, . . . , ax
(n)
} para a coprimo comn.
Como a invertvel mdulo n, ento
ax
i
ax
j
(mod n) x
i
x
j
(mod n) i j ,
ademais mdc(ax
i
, n) 1 para todo i , ou seja, os (n) elementos de a A so
incongruentes entre si e invertveis mdulo n.
13.1 OTeorema de Euler
Teorema 96 (Teorema de Euler). Sejam a, n Z, n >0 e mdc(a, n) 1. Ento
a
(n)
1 (mod n). (55)
Demonstrao. Tome A {x
1
, x
2
, . . . , x
(n)
} sci e consideremos a A. Como, para
cada i vale mdc(ax
i
, n) 1, devemos ter ax
i
x
j
(mod n) para algum j por-
tanto,
x
1
x
2
x
(n)
a
(n)
x
1
x
2
x
(n)
(mod n)
e como cada x
i
invertvel mdulo n segue (55).
Exemplo. Oresto da diviso de 3
100
por 34 13. Dos resultados acima (34) 16
e 3
16
1 (mod 34). Assim 3
100
3
164+4
3
4
13 (mod 34).
Exerccio 97. Mostre que se mdc(a, n) 1 ento
i j (mod (n)) a
i
a
j
(mod n).
Exemplo. 2[(n
13
n) para todo n pois n
13
n n(n
12
1) e
n
12
1 (n 1)(n
11
+n
10
+ +n +1)
e 2[n(n 1). Tambm 3[(n
13
n) para todo n pois
n
12
1 (n
2
1)(n
10
+n
8
+ +n
2
+1)
62
e 3[n ou, pelo Teorema de Euler, n
2
1 (mod 3) isto 3[n
2
1. Ainda, 5[(n
13
n)
para todo n pois
n
12
1 (n
4
1)(n
8
+n
4
+1)
e 5[n ou, pelo Teorema de Euler, n
4
1 (mod 5) isto 5[n
4
1.
Exerccio 98. Mostre que 7 e 13 dividem n
13
n para todo n.
Exerccio 99. Mostre que 2730[n
13
n.
13.2 OPequeno Teorema de Fermat
Corolrio 100 (Pequeno Teorema de Fermat). Seja a Z e p um primo que no
divide a. Ento
a
p1
1 (mod p). (56)
Equivalentemente
Teorema 101 (Pequeno Teorema de Fermat). Para todo a Z e todo primo p
a
p
a (mod p). (57)
Demonstrao. Se p /[a, o resultado segue de (56). Se p[a, ento p[(a
p
a).
Exerccio 102. Seja p primo.
1. Prove que p divide
_
p
i
_
para todo i {1, 2, . . . , p 1}.
2. Prove que para inteiros x e y vale (x +y)
p
x
p
+y
p
(mod p).
3. Prove, usando induo, que n
p
n (mod p) para todo natural n 1.
4. Deduza (56) a partir dos resultados obtidos acima.
A recproca do teorema de Fermat no verdadeira (verique), mas vale p
seguinte resultado.
63
Teorema 103. Sejam a, n > 1. Se mdc(a, n) 1, a
n1
1 (mod n) e a
k
/ 1
(mod n) para todo inteiro positivo k <n 1 ento n primo.
Demonstrao. Do Teorema de Euler temos a
(n)
1 (mod n), portanto, por
hiptese, (n) n 1, donte temos (n) n 1. O teorema segue do exerccio
90.
Exemplo. Se p /2, 5 primo, p divide algumnmero dentre 1, 11, 111, 1111, 11111,
111111, 1111111, . . . . Se p 3 ento p divide todo nmero com quantidade divi-
svel por 3 de algarismos 1. Se p > 5 ento mdc(10, p) 1 portanto 10
p1
1
(mod p), isto , p[10
p1
1 9 1111 11 e como p /[9 temos p[1111 11.
Exerccio 104. Use o Pequeno Teorema de Fermat para provar que
1. 13[(2
70
+3
70
).
2. 9[(n
3
+(n +1)
3
+(n +2)
3
).
3. X
13
+12X +13Y
6
1 no admite soluo inteira.
RSA
Relembrando o protocolo de criptograa RSA:
1. Escolha dois nmeros primos p e q e compute n :p q;
2. Compute (n) (p 1) (q 1);
3. Escolha e {2, 3, . . . (n)1} commdc(e, (n)) 1; disponibilize opar (e, n),
a sua chave pblica.
4. Compute d tal que de 1 (mod (n)) e mantenha-o emsegredo, a chave
privada o par (d, n).
Consideremos que uma mensagem um natural m Z (por exemplo, m
o nmero representado em base 2 que o computador usa para gravar o arquivo
64
com a mensagem no HD) tal que m<n (isso no uma restrio que pe tudo
a perder, como foi explicado em sala, basta considerar o binrio em blocos).
Para eu mandar-lhe a mensagem m criptografada busco pela sua chave p-
blica e calculo c : m
e
mod n e o envio. Voc, que o nico portador da chave
privada, calcula a c
d
mod n e tem de volta a mensagem m.
c
d
mod n (m
e
mod n)
d
mod n
Notemos que, quaisquer inteiros a e k 0, vale a
k
(a mod n)
k
(mod n). As-
sim, c
d
(m
e
)
d
(mod n) e de ed 1+r (n) para algum r Z
m
ed
m
1+r (n)
m
_
m
p1
_
(q1)r
Se p /[m ento
m
_
m
p1
_
(q1)r
m (mod p) (58)
pois m
p1
1 (mod p) pelo Pequeno Teorema de Fermat. Tambm, m
ed
m
(mod p) se p[P, ou seja,
m
ed
m (mod p). (59)
Analogamente, vale
m
ed
m (mod q). (60)
De (59) e (60) temos que pq[m
ed
m, ou seja, m
ed
m (mod n). Como m<n,
temos m
ed
mod n m.
14 Restos quadrticos
Sejam p primo e a um inteiro no divisvel por p; dizemos que a um resduo
(ou resto) quadrtico mdulo p se
X
2
a (mod p) (61)
temsoluo inteira. Por exemplo, 2 umno-resduo quadrtico mdulo 3, por-
tanto todo inteiro cngruo a 2 mdulo 3 um no-resduo mdulo 3; mdulo 5
65
temos 0
2
0, 1
2
1 4
2
, 2
2
4 3
2
, ou seja, 2 e 3 so no-resduos quadrticos
mdulo 5, portanto os inteiros da forma 5k +2 e 5k +3 so no resduos e os da
forma 5k, 5k +1 e 5k +4 so resduos mdulo 5.
Todo inteiro um resduo quadrtico mdulo 2 (justique), portanto con-
sideraremos sempre que p mpar, a menos que seja dito o contrrio explicita-
mente.
Notemos que se x uma soluo de (61), ento x tambm e se y tambm
soluo ento y
2
a x
2
(mod p), logo y
2
x
2
0 (mod p) e
y
2
x
2
0 (mod p) (y x)(y +x) 0 (mod p)
(y x) 0 (mod p) ou (y +x) 0 (mod p)
y x (mod p) ou y x (mod p)
agora ou x x (mod p) caso em que h uma nica soluo mdulo p de (61),
ou x /x (mod p) caso emque h exatamente duas solues mdulo p de (61).
Mas x x (mod p) 2x 0 (mod p) p[x ou p[2. Como p /[a, tambm
p /[x
2
, portanto p /[x, e como p mpar segue que x /x (mod p). Provamos
Proposio 105. Sejam p > 2 primo e a inteiro no-mltiplo de p. Se X
2
a
(mod p) tem soluo ento tem duas solues mdulo p.
Considerando o caso que x
2
a (mod p) com x {0, . . . , p1}, notemos que
(p 1)! 1 2 x (p x) (p 2) (p 1)
Para cada fator a
0
{1, 2, . . . , p 2, p 1} do produto escrito acima a equao
a
0
X a (mod p) admite uma soluo x
0
mdulo p, 1 x
0
p 1. Ademais, se
a
0
/x, px ento x
0
/a
0
. Emoutras palavras, exceto por x e px, os fatores do
produto podemser agrupados aos pares {a
0
, x
0
} de modo que a
0
x
0
a (mod p),
i.e.
1 2 (x 1)(x +1) (p x 1)(p x +1) (p 2) (p 1) a
p3
2
(mod p)
portanto
(p 1)! a
p3
2
x(p x) (mod p) (62)
66
e como x(p x) x(x) x
2
a (mod p), temos
(p 1)! a
p1
2
(mod p) (63)
No caso que X
2
a (mod p) no tem soluo, para cada resto r do conjunto
R :{1, 2, . . . , p 1}, existe um nico resto r
t
R tal que r
t
/r e r r
t
a (mod p)
portanto
(p 1)! a
p1
2
(mod p). (64)
Com isso temos o seguinte resultado
Proposio 106. Sejam a Z e p >2 primo. Se mdc(p, a) 1 ento
1. se a um resto quadrtico mdulo p ento (p 1)! a
p1
2
(mod p);
2. se a no umresto quadrtico mdulo p ento (p1)! a
p1
2
(mod p).
O seguinte resultado foi enunciado Ibn al-Haytham
4
e por e John Wilson
5
.
Edward Waring
6
anunciou o teorema em 1770, embora nem ele nem seu aluno
Wilson deram uma prova. Lagrange deu a primeira prova em 1771.
Teorema 107 (Teorema de Wilson). p primo se, e somente se, (p 1)! 1
(mod p).
Demonstrao. Seja p um primo. O caso p 2 imediato, portanto supomos
p > 2. 1 um resduo quadrtico mdulo p, portanto, (p 1)! (1)
p1
2
1
(mod p).
Seja p composto. Se p 4 ento (p 1)! 6 / 1 (mod 4). Se p > 4 ento
p ab com 1 < a, b < p. Se a / b ento a e b ocorrem em (p 1)! portanto
p[(p 1)!; agora, se a b > 2 ento a, 2a, . . . , (a 1)a ocorrem em (p 1)!, logo
p[(p 1), ou seja, se p >4 composto ento (p 1)! 0 (mod n).
4
nasceu no ano 965 em Basra (Iraque) e morreu em 1040 na cidade do Cairo. Fsico e matem-
tico rabe. Pioneiro da ptica, depois de Ptolomeu. Umdos primeiros a explicar o fenmeno dos
corpos celestes no horizonte.
5
matemtico ingls do m do sculo 18
6
orientador de Wilson, Lucasian Professor of Mathematics na Universidade de Cambridge que
uma das mais prestigiadas ctedras no mundo, j foi ocupada por Isaac Newton, Paul Dirac e
Stephen Hawking entre outros.
67
Como consequncia desse teorema e da proposio anterior
a um resto quadrtico mod p 1 (p 1)! a
p1
2
(mod p)
a no um resto quadrtico mod p 1 (p 1)! a
p1
2
(mod p)
Do Pequeno Torema de Fermat
a
p1
1 0 (mod p) (a
p1
2
1)(a
p1
2
+1) 0 (mod p)
portanto a
p1
2
1 (mod p) ou a
p1
2
1 (mod p), de modo que as implicaes
acima so de fato equivalentes.
Corolrio 108 (Critrio de Euler). Sejam p uma primo mpar e a uminteiro no
divisvel por p.
1. a um resto quadrtico mdulo p se, e s se, a
p1
2
1 (mod p);
2. a no um resto quadrtico mdulo p se, e s se, a
p1
2
1 (mod p).
Exerccio 109. Mostre que (p +1)/2 inteiros de {0, 1, 2, . . . , p 1} so restos qua-
drticos mdulo p >2.
Soluo. {0, 1, 2, . . . , (p 1)/2} um scr, portanto, x
2
congruente a algum
de {0
2
, 1
2
, 2
2
, . . . , ((p 1)/2)
2
}, para todo inteiro x. Ainda quaisquer dois desses
quadrados so incongruentes mod p.
14.1 Osmbolo de Legendre
Para p >2 primo e a inteiro
_
a
p
_

_
1 se p /[a e a um resto quadrtico mdulo p
0 se p[a
1 caso contrrio.
(65)
portanto, pelo critrio de Euler
_
a
p
_
a
p1
2
(mod p) (66)
68
Proposio 110. O smbolo de Legendre possui as seguintes popriedades
1. se a b (mod p) ento
_
a
p
_

_
b
p
_
2.
_
a
2
p
_
1 se p /[a
3.
_
1
p
_
(1)
p1
2
se, e s se, p 1 (mod 4)
4.
_
ab
p
_

_
a
p
__
b
p
_
.
O seguinte resultado era conhecido por Euler e Legendre mas foi provado
depois por Gauss.
Teorema 111 (Lei da Reciprocidade Quadrtica). Se p / q so primos mpares
ento
_
p
q
__
q
p
_
(1)
p1
2

q1
2
69