A

`
INTRODUC
AO

TEORIA DOS NUMEROS

Vtor Neves

******************************

Departamento de Matem
atica
Universidade de Aveiro
2001

Introduc
ao
O presente texto resulta da evolucao de um conjunto de notas de apoio `a disciplina Introdu
c
ao `
a Teoria dos N
umeros do segundo semestre do terceiro ano da
licenciatura em Ensino de Matem
aticada 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 afloradas de
modo a alertar para a sua existencia e onde podem ser estudadas.
A finalidade principal do texto apoiar uma disciplina semestral obrigou a escolhas nao muito agradaveis: por questoes de tempo nao se tem mostrado razoavel
tratar cuidadosamente a equacao de Pell, aspectos de Teoria Analtica, aproximac
ao
por fraccoes contnuas, razes primitivas, criterios de primalidade ou Teoria Combinatoria. Tais assuntos poderiam ser abordados se a filosofia subjacente a este texto
se modificasse; 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 tipografica
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 sugest
oes
que apresentaram.


NOTAC
AO
Salvo referencia em contr
ario, vari
aveis representadas por letras
min
usculas designam n
umeros inteiros.
Aveiro
Maio de 2001
Vtor Neves

Indice
I

Introduc
ao `
a Teoria dos N
umeros

1 Teorema Fundamental da Aritm

etica
1.1 N
umeros Naturais . . . . . . . . . . . . . .
1.1.1 Axiomatica de Peano . . . . . . . . .
1.1.2 Soma, ordem e produto . . . . . . .
1.2 Aritmetica . . . . . . . . . . . . . . . . . . .
1.2.1 O maximo divisor comum . . . . . .
1.2.2 Teorema Fundamental da Aritmetica
1.3 Exerccios . . . . . . . . . . . . . . . . . . .
2 Congru
encias
2.1 Propriedades basicas . . . . . . . . . . . .
2.2 Inversao I . . . . . . . . . . . . . . . . . .
2.3 Congruencias lineares . . . . . . . . . . .
2.3.1 Inversao II . . . . . . . . . . . . .
2.4 A funcao de Euler . . . . . . . . . . . .
2.4.1 Sistemas reduzidos de resduos . .
2.4.2 Teoremas de Euler, de Fermat e de
2.5 Congruencias polinomiais . . . . . . . . .
2.5.1 Introducao . . . . . . . . . . . . .
2.5.2 Modulo primo . . . . . . . . . . . .
2.5.3 Modulo potencia de base prima . .
2.5.4 Teorema Chines do Resto . . . . .
2.6 Exerccios . . . . . . . . . . . . . . . . . .
3 Resduos quadr
aticos
3.1 Introducao . . . . . .
3.2 Preliminares . . . . .
3.3 Lei de Reciprocidade
3.4 Exerccios . . . . . .

. . . . . . .
. . . . . . .
Quadratica
. . . . . . .

.
.
.
.

4 Equa
c
oes Diofantinas

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

3
3
3
4
7
7
10
13

. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
Wilson
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

201
201
203
204
205
206
206
207
210
210
211
213
215
218

.
.
.
.

301
301
302
303
308

.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

401

Indice
4.1
4.2
4.3
4.4
4.5

ITN (2001)
Ternos Pitagoricos . . . . . . . .
Somas de duas quartas potencias
Somas de dois quadrados . . . .
Somas de quatro quadrados . . .
Exerccios . . . . . . . . . . . . .

5 Fun
c
oes aritm
eticas
5.1 Introducao . . . . . . . . . . . .
5.2 Produto de Dirichlet . . . . . .
5.3 Funcoes multiplicativas . . . . .
5.4 Formula de Inversao de Mobius
5.5 A funcao de Euler . . . . . . .
5.6 N
umeros perfeitos . . . . . . .
5.7 Exerccios . . . . . . . . . . . .

II

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

401
406
408
412
414

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

501
501
504
504
506
507
509
510

N
umeros reais

601

6 Fundamenta
c
ao
6.1 Corpos ordenados e n
umeros racionais . . . . . . .
6.2 Uma visao construtiva . . . . . . . . . . . . . . . .
6.3 Extensoes proprias do corpo dos n
umeros racionais
6.4 Corpos ordenados completos . . . . . . . . . . . . .
6.5 Existencia . . . . . . . . . . . . . . . . . . . . . . .
6.6 N
umeros transcendentes . . . . . . . . . . . . . . .
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

603
603
608
610
612
615
618
619

7 Dzimas e Frac
c
oes contnuas
7.1 Dzimas . . . . . . . . . . .
7.2 Fraccoes contnuas simples .
7.3 Fraccoes periodicas . . . . .
7.4 Exerccios . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

701
701
705
713
715

8 Extens
oes
8.1 Os n
umeros complexos .
8.2 Quaternioes . . . . . . .
8.3 Extensoes ordenadas . .
8.3.1 (In)Completude .
8.3.2 Parte standard .
8.4 Exerccios . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

801
801
803
805
805
806
807

ii

.
.
.
.
.
.

.
.
.
.
.
.

VN

` Teoria dos Nu
meros
Int. a

III

Aplicac
oes

9 Criptografia
9.1 Introducao . . . . . .
9.2 Sistemas afins . . . .
9.3 Codificacao Matricial
9.4 Criptografia de chave
9.5 Assinaturas; ISBN .
9.6 Exerccios . . . . . .

VN

Indce

901
. . . . .
. . . . .
. . . . .
p
ublica
. . . . .
. . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

903
903
903
904
905
907
908

iii

Indice

iv

ITN (2001)

VN

Parte I

Introduc
ao `
a Teoria dos N
umeros

Captulo 1

Teorema Fundamental da
Aritm
etica
1.1

N
umeros Naturais

Se bem que se suponham conhecidas as propriedades algebricas elementares dos conjuntos de n

umeros naturais, inteiros, racionais, reais e complexos, vamos enunciar propriedades basicas dos n
umeros naturais que serao demonstradas e utilizadas mais tarde
numa construcao de outros conjuntos de n
umeros.

1.1.1

Axiom
atica de Peano

Uma estrutura de n
umeros naturais e um terno N = 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 N\{1}.
N4) Princpio de Indu
c
ao.
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
n
ao e sucessor e, de acordo com a condicao N2, dois elementos de N s
ao iguais sse tem
o mesmo sucessor.

Teorema Fundamental

ITN (2001)

Explorando as propriedades das estruturas de n

umeros naturais:
Teorema 1.1.1 Qualquer elemento de N\{1} e sucessor.
Por outras palavras: 1 e o u
nico elemento de N que n
ao e sucessor.
Dem. Defina-se A = {1} S(N) = {1} {S(n) : n N}. Por definicao 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
N\{1}, em virtude de N3.
2
Pode tambem demonstrar-se que
Teorema 1.1.2 Todas as estruturas de n
umeros naturais s
ao isomorfas
Dem. As condicoes

I(11 ) = 12

I(S1 (x)) = S2 (I(x)) se x N1

definem uma funcao1 I : N1 N2 . O Princpio de Indu
c
ao, o teorema 1.1.1 e o
facto de as funcoes sucessor serem injectivas garantem que I e um isomorfismo 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 fixarmos nos n
umeros naturais intuitivos,
verificaremos que a axiomatica N1, N2, N3 e suficiente para definir a Aritmetica e
ordenar adequadamente a estrutura.

1.1.2

Soma, ordem e produto

Seja N = N, S, 1  uma estrutura de n

umeros naturais.
Defini
c
ao 1.1.1 A soma de dois n
umeros naturais m e n designa-se por m + n e
define-se recursivamente do seguinte modo2 :
(
m + 1 = S(m)
m + S(n) = S(m + n)

1
2

(m N)
(m, n N)

(1.1)

Veja-se o Teorema de Recurs

ao em [8, pp 39 e seg.]
Idem nota 1

VN

` Teoria dos Nu
meros (2001)
Int. a

Teorema Fundamental

Tem-se entao
Teorema 1.1.3 Para quaisquer
m, n N a soma m + n est
a definida e
N, +  e um semigrupo comutativo que verifica a Lei do Corte, isto e, a condic
ao seguinte
m, n, p N m + p = n + p m = n.
(1.2)
Dem. Esquematizamos apenas uma demonstracao da Lei do Corte. Defina-se para
cada m, n N
Amn = {p N : m + p = n + p m = n}
Tem-se 1 Amn pela definic
ao de soma e pelo axioma N2. Se p Amn 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 Amn . Mas entao
1 Amn & p Amn S(p) Amn (p N)
Pelo Princpio de Inducao Amn = N.

Ha uma forma frequentemente

Princpio de Indu
c
ao, a saber:

mais

conveniente

de

enunciar

Teorema 1.1.4 Se A N, 1 A e n + 1 A sempre que n A, ent

ao 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 N\{1}.

2. N n
ao tem m
aximo.
3. A relac
ao < e de ordem total estrita em N, ou seja, e transitiva e para quaisquer
m, n N, d
a-se uma e s
o uma das seguintes condic
oes
m=n

ou

m<n

ou

n < m.

4. Todo o subconjunto n
ao 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 Indu
c
ao Completa Se A e um subconjunto de N tal
que, seja qual for n N, n A sempre que {k N : k < n} A, ent
ao A = N.

VN

Teorema Fundamental

ITN (2001)

Este enunciado e de facto equivalente ao axioma N4 e ao teorema 1.1.4 em estruturas de n

umeros naturais, mas nao em conjuntos bem ordenados quaisquer.
E passamos `a definicao do produto.
Defini
c
ao 1.1.2 O produto dos n
umeros naturais m e n, nota-se m n e define-se
recursivamente3 por
(
m1=m
(m N)
(1.3)
m (n + 1) = m n + m (m, n N)
Como habitualmente, a notacao simplifica-se pondo
m n = mn
(m, n N).
Nestes termos vem
Teorema 1.1.7 Para quaisquer m, n N o produto mn est
a bem definido e
N,  e um semigrupo comutativo com elemento neutro 1 que verifica a Lei do
Corte, isto e, a condic
ao 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 aplicac
ao 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 Ni (i =
1, 2), ent
ao, para quaiquer m, n N1 ,
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 verificam a lei do corte por
grupos (ordenados) e de domnios de integridade (ordenados) por corpos (ordenados)
permitem v
arias 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. Recordese 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

VN

` Teoria dos Nu
meros (2001)
Int. a

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
1.2.1

Aritm
etica
O m
aximo divisor comum

Teorema 1.2.1 (Algoritmo de Euclides) Para quaisquer a e b, se a > 0 existem

n
umeros inteiros u
nicos d e r tais que
b = da + r

&

0 r < a

(1.5)

Dem.
Unicidade
Fixe-se a > 0. Suponha-se que da + r = d0 a + r0 & 0 r, r0 < a. Tem-se
(d d0 )a = r0 r

&

|r0 r| < a

Se d 6= d0 entao 1 |d d0 | e vem
a |d d0 |a = |r0 r| < a
o que e impossvel. Portanto d = d0 e tambem r = r0 .
Exist
encia
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 = min{x N| b < xa} 1

&

r = b da

Se b < 0, pelo que acabamos de ver, existem d1 N e r1 N, sendo 0 r1 < a,

tais que b = d1 a + r1 ; tome-se d = d1 1 e r = a r1 .
2
Um corolario de facil demonstracao:

VN

Teorema Fundamental

ITN (2001)

Corol
ario 1.2.1 Para quaisquer n
umeros inteiros a, b, se a 6= 0 existem d, r Z u
nicos
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.

Os n
umeros d e r das proposicoes anteriores designam-se respectivamente por cociente e resto da divisao de b por a.
Defini
c
ao 1.2.1 Dado a 6= 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 divis
ao 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 define o
cociente de zero por zero
Proposi
c
ao 1.2.1 A relac
ao | em Z e reflexiva e transitiva, mas n
ao e anti-simetrica
pois
a | b & b | a |a| = |b|
(1.6)
Dem. Demonstramos apenas a equivalencia 1.6, no caso em que a 6= 0 6= b.
Suponha-se que b = ad & a = bd0 . Tem-se a = add0 donde dd0 = 1. Segue-se que
d = d0 = 1, caso em que a = b, ou d = d0 = 1, caso em que a = b.
2
Mais algumas propriedades importantes, cuja demonstracao fica 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.
Corol
ario 1.2.2 Para quaisquer a, b, c, x, y Z
1. [a | b & a 6 |(bx + cy)] a 6 |c.
2. [a | b & a | (bx + c)] a | c.

VN

` Teoria dos Nu
meros (2001)
Int. a

Teorema Fundamental

Defini
c
ao 1.2.2 O n
umero inteiro d e m
aximo 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 s
ao primos entre si.
Teorema 1.2.3 Se a 6= 0 ou b 6= 0, ent
ao
mdc(a, b) = min{z = ax + by| x, y Z & z > 0},

(1.7)

pelo que o m
aximo divisor comum de dois n
umeros inteiros n
ao simult
aneamente nulos
existe e e u
nico.
O que, em particular, tem como consequencia
Corol
ario 1.2.3 Se d = mdc(a, b), ent
ao 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 6= 0 ou b 6= 0, S 6= pois 0 < a2 + b2 = aa + bb; assim S tem mnimo (teorema
1.1.5), digamos d = min S = ax0 + by0 > 0, para certos x0 , y0 ; d verifica entao a
condicao 1 da definicao.
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 qx0 ) + b(qy0 ) 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 definic
ao
tambem esta verificada.
Por outro lado, se c | a & c | b, como d = ax0 + by0 , pelo teorema 1.2.2, c | d,
verificando-se a condicao 3.
Quanto `a unicidade: utilize-se o que acabamos de ver e a condicao 1.6 para concluir
que se d0 verifica as mesmas condicoes que d, entao d = d0 .
2
Algumas propriedades do maximo divisor comum.
Teorema 1.2.4 Para quaisquer a, b Z

VN

Teorema Fundamental
1. mdc(a, b) = 1

ITN (2001)
x, y ax + by = 1

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

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 =
min{z = 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 = ad (cx + qy) e ad | c.
Alnea 5. Observe-se que se n > 0 entao min{nz| z A} = n minA.

1.2.2

Teorema Fundamental da Aritm

etica

Defini
c
ao 1.2.3 Um n
umero inteiro p diz-se primo se verificar simult
aneamente as
duas condic
oes
1. p > 1
2. a Z [a | p [|a| = p ou |a| = 1]] .
Um n
umero que n
ao 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, ent
ao p | a ou p | b.
Dem. Se p | ab, entao, pelo teorema 1.2.4,
mdc(p, a) = 1, consequentemente p | b.

10

p
mdc(p,a)

| b; ora se p 6 |a, como p e primo

2

VN

` Teoria dos Nu
meros (2001)
Int. a

Teorema Fundamental

Lema 1.2.2 Se n > 1 e p = min{x > 1| x | n}, ent

ao 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 n
ao
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 definicao de p; logo p e primo. 2
E passamos a demonstrar o
Teorema 1.2.5 (Fundamental da Aritm
etica)
Se n > 1, existem n
umeros primos distintos dois a dois p1 , , pk e n
umeros naturais 1 , , k de modo que
k
Y
n =
pi i .
(1.8)
i=1

Esta representac
ao de n e u
nica a menos de uma permutac
ao dos factores.
Dem. Tome-se um n
umero natural n.
Q
I. Existem n
umeros primos p1 , , pm tais que n = m
i=1 pi .
Dem. Seja n > 1. Do lema anterior concluimos que n tem divisores primos.
Defina-se uma sequencia de n
umeros primos da seguinte forma
p1 = min{x > 1| x | n}


n

pi+1 = min{x > 1| x  Qi
}
 j=1 pj
Repare-se que pi+1 so nao existe se

Qi n

j=1 pj

(1.9)
se existir

= 1, isto e, se n =

(1.10)
Qi

j=1 pj ,

como se

pretende verificar que

Qmacontece.
Por outro lado,Q j=1 pj | n desde que existam os pj definidos como acima (proposic
ao
1.2.1) e, de facto, m
p

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

m
Y

pj n.

j=1

Como 2m > n, para m suficientemente grande, concluimos que os n

umeros primos
pi sao em n
umero finito,Qem particular, para certo i, pi existe, mas pi+1 nao. Como
observamos acima, n = ij=1 pj .
Nao e difcil mostrar que pj pj+1 (1 j < i), pelo que associando da esquerda
para a direita primos iguais, se obtem
n =

k
Y

pi i

i=1

VN

11

Teorema Fundamental

ITN (2001)

com bases pi 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 pi , sendo portanto um deles.
2
Ha muitos n
umeros primos.
Corol
ario 1.2.4 (de Euclides) O conjunto dos n
umeros primos e infinito.
Dem. Vamos ver que, seja qual for o conjunto de n
umeros primos {p1 , , pk } existe
um n
umero primo que lhe nao pertence.
Dados primos p1 , , pk , seja n = p1 pk + 1. De acordo com o Teorema Fundamental, n tera pelo menos um divisor primo. Ora como nenhum dos pi divide n, pois
pi | p1 pk mas pi 6 |1, esse primo nao pode ser um deles.
2
Os n
umeros primos estao esparsamente distribuidos
Corol
ario 1.2.5 Os intervalos entre n
umeros primos consecutivos s
ao 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.

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 p1 , p2 sao primos que dividem

2
n, algum nao e maior que n, pois p1 , p2 > n n p1 p2 > ( n) = n, o que e
impossvel.
2
Um resultado semelhante e o corol
ario 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 n
ao e divisvel por este u
ltimo.

12

VN

` Teoria dos Nu
meros (2001)
Int. a

Teorema Fundamental

Quanto `a distribuicao dos n

umeros primos, o seguinte teorema e um dos mais importantes 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 s
ao n
umeros naturais primos entre si, a
progress
ao aritmetica (na + b)nN tem uma infinidade de termos que s
ao n
umeros primos.
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 infinidade de n
umeros primos da forma 4k 1
(k Z).
Dem. Consideremos um conjunto finito de n
umeros primos distintos da forma 4k 1,
digamos C := {p1 , , pn } e defina-se
N = 22 p1 pn 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, n
ao
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 verificam 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 Indu
c
ao 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,
ent
ao A = N.

VN

13

Teorema Fundamental

ITN (2001)

4. Suponha dadas duas funcoes g : N N e h : N3 N. Admita que existe uma

f que verifica as formulas de recorrencia presentes nas alneas seguintes
funcAo
e prove a sua unicidade.
(a) (Recorr
encia) Defina f : N2 N tal que

f (1, n) = g(n)
(n N)
f (m + 1, n) = h(m, n, f (m, n)) (m, n N)
(b) (Recorr
encia elementar)Suponha dados a N e h : N2 N defina 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
X
i=1
n
X

i=

n(n + 1)
;
2

n(n + 1)(2n + 1)
;
6
i=1
!2
n
n
X
X
3
(c)
i =
i .

(b)

i2 =

i=1

i=1

6. Encontre uma formula de recorrencia para

Pn

p
i=1 i

(n, p N).

7. Mostre que, para quaisquer a, b Z e n N,

n

(a) a b = (a b)

n1
X

ai bn1i ;

i=0

(b) an + bn = (a + b)

n1
X

(1)i an1i bi , se n e mpar;

i=0

(c) (a + b)n =

n  
X
n
i=0

ai bni ;

sendo o coeficiente binomial

n
i

definido por

 
n
n!
=
i
i!(n i)!

14

(n N e 0 i n).

VN

` Teoria dos Nu
meros (2001)
Int. a

Teorema Fundamental

8. O coeficiente multinomial e o n
umero


n
i1 i2 ik

n
i1 i2 ik


=

definido por

n!
,
i1 !i2 ! ik !

com i1 + i2 + + ik = n (k, n N, i1 , . . . , ik Z+
0 ).
(a) Mostre que os coeficientes multinomiais sao n
umeros inteiros.
(b) Mostre que, para quaisquer n, k N e a1 , . . . , ak Z,
!n


k
X
X
n
ai
=
ai1 ai2 aikk .
i1 i2 ik 1 2
i=1

i1 +i2 ++ik =n

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 6= 0, d 6= 0, mdc(a, b) = 1 = mdc(c, d) e
tambem e inteiro. Mostre que |b| = |d|.

a c
+
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 verifique 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 u
nico. 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) = inf {a, b} & mmc(a, b) = sup{a, 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) (Teorema 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
definido pelas relacoes de recorrencia seguintes termina com r = mdc(a, b).

VN

15

Teorema Fundamental

ITN (2001)

a = r0 ;
b = q1 r0 + r1 , 0 r1 < a;
se ri > 0 (i 1), entao ri1 = qi+1 ri + ri+1 , 0 ri+1 < ri ;
se ri = 0, entao r = ri1 e o algoritmo termina.
15. Comprimento do algoritmo de Euclides. Considere o algoritmo descrito no
exerccio anterior e seja rn = mdc(a, b). Mostre que:
(a) b 2r1 e a 2r2 ;
(b) ri 2ri+2 (i 1);
(c) b 2n/2 .
Qual e o n
umero maximo de passos se b 10p ?
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 verifique a sua resposta
utilizando a definicao 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 considerados 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 (x0 , y0 ) e uma solucao da equacao da alnea anterior e d =
mdc(a, b), entao todas as solucoes sao da forma
b
x = x0 + k
d

a
& y = y0 k
d

(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

` Teoria dos Nu
meros (2001)
Int. a

Teorema Fundamental

10
.
48
21. Numa papelaria vendem-se dois tipos de canetas por 110 e 70 escudos respectivamente. Ao fim 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?
20. Determine duas fraccoes cujos denominadores sejam 12 e 16 e cuja soma seja

22. Determine todas as solucoes inteiras dos sistemas de equacoes seguintes.


2x + 3y 4z = 9
(a)
6x + 9y + 3z = 12

3x 2y + 6z
= 3
(b)
14x + 28y 21z = 35

4x + 5y + 6z = 11
(c)
7x + 14y + 21z = 35

9x + 3y + 15z = 3
(d)
5x 6y + z = 2

3x + 2y 5z = 10
(e)
6x + 12y + 4z = 14
k

23. N
umeros de Fermat. Um n
umero da forma Fk = 22 + 1 para algum k N0
diz-se um n
umero de Fermat. F0 , F1 , F2 , F3 , F4 sao primos. Euler mostrou em
1732 que F5 nao e primo. (F5 = 4294967297 = 641 6700417.)
(a) Mostre que se 2n + 1 e primo, entao n e potencia de 2.
(Sugest
ao: 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 infinidade de primos.
24. N
umeros de Mersenne. Um n
umero da forma Mp = 2p 1, com p primo,
diz-se um n
umero de Mersenne.
Mostre que se n > 1, a > 1 e an 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 coeficientes binomiais pi , onde
1 i p 1.
(b) Mostre que para quaisquer a, b Z, ap bp e p sao primos entre si ou
p2 | (ap bp ).
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

18

ITN (2001)

VN

Captulo 2

Congru
encias
2.1

Propriedades b
asicas

Defini
c
ao 2.1.1 Seja n um n
umero natural maior que 1. Dois n
umeros inteiros x, e
y dizem-se congruentes m
odulo n se n | (x y). Se x e congruente com y m
odulo
n, nota-se
x y (mod n)

Repare-se que a definicao 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 s
ao congruentes (mod n) se e apenas se
a divis
ao 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 | (x y) entao n | (r s);

como |r s| < n tera de ser r s = 0. A recproca verifica-se imediatamente.
2
Demonstra-se sem dificuldade que

Corol
ario 2.1.1 A relac
ao 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), ent
ao a + c
b + d (mod n)e ac bd (mod n).

201

ncias
Congrue

ITN(2001)

E daqui se deduz que, mais geralmente,

Corol
ario 2.1.2 Se ai bi (mod n) (1 i k), ent
ao
Pk
Pk
1.
i=1 ai
i=1 bi (mod n)
Q
Qk
2. ki=1 ai
i=1 bi (mod n)
3. Se f e um polin
omio de coeficientes em Z (f Z[x]) e a b (mod n), ent
ao
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 a0 , , ap {0, 1, , 9}, seja
ap a0 = ap 10p + + a1 10 + a0 ;
entao
p
X
ap a0
ai (mod 3).
i=0

pois, por um lado 10 1 (mod 3), por outro, se f (x) = ap xp + + a1 x + a0 entao

ap a0 = f (10) f (1) =

p
X

ai (mod 3).

i=0

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 6 |7523426, pois 7 + 5 + 2 + 3 + 4 + 2 + 6 = 29 2 + 9 = 11 2 (mod 3)
e 2 6 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 s
o um dos
elementos de {0, 1, , n 1}.
Dem. Dados n N & x Z, pelo teorema 1.2.1, existem q e r u
nicos tais que
x = qn + r
portanto x r
teorema 2.1.1.

0 r < n;

(mod n) & 0 r n 1.

A unicidade resulta do
2

Um conjunto {r1 , , rn } diz-se um sistema completo de resduos modulo n,

se para cada n
umero inteiro x existe um e um so ri tal que x ri (mod n)
Exemplo 2.1.2 {3, 2, 1, 0, 1, 2, 3} e {7, 8, 5, 10, 3, 19, 13} sao sistemas completos de resduos modulo 7.

202

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

Teorema 2.1.3 Todos os sistemas completos de resduos para um mesmo m

odulo tem
o mesmo n
umero de elementos.
Dem.
Consideremos um sistema completo de resduos, digamos R = {r1 , r2 , , rk }, para
um modulo fixo n > 1; seja ainda R0 = {1, 2, , n1}. Como vimos acima, no teorema
2.1.2, para cada j = 1, , k, existe um e so um i(j) R0 tal que rj i(j) (mod n),
portanto R0 tem pelo menos o mesmo n
umero de elementos que R; por outro lado, R
e tambem um sistema completo de resduos e, por definicao, para cada elemento de R0
existe um e so um elemento de R com o qual aquele e congruente (mod n), donde R
tem pelo menos tantos elementos como R0 . Em suma: R e R0 tem de facto o mesmo
n
umero n de elementos.
2

2.2

Invers
ao I

A congruencia em x 2x 1 (mod 4) nao tem solucao, porque os m

ultiplos de 4 s
ao
pares e 2x 1 e sempre mpar; mas 2x 1 (mod 5) tem solucao 3.
Defini
c
ao 2.2.1 Um inverso aritm
etico 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 u
ltima 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 6= 0, ent
ao
ax ay (mod n)

n
x y mod( )
d

Dem. () Se x y mod( nd ), entao, para certo q Z, x y = q nd , pelo que ax ay =

a
q an
d = q d n, ou seja ax ay (mod n).

VN

203

ncias
Congrue

ITN(2001)

() Se ax ay (mod n), entao a(x y) = qn para algum q Z; segue-se que

y) = nd q; ora ad e nd sao primos entre si (teorema 1.2.4), pelo que ad | q, vindo
q
n, isto e x y (mod n).
2
x y = a/d
a
d (x

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
Corol
ario 2.2.1 Se a tem inverso aritmetico (mod n), ent
ao
ax ay (mod n)

x y (mod n).

E ainda
Corol
ario 2.2.2 Se p e primo e a 6 0 (mod p), ent
ao a tem inverso (mod p).
Dem. Note-se que a 6 0 (mod n) mdc(a, p) = 1.

2.3

Congru
encias 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 6= 0.

(2.2)

Teorema 2.3.1 Se a tem inverso a (mod n), ent

ao
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 6 0 (mod n). A congruencia (2.1) tem soluc
ao se
e apenas se mdc(a, n) | b. Se d = mdc(a, n) | b, e ad e um inverso de ad (mod n), ent
ao
as seguintes condic
oes s
ao equivalentes

204

VN

` Teoria dos Nu
meros (2001)
Int. a
1. A congruencia (2.1)


2. x ad db (mod nd )




3. x = ad db + k nd

ncias
Congrue

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 x0 , y0 tais que x0 a + y0 n = d. Por outro lado, por hipotese existe k
tal que b = kd, assim
a(x0 k) + n(y0 k) = kd = b
isto e a(x0 k) b (mod n). Faca-se x = x0 k.
II) Determinacao da solucao.

HIPOTESE:
ad ad 1 (mod nd ) & d | b.
Considere-se a seguinte sequencia de congruencias equivalentes, observando que 2 e
3 o sao obviamente:
ax b (mod n)
a
b
d x d (mod n)
d
d
a
b
n
x
(mod )
d
d
d

2.3.1

(teorema 2.2.2).

Invers
ao II

Dados a 6= 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 n
ao nulo
s
ao congruentes (mod n) entre si.
E ainda
Teorema 2.3.4 Se a 6= 0 & mdc(a, n) = 1 ent
ao 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

ncias
Congrue

ITN(2001)

Teorema 2.3.5 O n
umero a Z\{0} tem inverso (mod n) se e apenas se e congruente
com algum dos resduos (mod n) que s
ao primos com n.
Este resultado obtem-se muito facilmente do seguinte
Lema 2.3.1 Se a 6= 0 & a a0 (mod n) & mdc(a, n) = 1, ent
ao mdc(a0 , n) = 1.
Dem. Tem-se a a0 = kn & ax + ny = 1 para alguns k, x, y Z. Assim ax =
a0 x + kxn & ax + ny = a0 x + (kx + y)n ou seja 1 = a0 x + ny 0 & mdc(a0 , n) = 1.
2

2.4

A fun
c
ao de Euler

Defini
c
ao 2.4.1 A func
ao de Euler : N N e dada por
(n) = n
umero de n
umeros naturais de 1 a n que s
ao primos com n.
Exemplo 2.4.1 Seja Pn = {x 0| x < n & mdc(x, n) = 1}. Designando o n
umero
de elementos de um conjunto C por #C, tem-se ent
ao (n) = #Pn
1. (1) = #{1} = 1
2. (n) = n 1 se e apenas se n e primo.
3. (2725 ) = 2724 (Porque?)

2.4.1

Sistemas reduzidos de resduos

Defini
c
ao 2.4.2 Um sistema reduzido de resduos (mod n) e um conjunto de
n
umeros inteiros a1 , , ak primos com n, tais que para qualquer x Z, se mdc(x, n) =
1 ent
ao existe um e um s
o i tal que x ai (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 definicao de n
umero primo.
(apenas se) Se n e composto tem pelo menos um divisor proprio, digamos d1 , tal
que 1 < d1 < n; mas entao 1 d1 n 1 & mdc(d1 , n) = d1 6= 1, portanto
{1, 2, , n 1} 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

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

Dem. Seja Pn definido como no exemplo 2.4.1.

1. Pn e um sistema reduzido (mod n) porque
(a) Qualquer inteiro e congruente (mod n) com algum elemento de Sn =
{0, 1, , n 1}, em particular um inteiro primo com n, cujo congruente
em Sn e primo com n (teorema 2.3.5), logo esta em Pn .
(b) Dois elementos distintos de Pn nao sao congruentes entre si. Assim
I. cada x primo com n e congruente com um e um s
o elemento de
Pn .
2. Dado um sistema reduzido de resduos (mod n), digamos Pn0 , a proposicao I
acima afirma a func
ao que associa a cada resduo em Pn o seu u
nico congruente
em Pn0 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:

Corol
ario 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 6= 0 & mdc(a, n) = 1.

I) Se 0 6= 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 {r1 , , r(n) } um sistema reduzido de resduos (mod n), e defina-se
P = {ar1 , , ar(n) }.
Todos os elementos de P sao primos com n, pelo que vimos em I. Por outro lado,
como os ri nunca sao congruentes entre si, o mesmo acontece com os ari (teorema
2.2.2). Segue-se que
cada ari e congruente com um e s
o um dos rj , digamos rj ar(j) , em que
e uma permutac
ao de {1, , (n)}.

VN

207

ncias
Congrue

ITN(2001)

III) Tem-se entao

(n)

(n)

(ar(i) )

i=1

ri

(mod n)

i=1

ou seja
(n)

a(n)

(n)

r(i)

i=1

ri

(mod n)

i=1

ou
(n)

a(n)

(n)

ri

i=1

ri

(mod n)

i=1

Q(n)
Pelo teorema 2.2.2, ja que mdc( i=1 ri , n) = 1, conclui-se a(n) 1 (mod n).

Teorema 2.4.4 (Pequeno Teorema de Fermat)

ap1 1 (mod p).

Se p e primo e p 6 |a, ent

ao

Dem. Basta observar que (p) = p 1.

Teorema 2.4.5 (de Wilson) Se p e primo, ent

ao (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 Pp = {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 finalmente considerando o teorema 2.3.4:
Cada r Pp tem um inverso (mod p) rp Pp e (rp )p = r. Por outro lado, se
r = rp , tem-se r2 = rrp 1 (mod p) e p | (r2 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 = rp (r = 1 ou r = p 1) (1 r p 1);
donde os pares {r, r } sao conjuntos nao singulares e definem uma particao de {2, , p
2}, tendo-se
p2
Y

p3

i =

i=2

2
Y

ri ri 1 (mod p)

i=1

Segue-se que
(p 1)! = 1

p2
Y

i (p 1) p 1

(mod p)

i=2

isto e (p 1)! 1 (mod p).

208

2
VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

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)
1 (mod 4).

p1
2

1 (mod p), ent

ao p
p1

Dem. Suponha-se entao que p e um n

umero primo mpar e que (1) 2 1 (mod p);
p1
queremos mostrar que p1

e
par.
Se
mpar, viria 1 1 (mod p), pelo que
2
2 fosse
p1
p dividiria 2, o que nao e o caso; portanto 2 e par.
2
A consequencia:
2
Teorema 2.4.6 Seja p um primo mpar. A congru
ao
 encia x 1 (mod p) tem soluc
p1
se e apenas se p 1 (mod 4); neste caso
! e uma soluc
ao.
2

Dem. (apenas se) De x2 1 (mod p) deduz-se

xp1 = (x2 )
e conclui-se 1 (1)

p1
2

p1
2

(1)

p1
2

(mod p)

(mod p); pelo lema 2.4.1, p 1 (mod 4).

(se) Se p 1 (mod 4), entao p1

e par. Por outro lado
2
 


p1
p1
(p 1)! =
! p
(p 2)(p 1).
2
2
Pelo Teorema de Wilson,
1 (1)
Como

p1
2

p1
2



 2
p1
!
(mod p)
2

e par,

1

 2
p1
!
(mod p)
2

como pretendamos verificar.

E consequentemente
Corol
ario 2.4.2 Se p e primo mpar e para algum n
umero inteiro x p | (x2 + 1), ent
ao
p 1 (mod 4).
E mais um corolario (compare-se com o teorema 1.2.9).
Corol
ario 2.4.3 H
a uma infinidade de n
umeros primos da forma 4k + 1
(k Z), i.e., congruentes com 1 para o m
odulo 4.

VN

209

ncias
Congrue

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 defina-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
2
menor que n; p > 2 porque N e mpar e p | (n!) + 1; pelo corolario anterior (2.4.2)
p 1 (mod 4).
2

2.5
2.5.1

Congru
encias polinomiais
Introduc
ao

Nesta seccao estudamos a resolucao de congruencias da forma

f (x) 0 (mod n)

(2.3)

em que f e um polinomio de coeficientes inteiros e grau m maior que 1 (mod n):

f (x) = a0 + a1 x1 + + am xm

& m>1

& am 6 0 (mod n).

(2.4)

O grau de um polinomio f (mod n) designa-se por degn (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 soluc
ao; mais precisamente:
Exemplo 2.5.1 Se p e primo e p|n, ent
ao a congruencia xp x+1 0 (mod n) n
ao tem
soluc
oes.
Tal pode verificar-se do seguinte modo:
quando p|n,
se xp x+1 0 (mod n) tambem xp x+1 0 (mod p); mas xp x+1 1 6 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 polin
omios f (x) e g(x) congruentes (mod n) para todo o x Z
2
n
ao t
em necessariamente o mesmo grau (mod n): se p e primo, xp x e xp 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 simples1 .
Repare-se que
1
De facto, nem mesmo no caso em que n e primo, se conhecem f
ormulas resolventes gerais para a
congruencia (2.3) & (2.4)

210

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

Teorema 2.5.1 Se dois polin

omios f e g tem coeficientes do mesmo grau congruentes
(mod n), as congruencias f (x) 0 (mod n) e g(x) 0 (mod n) s
ao equivalentes.
Assim basta considerar polin
omios cujos coeficientes estejam entre 0 e n 1.
P
Pm
i
i
Dem. Suponha-se que f (x) = m
i=0 ai x e g(x) =
i=0 bi x , sendo ai bi (mod n)
ai bi
para 0 i n. Tomando ci = n vem
P
i
f (x) g(x) = n m
i=0 ci x
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 Ruffini mostra que
Teorema 2.5.2 Para qualquer polin
omio f (x) como em (2.3) e (2.4) e qualquer a Z,
existe um polin
omio q(x), de coeficientes inteiros e grau m 1, tal que
f (x) = (x a)q(x) + f (a) (x Z).
Daqui decorre
Corol
ario 2.5.1 Se f (x) e um polin
omio como em (2.3) & (2.4) e a Z, ent
ao f (a)
0 (mod n) sse existe um polin
omio q(x) de coeficientes inteiros, grau m 1 (mod n) e
coeficiente 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 definicao 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

M
odulo 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 polin
omio 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, utilizando o Pequeno Teorema de Fermat:
Repare-se que, se n = pq + r com 0 r < p, entao
xn = (xp )q xr xq xr = xq+r (mod p)

VN

211

ncias
Congrue

ITN(2001)

Aplicando sucessivamente esta sequencia de congruencias a cada monomio de f , reduzse 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 b1 , b2 , ..., bk s
ao soluc
oes da congruencia polinomial
f (x) 0 (mod p) n
ao congruentes duas a duas, existe um polin
omio q(x), cujo coeficiente de maior ordem e o mesmo que o de f e tal que
degp (q) degp (f ) k

&

f (x) (x b1 )(x b2 ) (x bk )q(x) (mod p)

Dem. A demonstracao e muito semelhante `a correspondente para equacoes, por utilizacao recursiva da regra de Ruffini:
Primeiro obtem-se
f (x) (x b1 )q1 (x) (mod p)
pelo corolario 2.5.1. Em seguida ha que verificar se
q1 (b2 ) 0 (mod p)

(2.6)

e reaplicar o mesmo corolario, tantas vezes quanto necessario. Repare-se entao que,
por hipotese
0 f (b2 ) (b2 b1 )q1 (b2 ) (mod p),
isto e,
p|(b2 b1 )q1 (b2 )
e como, tambem por hipotese, p e primo e p 6 |(b1 b2 ), necessariamente p|q1 (b2 ), ou
seja vale a equacao (2.6).
2
Uma conclusao a retirar e
Corol
ario 2.5.2 Quando p e primo e f (x) e um polin
omio cujos coeficientes n
ao s
ao
todos nulos (mod p), o n
umero de soluc
oes distintas (mod p) de uma congruencia
polinomial f (x) 0 (mod p) e quando muito degp (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):
x2 1 0 (mod 8) tem solucoes 1, 3, 5, 7.
Dem. (Do corolario 2.5.2) Tomem-se f, q e os bi , com 1 i k, como no teorema.
Como q(x) tem o mesmo coeficiente de maior ordem que f (x), necessariamente o seu
grau e maior ou igual a zero, portanto
0 degp (q) degp f (x) k

212

i.e.

k degp (f ).

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue
2

2.5.3

M
odulo pot
encia 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 soluc
oes da congruencia
f (x) 0 (mod p+1 )
s
ao da forma
x = b + kp com k Z,
sendo
f (b) 0 (mod p )

&

f 0 (b)k

(2.8)

f (b)
(mod p)
p

(2.9)

Comecemos com uma F

ormula de Taylor. Designando por f 0 a derivada do
polinomio f, definimos tambem
(
f (0) = f

0
f (i+1) = f (i)
i Z+
0
Nestes termos tem-se
Lema 2.5.1 Seja f (x) um polin
omio de grau m (mod n) de coeficientes inteiros como
em (2.3) & (2.4). Ent
ao
f (x + y) = f (x) +

m
X
f (k) (x)
k=1

e os coeficientes

f (k) (x)
k!

k!

yk

(x, y Z)

(2.10)

(1 k m) s
ao n
umeros inteiros.

Dem. Como, para quaisquer polinomios f e g e qualquer Z se tem

(f + g)0 = f 0 + g 0

&

(f )0 = f,0

basta demonstrar o teorema quando f (x) = xm 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
m!
f (k) (x) = m(m 1) (m k + 1)xmk =
xmk .
(m k)!

VN

213

ncias
Congrue

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
X
f (i) (b)
i=1

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 0 (b)
kp
1

(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 0 (b)k 0 (mod p+1 )
ou seja
f (b)
+ f 0 (b)k 0 (mod p)
p
como se pretendia verificar.

Segue-se uma verificacao mais detalhada da validade da formula (2.9).

Caso f 0 (b) 0 (mod p). Neste caso a congruencia (2.9) e equivalente a
f (b)
0 (mod p)
p
por sua vez equivalente a
f (b) 0 (mod p+1 );

(2.11)

se esta se n
ao verifica, 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 0 (b) 6 0 (mod p). Neste caso a solucao em k de (2.9) e dada por
k f 0 (b)

f (b)
(mod p)
p

A solucao da congruencia (2.7) e mesmo u

nica e dada por
x b f 0 (b)

214

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

com

f 0 (b) f 0 (b) 1 (mod p)

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

ou ainda
x b f 0 (b) f (b) (mod p+1 ) & f 0 (b) f 0 (b) 1 (mod p)

(2.12)
2

2.5.4

Teorema Chin
es 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 n
ao
importa se f (x) e ou nao um polinomio.
Suponhamos entao que n e um n
umero natural composto, digamos
n = p1 1 p2 2 pk k
para certos n
umeros primos pi .
Generalizando o argumento apresentado no exemplo 2.5.1, observe-se que
f (x) 0 (mod n) f (x) 0 (mod pi 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 pi i )
1ik
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 pi i
n = p1 1 pk k ,
a congruencia
f (x) 0 (mod n)
e equivalente ao sistema de congruencias

f (x) 0 (mod pi i )
1ik

VN

(2.14)

215

ncias
Congrue

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 Chin
es do Resto) Se m1 , ..., mk s
ao n
umeros naturais primos entre si dois a dois e b1 , ..., bk s
ao n
umeros inteiros quaisquer, o sistema de congruencias

x bi (mod mi )
(2.15)
1ik
tem soluc
ao e quaisquer duas soluc
oes s
ao congruentes (mod m1 mk ).
Dem. Comecemos pela afirmacao final.
Se x e y sao solucoes do sistema (2.15), entao x y 0 (mod mi ) para qualquer
dos mi , ou seja, x y e divisvel por qualquer dos mi . Como os mi 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 = x1 b1 + + xk bk

(2.16)

de modo que, para cada i,

1. todas as parcelas com possvel excepcao da i-esima sejam divisveis por mi ,
2. a i-esima parcela seja congruente com bi (mod mi ).
Para verificar a primeira condicao basta que
m0i

k
Y

mj |xi ;

j=1

j6=i

para verificar a segunda basta que

xi 1 (mod mi )
As duas condicoes sao verificadas simultaneamente se
(m0i ) m0i 1 (mod mi )

& xi = (m0i ) m0i

(2.17)

Ora cada m0i e primo com mi , portanto os inversos aritmeticos (m0i ) existem e as
condicoes (2.16) e (2.17) definem uma solucao para o sistema (2.15).
2

216

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

Exemplo 2.5.4 Considere-se a congruencia

x2 1 0 (mod 108).
Como 108 = 22 33 , pelo teorema 2.5.6, (2.18) e equivalente ao sistema
 2
x 1 0 (mod 22 ) (i)
x2 1 0 (mod 33 ) (ii)

(2.18)

(2.19)

Por simples inspeccao conclui-se que as solucoes da congruencia (i) sao dadas por
x 1, 1 (mod 22 ).
Quanto a (ii), vamos utilizar o teorema 2.5.5. O modulo 32 e ainda razoavelmente
baixo e, tambem por inspeccao, se podem obter as solucoes
x 1, 1 (mod 32 ).
Ora f 0 (x) = 2x donde
f 0 (1) = 2 1 6 0 (mod 3)

& f 0 (1) = 2 1 6 0 (mod 3).

Ambas as derivadas sao invertveis (mod 3) e nas congruencias em (2.9)

k 0(mod 3), portanto
x2 1 0 (mod 33 )

x 1 (mod 33 ).

se e so se

O sistema (2.19) da entao lugar aos sistemas seguintes, que podem ser resolvidos utilizando, por exemplo, o Teorema Chines do Resto 2.5.2, como vimos atras.


x 1 (mod 22 )
x1
(mod 22 )
(S2)
(S1)
3
x 1 (mod 3 )
x 1 (mod 33 )

(S3)

x 1 (mod 22 )
x1
(mod 33 )


(S4)

x 1 (mod 22 )
x 1 (mod 33 )

De um modo geral, as solucoes da congruencia (2.18) sao dadas pela formula

x 3 33 (1) + 7 22 (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 m1 = 22 , m01 = 33 e (m01 ) 1 (mod 22 ) e tambem m2 =
33 , m02 = 22 e (m02 ) 7 (mod 33 ). Segue-se que as solucoes de (S1) sao dadas por
x 3 33 1 + 7 22 1 109 1 (mod 22 33 ).

VN

217

ncias
Congrue

2.6

ITN(2001)

Exerccios

1. Mostre que a congruencia y 2 x2 2 0 (mod 4) nao tem solucoes e conclua

que a equacao Diofantina y 2 x2 2 = 0 tambem as nao tem.
2. Utilize congruencias modulo 4 para mostrar que se y 2 = x3 + 2, entao x e y sao
ambos mpares.
3. Seja f (x) = 11x3 + 15x2 + 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 (pn ) = pn pn1 .
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) x2 + 1 0 (mod 4);
(f) x3 + 2x + 1 0 (mod 7);
(g) x5 + x4 + x3 + x2 + 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) x2 + y 2 5y 2 (mod 9).
12. Seja ak 10k + ak1 10k1 + + a1 10 + a0 a expressao decimal do n
umero natural
n = ak ak1 a1 a0 (0 ai 9, 0 i k, a0 6= 0).
(a) Mostre que 11 | n se e so se 11 |

Pk

i
i=0 (1) ai ;

(b) Verifique se 1234567890987654321 e divisvel por 11.

218

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

13. Mostre que se k for mpar, 112k + 192k e divisvel por 241.
14. Resolva os sistemas de congruencias

2x + 7y 2 (mod 5)
;
(a)
3x + 6y 2 (mod 7)

9x + 3y 3 (mod 10)
(b)
;
15x + 2y 4 (mod 15)

2x + 7y 2 (mod 5)
(c)
.
3x y 11 (mod 5)
15. Verifique se as seguintes congruencias tem ou nao solucao e, no caso afirmativo,
resolva-as.
(a) x2 1 (mod 17);
(b) x2 1 (mod 43);
(c) x2 1 (mod 65).
16. Mostre o recproco do Teorema de Wilson:
Se m N \ {1} e (m 1)! 1 (mod m), entao m e primo.
(Sugest
ao: Observe que se m > 4 e m nao e primo entao (m 1)! 0 (mod m).)
17. Mostre que a equacao Diofantina x2 + 1 = 23y nao tem solucoes inteiras.
18. Seja p um n
umero primo. Mostre que (a + b)p ap + bp (mod p).
19. Suponha que p e um primo mpar. Mostre que
(p1)/2

(a)

(2i)2 (1)(p+1)/2 (mod p),

i=1
(p1)/2

(b)

Y
i=1

(p1)/2
2

(2i 1)

(2i)2 (mod p).

i=1

20. Reduza o mais possvel o grau dos polinomios nas seguintes congruencias e resolvaas.
(a) 2x17 + 3x2 + 1 0 (mod 5);
(b) x10 + 2x5 + 1 0 (mod 5);
(c) 3x23 + 2x20 + 4x17 x6 + x5 3x3 + 2x + 1 0 (mod 5).
21. Factorize (mod 11) de duas maneiras distintas os polinomios f (x) seguintes, observando que em cada caso f (a) 0 (mod 11).

VN

219

ncias
Congrue

ITN(2001)

(a) f (x) = x2 + 10x + 3, a = 6;

(b) f (x) = x3 x2 + x + 10, a = 1;
(c) f (x) = x3 6x2 2x + 20, a = 3.
22. Factorize (mod 13) o polinomio f (x) = x4 6x3 3x2 7x + 2 com pelo menos
dois factores de primeiro grau.
23. Mostre que o polinomio x3 + 3x2 + 2x + 2 nao pode ser factorizado (mod 5).

24. Resolva a congruencia xp b (mod p) sabendo que p e primo e 1.

25. Resolva os seguintes sistemas de congruencias

x 3 (mod 7)
x 2 (mod 6)
(a)

x 1 (mod 5)

x 5 (mod 2)
x 1 (mod 3)
(b)

x 2 (mod 5)

3x 1 (mod 10)
(c)
4x 2 (mod 7)

(mod 4)
3x 2
2x 7
(mod 15)
(d)

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 u
nica
(mod mmc(m, n)).
(b) Determine se cada um dos seguintes sistemas de congruencias tem solucao
e, em caso afirmativo, resolva-o.

x 5 (mod 6)
i.
x 7 (mod 10)

x 1 (mod 6)
ii.
x 8 (mod 15)
27. Resolva as congruencias:
(a) x13 x (mod 1365);
(b) x17 x (mod 4080).

220

VN

` Teoria dos Nu
meros (2001)
Int. a

ncias
Congrue

28. Resolva as seguintes congruencias

(a) x2 + x + 1 0 (mod 8);
(b) x3 + x2 + 1 0 (mod 24);
(c) x4 + x2 + 1 0 (mod 250).
29. Resolva a congruencia
4x4 + 9x3 5x2 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 x50 + x12 2 (mod 75).
31. Mostre que 5n3 + 7n5 0 (mod 12), para qualquer inteiro n.
32. Determine todos os n
umeros inteiros cuja divisao inteira por 8 e por 7 da respectiva 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

ncias
Congrue

222

ITN(2001)

VN

Captulo 3

Resduos quadr
aticos
3.1

Introdu
c
ao

Neste captulo, vamos estudar a resolubilidade de congruencias polinomiais de segundo

grau
uy 2 + vy + w 0 (mod m) (2 < m 6 |u)
Repare-se que a condicao 2 < m 6 |u evita que o grau do polinomio no primeiro membro
desca. Vamos ver como se pode reduzir este estudo a congruencias da forma
x2 a (mod p)

(p primo maior que 2 & p 6 |a)

(3.1)

v2

Comecemos por observar que, fazendo a =

4uw, x = 2uy + v, as solucoes da
congruencia inicial se encontram entre as da congruencia
x2 a (mod 4um),
as quais sao solucoes do sistema
(
x2 a
1ik

(3.2)

(mod pi i )

se 4um = p1 1 pk k em representacao canonica, resolvendo-se cada uma das congruencias a partir da inicial x2 a (mod p). Na verdade, se m 6 |4u2 , as soluc
oes
pretendidas podem encontrar-se entre as da congruencia
x2 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), := u2 vw e z 2 (mod m), entao
uy 2 + vy + w 0 (mod m) u (v z)(2u)
Organizemos o estudo.

301

(mod m).

ticos
Resduos quadra

3.2

ITN(2001)

Preliminares

O n
umero inteiro a diz-se resduo quadr
atico (mod n) se mdc(a, n) = 1 e a congruencia x2 a (mod n) tem solucao; caso contrario diz-se resduo n
ao quadr
atico.
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 x2 a (mod m) se encontram entre as do sistema
(
x2 a (mod p)
p|m
p primo
Alem disso qualquer n
umero inteiro mpar e resduo quadr
atico (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 6 |a, a congruencia
x2 a (mod p )

(3.4)

tem soluc
ao sse o mesmo acontece com
x2 a (mod p+1 ).

(3.5)

De facto, ambas as congruencias tem o mesmo n

umero de soluc
oes.
Dem. (se) Qualquer solucao da congruencia (3.5)e solucao de (3.4).
(s
o se) Se x2 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)

x2 a
(mod p),
p

(3.6)

pois a u
ltima expressao implica
2xkp x2 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
Corol
ario 3.2.1 Se p e um n
umero primo mpar e p 6 |a, o n
umero de soluc
oes das
congruencias x2 a (mod p) & x2 a (mod p+1 ) e o mesmo.
E podemos concluir

302

VN

` Teoria dos Nu
meros (2001)
Int. a

ticos
Resduos quadra

Teorema 3.2.1 Se m e mpar e maior que 2, a e resduo quadr

atico (mod m) sse e
resduo quadr
atico (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, h
a
p1
2
que s
ao os elementos de {i | 1 i 2 }.

p1
2

resduos quadr
aticos (mod p)

Dem. verifiquemos que os resduos descritos nao sao congruentes (mod p). Ora
i2 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
coes sao equivalentes a i = j. Como os resduos
2 , estas condi
entre p+1
e
p
s
a
o
sim
e
tricos
(mod
p)
dos
ja considerados, tem os mesmos quadrados
2
(mod p) e descrevemos de facto todos os resduos quadraticos (mod p).
2
claro que 1 e sempre resduo quadratico. Mais precisamente
E
Lema 3.2.2 Se p e n
umero primo,
x2 1 (mod p)

3.3

[x 1 (mod p)

ou

x 1 (mod p)]

Lei de Reciprocidade Quadr

atica

 
O smbolo de Legendre ap e um instrumento de determinacao do caracter quadratico
do n
umero inteiro ou resduo a (mod p) e define-se do seguinte modo

 
0
a
= 1

p|a
a e quadr
atico (mod p)
caso contr
ario

(p e primo)

(3.7)

bastante simples verificar que

E
Teorema 3.3.1 Se p 6 |a & p 6 |b & a b (mod p), ent
ao

 
a
p

 
b
p

Desenvolvamos algumas tecnicas de calculo

Teorema 3.3.2 (Crit
erio de Euler) Se p e primo mpar e p 6 |a, ent
ao
 
p1
a
(mod p)
a 2
p

(3.8)

Dem.
I) a
e resduo quadr
atico.

VN

303

ticos
Resduos quadra

ITN(2001)

Neste caso temos, por um lado x2 a (mod p), para algum x, pelo que p 6 |x, e da
 
p1
p1
a
= 1 xp1 (x2 ) 2 a 2 (mod p).
p
II) a n
ao
e resduo quadr
atico
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).

Defina-se
Qp := {i2 | 1 i

p1
};
2

p1

Como x 2 1 (mod p) para qualquer x Qp e Qp tem precisamente

pelo Teorema de Lagrange (2.5.2), a 6 Qp ; consequentemente
 
p1
a
= 1 a 2 (mod p).
p

p1
2

elementos,

2
Obtem-se entao
Corol
ario 3.3.1 Se p e um n
umero primo mpar , ent
ao
  
 
b
= ap
(p 6 |a & p 6 |b)
1. ab
p
p
2.

1
p

= (1)

p1
2

3. 1 e resduo quadr
atico (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 N\{1, 2}, seja

se n e impar
{i Z| |i| 2 }
Ln =

{i Z| |i| < n2 } { n2 } se n e par.

Ln 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 Ln congruente com x (mod n).

304

VN

` Teoria dos Nu
meros (2001)
Int. a

ticos
Resduos quadra

Teorema 3.3.3 (Lema de Gauss) Se p e um n

umero primo mpar que n
ao divide a
< 0}, ent
e l = #{j| 1 j p1
&
ja
a
o
2
 
a
= (1)l .
p
e uma permutacao de {i Z| 1 |i|
Dem. Como p 6 |a, a funcao i 7 ia
1 i p1 }
particular, #{ia|
2
: 1 j p1 } = {1, 2, , p1 }, pelo que, por um lado
{|ja|
2
2

p1
2 },

em

p1
2
Y

= (1)l
ja

j=1


p1
!
2

e por outro
p1
2
Y

a
ja

p1
2

j=1


p1
! (mod p);
2

considerando o criterio de Euler (teorema 3.3.2)

 
p1
a
a 2 (1)l
p
e

 
a
p

= (1)l .

Corol
ario 3.3.2 Quando p e um n
umero primo mpar,
 
p2 1
2
= (1) 8
p
e, consequentemente: 2 e resduo quadr
atico (mod p) sse p 1 (mod 8).
Dem. Para 1 j

p1
2

tem-se
(
= 2j
2j
= 2j p
2j

1 j p1
4
p1
p1
<
j

4
2

portanto o n
umero l do lema de Gauss verifica
p1
l =

VN

p1
4

305

ticos
Resduos quadra

ITN(2001)
2

e o segundo membro tem a mesma paridade que p 81 , como se pode ver observando
que p 1 (mod 4), portanto para certos k Z, vem


p1
p1

2
4

k &

p2 1
= 2k 2 + k
8

 ou
p1
p1
1
p2 1

= 2k 1 [k ] = k &
= 2k 2 k
2
4
2
8


Teorema 3.3.4 (Lei de Reciprocidade Quadr

atica) Se p e q s
ao n
umeros primos
mpares ent
ao
  
(p1)(q1)
p
q
4
= (1)
q
p
Por outras palavras: se dois n
umeros primos mpares s
ao congruentes com 3 (mod 4),
ent
ao um e um s
o deles e resduo quadr
atico mod o outro; caso contr
ario, qualquer deles
e ou nenhum e resduo quadr
atico mod o outro.
Dem. Considere-se a figura 3.3.
y

Lei de Reciprocidade Quadratica.

p 6
u
2






















[ 12 q < px qy < 0 Cpq ]
























1



px qy 2 q


























qy px 12 p






















 
1

[C
qp 2 p < qy px < 0]





















u
1


2



x

u
u- x
q
1
2
2

Figura 3.1: O rectangulo R.

306

VN

` Teoria dos Nu
meros (2001)
Int. a

ticos
Resduos quadra

Sejam
q1
q1
&
px < 0 (mod q)}
2
2
p1
p1
&
qy < 0 (mod p)}
Cqp = {y Z| 1 y
2
2
l = #Cpq

Cpq = {x Z| 1 x

m = #Cqp
Pelo Lema de Gauss (teorema 3.3.3),
  
p
q
= (1)l+m
q
p
Portanto basta mostrar que
(p 1)(q 1)
t
em a mesma paridade.
4

l+m e

(3.9)

Ora, para cada x Cpq existe um e so um y Z tal que q1

2 px qy < 0 e
simultaneamente 0 < y < p2 (repare-se que p e mpar). Segue-se que
1
1
1
Cpq = {(x, y) Z2 | 0 < x < q & 0 < y < p & q < px qy < 0}
2
2
2
Analogamente
1
1
1
Cqp = {(x, y) Z2 | 0 < x < q & 0 < y < p & p < qy px < 0}
2
2
2
Se
1
1
R = {(x, y) Z2 | 0 < x < q & 0 < y < p},
2
2
entao #R =

(q1)(p1)
4

#R (l + m)

1
q < px qy < 0
2

ou

e o n
umero de pares (x, y) R tais que
1
p < qy px < 0;
2

estas condicoes definem dois conjuntos dijuntos equipotentes pois

1
(x, y) 7 (q + 1, p + 1) (x0 , y 0 )
2
define uma bijeccao entre eles. Conclui-se que vale a condicao (3.9).

VN

307

ticos
Resduos quadra

3.4

ITN(2001)

Exerccios

1. Determine todos os n
umeros primos mpares 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:
       
2
1
5
11
(a)
,
,
,
;
29
29
29
29

 
 
 

2
1
5
11
(b)
,
,
,
.
127
127
127
127
6. Determine, caso existam, as solucoes das seguintes congruencias quadraticas.
(a) 5x2 + 4x + 7 0 (mod 19).
(b) 7x2 + x + 11 0 (mod 17).
(c) 2x2 + 7x 13 0 (mod 61).
7. Prove que 19 nao divide 4n2 + 4 para qualquer n
umero inteiro n.
8. Encontre os n
umeros primos p < 100 tais que a congruencia quadratica
x2 + x 3 0 (mod p)
tem solucao.
9. Resolva a congruencia quadratica x2 + x 10 0 (mod 24 )
10. Determine os valores de n para os quais 1 e resduo quadratico (mod n).
11. Procure as solucoes da congruencia quadratica x2 7 (mod 513)
12. Verifique se 43 e um resduo quadratico (mod 923).
13. Geradores de n
umeros primos.
(a) Mostre que n2 n + 41 e primo quando 1 n 40, mas nao para n = 41.
(b) Mostre que n2 79n + 1061 e primo quando 1 n 79, mas nao para
n = 80.

308

VN

` Teoria dos Nu
meros (2001)
Int. a

ticos
Resduos quadra

(c) Mostre que n2 81n + 1681 e primo quando 1 n 80, mas nao para
n = 81.
Sugest
ao: 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 n2 (mod 2 ).
(c) Mostre que para todos N, 2 e n Z, (21 n)2 n2 (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), ent
ao
[n]2 Q2 .
(f) Mostre que para todos N, 3 e n Z, se [n]2 Q2 , ent
ao
n 1 (mod 8).
15. Seja f (x) um polinomio de coeficientes inteiros. Prove que
X

x(mod p)

X
x(mod p)


f (ax + b)
=
p

x(mod p)

  
af (x)
a
=
p
p


f (x)
,
p


X
x(mod p)


f (x)
,
p

se mdc(a, p) = 1

para todo a.

16. Prove que se mdc(a, p) = 1 entao


p1 
X
ax + b
p

x=0

= 0.

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

p1 
X
f (x)
x=1


p1 
X
a + bx
x=1

 
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
x+1
= ,
= ,
p
p
onde p e um primo mpar. Prove que

VN

309

ticos
Resduos quadra

ITN(2001)

4N (, ) =

p2
X
x=1



 
x+1
x
{1 +
}{1 +
}
p
p

e deduza



1
4N (, ) = p 2
.
p
19. Use o exerccio anterior para provar que para cada primo p existem inteiros x, y
tais que x2 + y 2 + 1 0 (mod p).

310

VN

Captulo 4

Equac
oes Diofantinas
Neste captulo vamos estudar a resolucao em Z de algumas equacoes Diofantinas da
forma
axm + by m = cz k m, n, k Z
De um modo geral designaremos por solu
c
oes triviais as que tem pelo menos uma
das coordenadas zero.

4.1

Ternos Pitag
oricos

Um terno pitag
orico e um terno ordenado (x, y, z) de n
umeros inteiros tal que
x2 + y 2 = z 2 .

(4.1)

bastante simples verificar que os ternos pitagoricos triviais sao os que tem pelo
E
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 pitag
orico sse e trivial
ou existem a, b, d N verificando simult
aneamente as seguintes condic
oes.
1. b < a
2. mdc(a, b) = 1
3. |z| = (a2 + b2 )d


4. |x| = 2abd & |y| = (a2 b2 )d

ou



|x| = (a2 b2 )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
com (|x|, |y|, |z|).

(x, y, z)

pitag
orico

401

sse

mesmo

acontece

 es Diofantinas
Equac
o

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 pitag
orico sse existem a, b, d N verificando simult
aneamente as seguintes condic
oes.
1. b < a
2. mdc(a, b) = 1
3. z = (a2 + b2 )d


4. x = 2abd & y = (a2 b2 )d

ou


x = (a2 b2 )d

&

y = 2abd

Calculos muito simples mostram que as quatro condicoes enunciadas no teorema

sao suficientes 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, m2 |n2 sse m|n.
imediato que m|n m2 |n2 , para quaisquer m, n Z. A implicacao recproca,
Dem. E
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 Fundamental) de um quadrado perfeito terem expoente par.
2

Como consequencia tem-se

Lema 4.1.3 Se (x, y, z) e um terno pitag
orico de n
umeros naturais, ent
ao
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 d1 = mdc(x, z). Queremos mostrar que
d = d1 .
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, d1 ). Como y 2 = z 2 x2 , tambem d21 |y 2 e,
pelo lema 4.1.2, d1 |y; mas entao d1 = 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

` Teoria dos Nu
meros (2001)
Int. a
Teorema 4.1.3 As
pitag
orico (x, y, z)

condic
oes

es Diofantinas
Equac
o

seguintes

s
ao

equivalentes

para

um

terno

1. (x, y, z) e primitivo.
2. Duas das coordenadas do terno s
ao primas entre si.
3. As coordenadas do terno s
ao primas entre si duas a duas.
E deste pode obter-se ainda:
Teorema 4.1.4 Dado o terno pitag
orico (x, y, z) N3 , se
dN

&

x = du

&

y = dv

&

z = dw

(4.2)

ent
ao d = mdc(x, y, z) sse (u, v, w) e terno pitag
orico 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( xd , yd ) = 1, pelo que d = mdc(x, y), como se pretendia
mostrar.
(s
o se) Tem-se
(du)2 + (dv)2 = (dw)2 ;
dividindo por d2 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:
condic
Teorema 4.1.5 E
ao necess
aria e suficiente para que o terno de
n
umeros naturais (x, y, z) seja pitag
orico que exista um terno pitag
orico 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 pitag
orico primitivo e condic
ao necess
aria e suficiente que existam a, b N verificando
simult
aneamente as seguintes condic
oes.
1. a e b tem paridades distintas
2. b < a

VN

403

 es Diofantinas
Equac
o

ITN(2001)

3. mdc(a, b) = 1
4. z = a2 + b2
5. [x = 2ab & y = a2 b2 ]

ou

[x = a2 b2 & 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 n
ao e divisvel por 4.
e outra que demonstramos
Lema 4.1.5 Se (x, y, z) e terno pitag
orico primitivo, ent
ao x e y tem paridades diferentes.
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 situac
oes seguintes
1. a e b tem paridades distintas e nesse caso (2ab, a2 b2 , a2 + b2 ) e
(a2 b2 , 2ab, a2 + b2 ) s
ao ternos pitag
oricos primitivos.
2. a e b s
ao ambos mpares e nesse caso (ab, a
ternos pitag
oricos primitivos.

2 b2

,a

2 +b2

) e (a

2 b2

, ab, a

2 +b2

) s
ao

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, a2 b2 , a2 + b2 ).

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 a2 + b2
e mpar, ou seja 2 6 |(a2 + b2 ) e consequentemente 2 6 |d. Assim, se p for um n
umero
primo que divide d, ter-se-a
p 6= 2

404

& p|ab & p|(a + b)(a b)

& p|a2 + b2 .

VN

` Teoria dos Nu
meros (2001)
Int. a

es Diofantinas
Equac
o

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

a +b
a
2. Vejamos que d1 = mdc( a b
2 ,
2 ) = 1. Como d1 N, d1 |
somando ou subtraindo adequadamente, conclui-se que

d1 |a2

&

2 b2

e d1 | a

2 +b2

d1 |b2

pelo que se p fosse divisor primo de d1 , p seria divisor comum de a e de b, o que e

impossvel por estes serem n
umeros primos entre si; mas entao d1 = 1, por ser um
n
umero natural sem divisores primos; segue-se mdc(a2 b2 , a2 + b2 ) = 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 pitag
oricos primitivos, ou seja formam uma condicao suficiente 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)

2|(2k)2 = x2 = z 2 y 2 = (z y)(z + y)

(4.5)

Tem-se
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

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 condic
ao
(4.6)
p|u + v = z & p|v u = y;

VN

405

 es Diofantinas
Equac
o

ITN(2001)

mas entao (x, y, z) nao seria primitivo pelo lema 4.1.3, pois p|mdc(y, z); assim necessariamente 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 = b2

& v = a2

& b < a & mdc(a, b) = 1

E concluimos com a equacao (4.4)

x = 2ab & y = a2 b2

& z = a2 + b2 .

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 u
nicos primitivos; os
ternos pitag
oricos 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 pot

encias

Demonstraremos o seguinte:
Teorema 4.2.1
x4 + y 4 = z 2
s
o tem soluc
oes triviais.
Entendendo soluc
oes 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
u4 + v 4 = w 2

&

u 6= 0

& v 6= 0

& w > 0.

De outro modo
C := {z N| x N y N

x4 + y 4 = z 2 } =
6 .

(4.9)

Assim sendo (u2 , v 2 , w) e terno pitagorico; como, se mdc(u, v) = d, entao

2
2
( ud2 , vd2 , dw2 ) seria terno pitagorico primitivo e ( ud , vd , wd ) C, podemos supor que (u2 , v 2 , w)
406

VN

` Teoria dos Nu
meros (2001)
Int. a

es Diofantinas
Equac
o

e primitivo, pelo que, pelo teorema 4.1.6, possivelmente trocando u com v, existem
n
umeros naturais a, b tais que
aeb

t
em

paridades distintas,

a > b,
mdc(a, b)

(4.10)
(4.11)

1,

(4.12)

a +b ,

(4.13)

2ab,

(4.14)

a b ;

(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 = a2 b2 b2 1 (mod 4),
o que nao pode acontecer porque v e mpar e da v 2 1 (mod 4). Ora a2 = v 2 + b2 ,
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,
2

(4.17)
2

a = s +t ,

(4.18)

b = 2st,

(4.19)

v = s t ;

(4.20)

mas entao, por (4.14)

u2 = 2ab = 4st(s2 + t2 )

(4.21)

e, como s e t sao primos entre si, por (4.17), o mesmo acontece com s e s2 + t2 e t
e s2 + t2 , portanto s, t e s2 + t2 sao quadrados perfeitos, digamos que, para certos
n
umeros inteiros x, y e z, que podemos supor nao negativos,
s = x2

& t = y2

& s2 + t2 = z 2

(4.22)

e portanto
x4 + y 4 = z 2 ,
ou seja
(x, y, z) C.

VN

(4.23)

407

 es Diofantinas
Equac
o

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 < s2 + t2 = 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 = s2 + t2 = a < a2 + b2 = w.
Por (4.23) e (4.24), deduzimos que C nao tem mnimo; tal nao pode acontecer se se
verifica (4.9), portanto C = e o teorema fica demonstrado.
2

4.3

Somas de dois quadrados

Vamos caracterizar agora as solucoes da equacao

x2 + y 2 = n

(0 n Z)

(4.25)

Comecemos por verificar que ela nao tem sempre solucao.

Exemplo 4.3.1 Pode verificar-se por tentativas que a equacao x2 + y 2 = 7 nao tem
solucao em Z: como 7 nao e um quadrado perfeito,nao ha solucoes triviais; por outro
lado, as u
nicas 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.
Defini
c
ao 4.3.1 Um n
umero natural n e simples se n = 1 ou n verifica a seguinte
condic
ao: Se p e um n
umero primo
p|n {p2 6 |n

&

[p = 2 ou p 1 (mod 4)]}

Vamos demonstrar o seguinte:

Teorema 4.3.1 A equac
ao (4.25) tem soluc
ao sse existem s, n0 N tais que n0 e
simples e n = s2 n0 .
Comecemos por observar que o exemplo 4.3.1 nao e excepcional.
Lema 4.3.1 Se n 3 (mod 4), ent
ao n n
ao e soma de dois quadrados.
Dem. Um quadrado e congruente com 0 ou 1 (mod 4) consoante a base e par ou mpar,
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

` Teoria dos Nu
meros (2001)
Int. a

es Diofantinas
Equac
o

Exemplo 4.3.2 5 = 1 + 4 = 12 + 22
Lema 4.3.2 Um n
umero primo p e soma de dois quadrados sse p = 2 ou
p 1 (mod 4).
Dem. (s
o se) Suponha-se que p e soma de dois quadrados, entao pelo lema 4.3.1,
p 6 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 = 12 + 12 . Vejamos o caso
p 1 (mod 4).

(4.26)

Em primeiro lugar tem-se


t N x Z x2 + 1 = tp

p1
p
& |x|
<
2
2


(4.27)

pois a equacao em (4.27) e equivalente `a congruencia x2 + 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 = 12 ,
tem-se que
Cp = {t N : tp e soma de dois quadrados} =
6
De (4.27) deduz-se tambem
minCp < p
(4.28)
pois se t Cp , entao
x2 + 1
t=

p2
4

+1
p 1
p p
= + < + <p
p
4 p
4 2

Na verdade
minCp = 1

(4.29)

como se pode ver do seguinte modo: suponha-se que, pelo contrario,

1 < k = minCp

& kp = a2 + b2

(4.30)

Por um lado tem-se

x, y Z m N {[x 6= 0 ou y 6= 0] & |x|, |y|

k
& mk = x2 + y 2 }
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) { k2 +1+i : 0 i k1} se k e par, ou { k1
2 +i : 0 i k1}
se k e mpar, verificando-se as inequacoes em (4.31); por outro lado, x e y nao podem

VN

409

 es Diofantinas
Equac
o

ITN(2001)

ser nulos simultaneamente, ja que, se x = 0 = y, entao a 0 b (mod k), pelo que a2

0

b2
(mod
k 2 );
mas
entao
2
2
2
ter-se-ia kp = a + b 0 (mod k ) 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 = a2 + b2 x2 + y 2 (mod k), isto e, x2 + y 2 = mk para algum m N, ficando
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=

x2 + y 2
2k 2 /4
k

= < k.
k
k
2

Vamos ainda poder concluir que

u, v Z u2 + v 2 = mp,

(4.33)

o que, junto com (4.32) esta em contradicao com a definicao 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 a2 + b2 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 s
ao 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 = a2 + b2 e n = c2 + d2 , entao mn =
(ac bd)2 + (ad + bc)2
2
1

410

Veja-se a prop
osito (8.2)

VN

` Teoria dos Nu
meros (2001)
Int. a

es Diofantinas
Equac
o

Dem. (do teorema 4.3.1)

(se) Suponhamos entao que n = s2 n0 , em que n0 e simples. Se n0 = 1, imediatamente
se tem n = s2 + 02 . Se, para n
umeros primos distintos pi , n0 = p1 pk , sendo possivelmente 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 = s2 (a2 + b2 ) = (sa)2 + (sb)2 .
(s
o se) Suponha-se que n e soma de dois quadrados. Se n = s2 + 02 , o teorema vale
com n0 = 1. Se n nao e um quadrado, escreva-se
2

n=a +b =

k
Y

qii

i=1

r
Y

k+i
qk+i

i=1

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

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

k
Y
i=1

qii

r
Y

2i
qk+i

& n0 =

r
Y

qk+i .

i=1

i=1

Falta verificar que os qk+i = pi sao 2 ou congruentes com 1 (mod 4). Suponhamos que
nao e portanto, reordenando convenientemente,
p1 3 (mod 4)
2
2
Repare-se que n = a + b 0 (mod p1 ), portanto
p1 |a,
ja que, caso contrario, a teria inverso a (mod p1 ), e viria 1 + (a b)2 0 (mod p1 ), o
que e impossivel porque p1 6 1 (mod 4). Analogamente se conclui que
p1 |b
e portanto
p21 |a2 + b2 = n.
Como p1 e distinto dos outros pi , p1 |s; segue-se que
 2  2   2
n
a
b
s
=
+
=
p1 pr .
2
p1
p1
p1
p1
Por este processo eliminamos p1 de s mas mantemos a forma
n
= s2 p1 pr
o que implica que p1 |
s. Em suma, nao podemos supor que p1 3 (mod 4) e o teorema
fica demonstrado.
2

VN

411

 es Diofantinas
Equac
o

4.4

ITN(2001)

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 s
ao 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 Lagrange: para quaisquer a, b, c, d, u, v, x, y R,
(a2 + b2 + c2 + d2 )(u2 + v 2 + x2 + 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
x2 + y 2 1 (mod p)

(4.34)

tem soluc
ao para qualquer n
umero primo p.
claro que 12 + 02 = 1 1 (mod 2). Portanto suporemos de ora em diante
Dem. E
que p designa um n
umero primo mpar.
Relembrando a contagem de resduos quadraticos sabemos que os x2 , para 0 x
p1
ao p+1
duos n
ao congruentes (mod p) dois a dois; o mesmo acontece com os
2 , s
2 res
p1
2
1 y , para 0 y 2 . Como um sistema completo de resduos tem p elementos,
existem x2 e 1 y 2 congruentes entre si (mod p); mas entao x2 + 1 + y 2 0 (mod p).
2
2

412

Veja-se a prop
osito o teorema 8.2.3

VN

` Teoria dos Nu
meros (2001)
Int. a

es Diofantinas
Equac
o

Dem. (do lema 4.4.2) Queremos provar que, para qualquer n

umero primo p, existem
x, y, z, w Z tais que
p = x2 + y 2 + z 2 + w2 .
(4.35)
De novo 2 = 12 + 12 + 02 + 02 , 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 = x2 + y 2 + 12 + 02

& 0 0, 1, x, y

p1
.
2

(4.36)

Assim, definindo
k := min{m N| x, y, z, w mp = x2 + y 2 + z 2 + w2 }

(4.37)

podemos concluir que

1 k < p.

(4.38)

claro que se k = 1 nada ha mais a demonstrar. Vamos ver que 1 < k nao pode
E
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 u
ltimo caso x e y tem a mesma paridade assim como z e w. Tem-se entao








k
x+y 2
xy 2
z+w 2
zw 2
p =
+
+
+
.
2
2
2
2
2
o que contradiz a minimalidade de k, dada em (4.37). Portanto k nao e par, ou seja k
ter
a 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 definicao de k em (4.37),
x2 + y 2 + z 2 + w2 equiv 0 (mod k)
e podemos escolher resduos positivos (mod k), a, b, c, d de modulo nao superior a k2 , e
s N tais que
s<k

& xa & yb

& z c & w d (modk)

& a2 +b2 +c2 +d2 = sk.

Pelo lema 4.4.1, existem e, f, g, h Z tais que

kpks = e2 + f 2 + g 2 + h2 .

(4.39)

Como os e, f, g, h podem ser dados pela Identidade de Lagrange, pode supor-se que s
ao
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 definicao de k. Em qualquer caso
concluimos que k nao pode ser maior que 1.
2

VN

413

 es Diofantinas
Equac
o

4.5

ITN(2001)

Exerccios

1. Resolva as seguintes equacoes Diofantinas:

(a) x2 + y 2 = 51;
(b) x2 + y 2 + z 2 = 18;
(c) x2 + 2xy + 2y 2 = 17;
(d) 4x2 + 12xy + 10y 2 = 26.
2. Resolva a equacao Diofantina em (x, y, z) x2 y 2 = z. e conclua que a equacao
Diofantina x2 y 2 = mk 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 afirma:
Quando n > 2, a equac
ao Diofantina xn + y n = z n s
o tem soluc
oes triviais.
Verifique que vale quando n = 4, suponha-o demonstrado quando n e primo mpar
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 x2 + 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 x2 +y 4 = z 2 tem um n
umero infinito de solucoes
nao triviais tais que mdc(x, y) = 1.
10. Resolva a equacao Diofantina x2 + py 2 = z 2 nos casos em que p e primo.
11. Resolva a equacao Diofantina (x2 + 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 5x2 + 14xy + 10y 2 = n tem solucoes em inteiros se e so se
n e soma de dois quadrados.
14. Mostre que a equacao (x2 + 1)4 + (y 2 + 2)4 = (z + 4)2 nao tem solucoes inteiras.
15. Determine todas as solucoes da equacao diofantina
(x4 + 1)4 + y 12 = (z 2 + 1)4 .

414

VN

` Teoria dos Nu
meros (2001)
Int. a

es Diofantinas
Equac
o

16. Considere a equacao x2 6y 2 = 1.

(a) Mostre que se (x0 , y0 ) Z2 e uma solucao da equacao, entao (5x0 +12y0 , 5y0 +
2x0 ) tambem e.
(b) Use a alnea anterior para obter pelo menos cinco solucoes distintas da
equacao.
(c) Mostre que a equacao tem infinitas solucoes.
17. Mostre que se

VN

n
4k

7 (mod 8)

(k N), entao n nao e soma de tres quadrados.

415

 es Diofantinas
Equac
o

416

ITN(2001)

VN

Captulo 5

Func
oes aritm
eticas
5.1

Introdu
c
ao

Uma funcao real de variavel natural diz-se aritm

etica. Consideremos algumas func
oes
aritmeticas importantes.
Para cada n N define-se
d(n) = n
umero de divisores positivos de n
(n) = soma dos divisores positivos de n
Teorema 5.1.1 Se
ao os divisores primos de n N e para certos n
umeros
Q p1 , , pk s
naturais i n = ki=1 pi i , ent
ao
d(n) =

k
Y
(1 + i )

(5.1)

i=1

(n) =

i
k X
Y

pji

(5.2)

i=1 j=0

k
Y
pi +1 1
i

i=1

pi 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
r
Y

1 6= d | n d =
pijj
j=1

com 1 j ij .

501

 es aritme
ticas
Func
o

ITN(2001)

2. Consequentemente os divisores positivos de n sao os mon

omios do desenvolvimento de
f (n) = (1 + p1 + + p1 1 ) (1 + pk + + pk k )
3. Assim d(n) e o n
umero de mon
omios do desenvolvimento do mesmo f (n) e
(n) = f (n)
Uma argumentacao de contagem analoga `as anteriores permite estabelecer o teorema seguinte. Demonstra-lo-emos tambem via das propriedades das funcoes multiplicativas (teorema 5.5.2)
Teorema 5.1.2 Se
ao os divisores primos de n N e para certos n
umeros
Q p1 , , pk s
naturais i n = ki=1 pi i , ent
ao
(n) = n

k 
Y

i=1

1
pi


=

k h
Y

i
pi i 1 (pi 1) .

(5.4)

i=1

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 nd 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 p1 1 pk k . Se designarmos por C o conjunto dos n
umeros entre 1
e n que n
ao s
ao primos com n e definirmos
Ci := {k N| 1 k n

& pi |k},

tem-se, por um lado

C = ki=1 Ci
e, por outro lado
Ci1 Cis = {k N| 1 k n

& pi1 pis |k}

(i1 < < is ; 1 s k).

Portanto
#C =

k
X
i=1

#Ci

X
1i1 <i2 k

#(Ci1 Ci2 ) +

+ (1)

502

#(Ci1 Ci2 Ci3 )

1i1 <i2 <i3 k

k+1

#(C1 Ck )

VN

` Teoria dos Nu
meros (2001)
Int. a

es aritme
ticas
Func
o

Como, pelo lema 5.1.1,

#Ci1 Cis =

n
1
1
= n

,
pi1 pis
pi1
pis

concluimos
#C =

k
X
n

pi
i=1

1i1 <i2 k

1 1
pi1 pi2

1i1 <i2 <i3 k

+ (1)k+1 n

1 1 1

pi1 pi2 pi3

1
1
.
p1
pk

e, pondo n em evidencia nesta u

ltima formula, como
(n) = n #C,
(n)
n

= 1
= 1

#C
n
k
X
1
i=1

pi

X
1i1 <i2 k

1 1

pi1 pi2

X
1i1 <i2 <i3 k

1 1 1
+
pi1 pi2 pi3

1
1
+(1)k
p1
pk


k
Y
1
=
1
,
pi
i=1

ou seja
(n) = n

k 
Y
i=1

1
1
pi


.
2

Outras funcoes aritmeticas que virao a ser-nos u

teis: defina-se para cada n N
1(n) := 1
(
 
1
1
e(n) :=
=
n
0

(5.5)
se n = 1
.
se n > 1

(5.6)
(5.7)

E ainda a funcao de M
obius, definida, para cada n
umero natural n, por

se n = 1
1
(n) = 0
se p [p e primo & p2 | n]

(1)k se n = p1 pk com os pi primos distintos.

VN

(5.8)

503

 es aritme
ticas
Func
o

5.2

ITN(2001)

Produto de Dirichlet

Designemos por A o conjunto de todas as funcoes aritmeticas. Uma forma que se observou ser conveniente de algebrizar A foi o produto de convolu
c
ao ou de Dirichlet,
designado por e definido por
X
n
f (d)g( )
(n N).
(5.9)
f g(n) =
d
d|n

As propriedades basicas deste produto ficam descritas nos teoremas seguintes, cuja
demonstracao se deixa a cargo do leitor. Recordem-se as funcoes definidas na seccao
anterior (5.1).
Teorema 5.2.1 (A, ) e um mon
oide comutativo. Mais precisamente:
1. e associativa e comutativa,
2. e e elemento neutro para .
Designe-se por A1 o conjunto das funcoes aritmeticas n
ao nulas em 1.
Teorema 5.2.2 Se f A1 e g e definida recursivamente por
g(1) =

1
f (1)

g(n) =

n
1 X
f (d)g
,
f (1)
d

se n > 1,

d|n

ent
ao
1. g f = f g = e,
2. (A1 , ) e grupo abeliano.

5.3

Fun
c
oes multiplicativas

Uma funcao aritmetica f diz-se multiplicativa se verificar

mdc(m, n) = 1

f (mn) = f (m)f (n)

(m, n N)

(5.10)

Um resultado natural:
Teorema 5.3.1 Uma func
ao aritmetica n
ao identicamente nula f e multiplicativa se
e apenas se
!
k
k
Y
Y
i
f (1) = 1 & f
pi
=
f (pi i )
(5.11)
i=1

i=1

sempre que os pi s
ao primos distintos dois a dois e os i s
ao n
umero naturais.

504

VN

` Teoria dos Nu
meros (2001)
Int. a

es aritme
ticas
Func
o

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 6 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 s
ao
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 6= 1 6= 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 suficiente.
2
um exerccio facil demonstrar agora o seguinte corolario.
E
Corol
ario 5.3.1 Duas func
oes multiplicativas coincidem sse coincidirem nas potencias
de expoente inteiro n
ao negativo dos n
umeros primos.
Ilustremos a definicao:
Teorema 5.3.2
plicativas.

1. Todas as func
oes definidas na secc
ao anterior (5.1) s
ao multi-

2. De facto, o produto de convoluc

ao de duas func
oes multiplicativas e tambem multiplicativo.
Dem. (1) Para verificar que d, e , basta observar que dois n
umeros naturais s
ao
primos Q
entre si apenas Q
quando nao tem divisores primos comuns; consequentemente,
se n = ki=1 pi i e m = ri=1 qii , com primos pi e qj totalmente distintos dois a dois, e
mdc(m, n) = 1, tem-se
k
r
Y
Y
i
mn =
pi
qii
i=1

i=1

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
= 0;
mn

VN

505

 es aritme
ticas
Func
o

ITN(2001)

por outro lado se, por exemplo m > 1, entao

 
  
1
1
1
= 0
= 0
m n
n
e tambem e(mn) = e(m)e(n).
Para a funcao de Mobius vamos utilizar o Teorema 5.3.1.
Por definicao (1) = 1 e, se p e primo e N,Q(p ) vale 1 ou 0, consoante
=1
ou > 1;assim, se algum dos expoentes em ki=1 pi i e maior que 1, por um
Qk
Q
i
lado
= 0, por definicao de e, por outro, ki=1 (pi i ) = 0, pelo que
i=1 pi
observ
se todos os expoentes sao 1, de novo
Q amos acima, pois um dos factores e zero;
Qk
k
i
k

= (1) , por definicao de e i=1 (pi i ) = (1)k , pelo que observamos

i=1 pi
acima. Em qualquer dos casos se verifica 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 definicoes relevantes.
2

Teorema 5.3.3 Se g e uma func

ao aritmetica multiplicativa e
X
f (n) =
g(d)
d|n

ent
ao f e multiplicativa.
Dem. Basta observar que, nas condicoes descritas f = g 1, e aplicar o teorema 5.3.2.
2

5.4

F
ormula de Invers
ao de M
obius

Lema 5.4.1 Para qualquer n N

X
d|n

(
1
(d) =
0

se n = 1
se n > 1

(5.12)

Ou seja
1 = 1 = e.

(5.13)

Dem. Defina-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
X
f (1) =
(d) = (1) = 1.
d|1

506

VN

` Teoria dos Nu
meros (2001)
Int. a

es aritme
ticas
Func
o

Se p e primo e 1,
(
(1) + (p) = 1 1 = 0
se = 1
f (p ) = P
i
i=0 (p ) = 1 1 + 0 = 0 > 1

(5.14)

Q
Portanto, se n = ki=1 pi 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 func

ao aritmetica qualquer. As duas condic
oes seguintes
s
ao equivalentes
X
n N f (n) =
g(d).
(5.15)
d|n

n N g(n) =

X
d|n

n
(d)f ( ).
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 fun
c
ao 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, ent
ao
n
( ) = #{k N| k n & mdc(k, n) = d}
d

(5.17)

Dem. Vamos ver que os dois seguintes conjuntos sao equipotentes:

Cnd = {k N| k n & mdc(k, n) = d}
n
n
0
Cnd
= {k 0 N| k 0 & mdc(k 0 , ) = 1}
d
d

(5.18)
(5.19)

0 . Por outro lado, se

Defina-se f (k) = kd (k Cnd ). Pelo teorema 1.2.4, f (Cnd ) Cnd
n
0
0
0
k Cnd , tem-se mdc(k , d ) = 1, logo

1 = min{xk 0 + y

VN

n
> 0| x, y Z}
d
507

 es aritme
ticas
Func
o

ITN(2001)

donde
n
d = min{d(xk 0 + y ) > 0| x, y Z}
d
= min{xdk 0 + yn > 0| x, y Z}
= mdc(dk 0 , n).
Mas entao f e bijectiva, pois de facto f 1 = k 0 7 dk 0 .
Concluindo, os conjuntos em causa tem o mesmo cardinal, como queramos provar.
0
Repare-se que #Cnd
e precisamente ( nd ).
2

Teorema 5.5.1
X

n =

(n N)

(d)

(5.20)

d|n

Dem. Por um lado d 7

n
d

define uma permutacao dos divisores de n, consequentemente

X

(d) =

d|n

X
d|n

n
( );
d

por outro lado, os conjuntos Cnd definidos na demonstracao do teorema anterior formam
uma particao de {1, 2, , n} e da
X
X n
X
n = #{1, , n} =
#Cnd =
( ) =
(d).
d
d|n

d|n

d|n

Como queramos.

Finalmente voltamos `a formula de calculo da funcao de Euler.

Teorema 5.5.2 Se
ao os divisores primos de n N e para certos n
umeros
Q p1 , , pk s
naturais i n = ki=1 pi i , ent
ao
(n) = n

k 
Y
i=1

1
1
pi


=

k h
Y

i
pi i 1 (pi 1) .

(5.21)

i=1

Em particular, e multiplicativa.
Dem. A segunda equacao resulta obviamente da primeira. A primeira equacao obtemse com a formula de inversao de Mobius. Pelo teorema anterior e pela formula de
inversao
X (d)
X
n
(n) =
(d) = n
d
d
d|n

508

d|n

VN

` Teoria dos Nu
meros (2001)
Int. a

es aritme
ticas
Func
o

Por um lado os divisores positivos de n sao da forma p1 1 pk k com 0 i i ; por

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

pi1
pil
Q
As formulas de Van de Graaf para o desenvolvimento de li=1 (x ai ) dao-nos a expressao final.
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
classificacao. Recorde-se que (m) designa a soma dos divisores naturais do n
umero
natural m.
Teorema 5.6.1 Para qualquer n N, se 2n 1 e primo, ent
ao 2n1 (2n 1) e perfeito.
Dem. Repare-se que n e perfeito sse (m) = 2m e que, se 2n 1 e primo, ent
ao
n1
n
mdc(2
, 2 1) = 1 (n N).
2

Teorema 5.6.2 Os n
umeros perfeitos pares s
ao da forma 2n1 (2n 1) com n N e
2n 1 primo.
Dem. Em primeiro lugar observe-se que uma potencia de dois nao e perfeita pois
(2n ) = 2n+1 1 < 2n+1 = 2 2n .

(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 =

VN

2+1 1 (k).

509

 es aritme
ticas
Func
o

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.

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 infinito de
n
umeros naturais n tais que d(n) = m.
3. Mostre que
Y

d=n

d(n)
2

d|n

4. Mostre que para qualquer funcao aritmetica f se tem

X

f (d) =

d|n

X
d|n

n
f ( ).
d

5. Nos problemas que se seguem supoe-se que para certos n

umeros primos distintos
pi e naturais i ,
k
Y
n=
pi i .
i=1

Uma funcao aritmetica f diz-se totalmente multiplicativa se para quaisquer m, n

N se tem f (mn) = f (m)f (n).
Pk

(a) Defina (n) = (1)

i=1

e (1) = 1. Mostre que

i. e totalmente multiplicativa.

510

VN

` Teoria dos Nu
meros (2001)
Int. a

es aritme
ticas
Func
o

ii.
X

1
0

(d) =

d|n

se n e quadrado perfeito
caso contrario.

Pk

(b) Defina (n) = 2 i=1 i e (1) = 1.PMostre que e totalmente multiplicativa

e determine uma expressao para d|n (d).
(c) Para um dado t Z defina (k) = tk e (1) = 1. Mostre que
i. e multiplicativa;
ii.
X

(d) =

k
Y
(1 + i t).
i=1

d|n

6. Mostre que
(a) O produto de convolucao e comutativo, associativo e distributivo relativamente `a adicao usual de funcoes.
(b) Se f e g sao funcoes aitmeticas multiplicativas, f g tambem e.
7. Defina
  
1
1
=
e(n) =
0
n

se n = 1
(n N)
se n > 1

(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, A, algebrizado por e
um monoide comutativo.
8. Dada f A tal que f (1) 6= 0, seja g a funcao aritmetica definida por
1
f (1)
n
1 X
g(n) =
f (d)g
,
f (1)
d
g(1) =

se n > 1

d|n

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 M o conjunto das funcoes multiplicativas nao identicamente nulas. Que
pode dizer quanto `a natureza algebrica de (M, )?

VN

511

 es aritme
ticas
Func
o

ITN(2001)

9. (a) Defina as funcoes aritmeticas Ik e 1 por

Ik (n) = nk

1(n) = 1

e mostre que
i.
ii.
iii.
iv.

As funcoes Ik e 1 sao multiplicativas.

d = 1 1;
= 1 I;
se k (n) e a soma das k-esimas potencias dos divisores positivos de n,
entao k = 1 Ik ;
v. se f e totalmente multiplicativa, entao f f = f d;
vi. Ik Il (n) = nl kl (n).

(b) Determine uma expressao para d.

10. Suponha que f e uma funcao aritmetica e defina
F (n) =

f (d)

(n N).

d|n

Mostre que se F e multiplicativa, f tambem e.

11. Mostre que a u
nica funcao aritmetica f que verifica a condicao
X

f (d) = n

d|n

e a funcao .
12. A funcao de von Mangoldt e definida por


log p
0

(n) =

se n = pm para algum primo p e algum m 1

caso contrario.

Mostre que
(a) log n =

(b) (n) =

d|n (d);

d|n (d) log(d).

13. Mostre que, para cada n N, o conjunto {x N | (x) = n} e finito.

14. Mostre que se n > 2, (n) e par.

15. Mostre que d(n) 2 n.

512

VN

` Teoria dos Nu
meros (2001)
Int. a

es aritme
ticas
Func
o

16. Seja f (n) uma funcao multiplicativa nao identicamente nula. Entao
X
Y
(d)f (d) =
(1 f (p)),
d|n

p|n

onde p percorre todos os divisores primos de n.

P
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 103 .
19. Mostre que 28 e o u
nico n
umero perfeito par da forma
(a) an + 1, com n 2;
(b) an + bn , com n 2 e mdc(a, b) = 1 (28 = 33 + 13 ).
n

n
n

20. Mostre que nao ha n

umeros perfeitos pares da forma a
menos dois expoentes n.

+ 1, com n 2 e pelo

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 = pe k 2 , onde p e um primo
que nao divide k e p e 1 (mod 4).
23. Um par (m, n) N2 diz-se amig
avel 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) Verifique que (220, 284), (5020, 5564) e (17296, 18416) sao pares amigaveis.
24. Mostre que se a = 3 2n 1, b = 3 2n1 1 e c = 9 22n1 1 sao primos
mpares, o par (2n ab, 2n c) e amigavel.

VN

513

 es aritme
ticas
Func
o

514

ITN(2001)

VN

Parte II

N
umeros reais

601

Captulo 6

Fundamenta
c
ao
Neste captulo provamos que, a menos de um isomorfismo, 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: identificaremos subestruturas especiais 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 construtiva (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 A noutra B e um morfismo
injectivo de A em B

6.1

Corpos ordenados e n
umeros racionais

Um corpo e um anel de divis

ao comutativo. Por outras palavras, uma estrutura
algebrica K = (K, +, ) com duas operacoes binarias + e diz-se um corpo se verificar
as seguintes propriedades
1. K e um anel cujo zero designamos por 0.
2. (K\{0}, ) e um grupo comutativo cujo elemento neutro designamos por 1, ou
por unidade do corpo.
Note-se que, em particular, 0 6= 1 pela segunda propriedade. Do modo usual,
identificaremos a b com ab quando a, b K.
Um corpo K e ordenado quando se distingue um subconjunto K + de K, dito
conjunto dos elementos positivos de K, para o qual se verificam as condic
oes
seguintes
1. 0 6 K + 6=

603

meros Reais
Nu

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 +
um exerccio verificar que a condicao
E
a < b

se e s
o se b a K +

(a, b K + )

define uma relacao < de ordem total estrita em K de modo que

K + = {x K : 0 < x}, e K = (K, +, , < ) e uma estrutura algebrica em que
K = (K, +, ) e um corpo e < e compatvel com + e semicompatvel com , ou seja:
1. A relacao < e
(a) Anti-reflexiva a 6< a, seja qual for a K.
(b) Anti-simetrica a < b b 6< a, sejam quais forem a, b K.
(c) Transitiva a < b & b < c a < c, sejam quais forem a, b, c K.
(d) Tricot
omica 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 definidoras de corpo
ordenado, deduzindo-se delas que o conjunto {x K : 0 < x} verifica 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 isomorfismo, todos os corpos ordenados, contem o
corpo dos n
umeros racionais, ou seja Q e o menor corpo ordenado.
Seja ent
ao K um corpo ordenado com relacao de ordem <.
Lema 6.1.1 Para qualquer a K,
(i) a < 0 se e s
o se 0 < a
(ii) a < 0 se e s
o se 0 < a

604

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

(iii) Se a 6= 0 ent
ao 0 < a2
(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 a2 = (a)2 , por (i) e pela semicompatibilidade de < com , quando a 6= 0,
a2 e sempre o produto de dois elementos positivos, portanto e positivo.
(iv) Observe-se que 0 6= 1 = 12 e tome-se em conta (iii).

Defini
c
ao 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 intersecc
ao de todos os subconjuntos indutivos de K.
Seja ainda S a restricao da funcao x 7 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 definicao, 1 e elemento de todos os subconjuntos 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 6 K + , portanto 0 6 N e 1 6 S(N ).
Finalmente, vejamos que se verifica 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 definicao, N A, portanto A = N.
2
Assim N = {1, 1 + 1, 1 + 1 + 1, } e como habitualmente fazemos a convenc
ao
notacional de designar a soma de n 1s pelo n
umero natural intuitivo n. Em suma

VN

605

meros Reais
Nu

ITN(2001)

Corol
ario 6.1.1 A menos de um isomorfismo 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 definidas em N como universo da estrutura de n
umeros naturais (N, S, 1) coincidem com as induzidas pelo
corpo K.
Repare-se agora que, como K e um corpo, todos os elementos n N tem um inverso
multiplicativo n1 K, que e sempre um n
umero positivo, e que os elementos da
forma np1 com n, p N formam um grupo para a multiplicacao. Reunimos num lema
algumas propriedades importantes:
Lema 6.1.3 Sejam K +
Q = {np1 : n, p N}.

subconjunto

de

elementos

positivos

de

1. Para qualquer a K\{0}, a1 tem o mesmo sinal que a.

2. N Q K +

1
3. np1
= pn1 , para quaisquer n, p N
4. (np1 )(mq 1 ) = (nm)(pq)1

(m, n, p, q N)

5. (Q, ) e um grupo comutativo

6. (mk)(pk)1 = mp1
7. np1 + 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 = aa1 , a e a1 tem o mesmo sinal.
2. Por um lado, para todo o n N, n = n1 = n11 ; 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. np1 + mq 1 = nqq 1 p1 + mpq 1 p1 = (nq + mp)(pq)1 .
8. As distributividades sao tambem hereditarias.

606

2
VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Passando `a identificacao usual

a
b

ab1 =

se b 6= 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 6= 0) &
a

a c
ac
=
b d
bd

&

ad
a
=
bd
b

&

a c
ad + bc
+ =
b d
bd

Ora K 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 K.

3. (Q {0} Q, +, , < ) e um subcorpo ordenado de K com conjunto de positivos
Q.
Para fixar ideias, defina-se
Z = N {0} N

& Q = Q {0} Q & Z = (Z, +, )

& Q = (Q, +, ).

Teorema 6.1.3 Q = { m
n : m, n Z & n 6= 0}
Dem. Um aspecto fundamental da demonstracao e que
m
m
=
n
n

&

m
m
m
=
=
.
n
n
n

A verificacao destas igualdades pode fazer-se por casos.

Sistematizando o que temos vindo a descrever

Teorema 6.1.4 A menos de isomorfismos 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

meros Reais
Nu

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 fim descrever os morfismo de aneis em causa:
A partir do momento em que se identificam os zeros 0 e 00 e as unidades 1 e
0
1 dos corpos ordenados K e K0 os isomorfismos entre as varias subestruturas (de
n
umeros naturais ou com universos em subconjuntos Q e Q0 ou Z e Z 0 ) sao restricoes
ou prolongamentos de um mesmo que fica definido pelas condicoes necess
arias (de facto
redundantes)
(0) = 00
(1) = 10
(n1) = n10
(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 identificar 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 suficientes
para garantir que o mergulho se prolongue a um isomorphismo entre os corpos K e
K0 ; ate porque tal isomorfismo pode mesmo nao existir. 1

6.2

Uma vis
ao 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 exemplificacao suficiente de tal estrutura. No entanto admitindo 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 construc
ao.
1

608

Pode encontrar-se um tratamento deste tema em [16] ou [19].

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Teorema 6.2.1 Dada uma estrutura de n

umeros naturais com as operac
oes de soma , +, e produto , , e a ordem < can
onicas N = (N, S, 1, +, , < ), existe um corpo
ordenado Q = (Q, 0, 1, +, , < ), que a prolonga e, a menos de um isomorfismo de
corpos ordenados, est
a contido em todos os possveis prolongamentos de N por corpos
ordenados.
Dem. A demonstracao da parte de unicidade a menos de um isomorfismo e obviamente
o trabalho que desenvolvemos quase totalmente ate aqui. Um esquema de demonstrac
ao
deste teorema e o seguinte.
I. Defina-se em N2 a relacao de equivalencia por
(m, p) (n, q) sse

mq = np

II. Seja Q = N2 / o respectivo conjunto cociente, designem-se as classes de equivalencia 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. Verifique-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 verifica 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

(b) x
y

sse xz
yz

x, y, z Q

(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 identifica (N, +, , < ) com uma subestrutura de (Q, , ,
), pelo
que voltamos a designar as operacoes e a ordem pelos seus smbolos iniciais.
V. Defina em Q2 a seguinte relacao de equivalencia
(a, b) + (c, d) sse a + d = b + c ((a, b) Q2 )
e designe por [(a, b)]+ as respectivas classes de equivalencia e ainda por Q o correspondente conjunto cociente.

VN

609

meros Reais
Nu

ITN(2001)

VI. Defina uma operacao interna em Q por

[(a, b)]+ [(c, d)]+ = [(a + c, b + d)]
e verifique 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 verifica a Lei do Corte.
VII. A funcao : Q Q dada por (x) = [(x + x, x)]+ e um mergulho da estrutura
algebrica (Q, +) em (Q, ) e, identificando 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 estenderem as anteriores, complete-se a algebrizacao de Q do seguinte modo
sse b a Q
(
a
se a Q {0}
2. |a| =
a se a Q
(
|a||b|
se a, b Q ou a, b Q
3. a b =
|a||b| caso contr
ario
1. a < b

IX. Verifique-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. Verifique-se que, a menos de um isomorfismo de aneis,
Z = (Z, +, ) e o menor anel que prolonga N
XI. Verifique-se que, a menos de um isomorfismo de corpos, Q e o menor corpo que
prolonga Z.
Fica terminado esquema de demonstracao do teorema 6.2.1.
2

6.3

Extens
oes pr
oprias do corpo dos n
umeros racionais

Se o n
umero natural n nao e um quadrado perfeito, entao n 6 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

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

a
b
(a + b n) = a2 nb
n
2 a2 nb2

(a + b n)(c + d n) = (ac + nbd) + (ad + bc) n.

Lembrando que um n
umero real se diz alg
ebrico se for raiz de um polinomio de
coeficientes 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 6 Q
e um espaco vectorial sobre Q que tem dimensao finita sse e algebrico.
Informalmente: um n
umero real e algebrico se e so se for representavel por uma
expressao onde figurem apenas n
umeros inteiros, somas, produtos, diferencas, cocientes
e radiciacoes de ndice natural em quantidade finita. Calculos pacientes mostram que
esta u
ltima condicao e de facto suficiente para que a expressao represente um n
umero
algebrico; a demonstracao de que e necessaria nao cabe no ambito deste curso.
q

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

Z(n) [x].

n=1

Em segundo lugar, cada polin

omio em Z[x] tem um n
umero finito eventualmente
zero de raizes reais, portanto o conjunto dos n
umeros reais algebricos e uma uni
ao
numeravel de conjuntos finitos 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, afirma: os n
umeros irracionais algebricos
s
ao difceis de aproximar com rapidez.
Teorema
umero irracional algebrico, raiz do polin
omio
P6.3.2 (de Liouville) Seja um n
P (x) = ni=0 ai xi , de grau n 1, e irredutvel sobre Q[x]. Ent
ao existe M Q+ tal
que, para qualquer n
umero racional m
k (m Z, k N) se tem
|

VN

m
m
M
| < 1 |
| > n
k
k
k

611

meros Reais
Nu

ITN(2001)

Dem. P (x) nao tem raizes racionais, por ser irredutvel sobre Q[x]; consequentemente,
para quaisquer m Z e k N,
n

|P (

m
1 X
1
)| = n |
ai mi k ni | n ,
k
k
k
i=0

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 0 (x)| : |x | < 1}
m
Dados entao m Z, k N tais que | m
k | < 1 tem-se, para algum c entre k e ,
1
kn

m
m
)| = |P ( ) 0|
k
k
m
m
= |P ( ) P ()| = |P 0 (c)|| |
k
k
m
s| |.
k
|P (

pelo que podemos tomar M ]0, 1s ].

De um ponto de vista afirmativo: se um n

umero real e aproxim
avel por uma
sucess
ao

ao (rn ) de racionais que converge mais rapidamente para que qualquer sucess
M
,
ent
a
o

e
transcendente.
kn nN
P
i!
Exemplo 6.3.2 O n
umero =
e transcendente, pois
i=1 10
|

n
X

10i! | 10[(n+1)!1] .

i=1

Ate Cantor ter demonstrado que h

a mais n
umeros transcendentes que n
umeros
algebricos (teorema 6.6.2), na segunda metade do seculo XIX, o Teorema de Liouville
era o u
nico 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 2
m
3m + 4n
3m + 4n 2
<
&
<2 .
<2
n
n
2m + 3n
2m + 3n
Assim, D = {x Q : x2 < 2} nao tem supremo em Q; no entanto 2 e claramente um
majorante de D em Q.

612

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Defini
c
ao 6.4.1 Um corpo ordenado diz-se completo se qualquer dos seus subconjuntos n
ao 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 u
ltimo a menos de um
isomorfismo, como se afirma no teorema 6.4.2.
Seja de ora em diante K = (K, +, , 0, 1, < ) um corpo ordenado completo.
Um lema importante em si mesmo:
Lema 6.4.1 N n
ao 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 21 < 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 s
ao
Arquimedianos. As varias extensoes de Q a que aludimos na seccao anterior s
ao
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 K; pelo lema anterior, existem um n
umero
1
1
1
k
natural n tal que n > ba e n > a , ou seja, n < a, ba. Seja m = max{k N : n a}.
m+1
Tem-se que m
< b. Os casos a < 0 < b e a < b < 0 tratam-se
n Q e a <
n
analogamente ou por passagem ao simetrico.
2

Teorema 6.4.2 Todos os corpos ordenados completos s

ao isomorfos.
1,

) dois corpos ordenados
Dem. Sejam K1 = (K1 , +, , 0, 1, < ) e K2 = (K2 , , , 0,
completos. Tendo em vista o teorema 6.1.4, cada um destes corpos contem um corpo Qi
de n
umeros racionais (i = 1, 2) e os Qi sao isomorfos, digamos que por um isomorfismo
: Q1 Q2 .
Definam-se secc
oes Qix e uma funcao : K1 K2 por
Qix = {v Qi : v < (
)x} (x Ki ; i = 1, 2)

VN

& (x) = sup(Q1x ) (x K1 ).

613

meros Reais
Nu

ITN(2001)

Em primeiro lugar, pelo lema 6.4.2

x = supQix

(x Ki ; i = 1, 2)

(6.1)

Em segundo lugar
coincide com em Q1

(6.2)

pois se x Q1 , por um lado (x) majora (Q1x ) (por (6.1)) e, por outro, se 0
Q2
entao, pelo lema 6.4.2 existe u Q1 tal que x 1 () < u < x, donde (x)

(u)
(x) e (x) = supQ1x = (x). De seguida
x < y (x)
(y)

(6.3)

como se pode ver do seguinte modo: dados x, y Q1 se x < y, de acordo com o lema
6.4.2, podemos escolher u, v Q1 tais que x < u < v < y; por (6.2) e por definicao de
, (u) = (u)
(v) (y); como para qualquer z Q1 , se z < x entao z < u e
da Q1x Q1u , temos (x) (u) e finalmente (x)
(y). Em particular
e injectiva.

(6.4)

e sobrejectiva :

(6.5)

P ara qualquer y K2 , y = sup1 (Q2y ) .

(6.6)

Vamos ver que

Seja x = sup1 (Q2y ). Se u Q1x entao existe v 1 (Q2y ) tal que u < v x; mas
assim (u)
(v) Q2y , pelo que (x) = sup(Q1x ) supQ2y = y (por (6.1)). Se
(x)
y, existe v Q2y tal que (x)
v
y; tomando u Q1 tal que (u) = v e,
portanto, tal que u 1 (Q2y ), obtemos (x)
v
(x) o que e impossvel. Assim
(6.6) e (6.5) ficam provadas.
Repare-se que (6.6) afirma ser 1 da mesma natureza que . Vejamos que
(x + y) = (x) (y)

Como sup(A B)=supA supB

(x, y K1 )

(6.7)

(A, B K2 ), tambem

(x + y) = (x) (y)

(x, y K1 )

Dados Q2 tal que 0
e u Q1x , v Q1y , w, z Q2 tais que

(x)

w = (u)
(x) & (y)
z = (v)
(y)

2
2

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

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Como foi escolhido arbitrariamente, podemos concluir (6.7). Provemos agora que
(xy) = (x)  (y)

(x, y K1 )

(6.8)

Comecemos por observar que de (6.7) se conclui

(x) = (x)

(x K1 )

(6.9)

e portanto basta demonstrar (6.8) com x, y > 0; neste caso podemos usar que, para


conjuntos de elementos positivos A, B K2 , sup(AB)=supAsupB e raciocinar como
para a soma, com as abreviaturas usuais:


Necessariamente (xy)=(x)(y); dado e escolhendo u, v, w, z como acima, obtemos
 2

wz
(x)(y) (x + y)
2
2
= (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 isomorfismo entre os corpos ordenados K1 e K2 .
2

6.5

Exist
encia

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 isomorfia entre corpos ordenados completos para definir um desses
corpos a partir do dos n
umeros racionais; e o que esquematizamos de seguida.
o
Uma construc
a
Defini
c
ao 6.5.1 Uma sec
c
ao em Q e um conjunto S verificando as seguintes condic
oes
1. =
6 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].

VN

(6.10)

615

meros Reais
Nu

ITN(2001)

4. S n
ao tem m
aximo.
O corpo ordenado completo cuja construcao vamos esquematizar resultara da algebrizacao conveniente do conjunto de todas as secc
oes, 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 relac
ao
e de ordem total em R.
Dem. A anti-reflexividade e a anti-simetria resultam das propriedades da inclusao
estrita . Se S 6= T & S 6
T & T 6
S, entao existem s, t Q tais que s S\T & t
T \S. Em particular s 6= 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 defina-se
S T = {s + t : s S & t T }

(6.11)

Ha que verificar 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 verificacao 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 = s0 S e consequentemente b = s0 + t S T.
Teorema 6.5.2 Valem as seguintes proposic
oes
1. (R, ) e um grupo comutativo.
2. A relac
ao de ordem
e compatvel com , isto e
S, T, U R [S
T S U
T U ].

616

(6.12)

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

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
S =
Q\ S
caso contrario
As dificuldades na demonstracao residem essencialmente em mostrar que, por exemplo no caso S
0, se r Q e r < 0, ent
ao existem s S, s0 S tais
0
que r = s + s : se r S, tome-se r = r + 0; se r 6 S, tome-se k N tal que
kr S & (k 1)r 6 S; se supS 6= (k 1)r, faca-se r = kr + (1 k)r; se supS = (k 1)r,
tome-se r = (k + 21 )r + (1 k 12 )r; em qualquer dos casos se obtem a representac
ao
desejada para r.
Deixamos a prova das restantes afirmacoes a cargo do leitor.
2
O produto 
Comece-se por verificar que vale o

Lema 6.5.1 0 = S sse S = 0

Defina-se uma funcao valor absoluto, k k : R R por
(


S
se 0 = S
kSk =
S se S < 0

(6.13)

e defina-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, defina-se o produto globalmente por
(




kSkkT k
se 0 = S, T ou S, T = 0
ST =








kSkkT k se S = 0 = T ou T = 0 = S

(6.14)

Definindo ainda
1 = {x Q : x < 1}
tem-se o seguinte
Teorema 6.5.3 R = (R, , , 0, 1,
) e um corpo ordenado completo.
Dem. Tal como para a soma, e necessario verificar que a definicao 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 demonstrac
ao
correspondente para a soma fornece as linhas orientadoras.

VN

617

meros Reais
Nu

ITN(2001)

Demonstrar que 1 = {r Q : r < 1} e analogo ao que se fez para verificar 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:
(


1
{r Q : s S 0 < s r < 1s }\{ supS
} supS Q
1
S =
(0 < S)


1
{r Q : s S 0 < s r < s }
supS 6 Q;
se S < 0, S 1 = kSk1 .
As propriedades associativa do produto e distributiva deste em relacao `a soma tem
demonstracao tambem rotineira.
Finalmente, a verificacao do axioma de completude:
S
Se A e um conjunto de secc
oes n
ao vazio e majorado, ent
ao supA = 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
n
umeros transcendentes.

e a base e dos logaritmos nepperianos s

ao

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 numer
avel.
Dem. I. O conjunto dos n
umeros reais n
ao e numer
avel.
Se R fosse numeravel, o mesmo acontecia com o intervalo aberto ]0, 1[, digamos que
]0, 1[ = {rn : n N}
para alguma contagem fixada. Fixando tambem para cada rn ]0, 1[ uma representacao
decimal
rn = 0, r1n r2n r3n ...rnn ...
podemos definir um novo n
umero real s = s1 s2 ...sn ... ]0, 1[ do seguinte modo
(
rnn + 1 se 0 rnn < 9
sn =
0
se rnn = 9

618

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

O n
umero s e diferente de qualquer dos rn porque difere de cada um deles na n-esima
casa decimal.
Resumindo: nenhuma enumeracao esgota o intervalo ]0, 1[, ou seja, nao ha aplicac
oes
bijectivas de N em ]0, 1[, ou ainda, ]0, 1[ e infinito, nao e numeravel e, portanto, R
tambem nao.
II. O conjunto dos n
umeros racionais e numer
avel.
Cada n
umero racional admite uma representacao fraccionaria irredutvel u
nica m
n
m
2
na qual m Z & n N; a funcao f : Q Z dada por f ( n ) = (m, n) e entao injectiva
e, como Z2 e numeravel, Q tambem e.
III. O conjunto dos n
umeros irracionais n
ao e numer
avel.
Se fosse, R tambem seria pois seria uniao de Q com um conjunto numeravel.
IV. O conjunto dos n
umeros transcendentes n
ao e numer
avel.
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. Reciprocamente, 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 parciais que nao sao completas.
3. Considere uma estrutura de n
umeros naturais, N = (N, S, 1), e um corpo ordenado, K = (K, +, , 0, 1, <). Defina 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 definidas tambem a
soma, o produto e a ordem canonicas.
4. Mostre que todo o corpo ordenado e infinito.
5. Suponha que (K, +, , 0, 1, <) e (K 0 , +, , 0, 1, <) sao dois corpos ordenados (o
contexto determina o domnio onde as operacoes se realizam e a ordem se considera). Mostre que a funcao do exerccio 3 tem um e um so prolongamento
ao subcorpo do n
umeros racionais de K que e por sua vez um isomorfismo para
o subcorpo dos n
umeros racionais de K0 .
6. Se um corpo ordenado tem um elemento irracional, entao entre cada dois quaisquer dos seus elementos existe um elemento irracional.

VN

619

meros Reais
Nu

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 = mk .
8. Uma bijeccao entre N e N2 .
(a) Mostre que a funcao : N2 N dada por qualquer das equacoes
(m, n) =
=
=

1
(m + n)2 m 3n + 2
2


1
(m + n)2 (m + n) 2(n 1)
2
1
(m(m + n 1) + n(m + n 3) + 2)
2

e uma bijeccao.
Nota: Esta contagem resulta de ordenar N2 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 = (N2 ).
(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
h
i

(m) = 1+ 28m7 + 1 (m) = (m)((m)1)

2
f (m) = m (m)

g(m) = (m) + 1 f (m)

Verifique que
1 (m) = (f (m), g(m))

(m N).

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

f (n) , quando lim f (n) = + e a > 1? E se este limite for finito?

10
n=0
an

620

VN

Captulo 7

Dzimas e Frac
c
oes 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 representac
ao de qualquer n
umero natural na base 10 e u
nica, a
menos de zeros `
a esquerda, isto e, para cada x N existe uma e uma s
o sequencia
(x0 , , xm ) Zm+1 tal que
1. 0 xi 9

(0 i m N0 )
P
mi
2. xm > 0 & x = m
i=0 xmi 10
Pp
pi para algum p
3. Se x =
i=0 xpi 10
p j > m xj = 0.

Dem. Tome-se x N e defina-se

c0 = x  
cn+1 = c10n

xn = cn 10cn+1

N0 ,

ent
ao p

m e

(n N0 )

facil verificar que cn+1 e xn sao respectivamente o cociente e o resto da divisao de cn

E
por 10, pelo que, para
0 xn 9

&

10cn+1 cn

(n N0 )

e assim, para n N0
10n cn c0 = x
x = 10n cn +

(7.1)
n
X
i=1

701

10ni xni

(7.2)

meros Reais
Nu

ITN(2001)

P
entendendo-se 0i=1 i = 0.
Por (7.1), se 10m x < 10m+1 , entao 1 xm = cm 9 e xm+r = cm+r = 0
(r N). Em virtude da equacao (7.2) o teorema fica demonstrado.
2

Teorema 7.1.2 Para cada n

umero real x [0, +[, existe uma e s
o uma sucess
ao
(an )nN tal que, para qualquer n N, se verifica
0 an 9
0

(7.3)
[x] +

n+1
X
i=1

Deste modo

ai
10i

!
<

1
10n+1

(7.4)

X
an
x = [x] +
10n
n=1

e tambem, para qualquer n N, existe k > n tal que ak < 9.

A sucessao (an ) 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 xm x0 for a
representacao de [x] dada pelo teorema 7.1.1, escreve-se
x = xm x0 , a1 a2 an
O n
umero 7.4 deste u
ltimo teorema afirma que a dzima (an ) n
ao e identicamente 9,
seja a partir de que ordem for.
Dem. Note-se que 0 e representavel por 0, 000 , verificando-se as assercoes do teorema; assim, provado este, a parte de unicidade garante ser esta a u
nica representacao
de zero nestas condicoes.
Defina-se
(
x1 = x [x]
an = [10xn ] (n N)
xn+1 = 10xn [10xn ] (n N)
imediato que
1. E
0 xn < 1

(n N)

(7.5)

de onde resulta que 0 [10xn ] < 10 e consequentemente, 0 an 9.

2. Por outro lado, para cada n N,
xn+1 = 10n x1

n
X

10ni ai

i=0

702

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

e portanto, considerando (7.5),

0x

n
X
ai
[x] +
10i

!
=

i=1

xn+1
1
< n
n
10
10

3. Se an = 9 a partir da ordem n + 1, ter-se-ia

!
n

X
X
ai
9
1
x [x] +
=
= n
i
i
10
10
10
i=1

i=n+1

o que contradiz (7.4).

Resta ver que a dzima e u
nica nas condicoes referidas e basta verificar esta unicidade
quando 0 x < 1. Observe-se que
n
X
ai
1
0x
< n
i
10
10

0 10 x

i=1

n
X

ai 10ni < 1

i=1

n
X

ai 10ni = [10n x]

i=1

portanto os ai sao univocamente determinados por x pelo teorema 7.1.1.

Uma dzima diz-se peri

odica com perodo b1 bp (bi N; 1 i p N), se a
parte decimal tiver a forma
b1 bp b1 bp b1 bp
isto e, se existem n0 , p N tais que os termos da sucessao (an ) do teorema 7.1.2
verificam
an0 +i+kp = bi (k N; 1 i p),
representando-se
x = [x] + 0, a1 an0 (b1 bp ).
Se uma dzima e periodica de perodo b1 bp e a1 = b1 , dir-se-a puramente peri
odica,
caso contrario diz-se que a dzima e mista. Uma dzima de perodo 0 tambem se diz
finita.
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 ah 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

meros Reais
Nu

ITN(2001)

Teorema 7.1.3 Seja x um n

umero real positivo
1. x e racional se e apenas se tem dzima peri
odica.
2. Se x =

a
b

(a, b N) e mdc(a, b) = 1 e b = 2 5 n (n N), ent

ao

(a) Se n = 1, x tem dzima finita.

(b) Se = = 0 & n > 1, x tem dzima puramente peri
odica 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 n
ao peri
odica e max(, ).
Dem. Vamos mostrar que se x tem dzima peri
odica, ent
ao e racional, ficando 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, ficando provado o restante de 1.
1. Suponhamos que a dzima de x tem perodo ak+1 ak+p ; segue-se que
p
k
X
X
X
an
ak+i
x =
+
10n
10k+sp+i
n=1

1
10k
1
10k

s=0 i=1

k
X
n=1
k
X
n=1

10kn an +

X
ak+i X 1
10sp
10k+i
i=1

1
an 10kn + k+p
10

s=0
p
X

ak+i 10pi

i=1

10p
Q
10p 1

2. Suponha-se entao que x e racional positivo, digamos

a
x =
mdc(a, 2 5 n) = mdc(10, n) = 1
2 5 n
e sejam
= max{, }

& = ordem de 10 (mod n).

a) (n = 1) Neste caso
x =

a2 5
10

e a dzima de x e claramente finita.

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 N0 , sendo 0 < r < 10 1,
a
(mn + 1)a
= ma + = ma + x
n
n
ma
r
x =
=q+
10 1
10 1
r
1
= q+
10 1 101

10 x =

704

VN

` Teoria dos Nu
meros (2001)
Int. a
Tomando r =

i=1 10

i a
i

meros Reais
Nu

para certos ai N0 com a > 0, segue-se que

!

X
ai X 1
x = q+
10i
10n
i=1

n=0

= q + 0, (a1 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
ai X 1
x [x] =
10i
10n
n=0
i=1
P
n
n=1 an 10
=
10 1
r
=
Q & mdc(r, n) = 1
n
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

Frac
c
oes contnuas simples

Notac
ao
De modo a respeitar uma notacao classica para fraccoes contnuas e evitar ambiguidades ate ao fim deste captulo a caracterstica do n
umero real x passa a ser designada
por car(x).
sicas.
Propriedades ba
Por comodidade de exposicao convira utilizar com frequencia N0 = N {0} passando
as sucessoes de n
umeros reais a indiciar-se em N0 .
Dados um n
umero natural n, n
umeros reais positivos r1 , r2 , ..., rn e um n
umero real
qualquer r0 , o smbolo [r0 ; r1 , ..., rn ] define-se recursivamente do seguinte modo:
[r0 ] = r0
n N [r0 ; r1 , ..., rn+1 ] = [r0 ; r1 , ..., rn1 , rn +

1
rn+1

sendo facil verificar o seguinte:

Teorema 7.2.1 Se r0 R

&

r1 , r2 , ..., rn > 0 ent

ao

1. Para 0 i n 1, [ri ; ..., rn ] = ri +

VN

1
[ri+1 ;...,rn ]

705

meros Reais
Nu

ITN(2001)

2. Se todos os ri N, ent
ao
(a) [ri ; ..., rn ] > 0
(b) [ri ; ..., rn ] Q

(0 i n)

Defini
c
ao 7.2.1 Uma sucess
ao (rn )nN0 de n
umeros inteiros diz-se simples se se verificarem ambas as seguintes condic
oes
1. rn N0 seja qual for n N0 .
2. n N [rn = 0 k N0 rn+k = 0].
Repare-se que numa sucess
ao simples, se um termo de ordem positiva e positivo, o
u
nico termo de ordem menor que pode ser zero e o de ordem zero
Defini
c
ao 7.2.2 Dada uma sucess
ao simples (an ), a frac
c
ao contnua simples [a0 ; a1 , ..., an , ...]
e a sucess
ao de n
umeros racionais xn definida do seguinte modo
1. Se an = 0 para todo o n N, ent
ao xn = a0 (n N0 )
2. Se an > 0 para todo o n N, ent
ao
xn = [a0 ; , an ]

(n N0 )

3. Se a1 > 0 e n0 = min{n : an = 0} N ent

ao
(
xn = [a0 ; , an ]
se n < n0
xn = [a0 ; , an0 1 ] se n n0
As fraccoes [a0 ; , an ] chamam-se reduzidas ou convergentes da fraccao contnua.
Uma fraccao contnua diz-se finita se os termos an se anulam a partir de alguma ordem.
Uma reduzida de ordem n pode identificar-se com a fraccao contnua correspondente
[a0 ; , an , 0, ].
Observe-se que
an > 1 [a0 ; , an ] = [a0 ; , an 1, 1]

(7.6)

no entanto
Teorema 7.2.2 Se [a0 ; , an ] (n > 1) e uma fracc
ao contnua simples, 0 < m
Z, k N e
m
= [a0 ; , an ] & an > 1 & mdc(k, m) = 1,
k
ent
ao os ai verificam as seguintes relac
oes de recorrencia:
m = a0 k + r0 & 0 r0 < k & r0 Z
k = a1 r0 + r1 & 0 r1 < r0 & r1 Z
ri1 = ai+1 ri + ri+1 & 0 ri+1 < ri & ri+1 Z & 1 i < n 1
rn2 = an

706

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

1
Repare-se que com mdc(k, m) = 1, supondo m
k = [a0 ; a1 ] = a0 + a1 , vem m = a0 k+r0
e k = a1 r0 , com 0 r < k, pelo que r0 |k e portanto r0 |m, ou seja, r0 = 1 e k = a1 .
Esta situacao pode ser integrada no teorema considerando m = r2 e k = r1 .

Dem. (do teorema 7.2.2) Comecemos por observar que os ai sao positivos e que as
reduzidas [ai ; , an ] tambem, portanto
0 <

1
=
[ai ; , an ]
ai +

1
1
[ai+1 ; ,an ]

< 1

(7.7)

Definindo xi = [ai ; , an ], vem

xi1 = ai1 +

1
,
xi

donde
ai = [xi ] = car([ai ; , an ]);
em particular,
a0 = car(x0 ) = car

m
k

e a0 e o cociente inteiro de m por k; portanto, se

m = a0 k + r0
vem

com

0 r0 < k

& r0 Z

r0
1
=
k
[a1 ; , an ]

tendo-se tambem r0 > 0 como seria de esperar. De novo

1
k
= [a1 ; , an ] = a1 +
r0
[a2 ; , an ]
e a1 e o cociente inteiro de k por r0 , vindo
k = a1 r0 + r1

com

0 < r1 < r0

& r1 Z

Convencionando m = r2 & k = r1 mostramos

ri1 = ai+1 ri + ri+1 com 0 < ri+1 < ri
ri1
= [ai+1 ; , an ] para i = 1, 0
ri

& ri+1 Z

Suponhamos que estas relacoes se mantem ate i n 1. Tem-se

ai+1 +

VN

1
ri1
ri+1
=
= ai+1 +
[ai+2 ; , an ]
ri
ri

707

meros Reais
Nu

ITN(2001)

donde
ri
ri+1
ai+2

= [ai+2 ; , an ] = ai+2 +


ri
.
= car
ri+1

(i + 2 n)

(7.8)
(7.9)

Ponhamos
ri = ai+2 ri+1 + ri+2 ;
se i + 2 < n, entao [ai+2 ; , an ] > ai+2 e a constante em (7.8) e positiva, pelo que
ri+2 0, como se pretendia verificar; se i + 2 = n, entao = 0 e rn2 = an rn1 .
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 rn1 = 1.
2
Uma consequencia praticamente imediata deste teorema e
Teorema 7.2.3 Duas fracc
oes contnuas simples positivas [a0 ; , an ]
[b0 ; , bn ] em que rn , am > 1 s
ao iguais sse m = n & ai = bi (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 u
ltimas 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
m
= car
+ r com r Q [0, 1[
n
n
Segue-se que
m
m
= [car
; a1 , , ak ] se r = [0; a1 , , ak ].
n
n
Adiantando-nos um pouco:se soubessemos que fracc
oes contnuas simples diferentes
tem limites diferentes poderamos concluir
Teorema 7.2.4 Se [a0 ; , an , ] e uma fracc
ao contnua simples infinita e o limn [a0 ; , an ]
existe, ent
ao este limite e um n
umero irracional.
A este prop
osito vejam-se os teoremas 7.2.9 e 7.2.10. Na proxima parte verificaremos
que as fracc
oes contnuas simples convergem sempre.
es contnuas infinitas
Fracc
o
De ora em diante (an ) e uma sucessao simples para a qual an 1 (n N). Fixamos
tambem a seguinte notacao:

708

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

h2 = 0 h1 = 1 hi = ai hi1 + hi2 (i 0)
k2 = 1 k1 = 0 ki = ai ki1 + ki2 (i 0)
Em particular
1 = k0 a1 < kn < kn+1 (n 2)

&

lim kn = +.
n

(7.10)

Teorema 7.2.5 Para qualquer n

umero real x ]0, +[ e qualquer n N,
[a0 ; , an1 , x] =

xhn1 + hn2
xkn1 + kn2

(7.11)

Dem. (n = 1)
xh0 + h1
xk0 + k1

x[a0 1 + 0] + 1
x[a0 0 + 1] + 0
a0 x + 1
1
=
= a0 +
x
x
= [a0 ; x]
=

Supondo a igualdade v
alida para n
1
[a0 ; , an , x] = [a0 ; , an1 , an + ]
x


an + x1 hn1 + hn2


=
an + x1 kn1 + kn2
x (an hn1 + hn2 ) + hn1
=
x (an kn1 + kn2 ) + kn1
xhn + hn1
=
xkn + kn1
como se pretendia. Pelo Princpio de Inducao, a equacao (7.11) vale para qualquer
n N.
2
Observa
c
ao: Repare-se que [x] = x =
se n = 0.
Corol
ario 7.2.1 [a0 ; , an ] =

hn
kn

xh1 +h2
xk1 +k2 ,

pelo que a formula (7.11) vale mesmo

(n N0 ).

Mais detalhadamente:
Teorema 7.2.6 Seja rn = [a0 ; , an ] (n N). Valem as seguintes proposic
oes, para
qualquer n N:
1. hn kn1 hn1 kn = (1)n1

VN

709

meros Reais
Nu
2. rn rn1 =

ITN(2001)
(1)n1
kn kn1

3. hn kn2 hn2 kn = (1)n an

4. rn rn2 =

(1)n an
kn kn2

5. mdc(hn , kn ) = 1
Dem. A primeira e a terceira equacoes podem ser demonstradas por inducao; a segunda
e a quarta equacoes obtem-se dividindo respectivamente por kn kn1 e kn kn2 ; quanto
`a u
ltima equacao, observe-se que 0 < d|hn , kn implica que d|1 e logo que d = 1.
2
Um teorema sobre monotonia
Teorema 7.2.7 Dada uma sucess
ao simples (an ), seja rn = [a0 ; , an ]. Para quaisquer k, s N,
1. r2k < r2k+2 < r2s+1 < r2s1
2. (rn ) converge.
Dem. 2. A segunda afirmacao 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 r2n lim r2n+1 = t
n

e, com (7.10), temos

0 t s r2n+1 r2n =

1
0.
k2n+1 k2n

donde t = s = limn rn .
1. Do teorema 7.2.6.2 obtem-se r2n+1 r2n > 0; da assercao 4 do mesmo teorema
obtem-se r2n+1 r2n1 < 0 & r2n+2 r2n > 0; agrupando:
r2k < r2k+2 < r2s+1 < r2s1

(k, s N)
2

Defina-se i = [ai ; ai+1 , ] quando ai+1 1.

Lema 7.2.1 Seja (an ) uma sucess
ao simples na qual a1 > 0.
1. Se 0 = [a0 ; , an ] & an > 1 ou se 0 e infinita, ent
ao a0 = [0 ].

710

VN

` Teoria dos Nu
meros (2001)
Int. a
2. 0 = a0 +

meros Reais
Nu

1
1

Dem. (1) O caso em que 0 e finita foi tratado na demonstracao do teorema 7.2.2.
O caso em que 0 e infinita obtem-se do seguinte modo: r0 < 0 < r1 pelo teorema
anterior, isto e, a0 < 0 < a0 + a11 a0 + 1 & a0 < 0 < a0 + 1, logo a0 = [0 ].
(2) Se 0 e finita, estamos perante a definicao. Se 0 e infinita, tem-se


1
0 = lim[a0 ; , an ] = lim a0 +
n
n
[a1 ; , an ]
1
= a0 +
limn [a1 ; , an ]
1
= a0 +
1
2

Teorema 7.2.8
distintos

1. Duas fracc
oes contnuas simples infinitas distintas tem limites

2. Duas fracc
oes contnuas simples finitas distintas s
o tem o mesmo valor se forem
da forma [a0 ; , an ] e [a0 ; , an 1, 1] com an > 1.
Veremos adiante que fraccoes contnuas simples infinitas tem limite irracional (teorema 7.2.9).
Dem. (do teorema 7.2.8) A proposicao 2 foi de facto demonstrada no teorema 7.2.3.
(1) Se 0 = [a0 ; ] = [r0 , ], pelo lema anterior concluimos a0 = [] = r0 e tambem
= a0 +

1
1
1
= a0 +
= a0 +
,
1
[r1 ; , rn ]
[r1 ; , rn ]

pelo que tambem 1 = [a1 ; ] = [r1 ; ]. Por inducao pode entao mostrar-se que
an = rn para qualquer n N.
2

Teorema 7.2.9 Se = [a0 ; ] e uma fracc

ao simples infinita, ent
ao e um n
umero
irracional.
Dem. Pelos teoremas 7.2.6 e 7.2.7,
0 < | rn | < |rn rn+1 | &

VN

0 < |kn hn | <

1
kn+1

711

meros Reais
Nu

ITN(2001)

b
se = ab para alguns a, b Z, ter-se-ia 0 < |kn ahn b| < kn+1
, o que, como kn+1 +,
implica 0 < |kn a hn b| < 1 para n grande, o que e impossvel pois kn a hn b Z.
Conclui-se que nao pode ser racional.
2

Completando
Teorema 7.2.10 Todo o n
umero irracional e limite de uma fracc
ao contnua.
Dem. Suponha-se que r 6 Q e defina-se
r = x0
a0 = car(x0 )

& x1 =

an = car(xn )

& xn+1

1
xn car(xn )

1
r a0
1
=
xn an

(n N)

Pode demonstrar-se por inducao que todos os an Z e todos os xn 6 Q. Por construcao

an = car(xn ) < xn < an + 1,

pois

xn 6 Z,

e da 0 < xn an < 1, pelo que

xn+1 =

1
> 1
xn an

& an+1 = car(xn+1 ) 1

(n 0);

por inducao concluimos

an 1
observando que xn = an +

1
xn+1 ;

(n N),

assim

r = x0 = a0 +

1
= [a0 ; x1 ]
x1

1
] = [a0 ; a1 , x2 ]
x2
= = [a0 ; a1 , , an1 , xn ];
= [a0 ; a1 +

Mas entao, pelo teorema 7.2.5,

r = [a0 ; , an1 , xn ] =

712

xn hn1 + hn2
xn kn1 + kn2

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

seguindo-se
hn1
|
kn1
(hn1 kn2 + hn2 kn1 )
|
= |
kn1 (xn kn1 + kn2 )
(1)n1
= |
|
kn1 (xn kn1 + kn2 )
1
1
=

kn1 (xn kn1 + kn2 )

kn1

|r rn1 | = |r

porque xn , km > 0 & limn kn = +. Em suma rn1 r.

E fica tambem demonstrado o teorema 7.2.4

7.3

Frac
c
oes peri
odicas

Nesta seccao, abusaremos um pouco da notacao identificando

[a0 ; , an ] = [a0 , , an ]
Teorema 7.3.1 Uma fracc
ao contnua simples e peri
odica se e apenas se representa
um irracional quadr
atico.
Dem. Se a fraccao e puramente periodica, digamos
= [a0 ; , an , ] = [a0 , , an ],
observe-se que
= [a0 ; , an , ],
de onde se conclui
=

hn + hn1
,
kn + kn1

(7.12)

que e uma equacao quadratica de coeficientes inteiros.

Se a fraccao e mista, digamos
= [b0 ; , bm , a0 , , an ]
= [a0 , , an ],
entao
=

VN

h0m + h0m1
.
0 + k0
km
m1

(7.13)

713

meros Reais
Nu

ITN(2001)

para certos h0 , k 0 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 infinita), portanto,
como raiz de polinomio do segundo grau de coeficientes inteiros, verifica

= + 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 6= 0
2

& b 4ac 6=

&

a, b, c Z

& = [a0 ; , an , ] R\Q.

(7.14)
(7.15)

Tomando
sn = [an ; , an+1 , ]
tem-se
=

sn hn1 + hn2
,
sn kn1 + kn2

Substituindo em (7.14), obtem-se

An s2n + Bn sn + Cn = 0

(7.16)

com
2
An = ah2n1 + bhn1 kn1 + ckn1

Bn = 2ahn1 hn2 + b(hn1 kn 2 + hn2 kn1 ) + 2ckn1 kn2

2
Cn = ah2n2 + bhn2 kn2 + ckn2

Vamos agora obter majoracoes de |An |, |Bn |, |Cn | independentes de n.

An 6= 0 porque a equacao (7.14) nao tem raizes racionais.
A equac
ao (7.16) mostra que
An x2 + Bn x + Cn = 0

(7.17)

tem raiz sn . Alem disso, alguns calculos mostram que

Bn2 4An Cn = (b2 4ac)(hn1 kn2 hn2 kn1 )2 = b2 4ac
Ora

(7.18)





1
1
 hn  <
< 2


kn
kn kn+1
kn

pelo que
hn1 = kn1 +

714

n 1
kn1

& |n1 | < 1.

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Da


An

n 1
= a kn1 +
kn1

2

n 1
+ bkn1 kn1 +
kn1
2

2
= (a 2 + b + c)kn1
+ 2an1 + a n1
+ bn1
2
kn1
= 2an1 + a

2
+ ckn1

2
n1
+ bn1 ,
2
kn1

pelo que
|An | < 2|a| + |a| + |b|
e, como Cn = An1 ,
|Cn | < 2|a| + |a| + |b|.
Por (7.18),
Bn2 4|An ||Cn | + |b2 4ac|
< 4(2|a| + |a| + |b|)2 + |b2 4ac|.
Portanto os valores dos n
umeros inteiros An , Bn , Cn sao limitados independentemente
de n e o n
umero de ternos (An , Bn , Cn ) e finito; se (A, B, C) for um dos que ocorre pelo
menos tres vezes, os correspondentes sn1 , sn2 , sn3 tem pelo menos uma repeticao, pois
a equacao (7.17) tem apenas duas solucoes.
Se sn1 = sn2 entao
an1 +i = an2 +i
(i N0 )
e a fraccao e periodica.

7.4

Exerccios

1. Considere n :=

4567890
123456

(a) Sem a calcular, determine a natureza da dzima de n e diga qual o comprimento do seu perodo.
(b) Verifique 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

meros Reais
Nu

ITN(2001)

(b) A dzima x := 0, a1 an definida por

an

(
1
=
0

se n e primo
caso contr
ario.

e irracional. (SUG: prove que se a dzima e peri

odica, ent
ao existem a, b N
tais que a 6= 0 & an + b e primo quando n e suficientemente 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 infinitos n
umeros primos congruentes com 1 para o modulo 10s e conclua que
ha infinitos n
umeros primos cuja expressao decimal tem um n
umero arbitrario de
zeros consecutivos.)
4. Suponha que b N/{1}.
(a) Mostre que se (an )nN {0, 1, , b 1}N , entao

X
an
i=1

bn

< +

(7.19)

(b) Mostre que qualquer n

umero real em ]0, 1[ tem uma representac
ao 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; a1 , ] e s := [b; b1 , ] sao fraccoes contnuas
simples, entao r < s.
(b) Se r := [a0 ; a1 , ] e s := [b0 ; b1 , ] sao fraccoes contnuas simples e
k := max{j N| i N [0 i < j ai = bi ]}
entao, convencionando que
max := 0,
(
k e par
r < s
k e impar

716

e ak < bk
e bk < ak .

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

6. Com a notacao do texto mostre que



kn
n N n 1
= [an ; an1 , , a1 ]
kn1
e determine uma expressao semelhante para

hn
hn1 ,

supondo que a0 0.

7. Suponha que r := m
e uma fraccao reduzida em Q e que [a0 ; , an ] e a sua
n
representacao em fracc
ao contnua. Com a notacao do texto, mostre que
i N [0 i n 1 | ri r |

1
]
ki ki+1

e que a u
ltima desigualdade e igualdade apenas quando i = n 1.
8. Mostre que se as primeiras n reduzidas de duas fraccoes contnuas simples s
ao
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)
(b)

29
41

(c)
(d) 1

37+5
3
23

14. Demostre que

VN

717

meros Reais
Nu

a) n2 + 1 = [n, 2n]

ITN(2001)
b)

n(n + 1) = [n, 2, 2n]

15. Demonstre que se n e um inteiro positivo se tem

n+

718

n2 + 4
= [n]
2

VN

Captulo 8

Extens
oes
De ora em diante supomos fixado um modelo de corpo ordenado completo, isto e, o
corpo dos n
umeros reais; tambem nos referiremos indistintamente ao corpo enquanto
estrutura algebrica K = (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; finalmente: 0 = 0 e 1 = 1.

8.1

Os n
umeros complexos

O polinomio x2 + 1 nao tem raizes reais, pois 1 < 0 x2 em qualquer corpo ordenado
(lema 6.1.1).
Esta seccao consiste essencialmente na demonstracao do seguinte

Teorema 8.1.1 A menos de um isomorfismo de corpos, existe um corpo

mnimo que prolonga o corpo R e onde o polin
omio x2 + 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
i2 + 1 = 0.
Repare-se que R K e seja
C = {a + bi : a, b R}

801

(8.1)

meros Reais
Nu

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
a2 +b2

b
i
a2 +b2

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
demonstrac
ao fica como exerccio.
2
Daqui resulta o seguinte teorema:
Teorema 8.1.2 C = (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 C\R
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 K 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 equac
ao x2 + 1 = 0 tenha soluc
ao contem um corpo isomorfo a C; um isomorfismo pode ser descrito do seguinte modo: se i e j designam respectivamente raizes
quadradas de 1 em cada um dos corpos extens
ao, ent
ao
(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

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Observe-se ainda que definindo conjugado, z, do n

umero complexo z = a +
bi (a, b) R2 , por
a + ib = a ib
e uma funcao N : C R, designada tambem norma, por
N (a + bi) = a2 + b2

((a, bvtr2 ))

(8.2)

vem, para z = a + bi, w = c + di C, a, b, c, d R,

N (z) = zz
z
z 1 =
N (z)
N (zw) = N (z)N (w).
Em particular
(a2 + b2 )(c2 + d2 ) = (ac bd)2 + (ad + bc)2

(a, b, c, d R).1

Terminamos com as seguintes observacoes:

Observa
c
oes.
1. O corpo C nao e ordenavel, pois i2 = 1.
2. O corpo C e algebricamente fechado, isto e, vale o seguinte teorema, cuja demonstracao nao cabe no ambito deste curso.

Teorema 8.1.4 (Fundamental da Algebra)

Qualquer polin
omio de coeficientes em C e grau maior ou igual a 1 tem raizes em
C.

8.2

Quaterni
oes

Seja K = K, +  um espaco vectorial sobre o corpo R dos n

umeros reais com dimens
ao
4. Vamos definir 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, simplificamos a notac
ao
x y por xy e identificamos K com K. Defina-se
1. i2 = j2 = k2 = 1
2. ij = k
1

jk = i

ki = j

Recorde-se a prop
osito o teorema 4.3.3.

VN

803

meros Reais
Nu

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,  n
ao e comutativo.
4. C e isomorfo ao subanel de K cujos elementos s
ao 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 divis
ao
Dem. As propriedades da soma estao garantidas pelo facto de K ser espaco vectorial.
Au
nica 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 6= 0 a, b, c, d R
(a1 + bi + cj + dk)1 =

a1 bi cj dk
a2 + b2 + c2 + d2
2

Parece-nos interessante observar que, analogamente ao que se faz em C, definindo

o conjugado do quaterniao = a1 + bi + cj + dk, , por
a1 + bi + cj + dk = a bi cj dk

((a, b, c, d) R4 ),

(8.3)

e definindo a norma do quaterniao, N , por

N () := a2 + b2 + c2 + d2

((a, b, c, d) R4 ),

entao, para quaiquer , K,

N () =

1 =
N ()
N () = N ()N ().
Em particular, vale uma identidade de Lagrange que enunciamos de seguida.

804

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

Teorema 8.2.3 Se = a1 + bi + cj + dk e = u1 + vi + xj + yk s
ao quaterni
oes e
(a, b, c, d), (u, v, x, y) R4 , ent
ao
(a2 + b2 + c2 + d2 )(u2 + v 2 + x2 + y 2 ) = (au + bv + cx + dy)2 + (av bu cy + dx)2
+ (ax + by cu dv)2 + (ay bx + cv du)2 .

8.3
8.3.1

Extens
oes ordenadas
(In)Completude

Leibniz utilizava (e Newton tambem) n

umeros infinitesimais , 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 infinitos 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, ent
ao existem em K elementos positivos menores que qualquer n
umero real positivo.
Dem. Suponhamos que K e uma extensao ordenada propria de R e que K\R.
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
<

ou, como se pretende,

1
<r

O segundo caso, pode tratar-se analogamente tomando em vez de .

No terceiro caso defina-se
r R+

0<

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

meros Reais
Nu

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.

Os elementos K cuja existencia esta garantida pelo teorema 8.3.1 dizem-se

infinitesimais. Os outros elementos, ainda designados por , podem ser infinitos, se
r R+ r < ||

(8.4)

r R+ || < r.

(8.5)

ou finitos, se
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 infinitesimal, o que tambem se traduz por x esta infinitamente

pr
oximo de y.
Com um pouco mais de precisao pode mostrar-se o seguinte
Teorema 8.3.2 Seja K uma extens
ao pr
opria ordenada do corpo dos n
umeros reais.
o
Para cada elemento finito K, existe um e s
o um n
umero real 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 infinitamente proximo de
o
estaria tambem infinitamente proximo de 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
de .

cuja existencia e garantida por este teorema diz-se parte standard

Teorema 8.3.3 Seja K uma extens

ao ordenada pr
opria do corpo R. Sejam respectivamente O e os conjuntos dos n
umeros finitos e dos n
umeros infinitesimais em K.
Para simplificar a notac
ao, entendam-se as operac
oes e ordem restringidas adequadamente.
1. (O, +, , ) e um domnio de Integridade ordenado.

806

VN

` Teoria dos Nu
meros (2001)
Int. a

meros Reais
Nu

2. (, +, , ) e um domnio de Integridade ordenado e ideal em (O, +, , ); em

particular
O [0 || ].
(8.6)
3. A funca
o st : (O, +, ) (R, +, ) e um epimorfismo de aneis, = st1 (0) e O/
e isomorfo a R.
Concluimos observando que
Corol
ario 8.3.1 Os corpos ordenados que prolongam propriamente o corpo dos n
umeros
reais n
ao s
ao completos.
Dem. Vejamos o conjunto dos infinitesimais nao tem supremo, mesmo sendo majorado por qualquer n
umero real positivo: se s = sup entao s 6 , 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 u
nicos 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 infinito de solucoes da equacao x2 = 1 no conjunto
dos quaternioes.
5. Suponha que a = a21 + a22 + a23 + a24 e que b = b21 + b22 + b23 + b24 , onde ai , bi Z.
Mostre que ab = c21 + c22 + c23 + c24 , onde
(a1 + a2 i + a3 j + a4 k)(b1 + b2 i + b3 j + b4 k) = c1 + c2 i + c3 j + c4 k.
6. Seja K = (K, +, , 0, 1, <) um corpo ordenado que prolonga propriamente o dos
n
umeros reais. Sejam respectivamente e O os conjuntos de elementos infinitesimais e elementos finitos de K. Mostre que, para quaisquer a, b, x, y K
(a) Se x a O entao x2 a2 , mas pode acontecer x a & x2 6 a2 .
(b) Se a, b O & x a & y b, entao xy ab, mas pode acontecer x
a & y b mas xy 6 ab.

VN

807

meros Reais
Nu
(c) Se x a 6 0, entao

ITN(2001)
1
x

a1 , mas pode acontecer x a &

1
x

6 a1 .

(d) Sendo a funcao f (x) um polinomio em x de coeficientes em O e grau n N

e a O \ , para todo o h , existe tal que
f (a + h) = f (a) + f 0 (a)h + h;
(e) Se f (x) = x1 , a 6 & h 0, entao existe tal que
f (a + h) = f (a)

808

1
h + h.
a2

VN

Parte III

Aplica
c
oes

901

Captulo 9

Criptografia
9.1

Introdu
c
ao

Um alfabeto e um conjunto finito de smbolos com os quais serao elaboradas sequencias

ou unidades de texto. Designaremos por T (A) o conjunto das unidades de texto no
alfabeto A.
Uma fun
c
ao 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
f 1

T (A) T (A) T (A)

em que f e uma funcao de cifra.

9.2

Sistemas afins

Seja A um alfabeto com n smbolos distintos (n > 1) e fixe-se uma enumeracao :

A {0, 1, , n 1}.
Uma k-unidade de texto e uma sequencia de k elementos de A. Como convencionamos na introducao, as unidades de cifra sao tambem sequencias de k elementos
de A. Cada texto e constituido por um n
umero inteiro de unidades; se for necessario,
completa-se a u
ltima unidade por repeticao do u
ltimo smbolo do alfabeto.
A funcao de cifra afim de par
ametros 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

 es
Aplicac
o

ITN(2001)

2. Cada unidade de texto u = A0 Ak1 e codificada por um n

umero (u) que se
obtem por expressao na base n:
(u) = (A0 )nk1 + + (Ak2 )n + (Ak1 )


3. Para cada unidade de texto u, f (u)
=
1 a(u) + b (mod nk )
0 (f (u)) nk 1.
Os parametros a, b constituem a chave da cifra.
Teorema 9.2.1 Se f e uma func
ao de cifra afim de par
ametros a, b e a designa o
k
inverso de a (mod n ) ent
ao, para cada unidade de cifra c


f 1 (c) = 1 a (c) a b (mod nk ) .
Os sistemas afins mais simples ocorrem com k = 1 = a e podem ser designados por
sistemas de deslocamento.

9.3

Codifica
c
ao Matricial

Outra forma de codificar resulta de se tomar uma k-unidade de texto como um elemento
de (Zn )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 Zn por M2 .
Teorema 9.3.1 Se

A =

a b
c d


M2

&

= ad bc,

as seguintes condic
oes s
ao equivalentes.
1. mdc(, n) = 1
2. A e invertvel
3. ker(A) = ~0 (Zn )2
4. A define um automorfismo de (Zn )2
Dem. (1 2) Designando por o inverso de (mod n), e facil verificar que


d b
1

A
=
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 6 |m; em particular
m 6 0 (mod n).

904

(9.1)

VN

` Teoria dos Nu
meros (2001)
Int. a

es
Aplicac
o

Se divide todas as coordenadas de A, entao



m
A
= ~0
m
e, por (9.1), nao vale 3.
Se nao divide simultaneamente a e b entao


bm
6= ~0
am
mas


A

bm
am


=

0
m

(9.2)


= ~0.

e torna a nao valer 3, em virtude de (9.2).

Se nao divide simultaneamente c e d entao


dm
6= ~0
cm
mas


A

dm
cm


=

m
0

(9.3)


= ~0.

e, de novo, nao vale 3, em virtude de (9.3).

Neste contexto, os textos sao estruturados em matrizes de duas linhas, correspondendo cada coluna a uma unidade de cifra. As funcoes de cifra afins f passam a
entender-se do seguinte modo:
1. Sao dados um elemento ~b (Zn )2 e uma matriz invertvel A M2 .
2. A primeira transformac
ao : T (A) (Zn )2 toma a forma

 

A1
(A1 )

=
A2
(A2 )
3. Modulo n, tem-se finalmente


f (u) = 1 A(u) + ~b .

9.4

Criptografia 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

 es
Aplicac
o
Teorema 9.4.1
m
d.

ITN(2001)
1. Se m e livre de quadrados e d = mcd(a, m) ent
ao a e primo com

2. Se m e livre de quadrados e d|m ent

ao d e primo com

m
d.

3. Para qualquer m N, se d|m ent

ao (d)|(m).
4. Se n 1 (mod (m)) e a e primo com m, ent
ao an a (mod m)
5. Se m e livre de quadrados e n 1 (mod (m)), ent
ao a N an a (mod m).
Dem. Demonstraremos apenas a proposicao 5. As proposicoes anteriores sao essencialmente lemas para a u
ltima.
Para evitar trivialidades podemos supor que a, m, n > 1. Seja d = mdc(a, m); tem-se
para certos r, s N0
an = ar(m)+1
m

= hars( d )+1
irs
m
= a( d )
a
m
1rs a (mod )
d
m
a (mod )
d
Em particular, para algum N,
d|an a =

m
d

e, pela proposicao 1, d|, donde an a (mod m).

Segue-se como corolario:

Teorema 9.4.2 Se m e simples, k, k 0 N e kk 0 1 (mod (m)), ent
ao
0
a N akk a (mod m).
o
Um exemplo de codificac
a
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: na = 01, nb = 02, ..., nj = 10, ...
II. Traduza-se a mensagem para esse c
odigo.
Exemplo 9.4.2 De acordo com o exemplo anterior, supondo ainda que no = 35 a
palavra c
odigo e traduzida por 033504090715.

906

VN

` Teoria dos Nu
meros (2001)
Int. a

es
Aplicac
o

III. Pode-se ficar por aqui ou dificultar um pouco mais a descodificacao.

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 0 = 13. Em vez de se codificar como no exemplo 9.4.1,
recodifique-se
n0 = (n )5
com as letras em blocos separados: a palavra c
odigo passa a ser traduzida por
243 52521875 1024 59049 16807 759375
IV. A descodificacao pode ser feita utilizando o teorema 9.4.2 por quem saiba que
k 0 = 13 e m = 85.
Exemplo 9.4.4 (mod 85) tem-se
24313 7313 (12)13
(123 )4 12 284 12
21 12 82 3
= 03
Mais um caracter
5252187513 3513 (354 )3 35
(353 ) 35 = 354
35
Repare-se que os exemplos que temos vindo a descrever podem ser tratados com
uma calculadora cientfica nao particularmente sofisticada. Codificacoes 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
0
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 a1 a10 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
9
X
a10
ai i (mod 11)
i=1

Esta representacao e sensvel a trocas de quaisquer dois smbolos, indicando uma probabilidade alta de designar o livro correctamente caso a congruencia se verifique.

VN

907

 es
Aplicac
o

9.6

ITN(2001)

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 branco 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, . . . , m 1} definida por (xy) = (x)(y) (mod 1333) (ab representa a concatenacao de a com b), o modulo=1333 (1333 = 31 43) e o expoente codificador
s = 13.
(a) Prove que a correspondencia e uma aplicacao injectiva;
(b) Prove que nao e sobrejectiva;
(c) Codifique e descodifique as palavras SIM e EULER;
(d) Descodifique 084404430682 e 084405821121.

908

VN

Bibliografia
[1] George E. Andrews: Number Theory, Dover 1971.
[2] William W. Adams e Larry J. Goldstein:
Theory,Prentice-Hall, Inc., 1976.

Introduction to Number

[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, Dezembro 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:
court/Acad. Press 2001.

A Mathematical Introduction to Logic, Har-

[9] A. Gon
calves: Introduc
ao `
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 Theory of Numbers, John Wiley & Sons, Inc., 1991.

909

 es
Aplicac
o

ITN(2001)

[15] J. Rey Pastor e P. Pi Calleja & C. A. Trejo: An

alisis Matem
atico, I
Vol., Kapeluz, 1969.
[16] J. S. Pinto: Metodos Infinitesimais de An
alise Matem
atica, 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 Infinitesimals, Acad. Press, 1976.

910

VN

Indice remissivo
alfabeto, 903
Algoritmo
de Euclides, 7
assinatura, 907

maximo [...] comum, 9

elemento
positivo, 603
equacao
Diofantina, 401

bem ordenado, 5

formula
de Inversao de Mobius, 507
de Taylor, 213
fraccao contnua, 706
finita, 706
infinita, 708
periodica, 713
funcao
aritmetica, 501
de cifra, 903
de Euler, 206
de Mobius, 503
multiplicativa, 504

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

identidade
de Lagrange, 412, 804
inverso
aritmetico, 203

dzima, 702
finita, 703
mista, 703
parte
decimal da, 702
inteira da, 702
periodica, 703
puramente periodica, 703
divisvel, 8
divisor, 8

Lei
de Reciprocidade Quadratica, 306
do Corte, 5, 6
Lema
de Euclides, 10
m
ultiplo, 8
n
umero
algebrico, 611

911

 es
Aplicac
o
complexo, 802
finito, 806
infinitesimal, 806
infinito, 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

ITN(2001)
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

ordem, 703
Peano
Axiomatica de, 3
Princpio
de Inducao, 3
Completa, 5
Propriedade
Arquimediana, 7

unidade
k-[...] de texto, 903
de cifra, 903
unidades
de texto, 903

reduzida, 706
resduo
nao quadratico, 302
quadratico, 302
smbolo
de Legendre, 303
simples
fraccao contnua, 706
n
umero, 408

912

VN