Você está na página 1de 146

INTRODUC

AO
`
A
TEORIA DOS N

UMEROS
V

tor Neves
******************************
Departamento de Matematica
Universidade de Aveiro
2001
Introducao
O presente texto resulta da evolucao de um conjunto de notas de apoio `a disci-
plina Introducao `a Teoria dos N umeros do segundo semestre do terceiro ano da
licenciatura em Ensino de Matematicada Universidade de Aveiro.
Parafraseando um mestre, nao pretendemos escrever para autodidatas, mas sim
para alunos com professor, pelo que deixamos para o leitor demonstrar por vezes
explicitamente como exerccio o que e manifestamente rotineiro (nao necessariamente
trivial...) ou nos parece estar fora do ambito de um primeiro curso sobre Teoria dos
N umeros.
Nao sendo especialistas, limitamo-nos a aspectos classicos e elementares da Teoria,
de caracter mais formativo e menos tecnico: a orientacao foi de facto muito forte no
sentido de preparar docentes para o ensino secundario.
O captulo sobre extensoes do corpo dos n umeros reais (Cap. 8) pretende recuperar o
estudo das construcoes do corpo real e suas extensoes mais importantes, que deixou de se
fazer sistematicamente nas licenciaturas, mas continua a ser importante se se pretende
aprofundar o conceito de N umero. As extensoes nao arquimedianas sao aoradas de
modo a alertar para a sua existencia e onde podem ser estudadas.
A nalidade principal do texto apoiar uma disciplina semestral obrigou a es-
colhas nao muito agradaveis: por questoes de tempo nao se tem mostrado razoavel
tratar cuidadosamente a equacao de Pell, aspectos de Teoria Analtica, aproximacao
por fraccoes contnuas, razes primitivas, criterios de primalidade ou Teoria Combi-
natoria. Tais assuntos poderiam ser abordados se a losoa subjacente a este texto
se modicasse; mesmo assim, nem toda a materia aqui descrita tem sido trabalhada
durante o semestre nas aulas teoricas ou teorico-praticas.
Utilizamos um mnimo de

Algebra, de modo a construir um texto tao independente
quanto possvel.
Os saltos na numeracao das paginas sao um expediente de organizacao tipograca
incompleta: podem incluir-se sempre mais paginas alterando muito pouco as referencias
de edicao para edicao.
Agradecemos aos Mestres Paulo Almeida e Rui Duarte e `a Doutora Ana Foulquie
a leitura cuidada das varias versoes preliminares destas notas bem como as sugestoes
que apresentaram.
NOTAC

AO
Salvo referencia em contrario, variaveis representadas por letras
min usculas designam n umeros inteiros.
Aveiro
Maio de 2001
Vtor Neves

Indice
I Introducao `a Teoria dos N umeros 1
1 Teorema Fundamental da Aritmetica 3
1.1 N umeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Axiomatica de Peano . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Soma, ordem e produto . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1 O maximo divisor comum . . . . . . . . . . . . . . . . . . . . . . 7
1.2.2 Teorema Fundamental da Aritmetica . . . . . . . . . . . . . . . . 10
1.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Congruencias 201
2.1 Propriedades basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
2.2 Inversao I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
2.3 Congruencias lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
2.3.1 Inversao II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
2.4 A funcao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
2.4.1 Sistemas reduzidos de resduos . . . . . . . . . . . . . . . . . . . 206
2.4.2 Teoremas de Euler, de Fermat e de Wilson . . . . . . . . . . . . 207
2.5 Congruencias polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . 210
2.5.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
2.5.2 Modulo primo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
2.5.3 Modulo potencia de base prima . . . . . . . . . . . . . . . . . . . 213
2.5.4 Teorema Chines do Resto . . . . . . . . . . . . . . . . . . . . . . 215
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
3 Resduos quadraticos 301
3.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301
3.2 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
3.3 Lei de Reciprocidade Quadratica . . . . . . . . . . . . . . . . . . . . . . 303
3.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
4 Equacoes Diofantinas 401
i

Indice ITN (2001)


4.1 Ternos Pitagoricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401
4.2 Somas de duas quartas potencias . . . . . . . . . . . . . . . . . . . . . . 406
4.3 Somas de dois quadrados . . . . . . . . . . . . . . . . . . . . . . . . . . 408
4.4 Somas de quatro quadrados . . . . . . . . . . . . . . . . . . . . . . . . . 412
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414
5 Funcoes aritmeticas 501
5.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
5.2 Produto de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 504
5.3 Funcoes multiplicativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 504
5.4 Formula de Inversao de Mobius . . . . . . . . . . . . . . . . . . . . . . . 506
5.5 A funcao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507
5.6 N umeros perfeitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 509
5.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510
II N umeros reais 601
6 Fundamentacao 603
6.1 Corpos ordenados e n umeros racionais . . . . . . . . . . . . . . . . . . . 603
6.2 Uma visao construtiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
6.3 Extensoes proprias do corpo dos n umeros racionais . . . . . . . . . . . . 610
6.4 Corpos ordenados completos . . . . . . . . . . . . . . . . . . . . . . . . . 612
6.5 Existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615
6.6 N umeros transcendentes . . . . . . . . . . . . . . . . . . . . . . . . . . . 618
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 619
7 Dzimas e Fraccoes contnuas 701
7.1 Dzimas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 701
7.2 Fraccoes contnuas simples . . . . . . . . . . . . . . . . . . . . . . . . . . 705
7.3 Fraccoes periodicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 713
7.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 715
8 Extensoes 801
8.1 Os n umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 801
8.2 Quaternioes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 803
8.3 Extensoes ordenadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805
8.3.1 (In)Completude . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805
8.3.2 Parte standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
8.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
ii VN
Int. ` a Teoria dos N umeros Indce
III Aplicacoes 901
9 Criptograa 903
9.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903
9.2 Sistemas ans . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903
9.3 Codicacao Matricial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904
9.4 Criptograa de chave p ublica . . . . . . . . . . . . . . . . . . . . . . . . 905
9.5 Assinaturas; ISBN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 907
9.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 908
VN iii

Indice ITN (2001)


iv VN
Parte I
Introducao `a Teoria dos N umeros
1
Captulo 1
Teorema Fundamental da
Aritmetica
1.1 N umeros Naturais
Se bem que se suponham conhecidas as propriedades algebricas elementares dos con-
juntos de n umeros naturais, inteiros, racionais, reais e complexos, vamos enunciar pro-
priedades basicas dos n umeros naturais que serao demonstradas e utilizadas mais tarde
numa construcao de outros conjuntos de n umeros.
1.1.1 Axiomatica de Peano
Uma estrutura de n umeros naturais e um terno ^ = N, S, 1 ~ satisfazendo as
seguintes condicoes:
N1) N e um conjunto nao vazio
N2) S e uma funcao injectiva de N em N.
N3) Existe um elemento de N, designado por 1, que nao e imagem por S, isto e,
S : N N1.
N4) Princpio de Inducao.
Se 1 A N e S(n) A sempre que n A, entao A = N.
Um elemento S(n) designa-se por sucessor de n, a condicao N3 estabelece que 1
nao e sucessor e, de acordo com a condicao N2, dois elementos de N sao iguais sse tem
o mesmo sucessor.
3
Teorema Fundamental ITN (2001)
Explorando as propriedades das estruturas de n umeros naturais:
Teorema 1.1.1 Qualquer elemento de N1 e sucessor.
Por outras palavras: 1 e o unico elemento de N que nao e sucessor.
Dem. Dena-se A = 1 S(N) = 1 S(n) : n N. Por denicao de A, nao
so 1 A mas tambem S(n) A seja qual for n N, em particular o mesmo acontece
se n A. Pelo Princpio de Inducao, A = N, ou seja, o contradomnio S(N) de S e
N1, em virtude de N3. 2
Pode tambem demonstrar-se que
Teorema 1.1.2 Todas as estruturas de n umeros naturais sao isomorfas
Dem. As condicoes
_

_
I(1
1
) = 1
2
I(S
1
(x)) = S
2
(I(x)) se x N
1
denem uma funcao
1
I : N
1
N
2
. O Princpio de Inducao, o teorema 1.1.1 e o
facto de as funcoes sucessor serem injectivas garantem que I e um isomorsmo entre as
estruturas. 2
Em face deste teorema, passaremos a designar os elementos de N por n umeros
naturais. No entanto, ainda antes de nos xarmos nos n umeros naturais intuitivos,
vericaremos que a axiomatica N1, N2, N3 e suciente para denir a Aritmetica e
ordenar adequadamente a estrutura.
1.1.2 Soma, ordem e produto
Seja ^ = N, S, 1 ~ uma estrutura de n umeros naturais.
Denicao 1.1.1 A soma de dois n umeros naturais m e n designa-se por m + n e
dene-se recursivamente do seguinte modo
2
:
_
m+1 = S(m) (m N)
m+S(n) = S(m+n) (m, n N)
(1.1)
1
Veja-se o Teorema de Recursao em [8, pp 39 e seg.]
2
Idem nota 1
4 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
Tem-se entao
Teorema 1.1.3 Para quaisquer m, n N a soma m + n esta denida e
N, + ~ e um semigrupo comutativo que verica a Lei do Corte, isto e, a con-
dicao seguinte
m, n, p N m+p = n +p m = n. (1.2)
Dem. Esquematizamos apenas uma demonstracao da Lei do Corte. Dena-se para
cada m, n N
A
mn
= p N : m+p = n +p m = n
Tem-se 1 A
mn
pela denicao de soma e pelo axioma N2. Se p A
mn
tem-se
m+S(p) = n +S(p) sse S(m+p) = S(n +p) sse m+p = n +p sse m = n
respectivamente por (1.1), por S ser injectiva (N2) e porque p A
mn
. Mas entao
1 A
mn
& p A
mn
S(p) A
mn
(p N)
Pelo Princpio de Inducao A
mn
= N. 2
Ha uma forma frequentemente mais conveniente de enunciar o
Princpio de Inducao, a saber:
Teorema 1.1.4 Se A N, 1 A e n + 1 A sempre que n A, entao A = N.
A ordenacao de N pode fazer-se `a custa da soma.
O n umero natural m diz-se menor que o n umero natural n escrevendo-se m < n
se existir p N tal que n = m+p.
Teorema 1.1.5 1. 1 < n, seja qual for n N1.
2. N nao tem maximo.
3. A relacao < e de ordem total estrita em N, ou seja, e transitiva e para quaisquer
m, n N, da-se uma e so uma das seguintes condicoes
m = n ou m < n ou n < m.
4. Todo o subconjunto nao vazio de N tem mnimo para <.
Em virtude das partes 3 e 4 deste teorema diz-se que N e bem ordenado por <.
A relacao de ordem permite um novo enunciado do Princpio de Inducao.
Teorema 1.1.6 Princpio de Inducao Completa Se A e um subconjunto de N tal
que, seja qual for n N, n A sempre que k N : k < n A, entao A = N.
VN 5
Teorema Fundamental ITN (2001)
Este enunciado e de facto equivalente ao axioma N4 e ao teorema 1.1.4 em estru-
turas de n umeros naturais, mas nao em conjuntos bem ordenados quaisquer.
E passamos `a denicao do produto.
Denicao 1.1.2 O produto dos n umeros naturais m e n, nota-se m n e dene-se
recursivamente
3
por
_
m 1 = m (m N)
m (n + 1) = m n +m (m, n N)
(1.3)
Como habitualmente, a notacao simplica-se pondo
m n = mn (m, n N).
Nestes termos vem
Teorema 1.1.7 Para quaisquer m, n N o produto mn esta bem denido e
N, ~ e um semigrupo comutativo com elemento neutro 1 que verica a Lei do
Corte, isto e, a condicao seguinte
m, n, p N mp = np m = n. (1.4)
Retomando o teorema 1.1.2, pode acrescentar-se que
Teorema 1.1.8 A aplicacao I do teorema 1.1.2 respeita a soma, o produto e a ordem,
isto e, se +
i
,
i
, <
i
designam respectivamente a soma, o produto e a ordem sobre N
i
(i =
1, 2), entao, para quaiquer m, n N
1
,
1. I(m+
1
n) = I(m) +
2
I(n)
2. I(m
1
n) = I(m)
2
I(n)
3. I(m) <
2
I(n) sse m <
1
n
Este teorema da-nos mais uma razao para nos limitarmos a estudar como estrutura
de n umeros naturais o terno N, S, 1 ~, onde N designa o conjunto dos n umeros
naturais intuitivos 1,2,3,... com a respectiva soma +, ordem < e produto usuais,
sendo S(n) = n + 1.
Os teoremas de extensao de semigrupos (ordenados) que vericam a lei do corte por
grupos (ordenados) e de domnios de integridade (ordenados) por corpos (ordenados)
permitem varias construcoes de aneis de N umeros Inteiros e de corpos de N umeros
Racionais a partir das estruturas de N umeros Naturais. Algumas destas construcoes,
bem como o estudo do corpo dos N umeros Reais e suas extensoes, serao tratadas mais
tarde (parte II).
Terminamos esta seccao com uma das propriedades mais importantes de N. Recorde-
se que designa a relacao de ordem lata associada a <, i.e., a b se e so se a < b ou
a = b.
3
Idem nota 1
6 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
Teorema 1.1.9 Propriedade Arquimediana Para quaisquer a, b N, existe x N
tal que a < xb.
Dem. Tome-se a N. Seja
A = b N[ a b ou [b < a & x N a < xb].
Em primeiro lugar 1 A pois, ou a = 1 ou 1 < a, mas pelo teorema 1.1.5, existe
x N tal que a < x = x1.
Suponha-se agora que b A: se a b tambem a b + 1 e b + 1 A. Se b < a,
ou b +1 = a e, de novo b +1 A, ou b +1 < a; em qualquer caso, por hipotese, para
certo x N tem-se a < xb < xb +x = x(b +1) e consequentemente, b +1 A.
Pelo Princpio de Inducao A = N. 2
1.2 Aritmetica
1.2.1 O maximo divisor comum
Teorema 1.2.1 (Algoritmo de Euclides) Para quaisquer a e b, se a > 0 existem
n umeros inteiros unicos d e r tais que
b = da + r & 0 r < a (1.5)
Dem.
Unicidade
Fixe-se a > 0. Suponha-se que da +r = d

a +r

& 0 r, r

< a. Tem-se
(d d

)a = r

r & [r

r[ < a
Se d ,= d

entao 1 [d d

[ e vem
a [d d

[a = [r

r[ < a
o que e impossvel. Portanto d = d

e tambem r = r

.
Existencia
Se 0 b < a tem-se b = 0a + b e pode fazer-se d = 0 & r = b. Se a < b, pelo
teorema 1.1.9, existe x N tal que b < xa. Tome-se
d = minx N[ b < xa 1 & r = b da
Se b < 0, pelo que acabamos de ver, existem d
1
N e r
1
N, sendo 0 r
1
< a,
tais que b = d
1
a +r
1
; tome-se d = d
1
1 e r = a r
1
. 2
Um corolario de facil demonstracao:
VN 7
Teorema Fundamental ITN (2001)
Corolario 1.2.1 Para quaisquer n umeros inteiros a, b, se a ,= 0 existem d, r Z unicos
tais que
b = da +r & 0 r < [a[
Dem. Aplique-se o teorema anterior 1.2.1 a [b[ e [a[ e ajuste-se adequadamente. 2
Os n umeros d e r das proposicoes anteriores designam-se respectivamente por co-
ciente e resto da divisao de b por a.
Denicao 1.2.1 Dado a ,= 0, b e divisvel por a (ou a divide b ou a e divisor de b
ou b e m ultiplo de a) se o resto da divisao de b por a e zero. Nota-se a [ b se a divide
b.
Repare-se que zero e divisvel por qualquer n umero inteiro, no sentido em que para
qualquer a Z, existe d Z tal que 0 = da, nomeadamente d = 0; nao se dene o
cociente de zero por zero
Proposicao 1.2.1 A relacao [ em Z e reexiva e transitiva, mas nao e anti-simetrica
pois
a [ b & b [ a [a[ = [b[ (1.6)
Dem. Demonstramos apenas a equivalencia 1.6, no caso em que a ,= 0 ,= b.
Suponha-se que b = ad & a = bd

. Tem-se a = add

donde dd

= 1. Segue-se que
d = d

= 1, caso em que a = b, ou d = d

= 1, caso em que a = b. 2
Mais algumas propriedades importantes, cuja demonstracao ca ao cuidado do
leitor.
Teorema 1.2.2 Para quaisquer a, b, c Z,
1. [a [ b & a [ c] x, y a [ (bx +cy);
2. em particular a [ b x a [ bx.
3. [0 < a & 0 < b & a [ b] a b.
A alnea 1. do teorema anterior e de facto equivalente a qualquer das alneas do
corolario seguinte.
Corolario 1.2.2 Para quaisquer a, b, c, x, y Z
1. [a [ b & a ,[(bx +cy)] a ,[c.
2. [a [ b & a [ (bx +c)] a [ c.
8 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
Denicao 1.2.2 O n umero inteiro d e maximo divisor comum de a e b e designa-se
por mdc(a, b), se satisfaz simultaneamente as seguintes condicoes:
1. d > 0
2. d [ a & d [ b
3. c [[c [ a & c [ b] c [ d]
Se mdc(a, b) = 1 diz-se que a e b sao primos entre si.
Teorema 1.2.3 Se a ,= 0 ou b ,= 0, entao
mdc(a, b) = minz = ax +by[ x, y Z & z > 0, (1.7)
pelo que o maximo divisor comum de dois n umeros inteiros nao simultaneamente nulos
existe e e unico.
O que, em particular, tem como consequencia
Corolario 1.2.3 Se d = mdc(a, b), entao existem x, y Z tais que d = ax +by.
Dem. (Teorema 1.2.3) Seja
S = z = ax +by[ x, y Z & z > 0
Como a ,= 0 ou b ,= 0, S ,= pois 0 < a
2
+b
2
= aa +bb; assim S tem mnimo (teorema
1.1.5), digamos d = min S = ax
0
+ by
0
> 0, para certos x
0
, y
0
; d verica entao a
condicao 1 da denicao.
Vamos ver que d [ a. Ponha-se a = qd + r, de acordo com o teorema 1.2.1, sendo
0 r < d; repare-se que,
r = a qd = a(1 qx
0
) +b(qy
0
) S,
portanto, se r > 0, r teria de ser maior ou igual ao mnimo de S, o que nao e o caso. A
troca de a por b neste racicnio, permitiria concluir que d [ b e a condicao 2 da denicao
tambem esta vericada.
Por outro lado, se c [ a & c [ b, como d = ax
0
+ by
0
, pelo teorema 1.2.2, c [ d,
vericando-se a condicao 3.
Quanto `a unicidade: utilize-se o que acabamos de ver e a condicao 1.6 para concluir
que se d

verica as mesmas condicoes que d, entao d = d

. 2
Algumas propriedades do maximo divisor comum.
Teorema 1.2.4 Para quaisquer a, b Z
VN 9
Teorema Fundamental ITN (2001)
1. mdc(a, b) = 1 x, y ax +by = 1
2. mdc(
a
mdc(a,b)
,
b
mdc(a,b)
) = 1
3. [a [ bc & mdc(a, b) = 1] a [ c
4. a [ bc
a
mdc(a,b)
[ c
5. mdc(na, nb) = n mdc(a, b) se n > 0.
Dem. Alnea 1.
() e um caso particular do corolario 1.2.3.
() Como 1 e o menor inteiro positivo, se 1 = ax + by, necessariamente 1 =
minz = ax+by[ x, y Z & z > 0 e consequentemente, 1 = mdc(a, b), pelo teorema
1.2.3.
Alnea 2. Observe-se que d = ax+by, para certos x, y e divida-se por d em, ambos
os membros.
Alnea 3. Como mdc(a, b) = 1, para certos x, y, 1 = ax+by de onde se segue que
c = acx +bcy. Como a [ bc, para certo q vem c = acx +aqy = a(cx +qy) e a [ c.
Alnea 4. Esquematicamente:
a [ bc bc = qa cd = cax +cby = cax +qay = a(cx +qy);
ou ainda c =
a
d
(cx +qy) e
a
d
[ c.
Alnea 5. Observe-se que se n > 0 entao minnz[ z A = n minA. 2
1.2.2 Teorema Fundamental da Aritmetica
Denicao 1.2.3 Um n umero inteiro p diz-se primo se vericar simultaneamente as
duas condicoes
1. p > 1
2. a Z [a [ p [[a[ = p ou [a[ = 1]] .
Um n umero que nao seja primo nem 1 diz-se composto.
A propriedade mais importante dos n umeros primos e talvez a seguinte:
Lema 1.2.1 (de Euclides) Se p e n umero primo e p [ ab, entao p [ a ou p [ b.
Dem. Se p [ ab, entao, pelo teorema 1.2.4,
p
mdc(p,a)
[ b; ora se p ,[a, como p e primo
mdc(p, a) = 1, consequentemente p [ b. 2
10 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
Lema 1.2.2 Se n > 1 e p = minx > 1[ x [ n, entao p e primo. Em particular,
qualquer n umero natural maior que 1 tem divisores primos.
Dem. Ou bem que n e primo e, nesse caso p = n, ou bem que nao; neste caso n tem
divisores maiores que 1 e distintos de si proprio, o mnimo dos quais e p; ora p nao
pode ter divisores distintos de si proprio e de 1, pois qualquer deles seria um divisor de
n, maior que 1 e menor que p, que nao existe por denicao de p; logo p e primo. 2
E passamos a demonstrar o
Teorema 1.2.5 (Fundamental da Aritmetica)
Se n > 1, existem n umeros primos distintos dois a dois p
1
, , p
k
e n umeros nat-
urais
1
, ,
k
de modo que
n =
k

i=1
p

i
i
. (1.8)
Esta representacao de n e unica a menos de uma permutacao dos factores.
Dem. Tome-se um n umero natural n.
I. Existem n umeros primos p
1
, , p
m
tais que n =

m
i=1
p
i
.
Dem. Seja n > 1. Do lema anterior concluimos que n tem divisores primos.
Dena-se uma sequencia de n umeros primos da seguinte forma
p
1
= minx > 1[ x [ n (1.9)
p
i+1
= minx > 1[ x

i
j=1
p
j
se existir (1.10)
Repare-se que p
i+1
so nao existe se
n

i
j=1
p
j
= 1, isto e, se n =

i
j=1
p
j
, como se
pretende vericar que acontece.
Por outro lado,

m
j=1
p
j
[ n desde que existam os p
j
denidos como acima (proposicao
1.2.1) e, de facto,

m
j=1
p
j
n.
Observe-se ainda que, sendo os n umeros primos maiores ou iguais a 2, vem
2
m

j=1
p
j
n.
Como 2
m
> n, para m sucientemente grande, concluimos que os n umeros primos
p
i
sao em n umero nito, em particular, para certo i, p
i
existe, mas p
i+1
nao. Como
observamos acima, n =

i
j=1
p
j
.
Nao e difcil mostrar que p
j
p
j+1
(1 j < i), pelo que associando da esquerda
para a direita primos iguais, se obtem
n =
k

i=1
p

i
i
VN 11
Teorema Fundamental ITN (2001)
com bases p
i
em ordem crescente.
Resta ver que todos os divisores primos de n foram encontrados. Suponha-se que p
e primo e p [ n. Pelo lema 1.2.1, p tera de dividir um dos p
i
, sendo portanto um deles.
2
Ha muitos n umeros primos.
Corolario 1.2.4 (de Euclides) O conjunto dos n umeros primos e innito.
Dem. Vamos ver que, seja qual for o conjunto de n umeros primos p
1
, , p
k
existe
um n umero primo que lhe nao pertence.
Dados primos p
1
, , p
k
, seja n = p
1
p
k
+ 1. De acordo com o Teorema Funda-
mental, n tera pelo menos um divisor primo. Ora como nenhum dos p
i
divide n, pois
p
i
[ p
1
p
k
mas p
i
,[1, esse primo nao pode ser um deles. 2
Os n umeros primos estao esparsamente distribuidos
Corolario 1.2.5 Os intervalos entre n umeros primos consecutivos sao arbitrariamente
grandes.
Dem. Para qualquer n N, a sequencia
(n + 1)! + 2, (n + 1)! + 3, , (n + 1)! + (n + 1)
nao contem n umeros primos, pois k [ (n + 1)! +k se 2 k n + 1. 2
Onde parar na deteccao dos divisores primos de um dado inteiro?
Teorema 1.2.6 Todo o n umero composto n > 0 tem um divisor primo menor ou igual
a

n.
Dem. Se n e composto tem pelo menos dois divisores primos, possivelmente iguais,
caso contrario seria primo pelo Teorema Fundamental; se p
1
, p
2
sao primos que dividem
n, algum nao e maior que

n, pois p
1
, p
2
>

n n p
1
p
2
> (

n)
2
= n, o que e
impossvel. 2
Um resultado semelhante e o corolario seguinte do lema de Euclides (1.2.1) e do
teorema 1.2.2
Teorema 1.2.7 (de Gauss) O produto de dois n umeros naturais menores que um
n umero primo nao e divisvel por este ultimo.
12 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
Quanto `a distribuicao dos n umeros primos, o seguinte teorema e um dos mais im-
portantes de Dirichlet; a sua demonstracao e muito difcil e esta fora do ambito do
presente texto; o leitor interessado pode encontrar uma demonstracao por exemplo em
[3], onde todo o captulo 7 lhe e dedicado.
Teorema 1.2.8 (de Dirichlet) Se a e b sao n umeros naturais primos entre si, a
progressao aritmetica (na +b)
nN
tem uma innidade de termos que sao n umeros pri-
mos.
Tendo-se observado que um n umero primo mpar e de uma das formas 4k + 1 ou
4k 1 (k Z), uma ligeira adaptacao da demonstracao do corolario 1.2.4 permite no
entanto demonstrar facilmente o seguinte:
Teorema 1.2.9 Existe uma innidade de n umeros primos da forma 4k 1
(k Z).
Dem. Consideremos um conjunto nito de n umeros primos distintos da forma 4k 1,
digamos C := p
1
, , p
n
e dena-se
N = 2
2
p
1
p
n
1.
Em primeiro lugar observe-se que N e da forma 4k 1 e maior que qualquer dos
elementos de C, portanto se for primo nao esta em C, i.e., C nao contem todos os
n umeros primos da forma em estudo; se N for composto e p for um seu divisor primo,
entao p tambem nao pode ser qualquer dos elementos de C; deixa-se como exerccio
mostrar que algum divisor primo de N e da forma 4k 1 e, como acabamos de ver, nao
esta em C.
Em suma: C nao contem todos os n umeros primos da forma 4k 1. 2
Nao e tao simples demonstrar que o teorema anterior vale com 4k + 1 em vez de
4k 1; fa-lo-emos mais tarde (vide corolario 2.4.3).
1.3 Exerccios
1. Demonstre que a adicao e a multiplicacao em N sao associativas, sao comutativas
e vericam a Lei do Corte.
2. Mostre que se f : N N e estritamente crescente, entao para qualquer n N,
n f(n).
3. Demonstre o seguinte teorema.
Princpio de Inducao Completa: Se A e um subconjunto de N tal
que, seja qual for o n N, n A sempre que k N : k < n A,
entao A = N.
VN 13
Teorema Fundamental ITN (2001)
4. Suponha dadas duas funcoes g : N N e h : N
3
N. Admita que existe uma
func

Ao f que verica as formulas de recorrencia presentes nas alneas seguintes


e prove a sua unicidade.
(a) (Recorrencia) Dena f : N
2
N tal que
_
f(1, n) = g(n) (n N)
f(m+ 1, n) = h(m, n, f(m, n)) (m, n N)
(b) (Recorrencia elementar)Suponha dados a N e h : N
2
N dena uma
funcao f : N N por
_
f(1) = a
f(n + 1) = h(n, f(n)) (n N)
5. Mostre que, para qualquer n N,
(a)
n

i=1
i =
n(n + 1)
2
;
(b)
n

i=1
i
2
=
n(n + 1)(2n + 1)
6
;
(c)
n

i=1
i
3
=
_
n

i=1
i
_
2
.
6. Encontre uma formula de recorrencia para

n
i=1
i
p
(n, p N).
7. Mostre que, para quaisquer a, b Z e n N,
(a) a
n
b
n
= (a b)
n1

i=0
a
i
b
n1i
;
(b) a
n
+b
n
= (a +b)
n1

i=0
(1)
i
a
n1i
b
i
, se n e mpar;
(c) (a +b)
n
=
n

i=0
_
n
i
_
a
i
b
ni
;
sendo o coeciente binomial
_
n
i
_
denido por
_
n
i
_
=
n!
i!(n i)!
(n N e 0 i n).
14 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
8. O coeciente multinomial e o n umero
_
n
i
1
i
2
i
k
_
denido por
_
n
i
1
i
2
i
k
_
=
n!
i
1
!i
2
! i
k
!
,
com i
1
+i
2
+ +i
k
= n (k, n N, i
1
, . . . , i
k
Z
+
0
).
(a) Mostre que os coecientes multinomiais sao n umeros inteiros.
(b) Mostre que, para quaisquer n, k N e a
1
, . . . , a
k
Z,
_
k

i=1
a
i
_
n
=

i
1
+i
2
++i
k
=n
_
n
i
1
i
2
i
k
_
a
i
1
1
a
i
2
2
a
i
k
k
.
9. Mostre que d [ a se e so se d [ [a[.
10. Mostre que se a [ c, b [ c e a e b sao primos entre si, entao ab [ c.
11. Sejam a, b, c e d inteiros tais que b ,= 0, d ,= 0, mdc(a, b) = 1 = mdc(c, d) e
a
b
+
c
d
tambem e inteiro. Mostre que [b[ = [d[.
12. Um mnimo m ultiplo comum de dois n umeros inteiros positivos a e b e um n umero
inteiro mmc(a, b) que verique as seguintes condicoes:
mmc(a, b) > 0;
a [ mmc(a, b) e b [ mmc(a, b);
para todo k Z, se a [ k e b [ k, entao mmc(a, b) [ k.
(a) Mostre que mmc(a, b) existe e e unico. De facto
ab = mdc(a, b)mmc(a, b)
(b) Mostre que [ e uma relacao de ordem parcial em N para a qual
mdc(a, b) = infa, b & mmc(a, b) = supa, b
13. (a) Mostre que os factores de base prima da representacao de mdc(a, b) (Teorema
Fundamental) sao os factores de base prima comum a a e a b tomados com
o menor expoente.
(b) Mostre que os factores de base prima da representacao de mmc(a, b) (Teo-
rema Fundamental) sao todos os factores de base prima de a ou de b, sendo
os factores de base comum tomados com o maior expoente.
14. Algoritmo de Euclides. Dados a, b Z com b a > 0, mostre que o algoritmo
denido pelas relacoes de recorrencia seguintes termina com r = mdc(a, b).
VN 15
Teorema Fundamental ITN (2001)
a = r
0
;
b = q
1
r
0
+r
1
, 0 r
1
< a;
se r
i
> 0 (i 1), entao r
i1
= q
i+1
r
i
+r
i+1
, 0 r
i+1
< r
i
;
se r
i
= 0, entao r = r
i1
e o algoritmo termina.
15. Comprimento do algoritmo de Euclides. Considere o algoritmo descrito no
exerccio anterior e seja r
n
= mdc(a, b). Mostre que:
(a) b 2r
1
e a 2r
2
;
(b) r
i
2r
i+2
(i 1);
(c) b 2
n/2
.
Qual e o n umero maximo de passos se b 10
p
?
16. Determine mdc(a, b) e escreva-o como combinacao linear de a e b para os seguintes
pares:
(a) (21, 77), (12, 128), (54, 640), (28, 640); nesta alnea verique a sua resposta
utilizando a denicao de maximo divisor comum.
(b) (22587, 534), (9800, 180), (1587645, 6755).
17. Determine o mnimo m ultiplo comum de cada um dos pares de n umeros consid-
erados no exerccio anterior.
18. Sejam a, b e c n umeros inteiros nao simultaneamente nulos.
(a) Mostre que equacao diofantina em x e y, ax +by = c tem solucao se e so se
mdc(a, b) [ c.
(b) Mostre que se (x
0
, y
0
) e uma solucao da equacao da alnea anterior e d =
mdc(a, b), entao todas as solucoes sao da forma
x = x
0
+
b
d
k & y = y
0

a
d
k (k Z).
19. Determine as solucoes inteiras das equacoes Diofantinas seguintes:
(a) 5x + 7y = 14;
(b) 4x + 6y = 24;
(c) 17x + 34y = 25;
(d) 56x + 634y = 168;
(e) 1521x + 1955y + 455z = 221;
(f) 2x + 3y + 5z = 7.
16 VN
Int. ` a Teoria dos N umeros (2001) Teorema Fundamental
20. Determine duas fraccoes cujos denominadores sejam 12 e 16 e cuja soma seja
10
48
.
21. Numa papelaria vendem-se dois tipos de canetas por 110 e 70 escudos respectiva-
mente. Ao m de um dia a importancia total recebida pela venda dessas canetas
foi 6570 escudos. Qual e o menor n umero possvel de canetas vendidas? E qual o
maior?
22. Determine todas as solucoes inteiras dos sistemas de equacoes seguintes.
(a)
_
2x + 3y 4z = 9
6x + 9y + 3z = 12
(b)
_
3x 2y + 6z = 3
14x + 28y 21z = 35
(c)
_
4x + 5y + 6z = 11
7x + 14y + 21z = 35
(d)
_
9x + 3y + 15z = 3
5x 6y +z = 2
(e)
_
3x + 2y 5z = 10
6x + 12y + 4z = 14
23. N umeros de Fermat. Um n umero da forma F
k
= 2
2
k
+ 1 para algum k N
0
diz-se um n umero de Fermat. F
0
, F
1
, F
2
, F
3
, F
4
sao primos. Euler mostrou em
1732 que F
5
nao e primo. (F
5
= 4294967297 = 641 6700417.)
(a) Mostre que se 2
n
+ 1 e primo, entao n e potencia de 2.
(Sugestao: comece por estudar o caso em que n e mpar).
(b) Mostre que n umeros de Fermat distintos sao primos entre si.
(c) Deduza da alnea anterior que ha uma innidade de primos.
24. N umeros de Mersenne. Um n umero da forma M
p
= 2
p
1, com p primo,
diz-se um n umero de Mersenne.
Mostre que se n > 1, a > 1 e a
n
1 e primo, entao a = 2 e n e primo.
25. Suponha que p e um n umero primo.
(a) Mostre que p e o maximo divisor comum dos coecientes binomiais
_
p
i
_
, onde
1 i p 1.
(b) Mostre que para quaisquer a, b Z, a
p
b
p
e p sao primos entre si ou
p
2
[ (a
p
b
p
).
26. Mostre todos os n umeros inteiros exceptuando as potencias de 2 sao somas de
inteiros consecutivos.
27. Mostre que so a primeira soma parcial da serie harmonica e inteira.
VN 17
Teorema Fundamental ITN (2001)
18 VN
Captulo 2
Congruencias
2.1 Propriedades basicas
Denicao 2.1.1 Seja n um n umero natural maior que 1. Dois n umeros inteiros x, e
y dizem-se congruentes modulo n se n [ (x y). Se x e congruente com y modulo
n, nota-se
x y (mod n)
Repare-se que a denicao tambem tem sentido com n = 1, neste caso todos os
n umeros inteiros sao congruentes entre si e por isso eliminamo-lo de incio.
Outra formulacao
Teorema 2.1.1 Dois n umeros inteiros x, y sao congruentes (mod n) se e apenas se
a divisao de cada um deles por n tem o mesmo resto.
Dem. Pondo x = dn+r e y = qn+s com 0 r, s < n, se n [ (xy) entao n [ (r s);
como [r s[ < n tera de ser r s = 0. A recproca verica-se imediatamente. 2
Demonstra-se sem diculdade que
Corolario 2.1.1 A relacao de congruencia e de equivalencia em Z e compatvel
com a soma e o produto, ou seja se a b (mod n) e c d (mod n), entao a + c
b +d (mod n)e ac bd (mod n).
201
Congru encias ITN(2001)
E daqui se deduz que, mais geralmente,
Corolario 2.1.2 Se a
i
b
i
(mod n) (1 i k), entao
1.

k
i=1
a
i


k
i=1
b
i
(mod n)
2.

k
i=1
a
i


k
i=1
b
i
(mod n)
3. Se f e um polinomio de coecientes em Z (f Z[x]) e a b (mod n), entao
f(a) f(b) (mod n)
Note-se que, n [ m se e apenas se m 0 (mod n).
Exemplo 2.1.1 Dados dgitos a
0
, , a
p
0, 1, , 9, seja
a
p
a
0
= a
p
10
p
+ +a
1
10 +a
0
;
entao
a
p
a
0

p

i=0
a
i
(mod 3).
pois, por um lado 10 1 (mod 3), por outro, se f(x) = a
p
x
p
+ +a
1
x +a
0
entao
a
p
a
0
= f(10) f(1) =
p

i=0
a
i
(mod 3).
Por outras palavras: um n umero inteiro representado na base 10 e divisvel por 3 se e
apenas se a soma dos seus algarismos o for.
Por exemplo 3 ,[7523426, pois 7+5+2+3+4+2+6 = 29 2+9 = 11 2 (mod 3)
e 2 , 0 (mod 3).
Observando um pouco melhor
7 + 5 + 2 + 3 + 4 + 2 + 6 = (7 + 5) + 2 + (4 + 2) + 6 2 (mod 3)
Teorema 2.1.2 Qualquer n umero inteiro e congruente (mod n) com um e so um dos
elementos de 0, 1, , n 1.
Dem. Dados n N & x Z, pelo teorema 1.2.1, existem q e r unicos tais que
x = qn +r 0 r < n;
portanto x r (mod n) & 0 r n 1. A unicidade resulta do
teorema 2.1.1. 2
Um conjunto r
1
, , r
n
diz-se um sistema completo de resduos modulo n,
se para cada n umero inteiro x existe um e um so r
i
tal que x r
i
(mod n)
Exemplo 2.1.2 3, 2, 1, 0, 1, 2, 3 e 7, 8, 5, 10, 3, 19, 13 sao sistemas com-
pletos de resduos modulo 7.
202 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
Teorema 2.1.3 Todos os sistemas completos de resduos para um mesmo modulo tem
o mesmo n umero de elementos.
Dem.
Consideremos um sistema completo de resduos, digamos R = r
1
, r
2
, , r
k
, para
um modulo xo n > 1; seja ainda R
0
= 1, 2, , n1. Como vimos acima, no teorema
2.1.2, para cada j = 1, , k, existe um e so um i(j) R
0
tal que r
j
i(j) (mod n),
portanto R
0
tem pelo menos o mesmo n umero de elementos que R; por outro lado, R
e tambem um sistema completo de resduos e, por denicao, para cada elemento de R
0
existe um e so um elemento de R com o qual aquele e congruente (mod n), donde R
tem pelo menos tantos elementos como R
0
. Em suma: R e R
0
tem de facto o mesmo
n umero n de elementos. 2
2.2 Inversao I
A congruencia em x 2x 1 (mod 4) nao tem solucao, porque os m ultiplos de 4 sao
pares e 2x 1 e sempre mpar; mas 2x 1 (mod 5) tem solucao 3.
Denicao 2.2.1 Um inverso aritmetico de a (mod n) e um n umero inteiro a

tal
que
a

a aa

1 (mod n).
Teorema 2.2.1 O n umero a Z 0 tem inverso aritmetico (mod n) se e apenas
se mdc(a, n) = 1.
Dem. O teorema 1.2.4 diz, em particular, que mdc(a, n) = 1 se e apenas se existem
x, y Z tais que ax + ny = 1. Por um lado esta ultima equacao indica que ax
1 (mod n) e consequentemente x e um inverso aritmetico de a (mod n), que existe se
mdc(a, n) = 1;por outro lado, de aa

1 (mod n), deduz-se aa

= dn + 1, para algum
d Z, pelo que aa

+ (d)n = 1 e a e n sao primos entre si. 2


Veremos adiante que dois inversos aritmeticos de um mesmo n umero para o mesmo
modulo sao congruentes entre si para esse modulo.
Teorema 2.2.2 Se mdc(a, n) = d & a ,= 0, entao
ax ay (mod n) x y mod(
n
d
)
Dem. () Se x y mod(
n
d
), entao, para certo q Z, x y = q
n
d
, pelo que ax ay =
q
an
d
= q
a
d
n, ou seja ax ay (mod n).
VN 203
Congru encias ITN(2001)
() Se ax ay (mod n), entao a(x y) = qn para algum q Z; segue-se que
a
d
(x y) =
n
d
q; ora
a
d
e
n
d
sao primos entre si (teorema 1.2.4), pelo que
a
d
[ q, vindo
x y =
q
a/d
n, isto e x y (mod n). 2
Observando que, de acordo com o teorema 2.2.1, a

(mod n) existe se e apenas se


mdc(a, n) = 1, deduz-se que
Corolario 2.2.1 Se a tem inverso aritmetico (mod n), entao
ax ay (mod n) x y (mod n).
E ainda
Corolario 2.2.2 Se p e primo e a , 0 (mod p), entao a tem inverso (mod p).
Dem. Note-se que a , 0 (mod n) mdc(a, p) = 1. 2
2.3 Congruencias lineares
Uma congruencia diz-se linear se for da forma
ax b (mod n) (2.1)
Se a = 0, esta congruencia tem solucao x se e apenas se n [ b e neste caso qualquer
x Z e solucao. Assim consideraremos apenas congruencias
ax b com a ,= 0. (2.2)
Teorema 2.3.1 Se a tem inverso a

(mod n), entao


ax b (mod n) x a

b (mod n).
Dem. Suponha-se que aa

1 (mod n).
() Se ax b (mod n), entao a

ax a

b (mod n). Ora a

ax x (mod n),
portanto x a

b (mod n).
() Se x a

b (mod n), analogamente se obtem


ax aa

b b (mod n)
e da ax b (mod n). 2
Teorema 2.3.2 Suponha-se que a , 0 (mod n). A congruencia (2.1) tem solucao se
e apenas se mdc(a, n) [ b. Se d = mdc(a, n) [ b, e a

d
e um inverso de
a
d
(mod n), entao
as seguintes condicoes sao equivalentes
204 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
1. A congruencia (2.1)
2. x a

d
_
b
d
_
(mod
n
d
)
3. x = a

d
_
b
d
_
+ k
_
n
d
_
0 k d 1 (mod n)
Dem. Seja d = mdc(a, n).
I) Existencia de solucao
() Se ax b (mod n) entao n [ (ax b). Como d [ n & d [ a, tem-se d [ (ax b)
e d [ a, portanto d [ b (corolario 1.2.2).
() Existem x
0
, y
0
tais que x
0
a + y
0
n = d. Por outro lado, por hipotese existe k
tal que b = kd, assim
a(x
0
k) +n(y
0
k) = kd = b
isto e a(x
0
k) b (mod n). Faca-se x = x
0
k.
II) Determinacao da solucao.
HIP

OTESE: a

d
_
a
d
_
1 (mod
n
d
) & d [ b.
Considere-se a seguinte sequencia de congruencias equivalentes, observando que 2 e
3 o sao obviamente:
ax b (mod n)
d
a
d
x d
b
d
(mod n)
a
d
x
b
d
(mod
n
d
) (teorema 2.2.2).
2.3.1 Inversao II
Dados a ,= 0 e n > 0 tais que mdc(a, n) = 1, vimos na demonstracao do teorema 2.2.1
que a

(mod n) e coordenada x da solucao (x, y) da equacao diofantina ax + ny = 1,


pelo que, determinado um a

, todos os outros sao da forma a

+kn (k Z), ou seja


Teorema 2.3.3 Todos os inversos (mod n) de um mesmo n umero inteiro nao nulo
sao congruentes (mod n) entre si.
E ainda
Teorema 2.3.4 Se a ,= 0 & mdc(a, n) = 1 entao a

a (mod n).
Dem. A equacao aa

+ny = 1 diz-nos que a e inverso (mod n) de a

, isto e, a e um
a

.
O teorema anterior diz-nos que todos os inversos (mod n) de a

sao congruentes
(mod n). Consequentemente a

a (mod n). 2
Uma outra forma de enunciar o teorema 2.2.1 e a seguinte:
VN 205
Congru encias ITN(2001)
Teorema 2.3.5 O n umero a Z0 tem inverso (mod n) se e apenas se e congruente
com algum dos resduos (mod n) que sao primos com n.
Este resultado obtem-se muito facilmente do seguinte
Lema 2.3.1 Se a ,= 0 & a a

(mod n) & mdc(a, n) = 1, entao mdc(a

, n) = 1.
Dem. Tem-se a a

= kn & ax + ny = 1 para alguns k, x, y Z. Assim ax =


a

x +kxn & ax +ny = a

x +(kx +y)n ou seja 1 = a

x +ny

& mdc(a

, n) = 1.
2
2.4 A funcao de Euler
Denicao 2.4.1 A funcao de Euler : N N e dada por
(n) = n umero de n umeros naturais de 1 a n que sao primos com n.
Exemplo 2.4.1 Seja P
n
= x 0[ x < n & mdc(x, n) = 1. Designando o n umero
de elementos de um conjunto C por #C, tem-se entao (n) = #P
n
1. (1) = #1 = 1
2. (n) = n 1 se e apenas se n e primo.
3. (2
725
) = 2
724
(Porque?)
2.4.1 Sistemas reduzidos de resduos
Denicao 2.4.2 Um sistema reduzido de resduos (mod n) e um conjunto de
n umeros inteiros a
1
, , a
k
primos com n, tais que para qualquer x Z, se mdc(x, n) =
1 entao existe um e um so i tal que x a
i
(mod n).
Teorema 2.4.1 1, 2, , n 1 e um sistema reduzido de resduos (mod n) se e
apenas se n e primo.
Dem. (se) resulta da denicao de n umero primo.
(apenas se) Se n e composto tem pelo menos um divisor proprio, digamos d
1
, tal
que 1 < d
1
< n; mas entao 1 d
1
n 1 & mdc(d
1
, n) = d
1
,= 1, portanto
1, 2, , n1 tem elementos que nao sao primos com n, consequentemente nao e um
sistema reduzido. 2
Teorema 2.4.2 Para cada n, todos os sistemas reduzidos de resduos (mod n) tem
(n) elementos.
206 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
Dem. Seja P
n
denido como no exemplo 2.4.1.
1. P
n
e um sistema reduzido (mod n) porque
(a) Qualquer inteiro e congruente (mod n) com algum elemento de S
n
=
0, 1, , n 1, em particular um inteiro primo com n, cujo congruente
em S
n
e primo com n (teorema 2.3.5), logo esta em P
n
.
(b) Dois elementos distintos de P
n
nao sao congruentes entre si. Assim
I. cada x primo com n e congruente com um e um so elemento de
P
n
.
2. Dado um sistema reduzido de resduos (mod n), digamos P

n
, a proposicao I
acima arma a funcao que associa a cada resduo em P
n
o seu unico congruente
em P

n
e bijectiva. 2
2.4.2 Teoremas de Euler, de Fermat e de Wilson
Teorema 2.4.3 (de Euler) Para qualquer a Z 0 e qualquer n N 1
mdc(a, n) = 1 a
(n)
1 (mod n).
O corolario seguinte e imediato:
Corolario 2.4.1 Para qualquer a Z 0 e qualquer n N 1
mdc(a, n) = 1 a

a
(n)1
(mod n).
Dem. (do teorema 2.4.3) Suponha-se a ,= 0 & mdc(a, n) = 1.
I) Se 0 ,= r & mdc(r, n) = 1, entao mdc(ar, n) = 1.
Dem. Seja d = mdc(ar, n) nas condicoes da hipotese. Se d > 1, entao existe um
n umero primo p tal que p [ d. Segue-se que p [ ar & p [ n, logo p [ a & p [ n ou
p [ r & p [ n; no primeiro caso mdc(a, n) p > 1, no segundo mdc(r, n) p > 1, o que
contradiz as hipoteses.
II) Seja r
1
, , r
(n)
um sistema reduzido de resduos (mod n), e dena-se
P = ar
1
, , ar
(n)
.
Todos os elementos de P sao primos com n, pelo que vimos em I. Por outro lado,
como os r
i
nunca sao congruentes entre si, o mesmo acontece com os ar
i
(teorema
2.2.2). Segue-se que
cada ar
i
e congruente com um e so um dos r
j
, digamos r
j
ar
(j)
, em que
e uma permutacao de 1, , (n).
VN 207
Congru encias ITN(2001)
III) Tem-se entao
(n)

i=1
(ar
(i)
)
(n)

i=1
r
i
(mod n)
ou seja
a
(n)
(n)

i=1
r
(i)

(n)

i=1
r
i
(mod n)
ou
a
(n)
(n)

i=1
r
i

(n)

i=1
r
i
(mod n)
Pelo teorema 2.2.2, ja que mdc(

(n)
i=1
r
i
, n) = 1, conclui-se a
(n)
1 (mod n). 2
Teorema 2.4.4 (Pequeno Teorema de Fermat) Se p e primo e p ,[a, entao
a
p1
1 (mod p).
Dem. Basta observar que (p) = p 1. 2
Teorema 2.4.5 (de Wilson) Se p e primo, entao (p 1)! 1 (mod p)
Dem. Se p = 2, tem-se (p 1)! = 1 1 (mod 2). Se p = 3, tem-se (p 1)! =
2 1 (mod 3). Suponha-se que p > 3. Sabemos que P
p
= 1, 2, , p 1 e um
sistema reduzido de resduos (mod p). Observando que qualquer n umero e o seu inverso
(mod n) sao primos com n e nalmente considerando o teorema 2.3.4:
Cada r P
p
tem um inverso (mod p) r

p
P
p
e (r

p
)

p
= r. Por outro lado, se
r = r

p
, tem-se r
2
= rr

p
1 (mod p) e p [ (r
2
1) = (r + 1)(r 1); logo p [ (r + 1) ou
p [ (r 1), isto e, r 1 (mod p) ou r 1 (mod p) ou ainda r p 1 (mod p) ou
r 1 (mod p).
Concluimos que
r = r

p
(r = 1 ou r = p 1) (1 r p 1);
donde os pares r, r

sao conjuntos nao singulares e denem uma particao de 2, , p


2, tendo-se
p2

i=2
i =
p3
2

i=1
r
i
r

i
1 (mod p)
Segue-se que
(p 1)! = 1
p2

i=2
i (p 1) p 1 (mod p)
isto e (p 1)! 1 (mod p). 2
208 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
O lema seguinte e extremamente simples, mas tem uma consequencia nao trivial.
Lema 2.4.1 Se p e um n umero primo mpar e (1)
p1
2
1 (mod p), entao p
1 (mod 4).
Dem. Suponha-se entao que p e um n umero primo mpar e que (1)
p1
2
1 (mod p);
queremos mostrar que
p1
2
e par. Se
p1
2
fosse mpar, viria 1 1 (mod p), pelo que
p dividiria 2, o que nao e o caso; portanto
p1
2
e par. 2
A consequencia:
Teorema 2.4.6 Seja p um primo mpar. A congruencia x
2
1 (mod p) tem solucao
se e apenas se p 1 (mod 4); neste caso
_
p1
2
_
! e uma solucao.
Dem. (apenas se) De x
2
1 (mod p) deduz-se
x
p1
= (x
2
)
p1
2
(1)
p1
2
(mod p)
e conclui-se 1 (1)
p1
2
(mod p); pelo lema 2.4.1, p 1 (mod 4).
(se) Se p 1 (mod 4), entao
p1
2
e par. Por outro lado
(p 1)! =
_
p 1
2
_
!
_
p
p 1
2
_
(p 2)(p 1).
Pelo Teorema de Wilson,
1 (1)
p1
2
__
p 1
2
_
!
_
2
(mod p)
Como
p1
2
e par,
1
__
p 1
2
_
!
_
2
(mod p)
como pretendamos vericar. 2
E consequentemente
Corolario 2.4.2 Se p e primo mpar e para algum n umero inteiro x p [ (x
2
+1), entao
p 1 (mod 4).
E mais um corolario (compare-se com o teorema 1.2.9).
Corolario 2.4.3 Ha uma innidade de n umeros primos da forma 4k + 1
(k Z), i.e., congruentes com 1 para o modulo 4.
VN 209
Congru encias ITN(2001)
Dem. Vamos mostrar que seja qual for o n umero natural n, existe um n umero primo
maior que n da forma pretendida. Seja entao n um n umero natural maior ou igual a
4 para evitar trivialidades e dena-se
N = (n!)
2
+ 1.
Seja p o menor divisor primo de N. Se N e primo, N = p, e ja da forma pretendida
e maior que n. Se N nao e primo, p > n pois N nao e divisvel por qualquer n umero
menor que n; p > 2 porque N e mpar e p [ (n!)
2
+1; pelo corolario anterior (2.4.2)
p 1 (mod 4). 2
2.5 Congruencias polinomiais
2.5.1 Introducao
Nesta seccao estudamos a resolucao de congruencias da forma
f(x) 0 (mod n) (2.3)
em que f e um polinomio de coecientes inteiros e grau m maior que 1 (mod n):
f(x) = a
0
+a
1
x
1
+ +a
m
x
m
& m > 1 & a
m
, 0 (mod n). (2.4)
O grau de um polinomio f (mod n) designa-se por deg
n
(f). Se f(x) = Z, o grau
de f (mod n) e zero.
O Teorema 2.4.6 e obviamente um caso particular deste estudo.
Comecemos por observar que, para qualquer n > 1 existem congruencias (2.3) &
(2.4) sem solucao; mais precisamente:
Exemplo 2.5.1 Se p e primo e p[n, entao a congruencia x
p
x+1 0 (mod n) nao tem
solu coes. Tal pode vericar-se do seguinte modo: quando p[n,
se x
p
x+1 0 (mod n) tambem x
p
x+1 0 (mod p); mas x
p
x+1 1 , 0 (mod p),
quando p e primo, em virtude do Pequeno Teorema de Fermat; portanto a congruencia
inicial nao tem de facto solucao.
Exemplo 2.5.2 Dois polinomios f(x) e g(x) congruentes (mod n) para todo o x Z
nao tem necessariamente o mesmo grau (mod n): se p e primo, x
p
2
x e x
p
x
sao ambos identicamente nulos (mod p).
A situacao e assim algo complicada mas, tal como a proposito do problema da
resolubilidade algebrica, ha resultados parciais importantes e relativamente simples
1
.
Repare-se que
1
De facto, nem mesmo no caso em que n e primo, se conhecem formulas resolventes gerais para a
congruencia (2.3) & (2.4)
210 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
Teorema 2.5.1 Se dois polinomios f e g tem coecientes do mesmo grau congruentes
(mod n), as congruencias f(x) 0 (mod n) e g(x) 0 (mod n) sao equivalentes.
Assim basta considerar polinomios cujos coecientes estejam entre 0 e n 1.
Dem. Suponha-se que f(x) =

m
i=0
a
i
x
i
e g(x) =

m
i=0
b
i
x
i
, sendo a
i
b
i
(mod n)
para 0 i n. Tomando c
i
=
a
i
b
i
n
vem
f(x) g(x) = n

m
i=0
c
i
x
i
ou seja, f(x) g(x) (mod n) para qualquer x Z, em particular f(x) 0 (mod n) sse g(x)
0 (mod n). 2
De facto, uma aplicacao da regra de Runi mostra que
Teorema 2.5.2 Para qualquer polinomio f(x) como em (2.3) e (2.4) e qualquer a Z,
existe um polinomio q(x), de coecientes inteiros e grau m1, tal que
f(x) = (x a)q(x) +f(a) (x Z).
Daqui decorre
Corolario 2.5.1 Se f(x) e um polinomio como em (2.3) & (2.4) e a Z, entao f(a)
0 (mod n) sse existe um polinomio q(x) de coecientes inteiros, grau m1 (mod n) e
coeciente de maior ordem igual ao de f(x) tal que
f(x) (x a)q(x) (mod n) (x Z). (2.5)
Dem. Se f(a) 0 (mod n), entao n[f(a) e (2.5) resulta imediatamente do teorema
anterior, por denicao de congruencia. Reciprocamente, se vale (2.5),entao como a e
concerteza solucao de (x a)q(x) 0 (mod n) para qualquer x Z, necessariamente
f(a) 0 (mod n). 2
2.5.2 Modulo primo
Convencionemos que p designa um n umero primo. O primeiro facto a registar e que
basta considerar polinomios de grau menor ou igual a p (mod p) :
Teorema 2.5.3 Qualquer congruencia polinomial f(x) 0 (mod p) e equivalente a
outra g(x) 0 (mod p) em que g(x) e um polinomio nulo ou de grau menor ou igual a
p 1 (mod p).
Dem. A ideia e baixar tanto quanto possvel o grau dos monomios envolvidos, uti-
lizando o Pequeno Teorema de Fermat:
Repare-se que, se n = pq +r com 0 r < p, entao
x
n
= (x
p
)
q
x
r
x
q
x
r
= x
q+r
(mod p)
VN 211
Congru encias ITN(2001)
Aplicando sucessivamente esta sequencia de congruencias a cada monomio de f, reduz-
se o expoente de cada um deles a um n umero inferior a p. 2
Tal como para equacoes, o teorema 2.5.2 tem a seguinte consequencia.
Teorema 2.5.4 Se b
1
, b
2
, ..., b
k
sao solucoes da congruencia polinomial
f(x) 0 (mod p) nao congruentes duas a duas, existe um polinomio q(x), cujo coe-
ciente de maior ordem e o mesmo que o de f e tal que
deg
p
(q) deg
p
(f) k & f(x) (x b
1
)(x b
2
) (x b
k
)q(x) (mod p)
Dem. A demonstracao e muito semelhante `a correspondente para equacoes, por uti-
lizacao recursiva da regra de Runi:
Primeiro obtem-se
f(x) (x b
1
)q
1
(x) (mod p)
pelo corolario 2.5.1. Em seguida ha que vericar se
q
1
(b
2
) 0 (mod p) (2.6)
e reaplicar o mesmo corolario, tantas vezes quanto necessario. Repare-se entao que,
por hipotese
0 f(b
2
) (b
2
b
1
)q
1
(b
2
) (mod p),
isto e,
p[(b
2
b
1
)q
1
(b
2
)
e como, tambem por hipotese, p e primo e p ,[(b
1
b
2
), necessariamente p[q
1
(b
2
), ou
seja vale a equacao (2.6). 2
Uma conclusao a retirar e
Corolario 2.5.2 Quando p e primo e f(x) e um polinomio cujos coecientes nao sao
todos nulos (mod p), o n umero de solucoes distintas (mod p) de uma congruencia
polinomial f(x) 0 (mod p) e quando muito deg
p
(f).
Antes de apresentarmos uma demonstracao atentemos no seguinte exemplo.
Exemplo 2.5.3 Se n nao e primo, o n umero de solucoes nao mutuamente congruentes
(mod n) de uma equacao como em (2.3) e (2.4) pode ser superior ao grau de f (mod n):
x
2
1 0 (mod 8) tem solucoes 1, 3, 5, 7.
Dem. (Do corolario 2.5.2) Tomem-se f, q e os b
i
, com 1 i k, como no teorema.
Como q(x) tem o mesmo coeciente de maior ordem que f(x), necessariamente o seu
grau e maior ou igual a zero, portanto
0 deg
p
(q) deg
p
f(x) k i.e. k deg
p
(f).
212 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
2
2.5.3 Modulo potencia de base prima
Veremos como se podem obter as solucoes de uma congruencia
f(x) 0 (mod p
+1
) (2.7)
a partir das da congruencia f(x) 0 (mod p

). De facto vamos provar o seguinte:


Teorema 2.5.5 As solucoes da congruencia
f(x) 0 (mod p
+1
)
sao da forma
x = b +kp

com k Z, (2.8)
sendo
f(b) 0 (mod p

) & f

(b)k
f(b)
p

(mod p) (2.9)
Comecemos com uma Formula de Taylor. Designando por f

a derivada do
polinomio f, denimos tambem
_
f
(0)
= f
f
(i+1)
=
_
f
(i)
_

i Z
+
0
Nestes termos tem-se
Lema 2.5.1 Seja f(x) um polinomio de grau m (mod n) de coecientes inteiros como
em (2.3) & (2.4). Entao
f(x +y) = f(x) +
m

k=1
f
(k)
(x)
k!
y
k
(x, y Z) (2.10)
e os coecientes
f
(k)
(x)
k!
(1 k m) sao n umeros inteiros.
Dem. Como, para quaisquer polinomios f e g e qualquer Z se tem
(f +g)

= f

+g

& (f)

= f,

basta demonstrar o teorema quando f(x) = x


m
e neste caso (2.10) e nada mais nada
menos que uma outra forma de apresentar o desenvolvimento de Newton para (x+y)
m
,
pois
f
(k)
(x) = m(m1) (mk + 1)x
mk
=
m!
(mk)!
x
mk
.
VN 213
Congru encias ITN(2001)
Dem. (Do teorema 2.5.5)
Observe-se que, quando f(x) 0 (mod p
+1
) tambem f(x) 0 (mod p

), pelo que
as solucoes da primeira congruencia se encontram entre as da segunda; resumindo
f(x) 0 (mod p
+1
) f(x) 0 (mod p

) x = b +kp

para algum k Z e algum b Z tal que f(b) 0 (mod p

).
Ora, pelo lema 2.5.1, vem
f(b +kp

) = f(x) +
m

i=1
f
(i)
(b)
i!
(kp

)
i
;
como 1, os termos do segundo membro em que i > 1 sao divisveis por p
+1
, pois
i > 2 = + + 1. Assim
f(b +kp

) f(b) +
f

(b)
1
kp

(mod p
+1
);
mas f(b) 0 (mod p

), pelo que f(b) = tp

, para algum t Z. A situacao a analisar


e entao a seguinte
p

_
t +f

(b)k
_
0 (mod p
+1
)
ou seja
f(b)
p

+f

(b)k 0 (mod p)
como se pretendia vericar. 2
Segue-se uma vericacao mais detalhada da validade da formula (2.9).
Caso f

(b) 0 (mod p). Neste caso a congruencia (2.9) e equivalente a


f(b)
p

0 (mod p)
por sua vez equivalente a
f(b) 0 (mod p
+1
); (2.11)
se esta se nao verica, pura e simplesmente nao ha solucoes; se (2.11) se da, entao,
pelo lema 2.5.1, a equacao (2.8) da-nos solucoes para a congruencia (2.7) seja qual for
k Z.
Caso f

(b) , 0 (mod p). Neste caso a solucao em k de (2.9) e dada por


k f

(b)

f(b)
p

(mod p)
A solucao da congruencia (2.7) e mesmo unica e dada por
x b f

(b)

f(b)
p

(mod p
+1
) com f

(b)

(b) 1 (mod p)
214 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
ou ainda
x b f

(b)

f(b) (mod p
+1
) & f

(b)

(b) 1 (mod p) (2.12)


2
2.5.4 Teorema Chines do Resto
A resolucao de congruencias polinomiais (2.3) & (2.4) pode reduzir-se aos casos que
temos vindo a estudar, como vamos ver. Note-se que para a discussao que segue nao
importa se f(x) e ou nao um polinomio.
Suponhamos entao que n e um n umero natural composto, digamos
n = p

1
1
p

2
2
p

k
k
para certos n umeros primos p
i
.
Generalizando o argumento apresentado no exemplo 2.5.1, observe-se que
f(x) 0 (mod n) f(x) 0 (mod p

i
i
) (1 i k),
pelo que as solucoes da congruencia
f(x) 0 (mod n) (2.13)
se encontram entre as do sistema de congruencias
_
f(x) 0 (mod p

i
i
)
1 i k
Acontece que este sistema e mesmo equivalente `a congruencia (2.13), pois potencias de
primos distintos sao primas entre si e o seu produto divide qualquer n umero dividido
simultaneamente por todas elas (se a[c, b[c e a e b sao primos entre si, entao ab[c.)
Provamos entao o seguinte
Teorema 2.5.6 Se n e um n umero composto de factores de base prima p

i
i
n = p

1
1
p

k
k
,
a congruencia
f(x) 0 (mod n)
e equivalente ao sistema de congruencias
_
f(x) 0 (mod p

i
i
)
1 i k
(2.14)
VN 215
Congru encias ITN(2001)
Vimos ja que algumas congruencias polinomiais f(x) 0 (mod n) nao tem solucao,
mas se todas as do sistema (2.14) tiverem, entao ha de facto solucao e devera ser possvel
determina-la. Utilizaremos o seguinte lema
Lema 2.5.2 (Teorema Chines do Resto) Se m
1
, ..., m
k
sao n umeros naturais pri-
mos entre si dois a dois e b
1
, ..., b
k
sao n umeros inteiros quaisquer, o sistema de con-
gruencias
_
x b
i
(mod m
i
)
1 i k
(2.15)
tem solucao e quaisquer duas solucoes sao congruentes (mod m
1
m
k
).
Dem. Comecemos pela armacao nal.
Se x e y sao solucoes do sistema (2.15), entao x y 0 (mod m
i
) para qualquer
dos m
i
, ou seja, x y e divisvel por qualquer dos m
i
. Como os m
i
sao primos entre si,
o seu produto divide x y, como se pretendia concluir.
Quanto `a existencia de solucao para o sistema: vamos procura-la na forma
x = x
1
b
1
+ +x
k
b
k
(2.16)
de modo que, para cada i,
1. todas as parcelas com possvel excepcao da i-esima sejam divisveis por m
i
,
2. a i-esima parcela seja congruente com b
i
(mod m
i
).
Para vericar a primeira condicao basta que
m

i
=
k

j=1
j=i
m
j
[x
i
;
para vericar a segunda basta que
x
i
1 (mod m
i
)
As duas condicoes sao vericadas simultaneamente se
(m

i
)

i
1 (mod m
i
) & x
i
= (m

i
)

i
(2.17)
Ora cada m

i
e primo com m
i
, portanto os inversos aritmeticos (m

i
)

existem e as
condicoes (2.16) e (2.17) denem uma solucao para o sistema (2.15). 2
216 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
Exemplo 2.5.4 Considere-se a congruencia
x
2
1 0 (mod 108). (2.18)
Como 108 = 2
2
3
3
, pelo teorema 2.5.6, (2.18) e equivalente ao sistema
_
x
2
1 0 (mod 2
2
) (i)
x
2
1 0 (mod 3
3
) (ii)
(2.19)
Por simples inspeccao conclui-se que as solucoes da congruencia (i) sao dadas por
x 1, 1 (mod 2
2
).
Quanto a (ii), vamos utilizar o teorema 2.5.5. O modulo 3
2
e ainda razoavelmente
baixo e, tambem por inspeccao, se podem obter as solucoes
x 1, 1 (mod 3
2
).
Ora f

(x) = 2x donde
f

(1) = 2 1 , 0 (mod 3) & f

(1) = 2 1 , 0 (mod 3).


Ambas as derivadas sao invertveis (mod 3) e nas congruencias em (2.9)
k 0(mod 3), portanto
x
2
1 0 (mod 3
3
) se e so se x 1 (mod 3
3
).
O sistema (2.19) da entao lugar aos sistemas seguintes, que podem ser resolvidos uti-
lizando, por exemplo, o Teorema Chines do Resto 2.5.2, como vimos atras.
(S1)
_
x 1 (mod 2
2
)
x 1 (mod 3
3
)
(S2)
_
x 1 (mod 2
2
)
x 1 (mod 3
3
)
(S3)
_
x 1 (mod 2
2
)
x 1 (mod 3
3
)
(S4)
_
x 1 (mod 2
2
)
x 1 (mod 3
3
)
De um modo geral, as solucoes da congruencia (2.18) sao dadas pela formula
x 3 3
3
(1) + 7 2
2
(1) 81 28 (mod 108)
onde as combinacoes de sinal sao todas as possveis.
Resolvendo detalhadamente (S1): de acordo com a demonstracao de 2.5.2, com
(2.16) e (2.17) tem-se m
1
= 2
2
, m

1
= 3
3
e (m

1
)

1 (mod 2
2
) e tambem m
2
=
3
3
, m

2
= 2
2
e (m

2
)

7 (mod 3
3
). Segue-se que as solucoes de (S1) sao dadas por
x 3 3
3
1 + 7 2
2
1 109 1 (mod 2
2
3
3
).
VN 217
Congru encias ITN(2001)
2.6 Exerccios
1. Mostre que a congruencia y
2
x
2
2 0 (mod 4) nao tem solucoes e conclua
que a equacao Diofantina y
2
x
2
2 = 0 tambem as nao tem.
2. Utilize congruencias modulo 4 para mostrar que se y
2
= x
3
+ 2, entao x e y sao
ambos mpares.
3. Seja f(x) = 11x
3
+ 15x
2
+ 9x 2. Determine o resto da divisao de f(a) por b
para os pares (a, b) seguintes: (2,7), (6,7), (97,11).
4. Mostre que se p e primo, qualquer sequencia de p1 n umeros inteiros consecutivos
que nao inclui m ultiplos de p e um sistema reduzido de resduos (mod p).
5. Calcule (n) para n 28.
6. Mostre que se p e primo e n N, entao (p
n
) = p
n
p
n1
.
7. Resolva as congruencias:
(a) 3x 1 (mod 5);
(b) 3x 9 (mod 5);
(c) 3x 9 (mod 24);
(d) 5x 15 (mod 12);
(e) x
2
+ 1 0 (mod 4);
(f) x
3
+ 2x + 1 0 (mod 7);
(g) x
5
+x
4
+x
3
+x
2
+x 1 (mod 5).
8. Determine os inversos (mod 18) de todos os inteiros que os tem.
9. Qual o inverso de 1975 (mod 2001)?
10. Mostre que uma quarta potencia e congruente com 0 ou 1 (mod 5).
11. Resolva as congruencias
(a) 2x + 3y 5 (mod 7);
(b) x
2
+y
2
5y 2 (mod 9).
12. Seja a
k
10
k
+a
k1
10
k1
+ +a
1
10 +a
0
a expressao decimal do n umero natural
n = a
k
a
k1
a
1
a
0
(0 a
i
9, 0 i k, a
0
,= 0).
(a) Mostre que 11 [ n se e so se 11 [

k
i=0
(1)
i
a
i
;
(b) Verique se 1234567890987654321 e divisvel por 11.
218 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
13. Mostre que se k for mpar, 11
2k
+ 19
2k
e divisvel por 241.
14. Resolva os sistemas de congruencias
(a)
_
2x + 7y 2 (mod 5)
3x + 6y 2 (mod 7)
;
(b)
_
9x + 3y 3 (mod 10)
15x + 2y 4 (mod 15)
;
(c)
_
2x + 7y 2 (mod 5)
3x y 11 (mod 5)
.
15. Verique se as seguintes congruencias tem ou nao solucao e, no caso armativo,
resolva-as.
(a) x
2
1 (mod 17);
(b) x
2
1 (mod 43);
(c) x
2
1 (mod 65).
16. Mostre o recproco do Teorema de Wilson:
Se m N 1 e (m1)! 1 (mod m), entao m e primo.
(Sugestao: Observe que se m > 4 e m nao e primo entao (m1)! 0 (mod m).)
17. Mostre que a equacao Diofantina x
2
+ 1 = 23y nao tem solucoes inteiras.
18. Seja p um n umero primo. Mostre que (a +b)
p
a
p
+b
p
(mod p).
19. Suponha que p e um primo mpar. Mostre que
(a)
(p1)/2

i=1
(2i)
2
(1)
(p+1)/2
(mod p),
(b)
(p1)/2

i=1
(2i 1)
2

(p1)/2

i=1
(2i)
2
(mod p).
20. Reduza o mais possvel o grau dos polinomios nas seguintes congruencias e resolva-
as.
(a) 2x
17
+ 3x
2
+ 1 0 (mod 5);
(b) x
10
+ 2x
5
+ 1 0 (mod 5);
(c) 3x
23
+ 2x
20
+ 4x
17
x
6
+x
5
3x
3
+ 2x + 1 0 (mod 5).
21. Factorize (mod 11) de duas maneiras distintas os polinomios f(x) seguintes, ob-
servando que em cada caso f(a) 0 (mod 11).
VN 219
Congru encias ITN(2001)
(a) f(x) = x
2
+ 10x + 3, a = 6;
(b) f(x) = x
3
x
2
+x + 10, a = 1;
(c) f(x) = x
3
6x
2
2x + 20, a = 3.
22. Factorize (mod 13) o polinomio f(x) = x
4
6x
3
3x
2
7x + 2 com pelo menos
dois factores de primeiro grau.
23. Mostre que o polinomio x
3
+ 3x
2
+ 2x + 2 nao pode ser factorizado (mod 5).
24. Resolva a congruencia x
p

b (mod p) sabendo que p e primo e 1.


25. Resolva os seguintes sistemas de congruencias
(a)
_
_
_
x 3 (mod 7)
x 2 (mod 6)
x 1 (mod 5)
(b)
_
_
_
x 5 (mod 2)
x 1 (mod 3)
x 2 (mod 5)
(c)
_
3x 1 (mod 10)
4x 2 (mod 7)
(d)
_
_
_
3x 2 (mod 4)
2x 7 (mod 15)
4x 1 (mod 7)
26. (a) Suponha que m, n N e que d = mdc(m, n). Mostre que o sistema de
congruencias
_
x a (mod m)
x b (mod n)
tem solucao se e so se a b (mod d) e que, nesse caso, a solucao e unica
(mod mmc(m, n)).
(b) Determine se cada um dos seguintes sistemas de congruencias tem solucao
e, em caso armativo, resolva-o.
i.
_
x 5 (mod 6)
x 7 (mod 10)
ii.
_
x 1 (mod 6)
x 8 (mod 15)
27. Resolva as congruencias:
(a) x
13
x (mod 1365);
(b) x
17
x (mod 4080).
220 VN
Int. ` a Teoria dos N umeros (2001) Congru encias
28. Resolva as seguintes congruencias
(a) x
2
+x + 1 0 (mod 8);
(b) x
3
+x
2
+ 1 0 (mod 24);
(c) x
4
+x
2
+ 1 0 (mod 250).
29. Resolva a congruencia
4x
4
+ 9x
3
5x
2
21x + 61 0 (mod 1125).
Nota: Pretende-se que este seja um exerccio de revisao dos varios temas tratados
sobre congruencias polinomiais.
30. Resolva a congruencia x
50
+x
12
2 (mod 75).
31. Mostre que 5n
3
+ 7n
5
0 (mod 12), para qualquer inteiro n.
32. Determine todos os n umeros inteiros cuja divisao inteira por 8 e por 7 da respec-
tiva e simultaneamente resto 6 e resto 5.
33. Um Coronel apos ter sido destacado para comandar um regimento do Exercito
quis saber por quantos efectivos esse regimento era formado, com esse objectivo
mandou-os dispor sucessivamente em colunas de:
37 indivduos, tendo sobrado um indivduo;
32 indivduos, tendo sobrado 4 indivduos;
27 indivduos, tendo sobrado um indivduo.
Sabendo que um regimento tem menos de 10 000 efectivos, determine quantas
pessoas constituam esse regimento.
34. Um casal resolveu ir fazer uma viagem `a volta do mundo. Sabendo que partiram
no dia 1 de Marco de um ano bissexto num domingo, que chegaram no dia 6 de
Marco, segunda-feira e que demoraram menos de 4 anos, determine quantos dias
demorou a viagem usando o teorema chines do resto.
VN 221
Congru encias ITN(2001)
222 VN
Captulo 3
Resduos quadraticos
3.1 Introducao
Neste captulo, vamos estudar a resolubilidade de congruencias polinomiais de segundo
grau
uy
2
+ vy + w 0 (mod m) (2 < m ,[u)
Repare-se que a condicao 2 < m ,[u evita que o grau do polinomio no primeiro membro
desca. Vamos ver como se pode reduzir este estudo a congruencias da forma
x
2
a (mod p) (p primo maior que 2 & p ,[a) (3.1)
Comecemos por observar que, fazendo a = v
2
4uw, x = 2uy + v, as solucoes da
congruencia inicial se encontram entre as da congruencia
x
2
a (mod 4um), (3.2)
as quais sao solucoes do sistema
_
x
2
a (mod p

i
i
)
1 i k
se 4um = p

1
1
p

k
k
em representacao canonica, resolvendo-se cada uma das con-
gruencias a partir da inicial x
2
a (mod p). Na verdade, se m ,[4u
2
, as solucoes
pretendidas podem encontrar-se entre as da congruencia
x
2
a (mod m), (3.3)
potencialmente com menos solucoes.
Uma outra forma de considerar o problema consiste em observar que, se m e primo,
o inverso (2u)

existe (mod m), := u


2
vw e z
2
(mod m), entao
uy
2
+ vy + w 0 (mod m) u (v z)(2u)

(mod m).
Organizemos o estudo.
301
Resduos quadr aticos ITN(2001)
3.2 Preliminares
O n umero inteiro a diz-se resduo quadratico (mod n) se mdc(a, n) = 1 e a con-
gruencia x
2
a (mod n) tem solucao; caso contrario diz-se resduo nao quadratico.
Em primeiro lugar: se a Z e resduo quadratico (mod m), entao e resduo
quadratico (mod p), para qualquer n umero primo que divida m. Pelo que as solucoes
de x
2
a (mod m) se encontram entre as do sistema
_
x
2
a (mod p)
p[m p primo
Alem disso qualquer n umero inteiro mpar e resduo quadratico (mod 2); assim basta
considerar primos mpares. Mas podemos ser mais precisos.
Lema 3.2.1 Se p e n umero primo mpar e p ,[a, a congruencia
x
2
a (mod p

) (3.4)
tem solucao sse o mesmo acontece com
x
2
a (mod p
+1
). (3.5)
De facto, ambas as congruencias tem o mesmo n umero de solucoes.
Dem. (se) Qualquer solucao da congruencia (3.5)e solucao de (3.4).
(so se) Se x
2
a (mod p

) e (2x)

designa um inverso de 2x (mod p), entao


(x +kp

)
2
a (mod p
+1
) se k k(x) = (2x)

x
2
a
p

(mod p), (3.6)


pois a ultima expressao implica
2xkp

x
2
a (mod p
+1
).
Finalmente observe-se que duas solucoes da forma (3.6) da congruencia (3.5) que
sejam congruentes (mod p
+1
) provem de solucoes congruentes (mod p

) da primeira.
Resumindo: ha uma injeccao do conjunto das solucoes de (3.4) no das solucoes de (3.5)
que, por sua vez esta contido naquele, i.e., sao equipotentes. 2
Segue-se
Corolario 3.2.1 Se p e um n umero primo mpar e p ,[a, o n umero de solucoes das
congruencias x
2
a (mod p) & x
2
a (mod p
+1
) e o mesmo.
E podemos concluir
302 VN
Int. ` a Teoria dos N umeros (2001) Resduos quadr aticos
Teorema 3.2.1 Se m e mpar e maior que 2, a e resduo quadratico (mod m) sse e
resduo quadratico (mod p), para todos os n umeros primos p que dividem m.
Um outro resultado que interessa ter em conta e:
Teorema 3.2.2 Se p e n umero primo mpar, ha
p1
2
resduos quadraticos (mod p)
que sao os elementos de i
2
[ 1 i
p1
2
.
Dem. veriquemos que os resduos descritos nao sao congruentes (mod p). Ora
i
2
j
2
(mod p) sse p[i j ou p[i + j, isto e, sse i j ou i j (mod p); mas, para
valores de i e j entre 1 e
p1
2
, estas condicoes sao equivalentes a i = j. Como os resduos
entre
p+1
2
e p sao simetricos (mod p) dos ja considerados, tem os mesmos quadrados
(mod p) e descrevemos de facto todos os resduos quadraticos (mod p). 2

E claro que 1 e sempre resduo quadratico. Mais precisamente


Lema 3.2.2 Se p e n umero primo,
x
2
1 (mod p) [x 1 (mod p) ou x 1 (mod p)]
3.3 Lei de Reciprocidade Quadratica
Osmbolo de Legendre
_
a
p
_
e um instrumento de determinacao do caracter quadratico
do n umero inteiro ou resduo a (mod p) e dene-se do seguinte modo
_
a
p
_
=
_

_
0 p [ a
1 a e quadr atico (mod p)
1 caso contr ario
(p e primo) (3.7)

E bastante simples vericar que


Teorema 3.3.1 Se p ,[a & p ,[b & a b (mod p), entao
_
a
p
_
=
_
b
p
_
Desenvolvamos algumas tecnicas de calculo
Teorema 3.3.2 (Criterio de Euler) Se p e primo mpar e p ,[a, entao
_
a
p
_
a
p1
2
(mod p) (3.8)
Dem.
I) a e resduo quadratico.
VN 303
Resduos quadr aticos ITN(2001)
Neste caso temos, por um lado x
2
a (mod p), para algum x, pelo que p ,[x, e da
_
a
p
_
= 1 x
p1
(x
2
)
p1
2
a
p1
2
(mod p).
II) a nao e resduo quadratico
Repare-se que, pelo Pequeno Teorema de Fermat,
(a
p1
2
)
2
1 (mod p);
pelo que (lema 3.2.2)
a
p1
2
1 (mod p).
Dena-se
Q
p
:= i
2
[ 1 i
p 1
2
;
Como x
p1
2
1 (mod p) para qualquer x Q
p
e Q
p
tem precisamente
p1
2
elementos,
pelo Teorema de Lagrange (2.5.2), a , Q
p
; consequentemente
_
a
p
_
= 1 a
p1
2
(mod p).
2
Obtem-se entao
Corolario 3.3.1 Se p e um n umero primo mpar , entao
1.
_
ab
p
_
=
_
a
p
__
b
p
_
(p ,[a & p ,[b)
2.
_
1
p
_
= (1)
p1
2
3. 1 e resduo quadratico (mod p), sse p = 2 ou p 1 (mod 4)
A terceira assercao e ja conhecida (teorema 2.4.6); a segunda e a primeira resultam
de o smbolo de Legendre so tomar os valores 0, 1 ou 1 e por aplicacao do criterio de
Euler.
Dado n N1, 2, seja
L
n
=
_

_
i Z[ [i[
n
2
se n e

impar
i Z[ [i[ <
n
2

n
2
se n e par.
L
n
e o sistema completo de resduos (mod n), de menor valor absoluto. Para cada
x Z e cada n N, designe-se por x o resduo em L
n
congruente com x (mod n).
304 VN
Int. ` a Teoria dos N umeros (2001) Resduos quadr aticos
Teorema 3.3.3 (Lema de Gauss) Se p e um n umero primo mpar que nao divide a
e l = #j[ 1 j
p1
2
&

ja < 0, entao
_
a
p
_
= (1)
l
.
Dem. Como p ,[a, a funcao i

ia e uma permutacao de i Z[ 1 [i[
p1
2
, em
particular, #

ia[ 1 i
p1
2

[

ja[ : 1 j
p1
2
= 1, 2, ,
p1
2
, pelo que, por um lado
p1
2

j=1

ja = (1)
l
_
p 1
2
_
!
e por outro
p1
2

j=1

ja a
p1
2
_
p 1
2
_
! (mod p);
considerando o criterio de Euler (teorema 3.3.2)
_
a
p
_
a
p1
2
(1)
l
e
_
a
p
_
= (1)
l
. 2
Corolario 3.3.2 Quando p e um n umero primo mpar,
_
2
p
_
= (1)
p
2
1
8
e, consequentemente: 2 e resduo quadratico (mod p) sse p 1 (mod 8).
Dem. Para 1 j
p1
2
tem-se
_

2j = 2j 1 j
p1
4

2j = 2j p
p1
4
< j
p1
2
portanto o n umero l do lema de Gauss verica
l =
p 1
2

_
p 1
4
_
VN 305
Resduos quadr aticos ITN(2001)
e o segundo membro tem a mesma paridade que
p
2
1
8
, como se pode ver observando
que p 1 (mod 4), portanto para certos k Z, vem
p 1
2

_
p 1
4
_
= k &
p
2
1
8
= 2k
2
+k
ou
p 1
2

_
p 1
4
_
= 2k 1 [k
1
2
] = k &
p
2
1
8
= 2k
2
k
2
Teorema 3.3.4 (Lei de Reciprocidade Quadratica) Se p e q sao n umeros primos
mpares entao
_
p
q
__
q
p
_
= (1)
(p1)(q1)
4
Por outras palavras: se dois n umeros primos mpares sao congruentes com 3 (mod 4),
entao um e um so deles e resduo quadratico mod o outro; caso contrario, qualquer deles
e ou nenhum e resduo quadratico mod o outro.
Dem. Considere-se a gura 3.3.
Lei de Reciprocidade Quadratica.
6
- x

y
x
u
u
u
u
p
2
q
2
1
2
1
2
[
1
2
q < px qy < 0 C
pq
]
-
[C
qp

1
2
p < qy px < 0]

px qy
1
2
q
qy px
1
2
p
Figura 3.1: O rectangulo R.
306 VN
Int. ` a Teoria dos N umeros (2001) Resduos quadr aticos
Sejam
C
pq
= x Z[ 1 x
q 1
2
&
q 1
2
px < 0 (mod q)
C
qp
= y Z[ 1 y
p 1
2
&
p 1
2
qy < 0 (mod p)
l = #C
pq
m = #C
qp
Pelo Lema de Gauss (teorema 3.3.3),
_
p
q
__
q
p
_
= (1)
l+m
Portanto basta mostrar que
l +m e
(p 1)(q 1)
4
t em a mesma paridade. (3.9)
Ora, para cada x C
pq
existe um e so um y Z tal que
q1
2
px qy < 0 e
simultaneamente 0 < y <
p
2
(repare-se que p e mpar). Segue-se que
C
pq
= (x, y) Z
2
[ 0 < x <
1
2
q & 0 < y <
1
2
p &
1
2
q < px qy < 0
Analogamente
C
qp
= (x, y) Z
2
[ 0 < x <
1
2
q & 0 < y <
1
2
p &
1
2
p < qy px < 0
Se
R = (x, y) Z
2
[ 0 < x <
1
2
q & 0 < y <
1
2
p,
entao #R =
(q1)(p1)
4
e #R (l +m) e o n umero de pares (x, y) R tais que

1
2
q < px qy < 0 ou
1
2
p < qy px < 0;
estas condicoes denem dois conjuntos dijuntos equipotentes pois
(x, y)
1
2
(q + 1, p + 1) (x

, y

)
dene uma bijeccao entre eles. Conclui-se que vale a condicao (3.9). 2
VN 307
Resduos quadr aticos ITN(2001)
3.4 Exerccios
1. Determine todos os n umeros primosmpares p para os quais 3 e resduo quadratico
(mod p).
2. Determine todos os n umeros primos mpares p para os quais 7 e resduo quadratico
(mod p).
3. Seja p um primo mpar. Prove que 5 e um resduo quadratico (mod p) se p
1(mod 10) e nao e resduo quadratico (mod p) se p 3(mod 10).
4. Encontre todos os resduos quadraticos (mod 29).
5. Calcule os seguintes smbolos de Legendre:
(a)
_
2
29
_
,
_
1
29
_
,
_
5
29
_
,
_
11
29
_
;
(b)
_
2
127
_
,
_
1
127
_
,
_
5
127
_
,
_
11
127
_
.
6. Determine, caso existam, as solucoes das seguintes congruencias quadraticas.
(a) 5x
2
+ 4x + 7 0 (mod 19).
(b) 7x
2
+x + 11 0 (mod 17).
(c) 2x
2
+ 7x 13 0 (mod 61).
7. Prove que 19 nao divide 4n
2
+ 4 para qualquer n umero inteiro n.
8. Encontre os n umeros primos p < 100 tais que a congruencia quadratica
x
2
+x 3 0 (mod p)
tem solucao.
9. Resolva a congruencia quadratica x
2
+x 10 0 (mod 2
4
)
10. Determine os valores de n para os quais 1 e resduo quadratico (mod n).
11. Procure as solucoes da congruencia quadratica x
2
7 (mod 513)
12. Verique se 43 e um resduo quadratico (mod 923).
13. Geradores de n umeros primos.
(a) Mostre que n
2
n + 41 e primo quando 1 n 40, mas nao para n = 41.
(b) Mostre que n
2
79n + 1061 e primo quando 1 n 79, mas nao para
n = 80.
308 VN
Int. ` a Teoria dos N umeros (2001) Resduos quadr aticos
(c) Mostre que n
2
81n + 1681 e primo quando 1 n 80, mas nao para
n = 81.
Sugestao: Utilize o smbolo de Legendre para resduos quadraticos.
14. (a) Mostre que para todos N e n Z, mdc(n, 2

) = 1 se e so se mdc(n, 2) =
1.
(b) Mostre que para todos N e n Z, (2

n)
2
n
2
(mod 2

).
(c) Mostre que para todos N, 2 e n Z, (2
1
n)
2
n
2
(mod 2

).
(d) Calcule todos os resduos quadraticos modulo 2, 4 e 8.
(e) Mostre que para todos N, 3 e n Z, se n 1 (mod 8), entao
[n]
2
Q
2
.
(f) Mostre que para todos N, 3 e n Z, se [n]
2
Q
2
, entao
n 1 (mod 8).
15. Seja f(x) um polinomio de coecientes inteiros. Prove que

x(mod p)
_
f(ax +b)
p
_
=

x(mod p)
_
f(x)
p
_
, se mdc(a, p) = 1

x(mod p)
_
af(x)
p
_
=
_
a
p
_

x(mod p)
_
f(x)
p
_
, para todo a.
16. Prove que se mdc(a, p) = 1 entao
p1

x=0
_
ax +b
p
_
= 0.
17. Seja f(x) = x(ax +b), onde mdc(a, p) = mdc(b, p) = 1. Prove que:
p1

x=1
_
f(x)
p
_
=
p1

x=1
_
a +bx
p
_
=
_
a
p
_
.
18. Sejam , n umeros inteiros de valores possveis 1. Seja N(, ) o n umero de
inteiros x no conjunto 1, 2, . . . , p 2 tais que
_
x
p
_
= ,
_
x + 1
p
_
= ,
onde p e um primo mpar. Prove que
VN 309
Resduos quadr aticos ITN(2001)
4N(, ) =
p2

x=1
1 +
_
x
p
_
1 +
_
x + 1
p
_

e deduza
4N(, ) = p 2
_
1
p
_
.
19. Use o exerccio anterior para provar que para cada primo p existem inteiros x, y
tais que x
2
+y
2
+ 1 0 (mod p).
310 VN
Captulo 4
Equacoes Diofantinas
Neste captulo vamos estudar a resolucao em Z de algumas equacoes Diofantinas da
forma
ax
m
+by
m
= cz
k
m, n, k Z
De um modo geral designaremos por solucoes triviais as que tem pelo menos uma
das coordenadas zero.
4.1 Ternos Pitagoricos
Um terno pitagorico e um terno ordenado (x, y, z) de n umeros inteiros tal que
x
2
+ y
2
= z
2
. (4.1)

E bastante simples vericar que os ternos pitagoricos triviais sao os que tem pelo
menos uma das primeiras coordenadas zero e as outras duas iguais ou simetricas. As
solucoes nao triviais de (4.1) sao caracterizadas pelo seguinte teorema.
Teorema 4.1.1 O terno ordenado de n umeros inteiros (x, y, z) e pitagorico sse e trivial
ou existem a, b, d N vericando simultaneamente as seguintes condicoes.
1. b < a
2. mdc(a, b) = 1
3. [z[ = (a
2
+b
2
)d
4.
_
[x[ = 2abd & [y[ = (a
2
b
2
)d

ou
_
[x[ = (a
2
b
2
)d & [y[ = 2abd

Esta parte do texto e essencialmente dedicada `a demonstracao deste teorema.


Comecemos por notar que se tem o seguinte
Lema 4.1.1 O terno (x, y, z) e pitagorico sse o mesmo acontece
com ([x[, [y[, [z[).
401
Equac oes Diofantinas ITN(2001)
Assim vamos limitar-nos a caracterizar as solucoes nao triviais da equacao (4.1) em
que todas as coordenadas sejam positivas, ou seja, vamos de facto passar a demonstrar
Teorema 4.1.2 O terno ordenado de n umeros naturais (x, y, z) e pitagorico sse exis-
tem a, b, d N vericando simultaneamente as seguintes condicoes.
1. b < a
2. mdc(a, b) = 1
3. z = (a
2
+b
2
)d
4.
_
x = 2abd & y = (a
2
b
2
)d

ou
_
x = (a
2
b
2
)d & y = 2abd

Calculos muito simples mostram que as quatro condicoes enunciadas no teorema


sao sucientes para que (x, y, z) seja um terno pitagorico nao trivial. Veremos que sao
tambem necessarias.
Considere-se o seguinte lema.
Lema 4.1.2 Para quaisquer n umeros naturais m e n, m
2
[n
2
sse m[n.
Dem.

E imediato que m[n m
2
[n
2
, para quaisquer m, n Z. A implicacao recproca,
baseia-se em que um n umero primo divide um quadrado se e so se divide a base e no
facto de todos os factores de base prima na decomposicao canonica (Teorema Funda-
mental) de um quadrado perfeito terem expoente par. 2
Como consequencia tem-se
Lema 4.1.3 Se (x, y, z) e um terno pitagorico de n umeros naturais, entao
mdc(x, y, z) = mdc(x, y) = mdc(x, z) = mdc(y, z).
Dem. Sejam (x, y, z) um terno pitagorico de n umeros naturais, d = mdc(x, y, z) e, por
exemplo d
1
= mdc(x, z). Queremos mostrar que
d = d
1
.
Comecemos por observar que
mdc(x, y, z) := mdc(mdc(x, y), z) = mdc(x, mdc(y, z)) = mdc(y, mdc(x, z)),
de onde se obtem, em particular, d = mdc(y, d
1
). Como y
2
= z
2
x
2
, tambem d
2
1
[y
2
e,
pelo lema 4.1.2, d
1
[y; mas entao d
1
= d. 2
Digamos que um terno pitagorico (x, y, z) e primitivo se
x, y, z N & mdc(x, y, z) = 1.
Do lema anterior (lema 4.1.3), resulta imediatamente o seguinte teorema.
402 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
Teorema 4.1.3 As condicoes seguintes sao equivalentes para um terno
pitagorico (x, y, z)
1. (x, y, z) e primitivo.
2. Duas das coordenadas do terno sao primas entre si.
3. As coordenadas do terno sao primas entre si duas a duas.
E deste pode obter-se ainda:
Teorema 4.1.4 Dado o terno pitagorico (x, y, z) N
3
, se
d N & x = du & y = dv & z = dw (4.2)
entao d = mdc(x, y, z) sse (u, v, w) e terno pitagorico primitivo.
Dem. Suponha-se que (x, y, z), (u, v, w) e d sao dados como em (4.2).
(se) Por hipotese (u, v, w) e terno pitagorico primitivo e d[x, y, z. Vamos ver que d =
mdc(x, y), o que, pelo lema 4.1.3, arrasta d = mdc(x, y, z). Ora, por hipotese e pelo
lema 4.1.3, mdc(u, v) = mdc(
x
d
,
y
d
) = 1, pelo que d = mdc(x, y), como se pretendia
mostrar.
(so se) Tem-se
(du)
2
+ (dv)
2
= (dw)
2
;
dividindo por d
2
conclui-se que (u, v, w) e terno pitagorico; mais uma vez utilizando o
lema 4.1.3, tambem se conclui que (u, v, w) e primitivo. 2
Resumindo:
Teorema 4.1.5

E condicao necessaria e suciente para que o terno de
n umeros naturais (x, y, z) seja pitagorico que exista um terno pitagorico primitivo
(u, v, w) e um n umero natural d tais que
x = du & y = dv & z = dw (4.3)
e neste caso d = mdc(x, y, z).
Passamos entao `a caracterizacao dos ternos pitagoricos primitivos.
Teorema 4.1.6 Para que o terno ordenado de n umeros naturais (x, y, z) seja pita-
gorico primitivo e condicao necessaria e suciente que existam a, b N vericando
simultaneamente as seguintes condicoes.
1. a e b tem paridades distintas
2. b < a
VN 403
Equac oes Diofantinas ITN(2001)
3. mdc(a, b) = 1
4. z = a
2
+b
2
5. [x = 2ab & y = a
2
b
2
] ou [x = a
2
b
2
& y = 2ab]
Dem. Comecamos com duas observacoes importantes. Uma cuja demonstracao se
deixa ao cuidado do leitor
Lema 4.1.4 A soma de dois quadrados de n umeros mpares nao e divisvel por 4.
e outra que demonstramos
Lema 4.1.5 Se (x, y, z) e terno pitagorico primitivo, entao x e y tem paridades difer-
entes.
Dem. (do lema 4.1.5) Pelo lema 4.1.3, x e y nao podem ser ambos pares e, pelo
lema anterior (4.1.4), nao podem ser ambos mpares pois nesses casos z
2
seria par e
consequentemente divisvel por 4 e soma de dois quadrados de n umeros mpares. 2
Lema 4.1.6 Para quaisquer n umeros naturais a e b primos entre si, tais que b < a.
Tem-se uma das situacoes seguintes
1. a e b tem paridades distintas e nesse caso (2ab, a
2
b
2
, a
2
+ b
2
) e
(a
2
b
2
, 2ab, a
2
+b
2
) sao ternos pitagoricos primitivos.
2. a e b sao ambos mpares e nesse caso (ab,
a
2
b
2
2
,
a
2
+b
2
2
) e (
a
2
b
2
2
, ab,
a
2
+b
2
2
) sao
ternos pitagoricos primitivos.
Dem. Como a e b sao primos entre si, nao podem ser ambos pares, da que as hipoteses
apresentadas esgotam as possibilidades. Alguns calculos simples mostram que os ternos
em estudo sao pitagoricos. Observe-se que no caso 2, como a e b sao ambos mpares, a
diferenca e a soma de quadrados sao ambas pares.
Suponha-se entao que
mdc(a, b) = 1 & b < a & d = mdc(2ab, a
2
b
2
, a
2
+b
2
).
Vamos ver que no primeiro caso d = 1 e no segundo d = 2, o que, em vista do teorema
4.1.4, permite retirar as conclusoes descritas.
1. Como a e b tem paridades diferentes, um e par e outro e mpar de modo que a
2
+b
2
e mpar, ou seja 2 ,[(a
2
+ b
2
) e consequentemente 2 ,[d. Assim, se p for um n umero
primo que divide d, ter-se-a
p ,= 2 & p[ab & p[(a +b)(a b) & p[a
2
+b
2
.
404 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
Se p[a e p[a+b, entao p[b. Ora nao ha divisores primos comuns a a e b, donde d nao tem
divisores primos, isto e, d = 1. Analogamente se estudam os casos em que p[a & p[ab
ou p[b & p[a +b ou p[b & p[a b.
2. Vejamos que d
1
= mdc(
a
2
b
2
2
,
a
2
+b
2
2
) = 1. Como d
1
N, d
1
[
a
2
b
2
2
e d
1
[
a
2
+b
2
2
,
somando ou subtraindo adequadamente, conclui-se que
d
1
[a
2
& d
1
[b
2
pelo que se p fosse divisor primo de d
1
, p seria divisor comum de a e de b, o que e
impossvel por estes serem n umeros primos entre si; mas entao d
1
= 1, por ser um
n umero natural sem divisores primos; segue-se mdc(a
2
b
2
, a
2
+ b
2
) = 2 e, como
2[2ab, d = 2. 2
Continuando a demonstracao do teorema 4.1.6:
Provamos no lema 4.1.6.1 que as condicoes do enunciado produzem ternos pitago-
ricos primitivos, ou seja formam uma condicao suciente como se pretende. Vejamos
que formam tambem uma condicao necessaria.
Seja (x, y, z) um terno pitagorico primitivo. Pelo lema 4.1.5, x e y tem paridades
diferentes. Digamos que x e par (e y e mpar), por exemplo
x = 2k. (4.4)
Tem-se
2[(2k)
2
= x
2
= z
2
y
2
= (z y)(z +y) (4.5)
Pelo que 2[z y ou 2[z +y; em qualquer caso,
2[z y & 2[z +y
pois ambos os factores tem a mesma paridade. Segue-se que, para certos n umeros
naturais u e v se tem
z y = 2u & z +y = 2v & u < v. (4.6)
Resulta daqui, pela equacao (4.5), que
k
2
= uv (4.7)
Vejamos que
u e v s ao primos entre si : (4.8)
Se p fosse um n umero primo divisor simultaneo de u e v, entao ter-se-ia, pela condicao
(4.6)
p[u +v = z & p[v u = y;
VN 405
Equac oes Diofantinas ITN(2001)
mas entao (x, y, z) nao seria primitivo pelo lema 4.1.3, pois p[mdc(y, z); assim neces-
sariamente se da (4.8). Mas entao resulta da equacao (4.7) que u, e v sao por sua vez
quadrados perfeitos e, para certos a, b N tem-se, ainda por (4.6),
u = b
2
& v = a
2
& b < a & mdc(a, b) = 1
E concluimos com a equacao (4.4)
x = 2ab & y = a
2
b
2
& z = a
2
+b
2
.
tendo-se ainda que a e b tem paridades distintas pois, caso contrario, x e y seriam
ambos pares.
O caso em x e mpar (e y e par) tratar-se-ia de modo analogo, dando lugar `a outra
possibilidade em 5 no lema 4.1.6. 2
Resumindo: o teorema 4.1.2 caraceriza os ternos pitagoricos de n umeros
naturais como m ultiplos naturais de ternos que se prova serem os unicos primitivos; os
ternos pitagoricos em Z serao entao obtidos de ternos em N por variacoes de sinal nas
coordenadas (lema 4.1.1).
4.2 Somas de duas quartas potencias
Demonstraremos o seguinte:
Teorema 4.2.1
x
4
+ y
4
= z
2
so tem solucoes triviais.
Entendendo solucoes triviais como aquelas em que uma das coordenadas x ou y e
nula.
Dem. Suponhamos que existem de facto solucoes nao triviais e, portanto existem
n umeros inteiros u, v, w para os quais
u
4
+v
4
= w
2
& u ,= 0 & v ,= 0 & w > 0.
De outro modo
C := z N[ x N y N x
4
+y
4
= z
2
, = . (4.9)
Assim sendo (u
2
, v
2
, w) e terno pitagorico; como, se mdc(u, v) = d, entao
(
u
2
d
2
,
v
2
d
2
,
w
d
2
) seria terno pitagorico primitivo e (
u
d
,
v
d
,
w
d
) C, podemos supor que (u
2
, v
2
, w)
406 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
e primitivo, pelo que, pelo teorema 4.1.6, possivelmente trocando u com v, existem
n umeros naturais a, b tais que
a e b t em paridades distintas, (4.10)
a > b, (4.11)
mdc(a, b) = 1, (4.12)
w = a
2
+b
2
, (4.13)
u
2
= 2ab, (4.14)
v
2
= a
2
b
2
; (4.15)
admitamos que valem estas mesmas condicoes. Em primeiro lugar, por (4.10),
a e

impar e b e par, (4.16)
porque se a fosse par, viria
v
2
= a
2
b
2
b
2
1 (mod 4),
o que nao pode acontecer porque v e mpar e da v
2
1 (mod 4). Ora a
2
= v
2
+ b
2
,
por (4.15), e (v, b, a) e terno pitagorico primitivo, por (4.12). Por (4.16) e pelo teorema
4.1.6, existem n umeros naturais s e t tais que
s e t t em paridades distintas,
s > t,
mdc(s, t) = 1, (4.17)
a = s
2
+t
2
, (4.18)
b = 2st, (4.19)
v = s
2
t
2
; (4.20)
mas entao, por (4.14)
u
2
= 2ab = 4st(s
2
+t
2
) (4.21)
e, como s e t sao primos entre si, por (4.17), o mesmo acontece com s e s
2
+ t
2
e t
e s
2
+ t
2
, portanto s, t e s
2
+ t
2
sao quadrados perfeitos, digamos que, para certos
n umeros inteiros x, y e z, que podemos supor nao negativos,
s = x
2
& t = y
2
& s
2
+t
2
= z
2
(4.22)
e portanto
x
4
+ y
4
= z
2
,
ou seja
(x, y, z) C. (4.23)
VN 407
Equac oes Diofantinas ITN(2001)
Vamos ver que
0 < z < w. (4.24)
Se s = 0 = t, entao u = v = 0, por (4.20) e (4.21), o que nao acontece, portanto
0 < s
2
+t
2
= z
2
e z > 0 porque estamos a supor que z nao e negativo; por outro lado,
por (4.22), (4.18) e (4.13)
z < z
2
= s
2
+t
2
= a < a
2
+b
2
= w.
Por (4.23) e (4.24), deduzimos que C nao tem mnimo; tal nao pode acontecer se se
verica (4.9), portanto C = e o teorema ca demonstrado. 2
4.3 Somas de dois quadrados
Vamos caracterizar agora as solucoes da equacao
x
2
+ y
2
= n (0 n Z) (4.25)
Comecemos por vericar que ela nao tem sempre solucao.
Exemplo 4.3.1 Pode vericar-se por tentativas que a equacao x
2
+ y
2
= 7 nao tem
solucao em Z: como 7 nao e um quadrado perfeito,nao ha solucoes triviais; por outro
lado, as unicas expressoes de 7 como soma de dois n umeros naturais sao 1+6, 2+5, 3+4
e suas comutadas e 2, 3, 5 e 6 tambem nao sao quadrados perfeitos.
Veremos de que maneira a existencia de solucao inteira para (4.25) depende da
natureza de n.
Denicao 4.3.1 Um n umero natural n e simples se n = 1 ou n verica a seguinte
condicao: Se p e um n umero primo
p[n p
2
,[n & [p = 2 ou p 1 (mod 4)]
Vamos demonstrar o seguinte:
Teorema 4.3.1 A equacao (4.25) tem solucao sse existem s, n
0
N tais que n
0
e
simples e n = s
2
n
0
.
Comecemos por observar que o exemplo 4.3.1 nao e excepcional.
Lema 4.3.1 Se n 3 (mod 4), entao n nao e soma de dois quadrados.
Dem. Um quadrado e congruente com 0 ou 1 (mod 4) consoante a base e par oumpar,
pelo que uma soma de dois quadrados e congruente com 0, 1 ou 2 (mod 4). 2
O exemplo seguinte tambem nao e acidental
408 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
Exemplo 4.3.2 5 = 1 + 4 = 1
2
+ 2
2
Lema 4.3.2 Um n umero primo p e soma de dois quadrados sse p = 2 ou
p 1 (mod 4).
Dem. (so se) Suponha-se que p e soma de dois quadrados, entao pelo lema 4.3.1,
p , 3 (mod 4). Ora os n umeros congruentes com 0 ou 2 (mod 4) sao pares, pelo que p,
sendo primo e par so pode ser 2, e se for mpar, so resta p 1 (mod 4).
(se) Se p = 2 entao p = 1
2
+ 1
2
. Vejamos o caso
p 1 (mod 4). (4.26)
Em primeiro lugar tem-se
t N x Z
_
x
2
+ 1 = tp & [x[
p 1
2
<
p
2
_
(4.27)
pois a equacao em (4.27) e equivalente `a congruencia x
2
+ 1 0 (mod p), que tem
solucao por (4.26), podendo esta ser determinada pelo sistema completo de resduos
(mod p)

p1
2
+i : 0 i p 1
onde os resduos tem valor absoluto majorado como descrito em (4.27). Como 1 = 1
2
,
tem-se que
C
p
= t N : tp e soma de dois quadrados , =
De (4.27) deduz-se tambem
minC
p
< p (4.28)
pois se t C
p
, entao
t =
x
2
+ 1
p

p
2
4
+ 1
p
=
p
4
+
1
p
<
p
4
+
p
2
< p
Na verdade
minC
p
= 1 (4.29)
como se pode ver do seguinte modo: suponha-se que, pelo contrario,
1 < k = minC
p
& kp = a
2
+b
2
(4.30)
Por um lado tem-se
x, y Z mN [x ,= 0 ou y ,= 0] & [x[, [y[
k
2
& mk = x
2
+y
2
(4.31)
pois, por um lado, podemos tomar x a (mod k) e y b (mod k) no sistema completo
de resduos (mod k)
k
2
+1+i : 0 i k1 se k e par, ou
k1
2
+i : 0 i k1
se k e mpar, vericando-se as inequacoes em (4.31); por outro lado, x e y nao podem
VN 409
Equac oes Diofantinas ITN(2001)
ser nulos simultaneamente, ja que, se x = 0 = y, entao a 0 b (mod k), pelo que a
2

0 b
2
(mod k
2
); mas entao
ter-se-ia kp = a
2
+ b
2
0 (mod k
2
) ou seja kp = k
2
para algum Z, de onde
se concluiria k[p, o que e impossvel por (4.28). Assim, sob a hipotese (4.30), tambem
0 kp = a
2
+ b
2
x
2
+ y
2
(mod k), isto e, x
2
+ y
2
= mk para algum m N, cando
demonstrado (4.31) tambem sob a hipotese (4.30).
Mas podemos ser mais precisos ainda: nas condicoes (4.30)
m < k, (4.32)
pois
m =
x
2
+y
2
k

2k
2
/4
k
=
k
2
< k.
Vamos ainda poder concluir que
u, v Z u
2
+v
2
= mp, (4.33)
o que, junto com (4.32) esta em contradicao com a denicao de k em (4.30), seguindo-se
que nao pode ter-se k > 1, ou seja vale (4.29) como se pretendia provar. Deduzamos
entao (4.33):
k
2
mp = (kp)(mk) = (ay bx)
2
+ (ax +by)
2
Como x e y foram escolhidos de modo que x a (mod k) e y b (mod k), deduz-se
que
ax +by a
2
+b
2
0 (mod k) & k[ax +by
e tambem
ay bx ab ba = 0 (mod k) & k[ay bx.
Segue-se que
mp =
_
ay bx
k
_
2
+
_
ax +by
k
_
2
e as duas fraccoes do segundo membro sao os u e v que procuravamos para
deduzir (4.33).
O lema 4.3.2 esta demonstrado. 2
Para terminarmos a demonstracao do teorema 4.3.1, interessa ter presente que
Lema 4.3.3 Se dois n umeros naturais sao somas de dois quadrados, o seu produto
tambem e.
Dem. Basta lembrar a formula (do quadrado do valor absoluto) do produto dois
n umeros complexos
1
na forma algebrica: se m = a
2
+ b
2
e n = c
2
+ d
2
, entao mn =
(ac bd)
2
+ (ad +bc)
2
2
1
Veja-se a proposito (8.2)
410 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
Dem. (do teorema 4.3.1)
(se) Suponhamos entao que n = s
2
n
0
, em que n
0
e simples. Se n
0
= 1, imediatamente
se tem n = s
2
+ 0
2
. Se, para n umeros primos distintos p
i
, n
0
= p
1
p
k
, sendo pos-
sivelmente algum dos primos igual a 2 e os restantes congruentes com 1 (mod 4), pelo
lema anterior (lema 4.3.3) e pelo lema 4.3.2, tem-se
n = s
2
(a
2
+ b
2
) = (sa)
2
+ (sb)
2
.
(so se) Suponha-se que n e soma de dois quadrados. Se n = s
2
+ 0
2
, o teorema vale
com n
0
= 1. Se n nao e um quadrado, escreva-se
n = a
2
+b
2
=
k

i=1
q

i
i

r

i=1
q

k+i
k+i
em que os q
i
sao primos distintos, os
i
sao pares se 1 i k e mpares se k < i k+r,
digamos

k+i
= 2
i
+ 1 (1 i r).
e faca-se
s
2
=
k

i=1
q

i
i

r

i=1
q
2
i
k+i
& n
0
=
r

i=1
q
k+i
.
Falta vericar que os q
k+i
= p
i
sao 2 ou congruentes com 1 (mod 4). Suponhamos que
nao e portanto, reordenando convenientemente,
p
1
3 (mod 4)
Repare-se que n = a
2
+b
2
0 (mod p
1
), portanto
p
1
[a,
ja que, caso contrario, a teria inverso a

(mod p
1
), e viria 1 + (a

b)
2
0 (mod p
1
), o
que e imposs

ivel porque p
1
, 1 (mod 4). Analogamente se conclui que
p
1
[b
e portanto
p
2
1
[a
2
+b
2
= n.
Como p
1
e distinto dos outros p
i
, p
1
[s; segue-se que
n
p
1
2
=
_
a
p
1
_
2
+
_
b
p
1
_
2
=
_
s
p
1
_
2
p
1
p
r
.
Por este processo eliminamos p
1
de s mas mantemos a forma
n = s
2
p
1
p
r
o que implica que p
1
[ s. Em suma, nao podemos supor que p
1
3 (mod 4) e o teorema
ca demonstrado. 2
VN 411
Equac oes Diofantinas ITN(2001)
4.4 Somas de quatro quadrados
Vamos demonstrar o seguinte
Teorema 4.4.1 Qualquer n umero natural e soma de quatro quadrados de n umeros
inteiros.
Convencionamos, para abreviar, que soma de quatro quadrados deve entender-se
como soma de quatro quadrados de n umeros inteiros.
Observando que vale
Lema 4.4.1 O produto de dois n umeros naturais que sao somas de quatro quadrados
e soma de quatro quadrados.
bastara entao provar
Lema 4.4.2 Qualquer n umero primo e soma de quatro quadrados.
Dem. (do lema 4.4.1)
2
Basta tomar em consideracao a seguinte Identidade de La-
grange: para quaisquer a, b, c, d, u, v, x, y R,
(a
2
+b
2
+c
2
+d
2
)(u
2
+v
2
+x
2
+y
2
) = (au +bv +cx +dy)
2
+ (av bu cy +dx)
2
+ (ax +by cu dv)
2
+ (ay bx +cv du)
2
.
2
A demonstracao do lema 4.4.2 e essencialmemte semelhante `a do lema 4.3.2, mas
precisamos ainda de um outro lema.
Lema 4.4.3 A congruencia
x
2
+y
2
1 (mod p) (4.34)
tem solucao para qualquer n umero primo p.
Dem.

E claro que 1
2
+ 0
2
= 1 1 (mod 2). Portanto suporemos de ora em diante
que p designa um n umero primo mpar.
Relembrando a contagem de resduos quadraticos sabemos que os x
2
, para 0 x
p1
2
, sao
p+1
2
resduos n ao congruentes (mod p) dois a dois; o mesmo acontece com os
1 y
2
, para 0 y
p1
2
. Como um sistema completo de resduos tem p elementos,
existem x
2
e 1 y
2
congruentes entre si (mod p); mas entao x
2
+1 +y
2
0 (mod p).
2
2
Veja-se a proposito o teorema 8.2.3
412 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
Dem. (do lema 4.4.2) Queremos provar que, para qualquer n umero primo p, existem
x, y, z, w Z tais que
p = x
2
+y
2
+z
2
+w
2
. (4.35)
De novo 2 = 1
2
+1
2
+0
2
+0
2
, pelo que passaremos a supor que p designa um primo
mpar.
Em primeiro lugar, resulta do lema 4.4.3 que, para certos m, x, y Z,
mp = x
2
+y
2
+ 1
2
+ 0
2
& 0 0, 1, x, y
p 1
2
. (4.36)
Assim, denindo
k := minm N[ x, y, z, w mp = x
2
+y
2
+z
2
+w
2
(4.37)
podemos concluir que
1 k < p. (4.38)

E claro que se k = 1 nada ha mais a demonstrar. Vamos ver que 1 < k nao pode
acontecer. Suponhamos entao que na verdade 1 < k.
Se k e par, o mesmo acontece com x + y + z + w, portanto ou todos os x, y, z, w
sao pares ou todos sao mpares ou dois sao pares e dois sao mpares; suponha-se que
no ultimo caso x e y tem a mesma paridade assim como z e w. Tem-se entao
k
2
p =
_
x +y
2
_
2
+
_
x y
2
_
2
+
_
z +w
2
_
2
+
_
z w
2
_
2
.
o que contradiz a minimalidade de k, dada em (4.37). Portanto k nao e par, ou seja k
tera de ser mpar.
Se k dividisse todos os x, y, z, w entao k
2
[kp e da k[p, o que tambem nao pode
acontecer. Assim k 3. Por denicao de k em (4.37),
x
2
+y
2
+z
2
+w
2
equiv 0 (mod k)
e podemos escolher resduos positivos (mod k), a, b, c, d de modulo nao superior a
k
2
, e
s N tais que
s < k & x a & y b & z c & w d (modk) & a
2
+b
2
+c
2
+d
2
= sk.
Pelo lema 4.4.1, existem e, f, g, h Z tais que
kpks = e
2
+f
2
+g
2
+h
2
. (4.39)
Como os e, f, g, h podem ser dados pela Identidade de Lagrange, pode supor-se que sao
todos divisveis por k, pelo que, dividindo em (4.39) por k
2
, representamos sp como
soma de quatro quadrados e s < k, contradizendo a denicao de k. Em qualquer caso
concluimos que k nao pode ser maior que 1. 2
VN 413
Equac oes Diofantinas ITN(2001)
4.5 Exerccios
1. Resolva as seguintes equacoes Diofantinas:
(a) x
2
+y
2
= 51;
(b) x
2
+y
2
+z
2
= 18;
(c) x
2
+ 2xy + 2y
2
= 17;
(d) 4x
2
+ 12xy + 10y
2
= 26.
2. Resolva a equacao Diofantina em (x, y, z) x
2
y
2
= z. e conclua que a equacao
Diofantina x
2
y
2
= m
k
tem solucao (x, y) quando m, k 3.
3. Mostre que nem todos os n umeros inteiros positivos sao somas de, no maximo,
tres quadrados.
4. O Teorema de Fermat arma:
Quando n > 2, a equacao Diofantina x
n
+y
n
= z
n
so tem solucoes triviais.
Verique que vale quando n = 4, suponha-o demonstrado quando n e primompar
e apresente uma demonstracao para os restantes casos baseada nestes dois.
5. Determine cinco ternos Pitagoricos primitivos distintos.
6. Mostre que para cada n umero inteiro n 3 existe um terno Pitagorico em que
uma das coordenadas e n.
7. Resolva a equacao Diofantina x
2
+ 4y
2
= z
2
.
8. Determine todos os angulos para os quais sen e cos sao n umeros racionais.
9. Mostre que a equacao Diofantina x
2
+y
4
= z
2
tem um n umero innito de solucoes
nao triviais tais que mdc(x, y) = 1.
10. Resolva a equacao Diofantina x
2
+py
2
= z
2
nos casos em que p e primo.
11. Resolva a equacao Diofantina (x
2
+y
2
2)
4
+ 16 = z
2
.
12. Suponha que mdc(a, b) = 1. Mostre que se a nao e soma de dois quadrados, entao
ab tambem nao e.
13. Mostre que a equacao 5x
2
+ 14xy + 10y
2
= n tem solucoes em inteiros se e so se
n e soma de dois quadrados.
14. Mostre que a equacao (x
2
+ 1)
4
+ (y
2
+ 2)
4
= (z + 4)
2
nao tem solucoes inteiras.
15. Determine todas as solucoes da equacao diofantina
(x
4
+ 1)
4
+y
12
= (z
2
+ 1)
4
.
414 VN
Int. ` a Teoria dos N umeros (2001) Equac oes Diofantinas
16. Considere a equacao x
2
6y
2
= 1.
(a) Mostre que se (x
0
, y
0
) Z
2
e uma solucao da equacao, entao (5x
0
+12y
0
, 5y
0
+
2x
0
) tambem e.
(b) Use a alnea anterior para obter pelo menos cinco solucoes distintas da
equacao.
(c) Mostre que a equacao tem innitas solucoes.
17. Mostre que se
n
4
k
7 (mod 8) (k N), entao n nao e soma de tres quadrados.
VN 415
Equac oes Diofantinas ITN(2001)
416 VN
Captulo 5
Funcoes aritmeticas
5.1 Introducao
Uma funcao real de variavel natural diz-se aritmetica. Consideremos algumas funcoes
aritmeticas importantes.
Para cada n N dene-se
d(n) = n umero de divisores positivos de n
(n) = soma dos divisores positivos de n
Teorema 5.1.1 Se p
1
, , p
k
sao os divisores primos de n N e para certos n umeros
naturais
i
n =

k
i=1
p

i
i
, entao
d(n) =
k

i=1
(1 +
i
) (5.1)
(n) =
k

i=1

j=0
p
j
i
(5.2)
=
k

i=1
p

i
+1
i
1
p
i
1
(5.3)
A validade destes dois resultados conclui-se das observacoes seguintes
1. Os n umeros primos que dividem os divisores de n nao triviais tambem dividem
n, isto e
1 ,= d [ n d =
r

j=1
p

j
i
j
com 1
j

i
j
.
501
Func oes aritm eticas ITN(2001)
2. Consequentemente os divisores positivos de n sao os monomios do desenvolvi-
mento de
f(n) = (1 +p
1
+ +p

1
1
) (1 +p
k
+ +p

k
k
)
3. Assim d(n) e o n umero de monomios do desenvolvimento do mesmo f(n) e
(n) = f(n)
Uma argumentacao de contagem analoga `as anteriores permite estabelecer o teore-
ma seguinte. Demonstra-lo-emos tambem via das propriedades das funcoes multiplica-
tivas (teorema 5.5.2)
Teorema 5.1.2 Se p
1
, , p
k
sao os divisores primos de n N e para certos n umeros
naturais
i
n =

k
i=1
p

i
i
, entao
(n) = n
k

i=1
_
1
1
p
i
_
=
k

i=1
_
p

i
1
i
(p
i
1)
_
. (5.4)
Utilizaremos o lema seguinte.
Lema 5.1.1 Sejam d e n n umeros naturais e suponha-se que d[n. O conjunto i
N[ d[i n tem
n
d
elementos.
Dem. Se n = kd, os elementos do conjunto em questao sao precisamente 1d, 2d, , kd.
2
Dem. (do teorema 5.1.2) Seja n um n umero natural maior que 1, representado na
forma canonica por p

1
1
p

k
k
. Se designarmos por C o conjunto dos n umeros entre 1
e n que nao sao primos com n e denirmos
C
i
:= k N[ 1 k n & p
i
[k,
tem-se, por um lado
C =
k
i=1
C
i
e, por outro lado
C
i
1
C
is
= k N[ 1 k n & p
i
1
p
is
[k (i
1
< < i
s
; 1 s k).
Portanto
#C =
k

i=1
#C
i

1i
1
<i
2
k
#(C
i
1
C
i
2
) +

1i
1
<i
2
<i
3
k
#(C
i
1
C
i
2
C
i
3
)
+ (1)
k+1
#(C
1
C
k
)
502 VN
Int. ` a Teoria dos N umeros (2001) Func oes aritm eticas
Como, pelo lema 5.1.1,
#C
i
1
C
is
=
n
p
i
1
p
is
= n
1
p
i
1

1
p
is
,
concluimos
#C =
k

i=1
n
p
i

1i
1
<i
2
k
n
1
p
i
1
1
p
i
2
+

1i
1
<i
2
<i
3
k
n
1
p
i
1
1
p
i
2
1
p
i
3

+ (1)
k+1
n
1
p
1

1
p
k
.
e, pondo n em evidencia nesta ultima formula, como
(n) = n #C,
(n)
n
= 1
#C
n
= 1
k

i=1
1
p
i
+

1i
1
<i
2
k
1
p
i
1
1
p
i
2

1i
1
<i
2
<i
3
k
1
p
i
1
1
p
i
2
1
p
i
3
+
+(1)
k
1
p
1

1
p
k
=
k

i=1
_
1
1
p
i
_
,
ou seja
(n) = n
k

i=1
_
1
1
p
i
_
.
2
Outras funcoes aritmeticas que virao a ser-nos uteis: dena-se para cada n N
1(n) := 1 (5.5)
e(n) :=
_
1
n
_
=
_
1 se n = 1
0 se n > 1
. (5.6)
(5.7)
E ainda a funcao de Mobius, denida, para cada n umero natural n, por
(n) =
_

_
1 se n = 1
0 se p [p e primo & p
2
[ n]
(1)
k
se n = p
1
p
k
com os p
i
primos distintos.
(5.8)
VN 503
Func oes aritm eticas ITN(2001)
5.2 Produto de Dirichlet
Designemos por / o conjunto de todas as funcoes aritmeticas. Uma forma que se ob-
servou ser conveniente de algebrizar / foi o produto de convolucao ou de Dirichlet,
designado por e denido por
f g(n) =

d|n
f(d)g(
n
d
) (n N). (5.9)
As propriedades basicas deste produto cam descritas nos teoremas seguintes, cuja
demonstracao se deixa a cargo do leitor. Recordem-se as funcoes denidas na seccao
anterior (5.1).
Teorema 5.2.1 (/, ) e um monoide comutativo. Mais precisamente:
1. e associativa e comutativa,
2. e e elemento neutro para .
Designe-se por /
1
o conjunto das funcoes aritmeticas nao nulas em 1.
Teorema 5.2.2 Se f /
1
e g e denida recursivamente por
g(1) =
1
f(1)
g(n) =
1
f(1)

d|n
f(d)g
_
n
d
_
, se n > 1,
entao
1. g f = f g = e,
2. (/
1
, ) e grupo abeliano.
5.3 Funcoes multiplicativas
Uma funcao aritmetica f diz-se multiplicativa se vericar
mdc(m, n) = 1 f(mn) = f(m)f(n) (m, n N) (5.10)
Um resultado natural:
Teorema 5.3.1 Uma funcao aritmetica nao identicamente nula f e multiplicativa se
e apenas se
f(1) = 1 & f
_
k

i=1
p

i
i
_
=
k

i=1
f (p

i
i
) (5.11)
sempre que os p
i
sao primos distintos dois a dois e os
i
sao n umero naturais.
504 VN
Int. ` a Teoria dos N umeros (2001) Func oes aritm eticas
Dem. Suponha-se que f e multiplicativa. Como mdc(1, n) = 1, tem-se f(1) = f(1
1) = f(1)f(1), de onde se segue f(1) = 0 ou f(1) = 1; ora, se f(1) = 0, resulta
f(m) = f(1 m) = f(1)f(m) = 0, pois mdc(1, m) = 1 (m N) e f e identicamente
nula; assim, se f , 0, necessariamente f(1) = 1. A segunda parte da condicao (5.11)
e tambem necessaria, pois potencias de base prima sao primas entre si se as bases sao
distintas.
Concluimos que a condicao (5.11) e necessaria.
Suponha-se agora que vale a condicao (5.11) e que mdc(m, n) = 1. De f(1) = 1
obtem-se, para m=1, f(mn) = f(n) = f(1)f(n) = f(mn) e, para n = 1, f(mn) =
f(m) = f(m)f(n). Se m ,= 1 ,= n, entao as representacoes canonicas de m e de n
nao tem factores primos comuns e a segunda parte da condicao (5.11) garante que
f(mn) = f(m)f(n).
Concluimos que a condicao (5.11) e suciente. 2

E um exerccio facil demonstrar agora o seguinte corolario.


Corolario 5.3.1 Duas funcoes multiplicativas coincidem sse coincidirem nas potencias
de expoente inteiro nao negativo dos n umeros primos.
Ilustremos a denicao:
Teorema 5.3.2 1. Todas as funcoes denidas na seccao anterior (5.1) sao multi-
plicativas.
2. De facto, o produto de convolucao de duas funcoes multiplicativas e tambem mul-
tiplicativo.
Dem. (1) Para vericar que d, e , basta observar que dois n umeros naturais sao
primos entre si apenas quando nao tem divisores primos comuns; consequentemente,
se n =

k
i=1
p

i
i
e m =

r
i=1
q

i
i
, com primos p
i
e q
j
totalmente distintos dois a dois, e
mdc(m, n) = 1, tem-se
mn =
k

i=1
p

i
i
r

i=1
q

i
i
e resta aplicar as equacoes em 5.1 e 5.4.
1 e obviamente multiplicativa, pois so toma o valor 1.
Quanto a e: dados n umeros naturais m e n quaisquer, se sao ambos 1
e(mn) = 1 = 1 1 = e(m)e(n).
Se um deles e maior que 1, o mesmo acontece com o produto mn e tem-se
_
1
mn
_
= 0;
VN 505
Func oes aritm eticas ITN(2001)
por outro lado se, por exemplo m > 1, entao
_
1
m
_ _
1
n
_
= 0
_
1
n
_
= 0
e tambem e(mn) = e(m)e(n).
Para a funcao de Mobius vamos utilizar o Teorema 5.3.1.
Por denicao (1) = 1 e, se p e primo e N, (p

) vale 1 ou 0, consoante
= 1 ou > 1; assim, se algum dos expoentes em

k
i=1
p

i
i
e maior que 1, por um
lado
_

k
i=1
p

i
i
_
= 0, por denicao de e, por outro,

k
i=1
(p

i
i
) = 0, pelo que
observamos acima, pois um dos factores e zero; se todos os expoentes sao 1, de novo

k
i=1
p

i
i
_
= (1)
k
, por denicao de e

k
i=1
(p

i
i
) = (1)
k
, pelo que observamos
acima. Em qualquer dos casos se verica a condicao (5.11) para .
(2) A demonstracao nao e conceptualmente difcil. Basta observar que, se mdc(m, n) =
1 e d[mn, entao para certos k e t, d = kt, mdc(k, t) = 1 e k[m e t[n e desenvolver calculos
a partir das denicoes relevantes. 2
Teorema 5.3.3 Se g e uma funcao aritmetica multiplicativa e
f(n) =

d|n
g(d)
entao f e multiplicativa.
Dem. Basta observar que, nas condicoes descritas f = g 1, e aplicar o teorema 5.3.2.
2
5.4 Formula de Inversao de Mobius
Lema 5.4.1 Para qualquer n N

d|n
(d) =
_
1 se n = 1
0 se n > 1
(5.12)
Ou seja
1 = 1 = e. (5.13)
Dem. Dena-se f(n) =

d|n
(d). Como vimos no teorema 5.3.2, e multiplicativa,
pelo que f tambem e (teorema 5.3.3). Assim temos
f(1) =

d|1
(d) = (1) = 1.
506 VN
Int. ` a Teoria dos N umeros (2001) Func oes aritm eticas
Se p e primo e 1,
f(p

) =
_
(1) +(p) = 1 1 = 0 se = 1

i=0
(p
i
) = 1 1 + 0 = 0 > 1
(5.14)
Portanto, se n =

k
i=1
p

i
i
for a decomposicao canonica de n, tem-se que o valor (da
funcao multiplicativa f) f(n) e um produto de zeros, logo e zero. 2
Teorema 5.4.1 Seja g uma funcao aritmetica qualquer. As duas condicoes seguintes
sao equivalentes
n N f(n) =

d|n
g(d). (5.15)
n N g(n) =

d|n
(d)f(
n
d
). (5.16)
Dem. (5.15) pode reformular-se por f = g 1, de onde se segue, pelo teorema 5.2.1 e
pelo lema 5.4.1, f = (g1) = g(1) = g, que reformula (5.16). Reciprocamente,
(5.16) traduz-se por g = f e segue-se analogamente g1 = f 1 = f, que reformula
(5.15). 2
5.5 A funcao de Euler
Nesta seccao apresentamos uma demonstracao da formula (5.4) que poe em evidencia
alguns resultados tambem importantes da teoria elementar dos n umeros; em particular
nao se recorre ao produto de Dirichlet.
Lema 5.5.1 Se d [ n N, entao
(
n
d
) = #k N[ k n & mdc(k, n) = d (5.17)
Dem. Vamos ver que os dois seguintes conjuntos sao equipotentes:
C
nd
= k N[ k n & mdc(k, n) = d (5.18)
C

nd
= k

N[ k


n
d
& mdc(k

,
n
d
) = 1 (5.19)
Dena-se f(k) =
k
d
(k C
nd
). Pelo teorema 1.2.4, f(C
nd
) C

nd
. Por outro lado, se
k

nd
, tem-se mdc(k

,
n
d
) = 1, logo
1 = minxk

+y
n
d
> 0[ x, y Z
VN 507
Func oes aritm eticas ITN(2001)
donde
d = mind(xk

+y
n
d
) > 0[ x, y Z
= minxdk

+yn > 0[ x, y Z
= mdc(dk

, n).
Mas entao f e bijectiva, pois de facto f
1
= k

dk

.
Concluindo, os conjuntos em causa tem o mesmo cardinal, como queramos provar.
Repare-se que #C

nd
e precisamente (
n
d
). 2
Teorema 5.5.1
n =

d|n
(d) (n N) (5.20)
Dem. Por um lado d
n
d
dene uma permutacao dos divisores de n, consequentemente

d|n
(d) =

d|n
(
n
d
);
por outro lado, os conjuntos C
nd
denidos na demonstracao do teorema anterior formam
uma particao de 1, 2, , n e da
n = #1, , n =

d|n
#C
nd
=

d|n
(
n
d
) =

d|n
(d).
Como queramos. 2
Finalmente voltamos `a formula de calculo da funcao de Euler.
Teorema 5.5.2 Se p
1
, , p
k
sao os divisores primos de n N e para certos n umeros
naturais
i
n =

k
i=1
p

i
i
, entao
(n) = n
k

i=1
_
1
1
p
i
_
=
k

i=1
_
p

i
1
i
(p
i
1)
_
. (5.21)
Em particular, e multiplicativa.
Dem. A segunda equacao resulta obviamente da primeira. A primeira equacao obtem-
se com a formula de inversao de Mobius. Pelo teorema anterior e pela formula de
inversao
(n) =

d|n
(d)
n
d
= n

d|n
(d)
d
508 VN
Int. ` a Teoria dos N umeros (2001) Func oes aritm eticas
Por um lado os divisores positivos de n sao da forma p

1
1
p

k
k
com 0
i

i
; por
outro (d) = 0 se algum dos
i
2. Consequentemente
(d)
d
,= 0 apenas quando d e
livre de quadrados; mas entao os termos nao nulos do segundo somatorio acima sao da
forma
(1)
l
1
p
i
1

1
p
i
l
As formulas de Van de Graaf para o desenvolvimento de

l
i=1
(x a
i
) dao-nos a ex-
pressao nal.
A multiplicatividade de e agora facil de demonstrar: basta observar que, se m e
n nao tem divisores primos comuns, as comutatividade e associatividade do produto de
n umeros naturais permitem concluir (mn) = (m)(n). 2
5.6 N umeros perfeitos
Um n umero natural diz-se perfeito se for a soma dos seus divisores proprios (nos quais
se inclui 1); por exemplo 6 e o menor n umero perfeito. Vejamos alguns teoremas de
classicacao. Recorde-se que (m) designa a soma dos divisores naturais do n umero
natural m.
Teorema 5.6.1 Para qualquer n N, se 2
n
1 e primo, entao 2
n1
(2
n
1) e perfeito.
Dem. Repare-se que n e perfeito sse (m) = 2m e que, se 2
n
1 e primo, entao
mdc(2
n1
, 2
n
1) = 1 (n N). 2
Teorema 5.6.2 Os n umeros perfeitos pares sao da forma 2
n1
(2
n
1) com n N e
2
n
1 primo.
Dem. Em primeiro lugar observe-se que uma potencia de dois nao e perfeita pois
(2
n
) = 2
n+1
1 < 2
n+1
= 2 2
n
. (5.22)
Suponha-se entao que m e perfeito e par. Pela equacao anterior (5.22)
m = 2

k com k

impar & k > 1.
Como e multiplicativa,
2m = (m) = (2

)(k) =
_
2
+1
1
_
(k)
ou seja
2
+1
k =
_
2
+1
1
_
(k).
VN 509
Func oes aritm eticas ITN(2001)
Como 2
+1
e 2
+1
1 sao primos entre si
2
+1
[(k) isto e (k) = u2
+1
; (5.23)
mas entao
2
+1
k = (2
+1
1)u2
+1
& k = u(2
+1
1).
Assim, se u > 1,
(k) 1 +u +u(2
+1
1) = u2
+1
+ 1,
o que contradiz (5.23); portanto so u = 1 e possvel. Mas entao
k = 2
+1
1 & m = 2

(2
+1
1) & (k) = 2
+1
.
Em particular (k) = k + 1 e da k e primo. 2
5.7 Exerccios
1. Mostre que d(n) e mpar se e so se n e um quadrado perfeito.
2. Mostre que para cada n umero natural m > 1 existe um n umero innito de
n umeros naturais n tais que d(n) = m.
3. Mostre que

d|n
d = n
d(n)
2
.
4. Mostre que para qualquer funcao aritmetica f se tem

d|n
f(d) =

d|n
f(
n
d
).
5. Nos problemas que se seguem supoe-se que para certos n umeros primos distintos
p
i
e naturais
i
,
n =
k

i=1
p

i
i
.
Uma funcao aritmetica f diz-se totalmente multiplicativa se para quaisquer m, n
N se tem f(mn) = f(m)f(n).
(a) Dena (n) = (1)

k
i=1

i
e (1) = 1. Mostre que
i. e totalmente multiplicativa.
510 VN
Int. ` a Teoria dos N umeros (2001) Func oes aritm eticas
ii.

d|n
(d) =
_
1 se n e quadrado perfeito
0 caso contrario.
(b) Dena (n) = 2

k
i=1

i
e (1) = 1. Mostre que e totalmente multiplicativa
e determine uma expressao para

d|n
(d).
(c) Para um dado t Z dena (k) = t
k
e (1) = 1. Mostre que
i. e multiplicativa;
ii.

d|n
(d) =
k

i=1
(1 +
i
t).
6. Mostre que
(a) O produto de convolucao e comutativo, associativo e distributivo relativa-
mente `a adicao usual de funcoes.
(b) Se f e g sao funcoes aitmeticas multiplicativas, f g tambem e.
7. Dena
e(n) =
_
1
n
_
=
_
1 se n = 1
0 se n > 1
(n N)
(a) Mostre que e e multiplicativa.
(b) Mostre que para qualquer funcao aritmetica f, f e = f.
(c) Conclua que o conjunto das funcoes aritmeticas f, /, algebrizado por e
um monoide comutativo.
8. Dada f / tal que f(1) ,= 0, seja g a funcao aritmetica denida por
g(1) =
1
f(1)
g(n) =
1
f(1)

d|n
f(d)g
_
n
d
_
, se n > 1
Mostre que
(a) g f = e.
(b) Conclua da alnea anterior que o conjunto das funcoes aritmeticas nao nulas
em 1 munido do produto de convolucao e grupo abeliano.
(c) Seja /o conjunto das funcoes multiplicativas nao identicamente nulas. Que
pode dizer quanto `a natureza algebrica de (/, )?
VN 511
Func oes aritm eticas ITN(2001)
9. (a) Dena as funcoes aritmeticas I
k
e 1 por
I
k
(n) = n
k
1(n) = 1
e mostre que
i. As funcoes I
k
e 1 sao multiplicativas.
ii. d = 1 1;
iii. = 1 I;
iv. se
k
(n) e a soma das k-esimas potencias dos divisores positivos de n,
entao
k
= 1 I
k
;
v. se f e totalmente multiplicativa, entao f f = fd;
vi. I
k
I
l
(n) = n
l

kl
(n).
(b) Determine uma expressao para d.
10. Suponha que f e uma funcao aritmetica e dena
F(n) =

d|n
f(d) (n N).
Mostre que se F e multiplicativa, f tambem e.
11. Mostre que a unica funcao aritmetica f que verica a condicao

d|n
f(d) = n
e a funcao .
12. A funcao de von Mangoldt e denida por
(n) =
_
log p se n = p
m
para algum primo p e algum m 1
0 caso contrario.
Mostre que
(a) log n =

d|n
(d);
(b) (n) =

d|n
(d) log(d).
13. Mostre que, para cada n N, o conjunto x N [ (x) = n e nito.
14. Mostre que se n > 2, (n) e par.
15. Mostre que d(n) 2

n.
512 VN
Int. ` a Teoria dos N umeros (2001) Func oes aritm eticas
16. Seja f(n) uma funcao multiplicativa nao identicamente nula. Entao

d|n
(d)f(d) =

p|n
(1 f(p)),
onde p percorre todos os divisores primos de n.
17. Mostre que se n e um n umero perfeito, entao

d|n
1
d
= 2.
18. Determine todos os n umeros perfeitos menores que 10
3
.
19. Mostre que 28 e o unico n umero perfeito par da forma
(a) a
n
+ 1, com n 2;
(b) a
n
+b
n
, com n 2 e mdc(a, b) = 1 (28 = 3
3
+ 1
3
).
20. Mostre que nao ha n umeros perfeitos pares da forma a
n
n

n
+1, com n 2 e pelo
menos dois expoentes n.
21. Mostre que um n umero perfeito mpar nao e primo nem produto de dois primos.
22. Mostre que se n e um n umero perfeito mpar entao n = p
e
k
2
, onde p e um primo
que nao divide k e p e 1 (mod 4).
23. Um par (m, n) N
2
diz-se amigavel se cada coordenada e a soma dos divisores
proprios (incluindo 1) da outra. Mostre que
(a) O par (m, n) e amigavel se e so se (m) = (n) = m+n.
(b) Verique que (220, 284), (5020, 5564) e (17296, 18416) sao pares amigaveis.
24. Mostre que se a = 3 2
n
1, b = 3 2
n1
1 e c = 9 2
2n1
1 sao primos
mpares, o par (2
n
ab, 2
n
c) e amigavel.
VN 513
Func oes aritm eticas ITN(2001)
514 VN
Parte II
N umeros reais
601
Captulo 6
Fundamentacao
Neste captulo provamos que, a menos de um isomorsmo, o corpo Q, dos n umeros
racionais, esta contido em todos os corpos ordenados e todos os corpos ordenados
completos sao isomorfos e revemos algumas propriedades dos n umeros reais.
Tomaremos um ponto de vista superestrutural: identicaremos subestruturas espe-
ciais dos corpos ordenados como estruturas de n umeros naturais, de n umeros inteiros
e de n umeros racionais. Na seccao 6.2 abordaremos rapidamente uma visao mais con-
strutiva (teorema 6.2.1).
OBS.: 1. Os termos anel e domnio de integridade entender-se-ao respectivamente
como sinonimos de anel associativo e domnio.
2. Um mergulho de uma estrutura algebrica / noutra B e um morsmo
injectivo de / em B
6.1 Corpos ordenados e n umeros racionais
Um corpo e um anel de divisao comutativo. Por outras palavras, uma estrutura
algebrica / = (K, +, ) com duas operacoes binarias + e diz-se um corpo se vericar
as seguintes propriedades
1. / e um anel cujo zero designamos por 0.
2. (K0, ) e um grupo comutativo cujo elemento neutro designamos por 1, ou
por unidade do corpo.
Note-se que, em particular, 0 ,= 1 pela segunda propriedade. Do modo usual,
identicaremos a b com ab quando a, b K.
Um corpo / e ordenado quando se distingue um subconjunto K
+
de K, dito
conjunto dos elementos positivos de K, para o qual se vericam as condicoes
seguintes
1. 0 , K
+
,=
603
N umeros Reais ITN(2001)
2. Para quaisquer a, b K, da-se uma e so uma das condicoes seguintes
(a) a = b
(b) a b K
+
(c) b a K
+
3. Para quaisquer a, b K
+
, a +b K
+
4. Para quaisquer a, b K
+
, ab K
+

E um exerccio vericar que a condicao


a < b se e s o se b a K
+
(a, b K
+
)
dene uma relacao < de ordem total estrita em K de modo que
K
+
= x K : 0 < x, e / = (K, +, , < ) e uma estrutura algebrica em que
/ = (K, +, ) e um corpo e < e compatvel com + e semicompatvel com , ou seja:
1. A relacao < e
(a) Anti-reexiva a ,< a, seja qual for a K.
(b) Anti-simetrica a < b b ,< a, sejam quais forem a, b K.
(c) Transitiva a < b & b < c a < c, sejam quais forem a, b, c K.
(d) Tricotomica para quaisquer a, b K, da-se uma e so uma das condicoes
seguintes: a = b, a < b, b < a.
2. Para quaisquer a, b, c K, a < b a +c < b +c.
3. Para quaisquer a, b, c K, [a < b & 0 < c] ac < bc
De facto, estas propriedades de < podem ser tomadas como denidoras de corpo
ordenado, deduzindo-se delas que o conjunto x K : 0 < x verica as propriedades
tomadas inicialmente como caractersticas de K
+
, de tal modo que a relacao de ordem
obtida a partir de K
+
e precisamente < . De modo um pouco informal: ha uma
correspondencia bijectiva natural entre ordens compatveis com as operacoes do corpo
e conjuntos de positivos.
Vamos ver que, a menos de um isomorsmo, todos os corpos ordenados, contem o
corpo dos n umeros racionais, ou seja Q e o menor corpo ordenado.
Seja entao / um corpo ordenado com relacao de ordem <.
Lema 6.1.1 Para qualquer a K,
(i) a < 0 se e so se 0 < a
(ii) a < 0 se e so se 0 < a
604 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
(iii) Se a ,= 0 entao 0 < a
2
(iv) 0 < 1
Dem. As condicoes (i) e (ii) sao equivalentes, ja que, em qualquer anel
a = (a). Assim limitar-nos-emos a provar (i), (iii) e (iv)
(i) Observe-se que vale a seguinte cadeia de implicacoes, pela compatibilidade de
< com +.
a < 0 0 = a + (a) < 0 + (a) = a a = 0 +a < a +a = 0
(iii) Como a
2
= (a)
2
, por (i) e pela semicompatibilidade de < com , quando a ,= 0,
a
2
e sempre o produto de dois elementos positivos, portanto e positivo.
(iv) Observe-se que 0 ,= 1 = 1
2
e tome-se em conta (iii). 2
Denicao 6.1.1 Um subconjunto C de K diz-se indutivo se 1 C e x + 1 C
sempre que x C.
Obviamente K e K
+
sao indutivos, mas ha concerteza subconjuntos indutivos mais
pequenos. Designe-se por N a interseccao de todos os subconjuntos indutivos de K.
Seja ainda S a restricao da funcao x x +1 a N.
Lema 6.1.2 N e um subconjunto indutivo e (N, S, 1) e uma estrutura de
n umeros naturais.
Dem. Em primeiro lugar, 1 N pois, por denicao, 1 e elemento de todos os sub-
conjuntos indutivos. Por outro lado, se x N entao x esta em todos os subconjuntos
indutivos e consequentemente x+1 tambem, portanto x+1 N se x N. E concluimos
de facto duas coisas a saber:
1. N e indutivo
2. S e uma funcao de N em N.
Como (K, +) e um grupo, S e injectiva. Alem disso, 1 = S(x) x = 0, pelo que
1 so pode ser imagem por S de algum elemento de N se 0 N. Ora K
+
e indutivo e
0 , K
+
, portanto 0 , N e 1 , S(N).
Finalmente, vejamos que se verica o Princpio de Inducao:
Se 1 A N e x + 1 A sempre que x A, entao A e um suconjunto indutivo
de N; ora, por denicao, N A, portanto A = N. 2
Assim N = 1, 1 + 1, 1 + 1 + 1, e como habitualmente fazemos a convencao
notacional de designar a soma de n 1s pelo n umero natural intuitivo n. Em suma
VN 605
N umeros Reais ITN(2001)
Corolario 6.1.1 A menos de um isomorsmo de estruturas de n umeros naturais, o
conjunto N dos n umeros naturais intuitivos e subconjunto de qualquer corpo ordenado.
Deixamos ao cuidado do leitor a demonstracao do seguinte resultado
Teorema 6.1.1 A soma, o produto e a ordem denidas em N como universo da estru-
tura de n umeros naturais (N, S, 1) coincidem com as induzidas pelo
corpo /.
Repare-se agora que, como / e um corpo, todos os elementos n N tem um inverso
multiplicativo n
1
K, que e sempre um n umero positivo, e que os elementos da
forma np
1
com n, p N formam um grupo para a multiplicacao. Reunimos num lema
algumas propriedades importantes:
Lema 6.1.3 Sejam K
+
o subconjunto de elementos positivos de K e
Q = np
1
: n, p N.
1. Para qualquer a K0, a
1
tem o mesmo sinal que a.
2. N Q K
+
3.
_
np
1
_
1
= pn
1
, para quaisquer n, p N
4. (np
1
)(mq
1
) = (nm)(pq)
1
(m, n, p, q N)
5. (Q, ) e um grupo comutativo
6. (mk)(pk)
1
= mp
1
7. np
1
+mq
1
= (nq +mp)(pq)
1
(m, n, p, q N), e (Q, +) e um semigrupo.
8. (Q, +, ) e uma estrutura algebrica onde e distributiva relativamente a +.
Dem. 1. Se x < 0 < y, entao xy < 0y = 0, pela semi-compatibilidade do produto com
a ordem; como 0 < 1 = aa
1
, a e a
1
tem o mesmo sinal.
2. Por um lado, para todo o n N, n = n1 = n1
1
; por outro, como K
+
e indutivo,
N K
+
e da os elementos de Q sao produtos de elementos positivos, logo tambem
positivos.
3,4,6 deixam-se ao cuidado do leitor.
5. As partes 3 e 4 estabelecem que a estrutura e de grupoide (com identidade e)
onde todos os elementos tem inverso; como a associatividade e a comutatividade sao
hereditarias, a estrutura e de facto de grupo comutativo.
7. np
1
+mq
1
= nqq
1
p
1
+mpq
1
p
1
= (nq +mp)(pq)
1
.
8. As distributividades sao tambem hereditarias. 2
606 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Passando `a identicacao usual
ab
1
=
a
b
se b ,= 0,
as propriedades da estrutura (Q, +, ) que acabamos de descrever poem em evidencia que
ela se comporta como o conjunto dos n umeros racionais positivos usuais ou intuitivos,
em particular as propriedades 3, 4, 6 e 7 descrevem as propriedades essenciais das
fraccoes:
1
a
b
=
b
a
(a ,= 0) &
a
b

c
d
=
ac
bd
&
ad
bd
=
a
b
&
a
b
+
c
d
=
ad +bc
bd
Ora / e um corpo, consequentemente, fazendo X = x : x X,
N Q K
e e facil, se bem que porventura trabalhoso, demonstrar que
Teorema 6.1.2 1. N 0 N Q 0 Q K.
2. (N 0 N, +, ) e um subdomnio de integridade de /.
3. (Q 0 Q, +, , < ) e um subcorpo ordenado de / com conjunto de positivos
Q.
Para xar ideias, dena-se
Z = N 0 N & Q = Q 0 Q & Z = (Z, +, ) & Q = (Q, +, ).
Teorema 6.1.3 Q =
m
n
: m, n Z & n ,= 0
Dem. Um aspecto fundamental da demonstracao e que
m
n
=
m
n
&
m
n
=
m
n
=
m
n
.
A vericacao destas igualdades pode fazer-se por casos. 2
Sistematizando o que temos vindo a descrever
Teorema 6.1.4 A menos de isomorsmos de aneis
1. Qualquer corpo ordenado contem um subdomnio de integridade Z e um subcorpo
Q como descritos no teorema 6.1.2.
2. Qualquer anel que contenha N tambem contem Z como subanel.
VN 607
N umeros Reais ITN(2001)
3. Qualquer corpo que contenha Z como subanel tambem contem Q.
4. Z e o menor domnio de integridade que contem N.
5. Q e o menor corpo ordenado que contem Z como subanel.
Dem. (esquema) A proposicao 1 tem vindo a ser demonstrada ao longo do texto. Na
verdade e essencialmente para este resumo que se tem vindo a apresentar lemas, dos
quais o terceiro (lema 6.1.3) tem por m descrever os morsmo de aneis em causa:
A partir do momento em que se identicam os zeros 0 e 0

e as unidades 1 e
1

dos corpos ordenados / e /

os isomorsmos entre as varias subestruturas (de


n umeros naturais ou com universos em subconjuntos Q e Q

ou Z e Z

) sao restricoes
ou prolongamentos de um mesmo que ca denido pelas condicoes necessarias (de facto
redundantes)
(0) = 0

(1) = 1

(n1) = n1

(a +b) = (a) + (b)


(ab) = (a)(b)
(x) = (x)
As proposicoes 2 e 3 resultam apenas de os aneis serem fechados para a passagem
ao simetrico e os corpos serem fechados para a passagem ao inverso. As proposicoes 4
e 5 sao meras reformulacoes de 2 e 3, respectivamente. 2
Por estas razoes passamos a identicar Z e Q respectivamente com os conjuntos Z
dos inteiros intuitivos e Q dos racionais intuitivos, algebrizados e ordenados da maneira
usual.
Repare-se tambem que as condicoes descritas nas equacoes acima nao sao sucientes
para garantir que o mergulho se prolongue a um isomorphismo entre os corpos / e
/

; ate porque tal isomorsmo pode mesmo nao existir.


1
6.2 Uma visao construtiva
Na seccao anterior tomamos o ponto de vista axiomatico nao nos preocupando com a
existencia de um modelo formal de corpo ordenado: aceitamos que os n umeros racionais
intuitivos constituem uma exemplicacao suciente de tal estrutura. No entanto ad-
mitindo apenas a existencia de alguma estrutura de n umeros naturais (por exemplo
a dos naturais intuitivos ...) e possvel construir um corpo ordenado mnimo que a
prolonga. Passamos a esquematizar tal construcao.
1
Pode encontrar-se um tratamento deste tema em [16] ou [19].
608 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Teorema 6.2.1 Dada uma estrutura de n umeros naturais com as operacoes de so-
ma , +, e produto , , e a ordem < canonicas ^ = (N, S, 1, +, , < ), existe um corpo
ordenado Q = (Q, 0, 1, +, , < ), que a prolonga e, a menos de um isomorsmo de
corpos ordenados, esta contido em todos os possveis prolongamentos de ^ por corpos
ordenados.
Dem. A demonstracao da parte de unicidade a menos de um isomorsmo e obviamente
o trabalho que desenvolvemos quase totalmente ate aqui. Um esquema de demonstracao
deste teorema e o seguinte.
I. Dena-se em N
2
a relacao de equivalencia

por
(m, p)

(n, q) sse mq = np
II. Seja Q = N
2
/

o respectivo conjunto cociente, designem-se as classes de equiv-


alencia por [(m, p)]

e algebrize-se Q do seguinte modo


[(m, p)]

[(n, q)]

= [(mn, pq)]

[(m, p)]

[(n, q)]

sse mq < np
[(m, p)]

[(n, q)]

= [(mq +np, pq)]

III. Verique-se que (Q, , ) e uma estrutura algebrica em que


1. (Q, ) e um grupo comutativo com elemento neutro 1 = [(1, 1)]

.
2. (Q, ) e um semigrupo comutativo que verica a Lei do Corte.
3. e distributiva em relacao a
4. e uma ordem total em Q
5. e compatvel com e , ou seja
(a) x y sse x z y z x, y, z Q
(b) x y sse xz yz (x, y, z Q)
IV. A funcao : N Q dada por (n) = [(n, 1)]

e um mergulho da estrutura algebrica


ordenada (N, +, , < ) para a estrutura algebrica ordenada
(Q, , , ); que identica (N, +, , < ) com uma subestrutura de (Q, , , ), pelo
que voltamos a designar as operacoes e a ordem pelos seus smbolos iniciais.
V. Dena em Q
2
a seguinte relacao de equivalencia
(a, b)
+
(c, d) sse a +d = b +c ((a, b) Q
2
)
e designe por [(a, b)]
+
as respectivas classes de equivalencia e ainda por Q o correspon-
dente conjunto cociente.
VN 609
N umeros Reais ITN(2001)
VI. Dena uma operacao interna em Q por
[(a, b)]
+
[(c, d)]
+
= [(a +c, b +d)]
e verique que (Q, ) e um grupo comutativo, com elemento neutro 0 = [(a, a)]
+
e no
qual o simetrico (inverso para ) de x = [(a, b)]
+
, e x = [(b, a)]
+
.
OBS: Nao e necessario utilizar a natureza dos elementos de Q, mas tao so que (Q, +)
e um semigrupo comutativo que verica a Lei do Corte.
VII. A func ao : Q Q dada por (x) = [(x + x, x)]
+
e um mergulho da estrutura
algebrica (Q, +) em (Q, ) e, identicando Q com (Q), tem-se com uniao disjunta
Q = Q 0 Q
VIII. Passando a designar por + e antecipando o facto de as novas operacoes esten-
derem as anteriores, complete-se a algebrizacao de Q do seguinte modo
1. a < b sse b a Q
2. [a[ =
_
a se a Q 0
a se a Q
3. a b =
_
[a[[b[ se a, b Q ou a, b Q
[a[[b[ caso contr ario
IX. Verique-se que Q = (Q, 0, 1, +, , < ) e um corpo ordenado cujo conjunto de
elementos positivos e Q.
OBS.: Tambem aqui nao e necessario utilizar a natureza dos elementos de Q mas tao
so as propriedades descrita em III.
X. Seja Z = N 0 N. Verique-se que, a menos de um isomorsmo de aneis,
Z = (Z, +, ) e o menor anel que prolonga ^
XI. Verique-se que, a menos de um isomorsmo de corpos, Q e o menor corpo que
prolonga Z.
Fica terminado esquema de demonstracao do teorema 6.2.1. 2
6.3 Extensoes proprias do corpo dos n umeros racionais
Se o n umero natural n nao e um quadrado perfeito, entao

n , Q; no entanto, se
Q(

n) = a +b

n : a, b Q, entao (Q(

n), +, .0, 1) e um corpo (ordenado) do qual


o corpo dos n umeros racionais e subcorpo proprio pois
Q = Q+ 0

n Q(

n),
610 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
(a +b

n)
1
=
a
a
2
nb
2

b
a
2
nb
2

n
(a +b

n)(c +d

n) = (ac +nbd) + (ad +bc)

n.
Lembrando que um n umero real se diz algebrico se for raiz de um polinomio de
coecientes inteiros e se diz transcendente caso contrario, tem-se que, para R, o
menor corpo ordenado que contem Q , Q(),
e uma extensao propria de Q sse , Q
e um espaco vectorial sobre Q que tem dimensao nita sse e algebrico.
Informalmente: um n umero real e algebrico se e so se for representavel por uma
expressao onde gurem apenas n umeros inteiros, somas, produtos, diferencas, cocientes
e radiciacoes de ndice natural em quantidade nita. Calculos pacientes mostram que
esta ultima condicao e de facto suciente para que a expressao represente um n umero
algebrico; a demonstracao de que e necessaria nao cabe no ambito deste curso.
Exemplo 6.3.1
_
3 +
3

5
4
e raiz do polinomio 64(x
2
3)
3
5 e nao e racional.
Na verdade nao ha muitosirracionais algebricos.
Teorema 6.3.1 O conjunto dos n umeros algebricos e numeravel.
Dem. Em primeiro lugar repare-se que
O conjunto Z[x] dos polinomios de coecientes inteiros e numeravel,
pois, para cada n N, o conjunto dos polinomios de grau menor ou igual a n e
coecientes inteiros, Z
(n)
[x], e equipotente a Z
n+1
; como Z e numeravel, o mesmo
acontece com qualquer das suas potencias cartesianas de expoente nito e ainda
Z[x] =

_
n=1
Z
(n)
[x].
Em segundo lugar, cada polinomio em Z[x] tem um n umero nito eventualmente
zero de raizes reais, portanto o conjunto dos n umeros reais algebricos e uma uniao
numeravel de conjuntos nitos e consequentemente e numeravel. 2
A construcao de n umeros transcendentes pode fazer-se como aplicacao do seguinte
teorema sobre n umeros algebricos que, em parte, arma: os n umeros irracionais algebricos
sao difceis de aproximar com rapidez.
Teorema 6.3.2 (de Liouville) Seja um n umero irracional algebrico, raiz do polinomio
P(x) =

n
i=0
a
i
x
i
, de grau n 1, e irredutvel sobre Q[x]. Entao existe M Q
+
tal
que, para qualquer n umero racional
m
k
(m Z, k N) se tem
[
m
k
[ < 1 [
m
k
[ >
M
k
n
VN 611
N umeros Reais ITN(2001)
Dem. P(x) nao tem raizes racionais, por ser irredutvel sobre Q[x]; consequentemente,
para quaisquer m Z e k N,
[P(
m
k
)[ =
1
k
n
[
n

i=0
a
i
m
i
k
ni
[
1
k
n
,
porque o polinomio do segundo membro so toma valores inteiros e nao nulos, donde o
seu valor absoluto so pode ser maior ou igual a 1. Faca-se
s = sup[P

(x)[ : [x [ < 1
Dados entao m Z, k N tais que [
m
k
[ < 1 tem-se, para algum c entre
m
k
e ,
1
k
n
[P(
m
k
)[ = [P(
m
k
) 0[
= [P(
m
k
) P()[ = [P

(c)[[
m
k
[
s[
m
k
[.
pelo que podemos tomar M ]0,
1
s
]. 2
De um ponto de vista armativo: se um n umero real e aproximavel por uma
sucessao (r
n
) de racionais que converge mais rapidamente para que qualquer sucessao
_
M
k
n
_
nN
, entao e transcendente.
Exemplo 6.3.2 O n umero =

i=1
10
i!
e transcendente, pois
[
n

i=1
10
i!
[ 10
[(n+1)!1]
.
Ate Cantor ter demonstrado que ha mais n umeros transcendentes que n umeros
algebricos (teorema 6.6.2), na segunda metade do seculo XIX, o Teorema de Liouville
era o unico resultado que garantia a existencia n umeros transcendentes.
6.4 Corpos ordenados completos
Isomorfismo
Ja os gregos do sec. V A.C. sabiam que

2 e irracional (incomensur avel em linguagem


da epoca). Na verdade interessa-nos observar um pouco mais: dados n umeros naturais
m e n, tem-se
_
m
n
_
2
< 2
_
m
n
<
3m+ 4n
2m+ 3n
&
_
3m+ 4n
2m+ 3n
_
2
< 2
_
.
Assim, D = x Q : x
2
< 2 nao tem supremo em Q; no entanto 2 e claramente um
majorante de D em Q.
612 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Denicao 6.4.1 Um corpo ordenado diz-se completo se qualquer dos seus subcon-
juntos nao vazios e majorados tem supremo.
Acabamos de ver que o corpo ordenado dos n umeros racionais nao e completo. Por
outro lado, uma das propriedades do corpo ordenado dos n umeros reais e precisamente
ser completo. Na verdade esta propriedade caracteriza este ultimo a menos de um
isomorsmo, como se arma no teorema 6.4.2.
Seja de ora em diante / = (K, +, , 0, 1, < ) um corpo ordenado completo.
Um lema importante em si mesmo:
Lema 6.4.1 N nao e majorado em K.
Dem. Se N fosse majorado teria supremo, digamos s = supN; se s pertencesse a N,
s nao poderia ser supremo pois s < s + 1 N; mas entao existem x, y N tais que
s
1
2
< x < y < s, o que e impossvel porque a diferenca mnima entre elementos
de N e 1. Segue-se que N nao pode ser majorado. 2
Uma consequencia imediata deste lema:
Teorema 6.4.1 Para quaisquer a, b K tais que 0 < a < b, existe n N tal que
b < na.
Em virtude deste teorema diz-se que os corpos ordenados completos sao
Arquimedianos. As varias extensoes de Q a que aludimos na seccao anterior sao
todas arquimedianas mas nao necessariamente completas. E segue-se
Lema 6.4.2 Entre dois elementos distintos quaisquer de um corpo ordenado completo
existe um n umero racional.
Dem. Comecemos por supor 0 < a < b em /; pelo lema anterior, existem um n umero
natural n tal que n >
1
ba
e n >
1
a
, ou seja,
1
n
< a, ba. Seja m = maxk N :
k
n
a.
Tem-se que
m
n
Q e a <
m+1
n
< b. Os casos a < 0 < b e a < b < 0 tratam-se
analogamente ou por passagem ao simetrico. 2
Teorema 6.4.2 Todos os corpos ordenados completos sao isomorfos.
Dem. Sejam /
1
= (K
1
, +, , 0, 1, < ) e /
2
= (K
2
, , ,

0,

1, ) dois corpos ordenados


completos. Tendo em vista o teorema 6.1.4, cada um destes corpos contem um corpo Q
i
de n umeros racionais (i = 1, 2) e os Q
i
sao isomorfos, digamos que por um isomorsmo
: Q
1
Q
2
.
Denam-se seccoes Q
ix
e uma funcao : K
1
K
2
por
Q
ix
= v Q
i
: v < ()x (x K
i
; i = 1, 2) & (x) = sup(Q
1x
) (x K
1
).
VN 613
N umeros Reais ITN(2001)
Em primeiro lugar, pelo lema 6.4.2
x = supQ
ix
(x K
i
; i = 1, 2) (6.1)
Em segundo lugar
coincide com em Q
1
(6.2)
pois se x Q
1
, por um lado (x) majora (Q
1x
) (por (6.1)) e, por outro, se 0 Q
2
entao, pelo lema 6.4.2 existe u Q
1
tal que x
1
() < u < x, donde (x)
(u) (x) e (x) = supQ
1x
= (x). De seguida
x < y (x) (y) (6.3)
como se pode ver do seguinte modo: dados x, y Q
1
se x < y, de acordo com o lema
6.4.2, podemos escolher u, v Q
1
tais que x < u < v < y; por (6.2) e por denicao de
, (u) = (u) (v) (y); como para qualquer z Q
1
, se z < x entao z < u e
da Q
1x
Q
1u
, temos (x) (u) e nalmente (x) (y). Em particular
e injectiva. (6.4)
e sobrejectiva : (6.5)
Vamos ver que
Para qualquer y K
2
, y =
_
sup
1
(Q
2y
)
_
. (6.6)
Seja x = sup
1
(Q
2y
). Se u Q
1x
entao existe v
1
(Q
2y
) tal que u < v x; mas
assim (u) (v) Q
2y
, pelo que (x) = sup(Q
1x
) supQ
2y
= y (por (6.1)). Se
(x) y, existe v Q
2y
tal que (x) v y; tomando u Q
1
tal que (u) = v e,
portanto, tal que u
1
(Q
2y
), obtemos (x) v (x) o que e impossvel. Assim
(6.6) e (6.5) cam provadas.
Repare-se que (6.6) arma ser
1
da mesma natureza que . Vejamos que
(x +y) = (x) (y) (x, y K
1
) (6.7)
Como sup(AB)

=supAsupB (A, B K
2
), tambem
(x +y)

= (x) (y) (x, y K
1
)
Dados Q
2
tal que

0 e u Q
1x
, v Q
1y
, w, z Q
2
tais que
(x)

2
w = (u) (x) & (y)

2
z = (v) (y)
Segue-se, por (6.3), que u < x e v < y; da que u +v < x +y e tambem, por (6.2),
((x) (y)) w z = (u +v) = (u +v) (x +y).
614 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Como foi escolhido arbitrariamente, podemos concluir (6.7). Provemos agora que
(xy) = (x) (y) (x, y K
1
) (6.8)
Comecemos por observar que de (6.7) se conclui
(x) = (x) (x K
1
) (6.9)
e portanto basta demonstrar (6.8) com x, y > 0; neste caso podemos usar que, para
conjuntos de elementos positivos A, B K
2
, sup(AB)

=supAsupB e raciocinar como


para a soma, com as abreviaturas usuais:
Necessariamente (xy)

=(x)(y); dado e escolhendo u, v, w, z como acima, obte-


mos
(x)(y)

2
(x +y)
_

2
_
2
wz
= (uv) = (uv)
(xy)
de onde se concluira (6.8). Resumindo: (6.4), (6.5), (6.7), (6.8) e (6.3) dizem-nos que
e um isomorsmo entre os corpos ordenados /
1
e /
2
. 2
6.5 Existencia
Tambem neste caso e possvel tomar uma visao da base para o topoquanto `a existencia
de um corpo ordenado completo, isto e de um corpo de n umeros reais. Como vimos
em 6.2, pode construir-se um corpo de n umeros racionais Q = (Q, +, , 0, 1) a partir
de um sistema intuitivo de n umeros naturais. Na verdade podemos inspirar-nos na
demonstracao da isomora entre corpos ordenados completos para denir um desses
corpos a partir do dos n umeros racionais; e o que esquematizamos de seguida.
Uma construc ao
Denicao 6.5.1 Uma seccao em Q e um conjunto S vericando as seguintes con-
dicoes
1. , = S Q.
2. S tem majorante em Q.
3. S e um ideal de ordem, isto e
a, b Q [b < a S b S]. (6.10)
VN 615
N umeros Reais ITN(2001)
4. S nao tem maximo.
O corpo ordenado completo cuja construcao vamos esquematizar resultara da alge-
brizacao conveniente do conjunto de todas as seccoes, designado por R.
Note-se que, mesmo quando uma seccao tem supremo em Q, este nao e
incluido nela.
A ordem
Dadas seccoes S, T R,
S T sse S T
entendendo-se, como temos vindo a fazer, que designa a inclusao estrita.
Teorema 6.5.1 A relacao e de ordem total em R.
Dem. A anti-reexividade e a anti-simetria resultam das propriedades da inclusao
estrita . Se S ,= T & S ,T & T ,S, entao existem s, t Q tais que s ST & t
TS. Em particular s ,= t. Ora < e uma relacao de ordem total em Q, portanto s < t
ou t < s; se s < t, pela condicao (6.10) s T, o que nao pode acontecer; se t < s, entao
t S, o que tambem nao pode acontecer. Assim, ou S = T ou S T ou T S. 2
A soma
Dadas seccoes S, T R dena-se
S T = s +t : s S & t T (6.11)
Ha que vericar varios aspectos:
1. S T e nao vazio
2. S T e majorado
3. S T nao tem maximo
4. S T e ideal de ordem
Mostremos que vale 4, deixando a cargo do leitor a vericacao do restante: se a, b Q
e b < a = s + t para alguns s S e t T, entao b t < a t = s S pelo que
b t = s

S e consequentemente b = s

+t S T.
Teorema 6.5.2 Valem as seguintes proposicoes
1. (R, ) e um grupo comutativo.
2. A relacao de ordem e compatvel com , isto e
S, T, U R [S T S U T U]. (6.12)
616 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Dem. (1) Nao e difcil mostrar que a estrutura e de semigrupo comutativo com
elemento neutro 0 = x Q : 0 < x. Quanto `a existencia de simetricos S:
S =
_
Q (S

supS) se supS existe em Q


Q S caso contrario
As diculdades na demonstracao residem essencialmente em mostrar que, por ex-
emplo no caso S 0, se r Q e r < 0, entao existem s S, s

S tais
que r = s + s

: se r S, tome-se r = r + 0; se r , S, tome-se k N tal que


kr S & (k1)r , S; se supS ,= (k1)r, faca-se r = kr +(1k)r; se supS = (k1)r,
tome-se r = (k +
1
2
)r + (1 k
1
2
)r; em qualquer dos casos se obtem a representacao
desejada para r.
Deixamos a prova das restantes armacoes a cargo do leitor. 2
O produto
Comece-se por vericar que vale o
Lema 6.5.1 0

= S sse S

= 0
Dena-se uma funcao valor absoluto, | | : R R por
|S| =
_
S se 0

= S
S se S < 0
(6.13)
e dena-se o produto de duas seccoes maiores ou iguais a zero por
0

= S, T S T = 0 st : s S & t T & s, t 0.
Finalmente, dena-se o produto globalmente por
S T =
_
|S||T| se 0

= S, T ou S, T

= 0
|S||T| se S

= 0

= T ou T

= 0

= S
(6.14)
Denindo ainda
1 = x Q : x < 1
tem-se o seguinte
Teorema 6.5.3 = (R, , , 0, 1, ) e um corpo ordenado completo.
Dem. Tal como para a soma, e necessario vericar que a denicao do produto
e boa, no sentido em que o produto de seccoes ainda e uma seccao, para o que basta
estudar os casos em que as seccoes sao ambas maiores ou iguais a zero. A demonstracao
correspondente para a soma fornece as linhas orientadoras.
VN 617
N umeros Reais ITN(2001)
Demonstrar que 1 = r Q : r < 1 e analogo ao que se fez para vericar que a
seccao 0 e neutra para a soma, transformando adequadamente os argumentos aditivos
em argumentos multiplicativos. Tambem e simples mostrar que 0 e absorvente para o
produto.
Um caso um pouco mais delicado:
S
1
=
_
r Q : s S
_
0 < s r <
1
s
_

1
supS
supS Q
r Q : s S
_
0 < s r <
1
s
_
supS , Q;
(0 < S)
se S < 0, S
1
= |S|
1
.
As propriedades associativa do produto e distributiva deste em relacao `a soma tem
demonstracao tambem rotineira.
Finalmente, a vericacao do axioma de completude:
Se / e um conjunto de seccoes nao vazio e majorado, entao sup/ =

SA
S. 2
6.6 N umeros transcendentes
A existencia de n umeros transcendentes esta garantida pelo teorema de Liouville 6.3.2,
mas tambem se pode demonstrar que
Teorema 6.6.1 O n umero e a base e dos logaritmos nepperianos sao
n umeros transcendentes.
A este proposito, veja-se [18] caps. 16 e 20; neste momento interessa-nos apenas mostrar
que
Teorema 6.6.2 O conjunto dos n umeros transcendentes n ao e numeravel.
Dem. I. O conjunto dos n umeros reais nao e numeravel.
Se R fosse numeravel, o mesmo acontecia com o intervalo aberto ]0, 1[, digamos que
]0, 1[ = r
n
: n N
para alguma contagem xada. Fixando tambem para cada r
n
]0, 1[ uma representacao
decimal
r
n
= 0, r
n
1
r
n
2
r
n
3
...r
n
n
...
podemos denir um novo n umero real s = s
1
s
2
...s
n
... ]0, 1[ do seguinte modo
s
n
=
_
r
n
n
+ 1 se 0 r
n
n
< 9
0 se r
n
n
= 9
618 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
O n umero s e diferente de qualquer dos r
n
porque difere de cada um deles na n-esima
casa decimal.
Resumindo: nenhuma enumeracao esgota o intervalo ]0, 1[, ou seja, nao ha aplicacoes
bijectivas de N em ]0, 1[, ou ainda, ]0, 1[ e innito, nao e numeravel e, portanto, R
tambem nao.
II. O conjunto dos n umeros racionais e numeravel.
Cada n umero racional admite uma representacao fraccionaria irredutvel unica
m
n
na qual m Z & n N; a funcao f : Q Z
2
dada por f(
m
n
) = (m, n) e entao injectiva
e, como Z
2
e numeravel, Q tambem e.
III. O conjunto dos n umeros irracionais nao e numeravel.
Se fosse, R tambem seria pois seria uniao de Q com um conjunto numeravel.
IV. O conjunto dos n umeros transcendentes nao e numeravel.
Os n umeros irracionais sao algebricos ou transcendentes; como os algebricos formam
um conjunto numeravel (teorema 6.3.1), pelo que acabamos de ver, os transcendentes
nao podem constituir um conjunto numeravel. 2
6.7 Exerccios
1. Mostre que toda a ordem parcial lata gera uma ordem parcial estrita. Recipro-
camente, mostre que toda a ordem parcial estrita gera uma ordem parcial lata.
2. De exemplos de ordens parciais densas, ordens parciais nao densas e ordens par-
ciais que nao sao completas.
3. Considere uma estrutura de n umeros naturais, ^ = (N, S, 1), e um corpo or-
denado, / = (K, +, , 0, 1, <). Dena uma funcao : N K por (1) =
1 & (S(x)) = (x) + 1. Mostre que e um mergulho da estrutura de
n umeros naturais no corpo, quando na primeira se entendem denidas tambem a
soma, o produto e a ordem canonicas.
4. Mostre que todo o corpo ordenado e innito.
5. Suponha que (K, +, , 0, 1, <) e (K

, +, , 0, 1, <) sao dois corpos ordenados (o


contexto determina o domnio onde as operacoes se realizam e a ordem se con-
sidera). Mostre que a funcao do exerccio 3 tem um e um so prolongamento
ao subcorpo do n umeros racionais de / que e por sua vez um isomorsmo para
o subcorpo dos n umeros racionais de /

.
6. Se um corpo ordenado tem um elemento irracional, entao entre cada dois quais-
quer dos seus elementos existe um elemento irracional.
VN 619
N umeros Reais ITN(2001)
7. Suponha que k N. Mostre que
k

n Q se e so se n e uma k-esima potencia


perfeita, isto e, se e so se existe m N tal que n = m
k
.
8. Uma bijeccao entre N e N
2
.
(a) Mostre que a funcao : N
2
N dada por qualquer das equacoes
(m, n) =
1
2
_
(m+n)
2
m3n + 2
_
=
1
2
_
(m+n)
2
(m+n) 2(n 1)
_
=
1
2
(m(m+n 1) +n(m+n 3) + 2)
e uma bijeccao.
Nota: Esta contagem resulta de ordenar N
2
diagonalmente por
(1, 1), (1, 2), (2, 1), (1, 3), (2, 2), (3, 1), . . .
Sugestao de passos para a demonstracao:
1. 2(m, n) N.
2. 2 e injectiva (Utilize k = m+n)
3. e sobrejectiva, isto e, N = (N
2
).
(b) Designe por [x] a caracterstica de x, ou seja, o maior n umero inteiro nao
superior a x. e sejam , , f, g : N N as funcoes dadas por
(m) =
_
1+

8m7
2
_
+ 1 (m) =
(m)((m)1)
2
f(m) = m(m) g(m) = (m) + 1 f(m)
Verique que

1
(m) = (f(m), g(m)) (m N).
9. Mostre que os n umeros seguintes sao transcendentes.
(a)

n=0
10
n
n
(b)

n=0
10
(2
n
2
+p)
, para cada p Z.
10. De varios exemplos de n umeros transcendentes obtidos por meio do Teorema de
Liouville, alem dos descritos acima e no restante texto.
11. Suponha que f N
N
. Que pode dizer quanto `a natureza dos n umeros da forma

n=0
10
f(n)
, quando lim
f(n)
a
n
= + e a > 1? E se este limite for nito?
620 VN
Captulo 7
Dzimas e Fraccoes contnuas
7.1 Dzimas
Recorde-se que [x] designa a caracterstica do n umero real x, isto e, o maior n umero
inteiro que e menor ou igual a x.
Teorema 7.1.1 A representacao de qualquer n umero natural na base 10 e unica, a
menos de zeros `a esquerda, isto e, para cada x N existe uma e uma so sequencia
(x
0
, , x
m
) Z
m+1
tal que
1. 0 x
i
9 (0 i m N
0
)
2. x
m
> 0 & x =

m
i=0
x
mi
10
mi
3. Se x =

p
i=0
x
pi
10
pi
para algum p N
0
, entao p m e
p j > m x
j
= 0.
Dem. Tome-se x N e dena-se
_

_
c
0
= x
c
n+1
=
_
cn
10

x
n
= c
n
10c
n+1
(n N
0
)

E facil vericar que c


n+1
e x
n
sao respectivamente o cociente e o resto da divisao de c
n
por 10, pelo que, para
0 x
n
9 & 10c
n+1
c
n
(n N
0
)
e assim, para n N
0
10
n
c
n
c
0
= x (7.1)
x = 10
n
c
n
+
n

i=1
10
ni
x
ni
(7.2)
701
N umeros Reais ITN(2001)
entendendo-se

0
i=1

i
= 0.
Por (7.1), se 10
m
x < 10
m+1
, entao 1 x
m
= c
m
9 e x
m+r
= c
m+r
= 0
(r N). Em virtude da equacao (7.2) o teorema ca demonstrado. 2
Teorema 7.1.2 Para cada n umero real x [0, +[, existe uma e so uma sucessao
(a
n
)
nN
tal que, para qualquer n N, se verica
0 a
n
9 (7.3)
0 x
_
[x] +
n+1

i=1
a
i
10
i
_
<
1
10
n+1
. (7.4)
Deste modo
x = [x] +

n=1
a
n
10
n
e tambem, para qualquer n N, existe k > n tal que a
k
< 9.
A sucessao (a
n
) referida neste teorema diz-se a parte decimal da dzima do
n umero real x 0; [x] diz-se tambem a parte inteira da dzima; se x
m
x
0
for a
representacao de [x] dada pelo teorema 7.1.1, escreve-se
x = x
m
x
0
, a
1
a
2
a
n

O n umero 7.4 deste ultimo teorema arma que a dzima (a
n
) nao e identicamente 9,
seja a partir de que ordem for.
Dem. Note-se que 0 e representavel por 0, 000 , vericando-se as assercoes do teo-
rema; assim, provado este, a parte de unicidade garante ser esta a unica representacao
de zero nestas condicoes.
Dena-se
_
x
1
= x [x]
x
n+1
= 10x
n
[10x
n
] (n N)
a
n
= [10x
n
] (n N)
1.

E imediato que
0 x
n
< 1 (n N) (7.5)
de onde resulta que 0 [10x
n
] < 10 e consequentemente, 0 a
n
9.
2. Por outro lado, para cada n N,
x
n+1
= 10
n
x
1

n

i=0
10
ni
a
i
702 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
e portanto, considerando (7.5),
0 x
_
[x] +
n

i=1
a
i
10
i
_
=
x
n+1
10
n
<
1
10
n
3. Se a
n
= 9 a partir da ordem n + 1, ter-se-ia
x
_
[x] +
n

i=1
a
i
10
i
_
=

i=n+1
9
10
i
=
1
10
n
o que contradiz (7.4).
Resta ver que a dzima e unica nas condicoes referidas e basta vericar esta unicidade
quando 0 x < 1. Observe-se que
0 x
n

i=1
a
i
10
i
<
1
10
n
0 10
n
x
n

i=1
a
i
10
ni
< 1

i=1
a
i
10
ni
= [10
n
x]
portanto os a
i
sao univocamente determinados por x pelo teorema 7.1.1. 2
Uma dzima diz-se periodica com perodo b
1
b
p
(b
i
N; 1 i p N), se a
parte decimal tiver a forma
b
1
b
p
b
1
b
p
b
1
b
p

isto e, se existem n
0
, p N tais que os termos da sucessao (a
n
) do teorema 7.1.2
vericam
a
n
0
+i+kp
= b
i
(k N; 1 i p),
representando-se
x = [x] + 0, a
1
a
n
0
(b
1
b
p
).
Se uma dzima e periodica de perodo b
1
b
p
e a
1
= b
1
, dir-se-a puramente periodica,
caso contrario diz-se que a dzima e mista. Uma dzima de perodo 0 tambem se diz
nita.
Dados n umeros naturais primos entre si a e m > 1, a ordem de a (mod m) e o
menor n umero natural h tal que a
h
1 (mod m).
Exerccio 7.1.1 Suponha que mdc(a, m) = 1 e que h e a ordem de a (mod m). Mostre
que:
1. h[(n).
2. h[m.
VN 703
N umeros Reais ITN(2001)
Teorema 7.1.3 Seja x um n umero real positivo
1. x e racional se e apenas se tem dzima periodica.
2. Se x =
a
b
(a, b N) e mdc(a, b) = 1 e b = 2

n (n N), entao
(a) Se n = 1, x tem dzima nita.
(b) Se = = 0 & n > 1, x tem dzima puramente periodica e o comprimento
do perodo e a ordem de 10 (mod n).
(c) Se > 0 ou > 0 e n > 1, x tem dzima mista, o comprimento do perodo e
a ordem de 10 (mod n) e o comprimento da parte nao periodica e max(, ).
Dem. Vamos mostrar que se x tem dzima periodica, entao e racional, cando provada
uma parte do n umero 1. De seguida provaremos as restantes alneas do teorema, que
obviamente esgotam os casos em que x e racional, cando provado o restante de 1.
1. Suponhamos que a dzima de x tem perodo a
k+1
a
k+p
; segue-se que
x =
k

n=1
a
n
10
n
+

s=0
p

i=1
a
k+i
10
k+sp+i
=
1
10
k
k

n=1
10
kn
a
n
+
p

i=1
a
k+i
10
k+i

s=0
1
10
sp
=
1
10
k
k

n=1
a
n
10
kn
+
1
10
k+p
_
p

i=1
a
k+i
10
pi
_
10
p
10
p
1
Q
2. Suponha-se entao que x e racional positivo, digamos
x =
a
2

n
mdc(a, 2

n) = mdc(10, n) = 1
e sejam
= max, & = ordem de 10 (mod n).
a) (n = 1) Neste caso
x =
a2

10

e a dzima de x e claramente nita.


b) ( = = 0; n > 1) Neste caso 10

1 (mod n), ou seja, para algum m N, 10

=
mn + 1; mas entao, para certos q, r N
0
, sendo 0 < r < 10

1,
10

x =
(mn + 1)a
n
= ma +
a
n
= ma +x
x =
ma
10

1
= q +
r
10

1
= q +
r
10

1
1
1
10

704 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Tomando r =

i=1
10
i
a
i
para certos a
i
N
0
com a

> 0, segue-se que


x = q +
_

i=1
a
i
10
i
_

n=0
1
10
n
= q + 0, (a
1
a

)
Conclui-se, por um lado, que a dzima e puramente periodica e, por outro, que o
comprimento mnimo de um perodo, digamos , e menor ou igual a ; mas de
x [x] =
_

i=1
a
i
10
i
_

n=0
1
10
n
=

n=1
a
n
10
n
10

1
=
r
n
Q & mdc(r, n) = 1
deduz-se n[10

1, ou seja 10

1 (mod n) pelo que . Segue-se que = .


c) ( + > 0 & n > 1) Para estudar este caso, basta aplicar a alnea anterior a 10

x.
2
7.2 Fraccoes contnuas simples
Notacao
De modo a respeitar uma notacao classica para fraccoes contnuas e evitar ambigui-
dades ate ao m deste captulo a caracterstica do n umero real x passa a ser designada
por car(x).
Propriedades b asicas.
Por comodidade de exposicao convira utilizar com frequencia N
0
= N 0 passando
as sucessoes de n umeros reais a indiciar-se em N
0
.
Dados um n umero natural n, n umeros reais positivos r
1
, r
2
, ..., r
n
e um n umero real
qualquer r
0
, o smbolo [r
0
; r
1
, ..., r
n
] dene-se recursivamente do seguinte modo:
[r
0
] = r
0
n N [r
0
; r
1
, ..., r
n+1
] = [r
0
; r
1
, ..., r
n1
, r
n
+
1
r
n+1
]
sendo facil vericar o seguinte:
Teorema 7.2.1 Se r
0
R & r
1
, r
2
, ..., r
n
> 0 entao
1. Para 0 i n 1, [r
i
; ..., r
n
] = r
i
+
1
[r
i+1
;...,rn]
VN 705
N umeros Reais ITN(2001)
2. Se todos os r
i
N, entao
(a) [r
i
; ..., r
n
] > 0 (0 i n)
(b) [r
i
; ..., r
n
] Q
Denicao 7.2.1 Uma sucessao (r
n
)
nN
0
de n umeros inteiros diz-se simples se se ver-
icarem ambas as seguintes condicoes
1. r
n
N
0
seja qual for n N
0
.
2. n N [r
n
= 0 k N
0
r
n+k
= 0].
Repare-se que numa sucessao simples, se um termo de ordem positiva e positivo, o
unico termo de ordem menor que pode ser zero e o de ordem zero
Denicao 7.2.2 Dada uma sucessao simples (a
n
), a fraccao contnua simples [a
0
; a
1
, ..., a
n
, ...]
e a sucessao de n umeros racionais x
n
denida do seguinte modo
1. Se a
n
= 0 para todo o n N, entao x
n
= a
0
(n N
0
)
2. Se a
n
> 0 para todo o n N, entao
x
n
= [a
0
; , a
n
] (n N
0
)
3. Se a
1
> 0 e n
0
= minn : a
n
= 0 N entao
_
x
n
= [a
0
; , a
n
] se n < n
0
x
n
= [a
0
; , a
n
0
1
] se n n
0
As fraccoes [a
0
; , a
n
] chamam-se reduzidas ou convergentes da fraccao contnua.
Uma fraccao contnua diz-se nita se os termos a
n
se anulam a partir de alguma ordem.
Uma reduzida de ordem n pode identicar-se com a fraccao contnua correspondente
[a
0
; , a
n
, 0, ].
Observe-se que
a
n
> 1 [a
0
; , a
n
] = [a
0
; , a
n
1, 1] (7.6)
no entanto
Teorema 7.2.2 Se [a
0
; , a
n
] (n > 1) e uma fraccao contnua simples, 0 < m
Z, k N e
m
k
= [a
0
; , a
n
] & a
n
> 1 & mdc(k, m) = 1,
entao os a
i
vericam as seguintes relacoes de recorrencia:
m = a
0
k +r
0
& 0 r
0
< k & r
0
Z
k = a
1
r
0
+r
1
& 0 r
1
< r
0
& r
1
Z
r
i1
= a
i+1
r
i
+r
i+1
& 0 r
i+1
< r
i
& r
i+1
Z & 1 i < n 1
r
n2
= a
n
706 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Repare-se que commdc(k, m) = 1, supondo
m
k
= [a
0
; a
1
] = a
0
+
1
a
1
, vemm = a
0
k+r
0
e k = a
1
r
0
, com 0 r < k, pelo que r
0
[k e portanto r
0
[m, ou seja, r
0
= 1 e k = a
1
.
Esta situacao pode ser integrada no teorema considerando m = r
2
e k = r
1
.
Dem. (do teorema 7.2.2) Comecemos por observar que os a
i
sao positivos e que as
reduzidas [a
i
; , a
n
] tambem, portanto
0 <
1
[a
i
; , a
n
]
=
1
a
i
+
1
[a
i+1
; ,an]
< 1 (7.7)
Denindo x
i
= [a
i
; , a
n
], vem
x
i1
= a
i1
+
1
x
i
,
donde
a
i
= [x
i
] = car([a
i
; , a
n
]);
em particular,
a
0
= car(x
0
) = car
_
m
k
_
e a
0
e o cociente inteiro de m por k; portanto, se
m = a
0
k +r
0
com 0 r
0
< k & r
0
Z
vem
r
0
k
=
1
[a
1
; , a
n
]
tendo-se tambem r
0
> 0 como seria de esperar. De novo
k
r
0
= [a
1
; , a
n
] = a
1
+
1
[a
2
; , a
n
]
e a
1
e o cociente inteiro de k por r
0
, vindo
k = a
1
r
0
+r
1
com 0 < r
1
< r
0
& r
1
Z
Convencionando m = r
2
& k = r
1
mostramos
r
i1
= a
i+1
r
i
+r
i+1
com 0 < r
i+1
< r
i
& r
i+1
Z
r
i1
r
i
= [a
i+1
; , a
n
] para i = 1, 0
Suponhamos que estas relac oes se mantem ate i n 1. Tem-se
a
i+1
+
1
[a
i+2
; , a
n
]
=
r
i1
r
i
= a
i+1
+
r
i+1
r
i
VN 707
N umeros Reais ITN(2001)
donde
r
i
r
i+1
= [a
i+2
; , a
n
] = a
i+2
+ (i + 2 n) (7.8)
a
i+2
= car
_
r
i
r
i+1
_
. (7.9)
Ponhamos
r
i
= a
i+2
r
i+1
+ r
i+2
;
se i + 2 < n, entao [a
i+2
; , a
n
] > a
i+2
e a constante em (7.8) e positiva, pelo que
r
i+2
0, como se pretendia vericar; se i + 2 = n, entao = 0 e r
n2
= a
n
r
n1
.
Pelo que sabemos do algoritmo de Euclides para o calculo de mdc(m, k), a divisao
de restos so e exacta quando o divisor e mdc(m, k), neste caso 1; portanto r
n1
= 1.
2
Uma consequencia praticamente imediata deste teorema e
Teorema 7.2.3 Duas fraccoes contnuas simples positivas [a
0
; , a
n
] e
[b
0
; , b
n
] em que r
n
, a
m
> 1 sao iguais sse m = n & a
i
= b
i
(0 i n).
Dem. Se as duas fraccoes sao iguais, representam o mesmo n umero racional e o teorema
anterior descreve a determinacao das coordenadas univocamente. 2
Repare-se que a condicao imposta `as ultimas coordenadas das reduzidas em cada
um dos teoremas anteriores e necessaria em vista da equacao (7.6).
Quanto `a representacao de n umeros negativos por fraccoes contnuas:
se m Z & n N, independentemente do sinal de m tem-se sempre
m
n
= car
_
m
n
_
+r com r Q [0, 1[
Segue-se que
m
n
= [car
_
m
n
_
; a
1
, , a
k
] se r = [0; a
1
, , a
k
].
Adiantando-nos um pouco:se soubessemos que fraccoes contnuas simples diferentes
tem limites diferentes poderamos concluir
Teorema 7.2.4 Se [a
0
; , a
n
, ] e uma fraccao contnua simples innita e o lim
n
[a
0
; , a
n
]
existe, entao este limite e um n umero irracional.
A este proposito vejam-se os teoremas 7.2.9 e 7.2.10. Na proxima parte vericaremos
que as fraccoes contnuas simples convergem sempre.
Fracc oes contnuas infinitas
De ora em diante (a
n
) e uma sucessao simples para a qual a
n
1 (n N). Fixamos
tambem a seguinte notacao:
708 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
h
2
= 0 h
1
= 1 h
i
= a
i
h
i1
+h
i2
(i 0)
k
2
= 1 k
1
= 0 k
i
= a
i
k
i1
+k
i2
(i 0)
Em particular
1 = k
0
a
1
< k
n
< k
n+1
(n 2) & lim
n
k
n
= +. (7.10)
Teorema 7.2.5 Para qualquer n umero real x ]0, +[ e qualquer n N,
[a
0
; , a
n1
, x] =
xh
n1
+h
n2
xk
n1
+k
n2
(7.11)
Dem. (n = 1)
xh
0
+h
1
xk
0
+k
1
=
x[a
0
1 + 0] + 1
x[a
0
0 + 1] + 0
=
a
0
x + 1
x
= a
0
+
1
x
= [a
0
; x]
Supondo a igualdade valida para n
[a
0
; , a
n
, x] = [a
0
; , a
n1
, a
n
+
1
x
]
=
_
a
n
+
1
x
_
h
n1
+h
n2
_
a
n
+
1
x
_
k
n1
+k
n2
=
x(a
n
h
n1
+h
n2
) +h
n1
x(a
n
k
n1
+k
n2
) +k
n1
=
xh
n
+h
n1
xk
n
+k
n1
como se pretendia. Pelo Princpio de Inducao, a equacao (7.11) vale para qualquer
n N. 2
Observacao: Repare-se que [x] = x =
xh
1
+h
2
xk
1
+k
2
, pelo que a formula (7.11) vale mesmo
se n = 0.
Corolario 7.2.1 [a
0
; , a
n
] =
hn
kn
(n N
0
).
Mais detalhadamente:
Teorema 7.2.6 Seja r
n
= [a
0
; , a
n
] (n N). Valem as seguintes proposicoes, para
qualquer n N:
1. h
n
k
n1
h
n1
k
n
= (1)
n1
VN 709
N umeros Reais ITN(2001)
2. r
n
r
n1
=
(1)
n1
knk
n1
3. h
n
k
n2
h
n2
k
n
= (1)
n
a
n
4. r
n
r
n2
=
(1)
n
an
knk
n2
5. mdc(h
n
, k
n
) = 1
Dem. A primeira e a terceira equacoes podem ser demonstradas por inducao; a segunda
e a quarta equacoes obtem-se dividindo respectivamente por k
n
k
n1
e k
n
k
n2
; quanto
`a ultima equacao, observe-se que 0 < d[h
n
, k
n
implica que d[1 e logo que d = 1. 2
Um teorema sobre monotonia
Teorema 7.2.7 Dada uma sucessao simples (a
n
), seja r
n
= [a
0
; , a
n
]. Para quais-
quer k, s N,
1. r
2k
< r
2k+2
< r
2s+1
< r
2s1
2. (r
n
) converge.
Dem. 2. A segunda armacao e consequencia da primeira: 1 implica que a subsucessao
de ndices pares e a subsucessao de ndices mpares convergem por serem monotonas e
limitadas e tambem que
s = lim
n
r
2n
lim
n
r
2n+1
= t
e, com (7.10), temos
0 t s r
2n+1
r
2n
=
1
k
2n+1
k
2n
0.
donde t = s = lim
n
r
n
.
1. Do teorema 7.2.6.2 obtem-se r
2n+1
r
2n
> 0; da assercao 4 do mesmo teorema
obtem-se r
2n+1
r
2n1
< 0 & r
2n+2
r
2n
> 0; agrupando:
r
2k
< r
2k+2
< r
2s+1
< r
2s1
(k, s N)
2
Dena-se
i
= [a
i
; a
i+1
, ] quando a
i+1
1.
Lema 7.2.1 Seja (a
n
) uma sucessao simples na qual a
1
> 0.
1. Se
0
= [a
0
; , a
n
] & a
n
> 1 ou se
0
e innita, entao a
0
= [
0
].
710 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
2.
0
= a
0
+
1

1
Dem. (1) O caso em que
0
e nita foi tratado na demonstracao do teorema 7.2.2.
O caso em que
0
e innita obtem-se do seguinte modo: r
0
<
0
< r
1
pelo teorema
anterior, isto e, a
0
<
0
< a
0
+
1
a
1
a
0
+ 1 & a
0
<
0
< a
0
+ 1, logo a
0
= [
0
].
(2) Se
0
e nita, estamos perante a denicao. Se
0
e innita, tem-se

0
= lim
n
[a
0
; , a
n
] = lim
n
_
a
0
+
1
[a
1
; , a
n
]
_
= a
0
+
1
lim
n
[a
1
; , a
n
]
= a
0
+
1

1
2
Teorema 7.2.8 1. Duas fraccoes contnuas simples innitas distintas tem limites
distintos
2. Duas fraccoes contnuas simples nitas distintas so tem o mesmo valor se forem
da forma [a
0
; , a
n
] e [a
0
; , a
n
1, 1] com a
n
> 1.
Veremos adiante que fraccoes contnuas simples innitas tem limite irracional (teo-
rema 7.2.9).
Dem. (do teorema 7.2.8) A proposicao 2 foi de facto demonstrada no teorema 7.2.3.
(1) Se
0
= [a
0
; ] = [r
0
, ], pelo lema anterior concluimos a
0
= [] = r
0
e tambem
= a
0
+
1

1
= a
0
+
1
[r
1
; , r
n
]
= a
0
+
1
[r
1
; , r
n
]
,
pelo que tambem
1
= [a
1
; ] = [r
1
; ]. Por inducao pode entao mostrar-se que
a
n
= r
n
para qualquer n N. 2
Teorema 7.2.9 Se = [a
0
; ] e uma fraccao simples innita, entao e um n umero
irracional.
Dem. Pelos teoremas 7.2.6 e 7.2.7,
0 < [ r
n
[ < [r
n
r
n+1
[ & 0 < [k
n
h
n
[ <
1
k
n+1
;
VN 711
N umeros Reais ITN(2001)
se =
a
b
para alguns a, b Z, ter-se-ia 0 < [k
n
ah
n
b[ <
b
k
n+1
, o que, como k
n+1
+,
implica 0 < [k
n
a h
n
b[ < 1 para n grande, o que e impossvel pois k
n
a h
n
b Z.
Conclui-se que nao pode ser racional. 2
Completando
Teorema 7.2.10 Todo o n umero irracional e limite de uma fraccao contnua.
Dem. Suponha-se que r , Q e dena-se
r = x
0
a
0
= car(x
0
) & x
1
=
1
r a
0
a
n
= car(x
n
) & x
n+1
=
1
x
n
a
n
=
1
x
n
car(x
n
)
(n N)
Pode demonstrar-se por inducao que todos os a
n
Z e todos os x
n
, Q. Por construcao
a
n
= car(x
n
) < x
n
< a
n
+ 1, pois x
n
, Z,
e da 0 < x
n
a
n
< 1, pelo que
x
n+1
=
1
x
n
a
n
> 1 & a
n+1
= car(x
n+1
) 1 (n 0);
por inducao concluimos
a
n
1 (n N),
observando que x
n
= a
n
+
1
x
n+1
; assim
r = x
0
= a
0
+
1
x
1
= [a
0
; x
1
]
= [a
0
; a
1
+
1
x
2
] = [a
0
; a
1
, x
2
]
= = [a
0
; a
1
, , a
n1
, x
n
];
Mas entao, pelo teorema 7.2.5,
r = [a
0
; , a
n1
, x
n
] =
x
n
h
n1
+h
n2
x
n
k
n1
+k
n2
712 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
seguindo-se
[r r
n1
[ = [r
h
n1
k
n1
[
= [
(h
n1
k
n2
+h
n2
k
n1
)
k
n1
(x
n
k
n1
+k
n2
)
[
= [
(1)
n1
k
n1
(x
n
k
n1
+k
n2
)
[
=
1
k
n1
(x
n
k
n1
+k
n2
)

1
k
n1
porque x
n
, k
m
> 0 & lim
n
k
n
= +. Em suma r
n1
r. 2
E ca tambem demonstrado o teorema 7.2.4
7.3 Fraccoes periodicas
Nesta seccao, abusaremos um pouco da notacao identicando
[a
0
; , a
n
] = [a
0
, , a
n
]
Teorema 7.3.1 Uma fraccao contnua simples e periodica se e apenas se representa
um irracional quadratico.
Dem. Se a fraccao e puramente periodica, digamos
= [a
0
; , a
n
, ] = [a
0
, , a
n
],
observe-se que
= [a
0
; , a
n
, ],
de onde se conclui
=
h
n
+h
n1
k
n
+k
n1
, (7.12)
que e uma equacao quadratica de coecientes inteiros.
Se a fraccao e mista, digamos
= [b
0
; , b
m
, a
0
, , a
n
]
= [a
0
, , a
n
],
entao
=
h

m
+h

m1
k

m
+k

m1
. (7.13)
VN 713
N umeros Reais ITN(2001)
para certos h

, k

Z. E assim e tambem raiz de um polinomio do mesmo tipo; o que


tambem pode ser visto do seguinte modo: e irracional (a fraccao e innita), portanto,
como raiz de polinomio do segundo grau de coecientes inteiros, verica
= +

d & , Q & d N;
pelo que, em virtude de (7.13), e da mesma forma, por tambem ser irracional.
Suponhamos agora que
a
2
+b +c = 0 & a ,= 0 & a, b, c Z (7.14)
& b
2
4ac ,= & = [a
0
; , a
n
, ] RQ. (7.15)
Tomando
s
n
= [a
n
; , a
n+1
, ]
tem-se
=
s
n
h
n1
+h
n2
s
n
k
n1
+k
n2
,
Substituindo em (7.14), obtem-se
A
n
s
2
n
+B
n
s
n
+C
n
= 0 (7.16)
com
A
n
= ah
2
n1
+bh
n1
k
n1
+ck
2
n1
B
n
= 2ah
n1
h
n2
+b(h
n1
kn 2 +h
n2
k
n1
) + 2ck
n1
k
n2
C
n
= ah
2
n2
+bh
n2
k
n2
+ck
2
n2
Vamos agora obter majoracoes de [A
n
[, [B
n
[, [C
n
[ independentes de n.
A
n
,= 0 porque a equacao (7.14) nao tem raizes racionais.
A equacao (7.16) mostra que
A
n
x
2
+B
n
x +C
n
= 0 (7.17)
tem raiz s
n
. Alem disso, alguns calculos mostram que
B
2
n
4A
n
C
n
= (b
2
4ac)(h
n1
k
n2
h
n2
k
n1
)
2
= b
2
4ac (7.18)
Ora


h
n
k
n

<
1
k
n
k
n+1
<
1
k
2
n
pelo que
h
n1
= k
n1
+
n 1
k
n1
& [
n1
[ < 1.
714 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Da
A
n
= a
_
k
n1
+
n 1
k
n1
_
2
+bk
n1
_
k
n1
+
n 1
k
n1
_
+ck
2
n1
= (a
2
+b +c)k
2
n1
+ 2a
n1
+a

2
n1
k
2
n1
+b
n1
= 2a
n1
+a

2
n1
k
2
n1
+b
n1
,
pelo que
[A
n
[ < 2[a[ +[a[ +[b[
e, como C
n
= A
n1
,
[C
n
[ < 2[a[ +[a[ +[b[.
Por (7.18),
B
2
n
4[A
n
[[C
n
[ +[b
2
4ac[
< 4(2[a[ +[a[ +[b[)
2
+[b
2
4ac[.
Portanto os valores dos n umeros inteiros A
n
, B
n
, C
n
sao limitados independentemente
de n e o n umero de ternos (A
n
, B
n
, C
n
) e nito; se (A, B, C) for um dos que ocorre pelo
menos tres vezes, os correspondentes s
n
1
, s
n
2
, s
n
3
tem pelo menos uma repeticao, pois
a equacao (7.17) tem apenas duas solucoes.
Se s
n
1
= s
n
2
entao
a
n
1
+i
= a
n
2
+i
(i N
0
)
e a fraccao e periodica. 2
7.4 Exerccios
1. Considere n :=
4567890
123456
(a) Sem a calcular, determine a natureza da dzima de n e diga qual o compri-
mento do seu perodo.
(b) Verique que a resposta que deu `a alnea anterior e correcta.
2. Prove os seguintes resultados
(a) Suponha que f Z[x] e que f tem grau positivo. Mostre que para qualquer
m N, existe n N tal que n > m & f(n) e composto.
VN 715
N umeros Reais ITN(2001)
(b) A dzima x := 0, a
1
a
n
denida por
a
n
=
_
1 se n e primo
0 caso contr ario.
e irracional. (SUG: prove que se a dzima e periodica, entao existem a, b N
tais que a ,= 0 & an +b e primo quando n e sucientemente grande.)
3. Seja x o n umero real em ]0, 1[ cuja parte decimal e a sequencia dos n umeros
primos, por exemplo, uma aproximacao de x e 0, 23571113171923 89 2161
(2161 e um dos primeiros 1000 n umeros primos). Prove que x e irracional. (SUG:
Comece por deduzir do Teorema de Dirichlet sobre progressoes aritmeticas que
ha innitos n umeros primos congruentes com 1 para o modulo 10
s
e conclua que
ha innitos n umeros primos cuja expressao decimal tem um n umero arbitrario de
zeros consecutivos.)
4. Suponha que b N/1.
(a) Mostre que se (a
n
)
nN
0, 1, , b 1
N
, entao

i=1
a
n
b
n
< + (7.19)
(b) Mostre que qualquer n umero real em ]0, 1[ tem uma representacao na base
b, i.e., e a soma de uma serie como a descrita em (7.19).
(c) Mostre que um n umero em ]0, 1[ e racional sse a sua representacao na base
b e periodica.
5. Mostre que:
(a) Se a, b Z, a < b e r := [a; a
1
, ] e s := [b; b
1
, ] sao fraccoes contnuas
simples, entao r < s.
(b) Se r := [a
0
; a
1
, ] e s := [b
0
; b
1
, ] sao fraccoes contnuas simples e
k := maxj N[ i N [0 i < j a
i
= b
i
]
entao, convencionando que
max := 0,
r < s
_
k e par e a
k
< b
k
k e

impar e b
k
< a
k
.
716 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
6. Com a notacao do texto mostre que
n N
_
n 1
k
n
k
n1
= [a
n
; a
n1
, , a
1
]
_
e determine uma expressao semelhante para
hn
h
n1
, supondo que a
0
0.
7. Suponha que r :=
m
n
e uma fraccao reduzida em Q e que [a
0
; , a
n
] e a sua
representacao em fraccao contnua. Com a notacao do texto, mostre que
i N [0 i n 1 [ r
i
r [
1
k
i
k
i+1
]
e que a ultima desigualdade e igualdade apenas quando i = n 1.
8. Mostre que se as primeiras n reduzidas de duas fraccoes contnuas simples sao
iguais duas a duas, entao os primeiros n termos das fraccoes correspondentes
tambem sao iguais dois a dois.
9. Desenvolva os seguintes n umeros em fraccao contnua simples: 17/3, 3/17 e 8/1.
10. Converta em n umero racional as fraccoes contnuas [2, 1, 4], [3, 2, 12] e [0, 1, 1, 100].
11. Determine o valor das seguintes fraccoes contnuas:
(a) [1];
(b) [2, 1];
(c) [2, 3, 1];
(d) [2];
(e) [1, 2];
(f) [2, 1].
12. Para cada uma das dzimas 0, 12(4), 12, 23(465) e 1, (12345679), determine a
fraccao reduzida correspondente.
13. Determine o desenvolvimento em fraccao contnua periodica dos seguintes n umeros
irracionais quadraticos
(a)

29
(b)

41
(c)

37+5
3
(d) 1
2

3
14. Demostre que
VN 717
N umeros Reais ITN(2001)
a)

n
2
+ 1 = [n, 2n] b)
_
n(n + 1) = [n, 2, 2n]
15. Demonstre que se n e um inteiro positivo se tem
n +

n
2
+ 4
2
= [n]
718 VN
Captulo 8
Extensoes
De ora em diante supomos xado um modelo de corpo ordenado completo, isto e, o
corpo dos n umeros reais; tambem nos referiremos indistintamente ao corpo enquanto
estrutura algebrica / = (K, +, , 0, 1, < ) ou ao seu suporte K; alem disso, designaremos
genericamente por + e (abreviando a b por ab) as operacoes de soma e produto de
qualquer corpo; nalmente: 0 = 0 e 1 = 1.
8.1 Os n umeros complexos
O polinomio x
2
+1 nao tem raizes reais, pois 1 < 0 x
2
em qualquer corpo ordenado
(lema 6.1.1).
Esta seccao consiste essencialmente na demonstracao do seguinte
Teorema 8.1.1 A menos de um isomorsmo de corpos, existe um corpo
mnimo que prolonga o corpo R e onde o polinomio x
2
+ 1 tem uma raiz.
Admitamos a existencia de um corpo K do qual o corpo R e subcorpo e onde existe
um elemento designado por i tal que
i
2
+ 1 = 0. (8.1)
Repare-se que R K e seja
C = a +bi : a, b R
801
N umeros Reais ITN(2001)
Lema 8.1.1 Para quaisquer n umeros reais a, b, c e d
1. a +bi = c +di sse a = c e b = d.
2. (a +bi) + (c +di) = (a +c) + (b +d)i
3. (a +bi)(c +di) = (ac bd) + (ad +bc)i
4. (a +bi)
1
=
a
a
2
+b
2

b
a
2
+b
2
i
Dem. (1) Se a +bi = c +di, entao a c = (b d)i portanto (a c)
2
= (b d)
2
; mas
entao
0 (a c)
2
= (b d)
2
0
pelo que 0 = a c = b d.
As restantes propriedades sao consequencias do facto de K ser um corpo e a sua
demonstracao ca como exerccio. 2
Daqui resulta o seguinte teorema:
Teorema 8.1.2 ( = (C, +, , 0, 1) e um corpo que prolonga R propriamente.
Dem. Vejamos apenas que e extensao propria:
i = 0 + 1i C & R = R + 0i C & i CR
2
Por outro lado, o lema 8.1.1 so utiliza o facto de i ser uma raiz quadrada de 1,
pelo que vale seja ela qual for, em particular se, por exemplo, substituirmos i por i
no enunciado.
Por outro lado, tambem nao interessou a natureza do corpo / para alem do facto
de conter uma raiz quadrada de 1.
Resumindo:
Teorema 8.1.3 Qualquer corpo que contenha (um corpo ordenado isomorfo a) R e
onde a equacao x
2
+ 1 = 0 tenha solucao contem um corpo isomorfo a (; um isomor-
smo pode ser descrito do seguinte modo: se i e j designam respectivamente raizes
quadradas de 1 em cada um dos corpos extensao, entao
(a +bi) = a +bj (a, b R).
Fica assim cumprido o proposito anunciado no incio da seccao. Chamamos a esta
extensao mnima o corpo dos n umeros complexos.
802 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Observe-se ainda que denindo conjugado, z, do n umero complexo z = a +
bi (a, b) R
2
, por
a +ib = a ib
e uma funcao N : C R, designada tambem norma, por
N(a +bi) = a
2
+b
2
((a, bvtr
2
)) (8.2)
vem, para z = a +bi, w = c +di C, a, b, c, d R,
N(z) = zz
z
1
=
z
N(z)
N(zw) = N(z)N(w).
Em particular
(a
2
+b
2
)(c
2
+d
2
) = (ac bd)
2
+ (ad +bc)
2
(a, b, c, d R).
1
Terminamos com as seguintes observacoes:
Observacoes.
1. O corpo ( nao e ordenavel, pois i
2
= 1.
2. O corpo ( e algebricamente fechado, isto e, vale o seguinte teorema, cuja demon-
stracao nao cabe no ambito deste curso.
Teorema 8.1.4 (Fundamental da

Algebra)
Qualquer polinomio de coecientes em C e grau maior ou igual a 1 tem raizes em
C.
8.2 Quaternioes
Seja K = K, + ~um espaco vectorial sobre o corpo R dos n umeros reais com dimensao
4. Vamos denir uma operacao binaria de modo a que
K1. K, +, ~ e anel de divisao.
K2. O corpo C dos n umeros complexos e (isomorfo a um) subanel de K.
Designemos por 1, i, j, k uma base de K. Como e habitual, simplicamos a notacao
x y por xy e identicamos K com K. Dena-se
1. i
2
= j
2
= k
2
= 1
2. ij = k jk = i ki = j
1
Recorde-se a proposito o teorema 4.3.3.
VN 803
N umeros Reais ITN(2001)
3. Se a, b, c, d, , , , R, x = a1 +bi +cj +dk, y = 1 +i +j +k entao
xy = (a b c d)1 + (a +b +c d)i
(a +c +d b)j + (a +d +b c)k
Tres propriedades de demonstracao particularmente rapida
Teorema 8.2.1 Tem-se
1. 1 e elemento neutro de .
2. ji = k kj = i ik = j
3. K, ~ nao e comutativo.
4. C e isomorfo ao subanel de K cujos elementos sao todos os da forma a1 +bi, em
que a, b R.
E vale K2. Quanto a K1
Teorema 8.2.2 K e anel de divisao
Dem. As propriedades da soma estao garantidas pelo facto de K ser espaco vectorial.
A unica propriedade que possivelmente exige mais que calculos rotineiros e a existencia
de opostos multiplicativos. Na verdade, analogamente ao que se passa com C, se
a1 +bi +cj +dk ,= 0 a, b, c, d R
(a1 +bi +cj +dk)
1
=
a1 bi cj dk
a
2
+b
2
+c
2
+d
2
2
Parece-nos interessante observar que, analogamente ao que se faz em C, denindo
o conjugado do quaterniao = a1 +bi +cj +dk, , por
a1 +bi +cj +dk = a bi cj dk ((a, b, c, d) R
4
), (8.3)
e denindo a norma do quaterniao, N, por
N() := a
2
+b
2
+c
2
+d
2
((a, b, c, d) R
4
),
entao, para quaiquer , K,
N() =

1
=

N()
N() = N()N().
Em particular, vale uma identidade de Lagrange que enunciamos de seguida.
804 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
Teorema 8.2.3 Se = a1 + bi + cj + dk e = u1 + vi + xj + yk sao quaternioes e
(a, b, c, d), (u, v, x, y) R
4
, entao
(a
2
+b
2
+c
2
+d
2
)(u
2
+v
2
+x
2
+y
2
) = (au +bv +cx +dy)
2
+ (av bu cy +dx)
2
+ (ax +by cu dv)
2
+ (ay bx +cv du)
2
.
8.3 Extensoes ordenadas
8.3.1 (In)Completude
Leibniz utilizava (e Newton tambem) n umeros innitesimais , isto e, n umeros nao nulos,
mas de valor absoluto menor que qualquer n umero real positivo, do mesmo modo que
os n umeros reais. Na verdade um grande n umero de matematicos do seculo XVIII (e
Fermat antes deles) obteve resultados fundamentais utilizando os primeiros, e mesmo
Euler se socorreu de n umeros innitos para obter, por exemplo, o desenvolvimento da
funcao seno em produto. Tal pode de facto ser feito no contexto adequado e tomando
os devidos cuidados como se pode ver em [19]. Para ja tratamos apenas de algumas
propriedades puramente algebricas de extensoes proprias do corpo dos n umeros reais.
Teorema 8.3.1 Se K e um corpo ordenado que prolonga propriamente o dos n umeros
reais, entao existem em K elementos positivos menores que qualquer n umero real pos-
itivo.
Dem. Suponhamos que K e uma extensao ordenada propria de R e que KR.
Podem dar-se tres casos a saber
1. r R r <
2. r R < r
3. r, s R r < < s
No primeiro caso, como K e um corpo ordenado,
s R
+
0 <
1

<
1
s
ou, como se pretende,
r R
+
0 <
1

< r
O segundo caso, pode tratar-se analogamente tomando em vez de .
No terceiro caso dena-se
A = x R : x <
O conjunto A R, nao e vazio, pois r A, e e majorado em R por s, portanto tem
um supremo tambem em R, digamos = supA. Vamos ver que [ [ e o n umero
VN 805
N umeros Reais ITN(2001)
pretendido. Tome-se M R
+
. Por um lado M < e assim existe a A tal que
M < a < e
< M;
por outro lado, < + M e portanto + M R; segue-se que de facto <
+M R, ou seja
< M.
As duas desigualdades mostram o que se pretende. 2
Os elementos K cuja existencia esta garantida pelo teorema 8.3.1 dizem-se
innitesimais. Os outros elementos, ainda designados por , podem ser innitos, se
r R
+
r < [[ (8.4)
ou nitos, se
r R
+
[[ < r. (8.5)
A condicao 8.4 e equivalente `a disjuncao das 1 ou 2 da demonstracao acima; a condicao
8.5 e equivalente a 3 da mesma demonstracao.
8.3.2 Parte standard
Notemos x y se xy e innitesimal, o que tambem se traduz por x esta innitamente
proximo de y.
Com um pouco mais de precisao pode mostrar-se o seguinte
Teorema 8.3.2 Seja K uma extensao propria ordenada do corpo dos n umeros reais.
Para cada elemento nito K, existe um e so um n umero real
o
tal que
o
.
Dem. Releia-se a demonstracao anterior e tome-se
o
= . Mostrou-se que
o
R.
Quanto `a unicidade, observe-se que outro n umero real innitamente proximo de
estaria tambem innitamente proximo de
o
e portanto o valor absoluto da diferenca
entre os dois seria um n umero real menor que qualquer n umero real positivo, pelo que
so poderia ser zero. 2
O n umero
o
cuja existencia e garantida por este teorema diz-se parte standard
de .
Teorema 8.3.3 Seja K uma extensao ordenada propria do corpo R. Sejam respecti-
vamente O e os conjuntos dos n umeros nitos e dos n umeros innitesimais em K.
Para simplicar a notacao, entendam-se as operacoes e ordem restringidas adequada-
mente.
1. (O, +, , ) e um domnio de Integridade ordenado.
806 VN
Int. ` a Teoria dos N umeros (2001) N umeros Reais
2. (, +, , ) e um domnio de Integridade ordenado e ideal em (O, +, , ); em
particular
O [0 [[ ]. (8.6)
3. A func ao st : (O, +, ) (R, +, ) e um epimorsmo de aneis, = st
1
(0) e O
/
e isomorfo a R.
Concluimos observando que
Corolario 8.3.1 Os corpos ordenados que prolongam propriamente o corpo dos n umeros
reais nao sao completos.
Dem. Vejamos o conjunto dos innitesimais nao tem supremo, mesmo sendo majora-
do por qualquer n umero real positivo: se s = sup entao s , , porque 0 < s < 2s ;
mas entao existe r R tal que 0 < r s, portanto (o supremo) s e menor ou igual a(o
majorante) r, o que e absurdo. Em suma: nao tem supremo. 2
8.4 Exerccios
1. Determine os seguintes produtos de quaternioes:
(a) (i +j)(i j);
(b) (1 i + 2j 2k)(1 + 2i 4j + 6k).
2. Mostre que os unicos quaternioes que comutam com i sao da forma a +bi.
3. Determine todos os quaternioes que comutam simultaneamente com i e j.
4. Mostre que ha um n umero innito de solucoes da equacao x
2
= 1 no conjunto
dos quaternioes.
5. Suponha que a = a
2
1
+ a
2
2
+ a
2
3
+ a
2
4
e que b = b
2
1
+ b
2
2
+ b
2
3
+ b
2
4
, onde a
i
, b
i
Z.
Mostre que ab = c
2
1
+c
2
2
+c
2
3
+c
2
4
, onde
(a
1
+a
2
i +a
3
j +a
4
k)(b
1
+b
2
i +b
3
j +b
4
k) = c
1
+c
2
i +c
3
j +c
4
k.
6. Seja / = (K, +, , 0, 1, <) um corpo ordenado que prolonga propriamente o dos
n umeros reais. Sejam respectivamente e O os conjuntos de elementos innites-
imais e elementos nitos de /. Mostre que, para quaisquer a, b, x, y K
(a) Se x a O entao x
2
a
2
, mas pode acontecer x a & x
2
, a
2
.
(b) Se a, b O & x a & y b, entao xy ab, mas pode acontecer x
a & y b mas xy , ab.
VN 807
N umeros Reais ITN(2001)
(c) Se x a , 0, entao
1
x

1
a
, mas pode acontecer x a &
1
x
,
1
a
.
(d) Sendo a funcao f(x) um polinomio em x de coecientes em O e grau n N
e a O , para todo o h , existe tal que
f(a +h) = f(a) +f

(a)h +h;
(e) Se f(x) =
1
x
, a , & h 0, entao existe tal que
f(a +h) = f(a)
1
a
2
h + h.
808 VN
Parte III
Aplicacoes
901
Captulo 9
Criptograa
9.1 Introducao
Um alfabeto e um conjunto nito de smbolos com os quais serao elaboradas sequencias
ou unidades de texto. Designaremos por T(/) o conjunto das unidades de texto no
alfabeto /.
Uma funcao de cifra e uma aplicacao injectiva de um conjunto de unidades de
texto para outro; os elementos do contradomnio da funcao de cifra designam-se por
unidades de cifra. Um texto e uma sequencia de unidades de texto; um texto
cifrado e uma sequencia de unidades de cifra.
Vamos considerar apenas casos em as unidades de cifra e de texto sao do mesmo
tipo e construidas com o mesmo alfabeto.
Um sistema de cifra e um terno
T(/)
f
T(/)
f
1
T(/)
em que f e uma funcao de cifra.
9.2 Sistemas ans
Seja / um alfabeto com n smbolos distintos (n > 1) e xe-se uma enumeracao :
/ 0, 1, , n 1.
Uma k-unidade de texto e uma sequencia de k elementos de /. Como conven-
cionamos na introducao, as unidades de cifra sao tambem sequencias de k elementos
de /. Cada texto e constituido por um n umero inteiro de unidades; se for necessario,
completa-se a ultima unidade por repeticao do ultimo smbolo do alfabeto.
A funcao de cifra am de parametros a e b e a funcao f construida do seguinte
modo:
1. Fixam-se a N primo com n e b 1, , n 1
903
Aplicac oes ITN(2001)
2. Cada unidade de texto u = A
0
A
k1
e codicada por um n umero (u) que se
obtem por expressao na base n:
(u) = (A
0
)n
k1
+ +(A
k2
)n +(A
k1
)
3. Para cada unidade de texto u, f(u) =
1
_
a(u) +b (mod n
k
)
_
0 (f(u)) n
k
1.
Os parametros a, b constituem a chave da cifra.
Teorema 9.2.1 Se f e uma funcao de cifra am de parametros a, b e a

designa o
inverso de a (mod n
k
) entao, para cada unidade de cifra c
f
1
(c) =
1
_
a

(c) a

b (mod n
k
)
_
.
Os sistemas ans mais simples ocorrem com k = 1 = a e podem ser designados por
sistemas de deslocamento.
9.3 Codicacao Matricial
Outra forma de codicar resulta de se tomar uma k-unidade de texto como um elemento
de (Z
n
)
k
, como modulo sobre o anel Z, e utilizar matrizes. Vejamos um caso menos
complicado.
Designe-se o conjunto das matrizes 2 2 com coordenadas em Z
n
por /
2
.
Teorema 9.3.1 Se
A =
_
a b
c d
_
/
2
& = ad bc,
as seguintes condicoes sao equivalentes.
1. mdc(, n) = 1
2. A e invertvel
3. ker(A) =

0 (Z
n
)
2
4. A dene um automorsmo de (Z
n
)
2
Dem. (1 2) Designando por

o inverso de (mod n), e facil vericar que


A
1
=

_
d b
c a
_
(2 4) e (4 3) sao imediatas.
(3 1) Suponha-se que = mdc(, n) > 1 e ponha-se n = m. Repare-se que
0 < m < n e portanto n ,[m; em particular
m , 0 (mod n). (9.1)
904 VN
Int. ` a Teoria dos N umeros (2001) Aplicac oes
Se divide todas as coordenadas de A, entao
A
_
m
m
_
=

0
e, por (9.1), nao vale 3.
Se nao divide simultaneamente a e b entao
_
bm
am
_
,=

0 (9.2)
mas
A
_
bm
am
_
=
_
0
m
_
=

0.
e torna a nao valer 3, em virtude de (9.2).
Se nao divide simultaneamente c e d entao
_
dm
cm
_
,=

0 (9.3)
mas
A
_
dm
cm
_
=
_
m
0
_
=

0.
e, de novo, nao vale 3, em virtude de (9.3). 2
Neste contexto, os textos sao estruturados em matrizes de duas linhas, correspon-
dendo cada coluna a uma unidade de cifra. As funcoes de cifra ans f passam a
entender-se do seguinte modo:
1. Sao dados um elemento

b (Z
n
)
2
e uma matriz invertvel A /
2
.
2. A primeira transformacao : T(/) (Z
n
)
2
toma a forma

__
A
1
A
2
__
=
_
(A
1
)
(A
2
)
_
3. Modulo n, tem-se nalmente
f(u) =
1
_
A(u) +

b
_
.
9.4 Criptograa de chave p ublica
Recorde-se que um n umero natural se diz livre de quadrados se for 1 ou um produto
de n umeros primos distintos. Seja tambem a funcao de Euler. O teorema seguinte
enuncia alguns lemas de que precisamos para esta seccao.
VN 905
Aplicac oes ITN(2001)
Teorema 9.4.1 1. Se m e livre de quadrados e d = mcd(a, m) entao a e primo com
m
d
.
2. Se m e livre de quadrados e d[m entao d e primo com
m
d
.
3. Para qualquer m N, se d[m entao (d)[(m).
4. Se n 1 (mod (m)) e a e primo com m, entao a
n
a (mod m)
5. Se m e livre de quadrados e n 1 (mod (m)), entao a N a
n
a (mod m).
Dem. Demonstraremos apenas a proposicao 5. As proposicoes anteriores sao essen-
cialmente lemas para a ultima.
Para evitar trivialidades podemos supor que a, m, n > 1. Seja d = mdc(a, m); tem-se
para certos r, s N
0
a
n
= a
r(m)+1
= a
rs(
m
d
)+1
=
_
a
(
m
d
)
_
rs
a
1
rs
a (mod
m
d
)
a (mod
m
d
)
Em particular, para algum N,
d[a
n
a =
m
d
e, pela proposicao 1, d[, donde a
n
a (mod m). 2
Segue-se como corolario:
Teorema 9.4.2 Se m e simples, k, k

N e kk

1 (mod (m)), entao


a N a
kk

a (mod m).
Um exemplo de codificac ao
I. Fixe-se um codigo n

para cada smbolo da linguagem que vai ser utilizada.


Exemplo 9.4.1 Se designar uma letra do alfabeto latino, seja n

o seu n umero de
ordem alfabetica habitual com dois dgitos: n
a
= 01, n
b
= 02, ..., n
j
= 10, ...
II. Traduza-se a mensagem para esse codigo.
Exemplo 9.4.2 De acordo com o exemplo anterior, supondo ainda que n
o
= 35 a
palavra codigo e traduzida por 033504090715.
906 VN
Int. ` a Teoria dos N umeros (2001) Aplicac oes
III. Pode-se car por aqui ou dicultar um pouco mais a descodicacao.
Exemplo 9.4.3 Digamos que o maior n

e 50 e seja m = 5 17, pelo que (m) = 64;


tome-se tambem k = 5 & k

= 13. Em vez de se codicar como no exemplo 9.4.1,


recodique-se
n

= (n

)
5
com as letras em blocos separados: a palavra codigo passa a ser traduzida por
243 52521875 1024 59049 16807 759375
IV. A descodicacao pode ser feita utilizando o teorema 9.4.2 por quem saiba que
k

= 13 e m = 85.
Exemplo 9.4.4 (mod 85) tem-se
243
13
73
13
(12)
13
(12
3
)
4
12 28
4
12
21 12 82 3
= 03
Mais um caracter
52521875
13
35
13
(35
4
)
3
35
(35
3
) 35 = 35
4
35
Repare-se que os exemplos que temos vindo a descrever podem ser tratados com
uma calculadora cientca nao particularmente sosticada. Codicacoes mais seguras
podem fazer-se utilizando n umeros primos muito grandes para compor o modulo m.
9.5 Assinaturas; ISBN
Num sistema de chave p ublica uma assinatura do detentor da chave (m, k) pode ser
k
k

(mod n): o receptor, que conhece (m, k), devera obter k


k
(mod m).
O International Standard Book Number, ISBN, e um instrumento de deteccao de
eventual existencia de erro de referencia.
Cada livro tem um ISBN que consiste numa sequencia a
1
a
10
de dez
smbolos: os primeiros nove sao algarismos de 0 a 9, o decimo pode ser um desses
algarismos ou a letra X, para representar dez na base 11, de acordo com a seguinte
congruencia
a
10

9

i=1
a
i
i (mod 11)
Esta representacao e sensvel a trocas de quaisquer dois smbolos, indicando uma prob-
abilidade alta de designar o livro correctamente caso a congruencia se verique.
VN 907
Aplicac oes ITN(2001)
9.6 Exerccios
1. (a) Suponha que m = pq e = (p 1)(q 1) onde p e q sao n umeros reais.
Encontre uma formula para p e para q em funcao de m e de ;
(b) Suponha que m = 39247771 e o produto de dois primos, p e q, distintos.
Determine p e q sabendo que (m) = 39233944
2. Sejam T = _, A, B, C, D, . . . , W, X, Y, Z, onde _representa o espaco em bran-
co e a correspondencia que a cada letra faz corresponder o seu n umero de ordem
alfabetica habitual com dois dgitos:
(A) = 01, (B) = 02, . . . , (Z) = 26 e (_) = 00.
Consideremos o conjunto T
2
= xy : x, y T, a correspondencia : T
2

0, 1, . . . , m1 denida por (xy) = (x)(y) (mod 1333) (ab representa a con-


catenacao de a com b), o modulo=1333 (1333 = 3143) e o expoente codicador
s = 13.
(a) Prove que a correspondencia e uma aplicacao injectiva;
(b) Prove que nao e sobrejectiva;
(c) Codique e descodique as palavras SIM e EULER;
(d) Descodique 084404430682 e 084405821121.
908 VN
Bibliograa
[1] George E. Andrews: Number Theory, Dover 1971.
[2] William W. Adams e Larry J. Goldstein: Introduction to Number
Theory,Prentice-Hall, Inc., 1976.
[3] Tom M. Apostol: Introduction to Analytic Number Theory Spriger UTM
1976.
[4] A. Baker: A Concise Introduction to the Theory of Numbers, CUP 1984.
[5] Owen Brison: Teoria Elementar dos N umeros I e II: Bol. da SPM 33, Dezem-
bro de 1995 & 37, Outubro de 1997.
[6] John H. Conway & Richard K. Guy: O Livro dos N umeros, (Trad. de
Jose Sousa Pinto) Univ. de Aveiro/Gradiva 2000.
[7] H. Davenport: The Higher Arithmetic, CUP 1995.
[8] Herbert B. Enderton: A Mathematical Introduction to Logic, Har-
court/Acad. Press 2001.
[9] A. Goncalves: Introducao `a

Algebra, IMPA 1979.
[10] G. H. Hardy e E. M. Wright: An Introduction to the Theory of Numbers,
Oxford, 1985.
[11] I. N. Herstein: Topics in Algebra, John Wiley & Sons 1975.
[12] K. Ireland: A Classical Introduction to Modern Number Theory, Springer
GTM 84, 1990.
[13] Neil Koblitz: A course in Number Theory and Criptography Springer GTM
114, 1994.
[14] I. Niven, H. Zuckerman e H. Montgomery: An Introduction to the The-
ory of Numbers, John Wiley & Sons, Inc., 1991.
909
Aplicac oes ITN(2001)
[15] J. Rey Pastor e P. Pi Calleja & C. A. Trejo: Analisis Matematico, I
Vol., Kapeluz, 1969.
[16] J. S. Pinto: Metodos Innitesimais de Analise Matematica, Fund. Calouste
Gulbenkian 2000.
[17] J. S. Pinto e A. M. Caetano: Conjuntos Numericos, Estudo I, Cadernos
de Matematica, Universidade de Aveiro, 1996.
[18] Michael Spivak: Calculus,W. A. Benjamin, Inc., Reverte 1975. (traducao
espanhola Reverte S.A.)
[19] K. D. Stroyan, W. A. J. Luxemburg: Introduction to the Theory of In-
nitesimals, Acad. Press, 1976.
910 VN

Indice remissivo
alfabeto, 903
Algoritmo
de Euclides, 7
assinatura, 907
bem ordenado, 5
caracterstica, 701
chave, 904
congruencia
linear, 204
congruencias
polinomiais, 210
conjugado
de n umero complexo, 803
de quaterniao, 804
conjunto
indutivo, 605
corpo, 603
ordenado, 603
Arquimediano, 613
completo, 613
criterio
de Euler, 303
dzima, 702
nita, 703
mista, 703
parte
decimal da, 702
inteira da, 702
periodica, 703
puramente periodica, 703
divisvel, 8
divisor, 8
maximo [...] comum, 9
elemento
positivo, 603
equacao
Diofantina, 401
formula
de Inversao de Mobius, 507
de Taylor, 213
fraccao contnua, 706
nita, 706
innita, 708
periodica, 713
funcao
aritmetica, 501
de cifra, 903
de Euler, 206
de Mobius, 503
multiplicativa, 504
identidade
de Lagrange, 412, 804
inverso
aritmetico, 203
Lei
de Reciprocidade Quadratica, 306
do Corte, 5, 6
Lema
de Euclides, 10
m ultiplo, 8
n umero
algebrico, 611
911
Aplicac oes ITN(2001)
complexo, 802
nito, 806
innitesimal, 806
innito, 806
perfeito, 509
primo, 10
transcendente, 611
n umeros
congruentes, 201
naturais, 4
estrutura de , 3
intuitivos, 6
norma
de n umero complexo, 803
de quaterniao, 804
notacao
K
+
, 603
[], 701
, 503
, 206
(mod n), 201
car, 705
mdc(a, b), 9
ordem, 703
Peano
Axiomatica de, 3
Princpio
de Induc ao, 3
Completa, 5
Propriedade
Arquimediana, 7
reduzida, 706
resduo
nao quadratico, 302
quadratico, 302
smbolo
de Legendre, 303
simples
fraccao contnua, 706
n umero, 408
sucessao, 706
sistema
de cifra, 903
de resduos
completo, 202
reduzido, 206
solucao
trivial, 401
sucessor, 3
Teorema
Chines do Resto, 216
de Dirichlet, 13
de Euclides, 12
de Euler, 207
de Liouville, 611
de Wilson, 208
Fundamental da

Algebra, 803
Fundamental da Aritmetica, 11
Pequeno [...] de Fermat, 208
terno Pitagorico, 401
primitivo, 402
texto, 903
cifrado, 903
unidade
k-[...] de texto, 903
de cifra, 903
unidades
de texto, 903
912 VN

Você também pode gostar