You are on page 1of 69

UNIVERSIDADE FEDERAL DA PARABA CENTRO DE CINCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMTICA MESTRADO PROFISSIONAL EM MATEMTICA EM REDE NACIONAL PROFMAT

Nmeros Perfeitos
por

Svio Orleans Cruz


sob orientao do Prof. Dr. Napolen Caro Tuesta

JOO PESSOA - PB 2013

1O

presente trabalho foi realizado com apoio da CAPES.

UNIVERSIDADE FEDERAL DA PARABA CENTRO DE CINCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMTICA MESTRADO PROFISSIONAL EM MATEMTICA EM REDE NACIONAL PROFMAT

Nmeros Perfeitos
por

Svio Orleans Cruz

Trabalho de Concluso do Mestrado Prossional em Matemtica em Rede Nacional pela Universidade Federal

da Paraba como parte dos requisitos para obteno do ttulo de Mestre em Matemtica, sob orientao do Prof. Dr. Napolen Caro Tuesta.

JOO PESSOA - PB 2013

ii

UNIVERSIDADE FEDERAL DA PARABA CENTRO DE CINCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMTICA MESTRADO PROFISSIONAL EM MATEMTICA EM REDE NACIONAL PROFMAT

Nmeros Perfeitos
por

Svio Orleans Cruz


A banca examinadora abaixo-assinada aprova o Trabalho de Concluso do Mestrado apresentado como parte dos requisitos para a obteno do Certicado de Concluso do Mestrado Prossional em Matemtica em Rede Nacional (PROFMAT) pela Universidade Federal da Paraba.

Aprovado em:

de

2013

Prof. Dr. Napolen Caro Tuesta-UFPB (Orientador)

Prof. Dr. Lizandro Sanchez Challapa-UFPB

Prof. Dr. Gilberto Fernandes Vieira-UFCG

iii

A matemtica goza de um prestgio especial, e isto, por uma razo nica: que suas

teses so absolutamente certas e irrefutveis, ao passo que as outras cincias so controvertidas at certo ponto e sempre esto em perigo de serem derrubadas por fatos recm-descobertos. A matemtica goza deste prestgio porque ela que d s outras cincias certa medida de segurana que elas no poderiam alcanar sem a matemtica.

(Albert Einstein)

iv

Sumrio
Agradecimentos Resumo Abstract Introduo 1 Diviso em N
1.1 Diviso em 1.1.1 1.2

vii viii ix x 1
N
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 5 9 11 16 20 20 22

Propriedades

Nmeros primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1 Sobre a distribuio dos nmeros primos . . . . . . . . . . . . .

1.3

Maior divisor comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.1 Propriedades do mdc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4

Congruncias 1.4.1

Aritmtica dos restos . . . . . . . . . . . . . . . . . . . . . . . .

1.5

Pequeno Teorema de Fermat . . . . . . . . . . . . . . . . . . . . . . . .

2 Nmeros Perfeitos
2.1 2.2 2.3 2.4 2.5 Primos de Fermat e de Mersenne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Soma dos divisores de um nmero natural

25
25 30 33 37 38

Nmeros Perfeitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Alguns resultados elementares sobre nmeros perfeitos Nmeros pares perfeitos . . . . . . . . .

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

3 Histria e conjecturas
3.1 3.2 3.3 Primos de Mersenne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjectura Cunningham Conjectura de Goldbach 3.3.1

49
52 54 54

Relao dos primeiros 1000 primos positivos, destacados os gmeos 55

Referncias Bibliogrcas

58

vi

Agradecimentos
A Deus, que em sua innita sabedoria, tem nos mostrado que os caminhos mais difceis so os mais frteis para o nosso aprimoramento espiritual. Aos meus pais Orleans e Olvia, que sempre depositaram em mim, toda sua conana, acreditando no meu sucesso. A minha esposa Simone e minhas lhas Tawenne e Tawara, pelo apoio e incentivo em todas as horas, principalmente pela minha ausncia no dia a dia e pelos meus momentos de stress. Ao Professor Dr. Napolen Caro Tuesta, que me aceitou como seu orientando,

sugerindo o tema do meu trabalho e acreditando que seria possvel realiz-lo. A todos os alunos do curso do Mestrado Prossional em Matemtica (PROFMAT), turma 2011, UFPB e em especial a meu grande amigo e irmo Ambrsio Elias que no mediu esforos em me ajudar, contribuindo para o meu aprendizado e sanando todas as minhas diculdades. Aos Professores da UFPB, pelas aulas, pacincia, ateno, e troca de experincias.

vii

Resumo
Nesta dissertao fazemos um estudo de alguns tpicos da Teoria dos Nmeros como motivao para o estudo dos Nmeros Perfeitos e Primos de Mersenne. Apresentamos alguns resultados importantes para o nosso estudo e analisamos algumas demonstraes do Pequeno Teorema de Fermat, evidenciando a demonstrao de vrios matemticos que os provaram sob vrios aspectos lgicos. Evidenciamos alguns aspectos histricos e conjecturas para os nmeros perfeitos, atravs de uma narrativa simples dos fatos e que certamente nos do a nfase que motivou e motiva vrios matemticos para o estudo dos nmeros perfeitos.

viii

Abstract
In this thesis we study some topics of the Theory of Numbers as an inspiration for future studies of Perfect Numbers and Mersenne Primes. We present some important results for our study and analyze some statements of Fermat's Little Theorem, showing the various mathematical demonstrations that proved under various logical aspects. We have claried some historical aspects and conjectures for perfect numbers, through a simple narrative of facts and this will certainly give us the emphasis that have motivated and still motivates many mathematicians for the study of Perfect Numbers.

ix

Introduo
Esta dissertao tem como objetivo reetir sobre um tema da Teoria dos Nmeros a saber: Nmeros Perfeitos, grande preocupao com uma expresso matemtica que nos desse todos os Nmeros Perfeitos. Foi o objetivo dos matemticos da antiguidade como Fermat, Euler e tantos outros. Ainda hoje os matemticos e estudiosos esto procura de nmeros perfeitos e atravs de mtodos computacionais determinaram o 47

Nmero Perfeito.

Acreditamos que, orientados por uma perspectiva crtico-reexiva sobre os Nmeros Perfeitos e suas propriedades, seja possvel repensar as estruturas matemticas

estudadas nos cursos de Licenciatura complementando a formao do docente atravs das noes especcas sobre a Teoria dos Nmeros, despertando o alunado para investigaes dos resultados obtidos por aqueles matemticos no aspectos histrico e atual. Trata-se de um trabalho de natureza qualitativa de cunho explicativo, resultante da anlise de artigos sobre temas da Teoria dos Nmeros, particularmente dos Nmeros

perfeitos.

Nosso trabalho foi dividido didaticamente em trs captulos, para melhor

distribuir a evoluo do tema em estudo. No captulo 1, revemos a diviso de nmeros naturais e suas propriedades bsicas, Teorema de Euclides, Teorema Fundamental da Aritmtica, Divisores de um Nmero, Soma dos Divisores de um Nmero, Maior Divisor Comum, Nmeros Primos, Algoritmo de Euclides e Congruncias. No captulo 2 estudamos os Nmeros Primos de Mersenne e suas conjecturas, os

Nmeros Perfeitos e seus principais resultados e suas conjecturas, Nmeros Pares


Perfeitos, conjectura sobre os Nmeros Perfeitos mpares e Pequeno Teorema de Fermat.

No captulo 3, dissertamos sobre a evoluo da Teoria dos Nmeros, particularmente conduzindo o estudo para os Nmeros Primos de Mersenne e suas conjecturas.

xi

Captulo 1 Diviso em N
Neste captulo estudaremos as denies e propriedades bsicas da diviso no conjunto dos nmeros naturais

N = {0, 1, 2, . . .}

1.1

Diviso em

N
a
e

Denio 1.1.

a = 0, dizemos que a divide b, escrevendo a | b, quando existir um c N tal que b = a c. Neste caso, dizemos tambm que a um divisor ou um fator de b ou, ainda, que b mltiplo de a. O b nmero natural c chamado de quociente de b por a e denotado por c = . a
Dados dois nmeros naturais com

1.1.1

Propriedades

Denotaremos por

N = {1, 2, 3, . . .} a, b N
e

Proposio 1.1.
i)

Sejam

c N.

Ento, tem-se que:

1 | c, a | a, a | 0. a|b
e

ii) Se

b | c,

ento

a | c.

Demonstrao:
i) Decorre das igualdades: ii) Se

c = 1 c, a = a 1

a0=0 b = af
e

a | b e b | c, ento existem f, g N, c = (a f ) g = a (f g ) = a h, h N,

tais que se,

o que nos mostra que

c = b g, a | c.

ento

Proposio 1.2.
a c | b d.

Sejam

a, b, c, d N,

com

a = 0

c = 0,

se

a | b

c | d,

ento

Captulo 1.

Diviso em

a | b e c | d, ento existem f, g N tais que b = a f e d = c g . Portanto, se b d = (a c)(f g ), ento a c | b d. Em particular, se a | b, ento a c | b c para todo c N .
Se

Demonstrao:

Proposio 1.3.
somente se

Sejam

a, b, c N,

com

a = 0,

tais que

a | ( b + c) ,

ento

a|b

se, e

a | c.
Como

a | (b + c), existe f N tal que b + c = f a. Se a | b, existe g N tal que b = a g logo a g + c = f a = a f donde a f > a g logo f > g . Portanto, se c = a f a g = a (f g ) ento a | c, pois f g N. Reciprocamente, se a | c, existe h N tal que c = a h se ento b + a h = f a = a f se a f > a h ento f > h. Portanto, se b = a f a h = a (f h) ento a | b, pois f h N.

Demonstrao:

Proposio 1.4.
se, e somente se

Sejam

a, b, c N,

com

a=0

b c,

tais que

a | (b c).

Ento

a|b

a | c.
Como

a | (b c), existe f N tal que b c = f a. Se a | b, existe g N tal que b = a g , ento a g c = f a = a.f logo, a g = a f + c donde, a g > a.f logo g > f . Portanto, se c = a g a f = a (g f ) ento a | c, pois g f N. Reciprocamente, se a | c, existe h N tal que c = a h logo, b a h = f a = a f donde, b = a h + a f = a (h + f ), ento a | b, pois h + f N.

Demonstrao:

Proposio 1.5.
ento

Sejam e

a | (x b + y c),

a, b, c N, com a = 0 e x, y N so se x b y c, ento a | (x b y c).

tais que

a|b

a | c,

a | b e a | c, ento existem f, g N tais que b = a f e c = a g . Logo x b = x (a f ) e y c = y (a g ) se ento x b y c = x (a f ) y (a g ) = a (x f ) a (y g ) = a (x f y g ) logo, a | (x f y g ), pois x f y g N.


Como

Demonstrao:

Proposio 1.6. Demonstrao:


c 1.

Sejam

a, b N , a | b,

temos que se
existe

a | b,

ento

a b.
ento

De fato, se

Em particular, se

a | 1,

ento

c N tal que, se b = a c a 1 e, segue-se que a = 1. N

a b,

pois

Observao 1.1.

A relao de divisibilidade em

uma relao de ordem, pois:

i) reexiva: Para todo ii) transitiva: Se

a N , a | a. b | c,
ento

Proposio 1.1. Proposio 1.1.

a|b

a | c.

iii) antissimtrica: Se De fato, se

a | b e b | a, ento a = b. Proposio 1.6. a | b, ento a b e se b | a, ento b a. Logo, a = b.


2

Captulo 1.

Diviso em

N N,
dizemos que um nmero natural

Denio 1.2.
i)

Seja

um subconjunto de

um

menor elemento de

se possuir as seguintes propriedades:

a S, n S , a n.
Este menor elemento se existe, nico e ser denotado por

ii) Para todo

Observao 1.2.
De fato, se

minS .

so os menores elementos de

S,

ento

aa

a a

nos leva a que

a=a.

(Propriedade antissimtrica da relao de ordem).

Proposio 1.7 (Propriedade da Boa Ordem). Todo subconjunto no vazio de N possui


um menor elemento.

Demonstrao:
Seja

A demostrao ser feita por reduo ao absurdo.

um subconjunto no vazio de

e suponha, por absurdo, que

no possui um

menor elemento. Queremos mostrar que Considere o conjunto

vzio, conduzindo a uma contradio.

T,

complementar de

em

N.

Queremos, portanto, mostrar que

T = N.
Dena o conjunto

In = {k N; k n},
e considere a sentena aberta

p(n) : In T. n, segue-se que 0 T , pois, caso contrrio, 0 seria um menor elemento de S . Logo, p(0) verdade. Suponha agora que p(n) seja verdade. se n + 1 S , como nenhum elemento de In est em S , teramos que n + 1 um menor elemento de S , o que no permitido. Logo, n + 1 T , seguindo da que
Como para todo

0n

In+1 = In {n + 1} T,
o que prova que

n, In T ;

protanto,

NT N

e, consequentemente,

T = N.

Teorema 1.1.

Sejam

nmeros naturais

a e b dois nmeros naturais com 0 < a < b. r tais que b = a q + r, com r < a. b>a

Existem dois nicos

Demonstrao:

Suponha que

e considere enquanto zer sentido, os nmeros

b, b a, b 2a, . . . , b n a, . . ..
Se

Pela propriedade da boa ordem, o conjunto

formado

pelos elementos acima tem um menor elemento

r = b q a.

Vamos provar que

r < a.

a | b,

ento

r=0

e nada mais temos a provar.

Captulo 1.

Diviso em

a b, ento r = 0, e portanto, basta mostrar que no pode ocorrer r > a. De fato, se isso ocorresse, existiria um nmero natural c < r tal que r = c + a. Como r = b q a, temos, c + a = b q a logo c = b q a a = b (q +1) a S com c < r , contradizendo o fato de ser r o menor elemento de S . Portanto b = a q + r com r < a, provando a existncia de q e r . Provemos a unicidade de q e r . Dados dois elementos distintos de S , a diferena entre o maior e o menor desses elementos, sendo um mltiplo de a, pelo menos a. Logo, se r = b a q e r = b a q com r < r < a, teramos r r = b a q (b a q ) = b a q b + a q = a(q q ). Portanto a | r r logo a r r implicando que r a + r a (absurdo). Logo r = r . Como r = r segue que b a q = b a q a q = a q a q = a q q = q .
Se

Nas condies do teorema acima, os nmeros de quociente e de resto da diviso de b por a.

so chamados, respectivamente,

Corolrio 1.1.
natural

Dados dois nmeros naturais

com

1 < a b,

existe um nmero

tal que

na b < (n + 1)a.

Demonstrao: Exemplo 1.1.

Pela diviso euclidiana, temos que existem

univocamente determinados, tais que

b = a q + r.

Basta

q, r N com r < a, agora tomar n = q 10n


por

Vamos mostrar aqui que o resto da diviso de

sempre

1,

qualquer que seja o nmero natural Isto ser feito por induo. Para vale.

n. n = 0,

temos

100 = 9 0 + 1; n,
isto

portanto, o resultado

Suponha, agora, o resultado vlido para um dado a igualdade

10n = 9 q + 1.

Considere

10n+1 = 10 10n = (9 + 1)10n = 9 10n + 10n = 9 10n + 9 q + 1 = 9(10n + q ) + 1,


provando que o resultado vale para

n+1

e, consequentemente, vale para todo

n N.

Exemplo 1.2.

Dado um nmero natural

n N

qualquer, temos duas possibilidades:

i) O resto da diviso de ii) O resto da diviso de

n n

por por

2 2

0, 1,

isto , existe isto , existe

qN qN

tal que tal que

n = 2 q;

ou

n = 2 q + 1.

Portanto, os nmeros naturais se dividem em duas classes, a dos nmeros da forma

2q

para algum

q N,

chamamos de nmeros pares, e a dos nmeros da forma

2q + 1,

Captulo 1.

Diviso em

chamados de nmeros mpares. Os naturais so classicados em pares e mpares, pelo menos, desde Pitgoras, 500 anos antes de Cristo.

Exemplo 1.3.
e

Mais geralmente, xado um nmero natural

escrever um nmero qualquer

n,

de modo nico, na forma

m 2, pode-se sempre n = mk + r, onde k, r N

r < m.
Dados

Exemplo 1.4.
Como

mpar,

an

portanto legtimo determinar sua paridade. Observe que

an 1 a, n N , com a > 2 e mpar, determinar a paridade de . 2 n a 1 n impar e a 1 par, e, portanto um nmero natural, 2

an 1 a1 = (an 1 + . . . + a + 1) 2 2 n Sendo a mpar, temos que a 1 + . . . + a + 1 par ou mpar, segundo n a1 . mpar. Portanto, basta vericar a paridade de 2 Sendo a mpar, ele da forma 4k + 1 ou 4k + 3. Se a = 4k + 1, ento 4k + 1 1 4k a1 = = = 2k 2 2 2
par. Enquanto que

seja par ou

a1 4k + 3 1 4k + 2 = = = 2k + 1 2 2 2
mpar. Portanto,

an 1 2

par se, e somente se,

par ou

da forma

4k + 1.

1.2

Nmeros primos
Um nmero natural maior do que

Denio 1.3.

e que s divisvel por

e por si

prprio chamado de nmero primo.

Observao 1.3.
i) Se

Dados dois nmeros primos

e um nmero natural

qualquer,

observam-se os seguintes casos:

p | q , ento p = q . De fato, como p | q e sendo q primo, p = q . Sendo p primo, tem-se que, se p > 1 ento p = q .

temos que

p=1

ou

ii) Se

p | a, ento M.D.C(p, a) = (p, a) = 1. De fato, se (p, a) = d, temos que d | p e d | a, portanto d = p ou d = 1. Mas d = p, pois p a e, consequentemente, d = 1.
Chama-se nmero composto a todo nmero maior do que

Denio 1.4.

e que no

primo. Portanto, se um nmero

composto, existir um divisor

n1

de

tal que

Captulo 1.

Diviso em

N
existir um nmero natural

n1 = 1 e n1 = n. Assim, 1 < n1 < n e 1 < n2 < n.

n2

tal que

n = n1 n2 ,

com

Observao 1.4.

Sob o ponto de vista da estrutura multiplicativa dos nmeros

naturais, os nmeros primos so os mais simples e ao mesmo tempo so sucientes para gerar todos os nmeros naturais, conforme veremos no Teorema Fundamental da Aritmtica.

Proposio 1.8. Demonstrao:


que

Sejam

a, b, p N ,

com

primo. Se

p | a b,

ento

p|a

ou

p | b.

Basta provar que, se

(p, a) = 1

e, temos

p | ab

p | a b e p a, ento p | b. Mas se p a, temos (p, a) = 1 nos leva a p | b. (Propriedade do M.D.C.)

Axioma de Induo
Seja

um subconjunto de

tal que

i) ii)

0S S
Se fechado com relao operao de somar

a seus elementos, ou seja, para

todo

n S implica n + 1 S . Ento, S = N. A N e a N, a + A = {a + x ; x A} e a + N = {m N ; m a}.


Seja

Proposio 1.9 (Princpio de induo matemtica 1a forma).


uma sentena aberta em i)

aN

e seja

p(n)

n.

Suponha que

p ( a)

verdadeira, e que

ii) Para todo

n a, p(n)

implica

p(n + 1)

verdade, ento

p(n)

verdade para todo

n a.

Demonstrao:
para os quais

Seja

V = {n N ; p(u)},

isto ,

um subconjunto dos naturais

p(n)

verdade.

S = {m N ; a + m V }, que trivialmente nos leva a + S V . Como pela condio (i), temos que a + 0 = a V , segue-se que 0 S . Por outro lado, se m S , ento a + m V e por (ii), temos que a + m + 1 V , logo m + 1 S . Assim, pelo axioma de induo, temos S = N. Portanto, {m N ; m a} = a + N V o que prova o resultado.
Considere o conjunto

Proposio 1.10 (Princpio de induo matemtica 2a forma). Seja p(n) uma setena
aberta tal que i)

p ( a)

verdade, e que
6

Captulo 1.

Diviso em

N p(a + 1)
e

ii) Para todo Ento,

n, p(a)

. . . p(n)

implica

p(n + 1)

verdade.

p(n)

verdade para todo

n a. V = {n a + N ; p(n)}.
Queremos provar que

Demonstrao:
o conjunto

Considere o conjunto vzio.

W = (a + N) V k,

Suponha, por absurdo, que vale o contrrio. Logo, pela propriedade da boa ordem, teria um menor elemento e, como sabemos de (i) que

a W , segue-se que existem tal que k = a + n > a. Portanto, a, a + 1, . . . , k 1 W ; Logo a, a + 1, . . . , k 1 V . Por (ii) conclui-se que k = k 1 + 1 V , o que contradiz o fato de k W .

Corolrio 1.2.
p = pi ,

Se

para algum

p, p1 , p2 , . . . , pn i = 1, 2, . . . , n.

so nmeros primos e, se

p | p1 p2 . . . pn ,

ento

Demonstrao:
Para

Usando a induo sobre

n.

n = 1, p = p1 ok! Para n = 2, sejam p, p1 e p2 tais que (p1 , p) = 1, (p2 , p) = 1. Se p | p1 p2 , pela Proposio 1.8, p | p1 ou p | p2 , mas p primo. Logo p = p1 ou p = p2 para i = 1, 2. Agora n = k , pela hiptese de induo, temos, se p | p1 p2 . . . pk , ento p = pi para i = 1, 2, . . . , k , pois eles so primos. Para n = k + 1, considere os nmeros primos p, p1 , p2 , . . . , pk , pk+1 . Se p | p1 , p2 , . . . , pk , pk+1 , ento p | p1 , p2 , . . . , pk ou p | pk+1 , pela Proposio 1.8, p = pi , i = 1, 2, . . . , k ou p = pk + 1.

Teorema 1.2 (Teorema Fundamental da Aritmtica).


que

Todo nmero natural maior do

ou primo ou se escreve de modo nico (a menos da ordem dos fatores) como

produto de nmeros primos.

Demonstrao:

Usaremos a segunda forma do Princpio de Induo.

Se

n = 2,

resultado obviamente vericado. Suponhamos o resultado vlido para todo nmero natural menor do que provar que vale para

e vamos

n primo, nada temos a demonstrar. Suponhamos, ento, que n seja composto. Logo, existem nmeros naturais n1 e n2 tais que n = n1 n2 , com 1 < n1 < n e 1 < n2 < n. Pela hiptese de induo, temos que existem nmeros primos p1 p2 pr e q1 q2 qs tais que n1 = p1 p2 pr e n2 = q1 q2 qs . Portanto, n = p1 p2 pr q1 q2 q s . Vamos, agora, provar a unicidade da escrita. Suponha, agora, que n = p1 pr = q1 qs , onde os pi e os pj so nmeros primos . Como p1 | q1 q2 qs Pelo Corolrio 1.2, temos que p1 = pj para algum j , que aps reordenamento de q1 q2 qs , podemos supor que seja q1 . Portanto, p2 pr = q2 qs .
Se o nmero 7

n.

Captulo 1.

Diviso em

N r = s e os pi n
e

Como pares.

p2 pr < n,

a hiptese de induo acarreta que

qj

so iguais aos

Proposio 1.11.
ento

Seja

r 1 n = p 1 pr

um nmero natural. Se

um divisor de

n,

r 1 n = p 1 pr ,

onde

0 i i ,

para
Seja

i = 1, . . . , r. n
um divisor de

n e seja p a potncia de um primo p que gura i na decomposio de n em fatores primos. Como p | n, segue que p divide algum pi j por ser primo com os demais pj , e, consequentemente, p = pi e i . Denotando por d(n) o nmero de divisores do nmero natural n, segue, por 1 uma contagem fcil, que se n = p1 pr r , onde p1 , . . . , pr so nmeros primos e 1 , . . . , r N, ento d(n) = (1 + 1)(2 + 1) (r + 1).
r 1 Exemplo 1.5. A frmula acima nos mostra que um nmero n = p 1 pr possui uma
quantidade mpar de divisores se, e somente se, cada se,

Demonstrao:

par, ou seja, se, e somente

um quadrado perfeito.

Exemplo 1.6. Seja n > 4 um nmero natural composto; vamos provar que n | (n 2)!.
Provaremos inicialmente que Se

n1 = n2 ,

podemos supor

n | (n 1)!. De fato, seja n = n1 n2 que n1 < n2 , e portanto,

com

n1 < n

n2 < n.

(n 1)! = 1 n1 n2 (n 1),
o que mostra que Suponhamos que

n | (n 1)!, neste caso. n1 = n2 > 2. Logo, n = n2 1 > 2n1 ;

ento

(n 1)! = 1 n1 2n1 (n 1), n = n2 1 divide (n 1)!. Agora, note que (n, n 1) = 1 e que n | (n 2)!(n 1); portanto, n | (n p)! De fato, temos que (n 1, n) = 1 e que n | (n 2)!(n 1); Portanto, n | (n 2)!
o que implica que

Observao 1.5.
Sejam

A propriedade acima pode ser generalizada como segue:

n > 4 composto e o p o menor nmero primo que divide n ento n | (n p)!. De fato, temos que (n 1, n) = 1, . . . , (n 2, n) = 1, . . . , (n (p 1), n) = 1. Logo, segue que ((n 1)(n 2) (n p + 1), n) = 1, o que, em vista de n | (n 1)!, o que acarreta n | (n p)!.
8

Captulo 1.

Diviso em

1.2.1

Sobre a distribuio dos nmeros primos


Essa pergunta foi respondida por Euclides

Quantos sero os nmeros primos? no Livro IX dos Elementos.

Utilizaremos a mesma prova dada por Euclides, onde

pela primeira vez se registra o uso de uma demonstrao por reduo ao absurdo em matemtica. Essa prova considerada uma das prolas da matemtica.

Teorema 1.3.
p1 , . . . , p r .

Existem innitos nmeros primos.


Suponha que exista apenas um nmero nito de nmeros primos

Demonstrao:

Considere o nmero natural

n = p1 p2 pr + 1 . p que, portanto, deve ser um dos p1 , . . . , pr e, consequentemente, divide o produto p1 p2 pr . Mas isto implica que p divide n = p1 p2 pr + 1 e consequentemente p divide 1, o que absurdo. Logo,
Pelo Teorema 1.2, o nmero possui um fator primo existem innitos nmeros primos. Agora que sabemos que existem innitos nmeros primos, nos perguntamos,

inicialmente, como podemos obter uma lista contendo os nmeros primos at uma dada ordem. A seguir, apresentaremos um dos mais antigos mtodos para elaborar

tabelas de nmeros primos o chamado Crivo de Eratsteles, devido ao matemtico grego Eratstenes, que viveu por volta de 230 anos antes de Cristo; permite determinar todos os nmeros primos at a ordem que se desejar, mas no muito eciente para ordens muito elevadas. Por exemplo, vamos elaborar a tabela de todos os nmeros primos inferiores a 120. Escrevem-se todos os nmeros naturais de 2 a 120. Riscam-se, de modo sistemtico, todos os nmeros compostos da tabela, seguindo o roteiro abaixo. Risque todos os mltiplos de 2 acima de 2, j que nenhum deles primo. O segundo nmero no riscado 3, que primo. Risque todos os mltiplos de 3 maiores do que 3 pois esses no so primos. O terceiro nmero no riscado que aparece 5, que primo. mltiplos de 5 maiores do que 5 pois esses no so primos. O quarto nmero no riscado que ora aparece 7, que primo. Risque todos os mltiplos de 7 maiores do que 7 pois esses no so primos. Ser necessrio prosseguir com este procedimento at chegar a 120? A resposta no e se baseia no seguinte resultado devido ao prprio Eratstenes. Risque todos os

Lema 1.1.
tal que
2

Se um nmero natural ento ele primo.

n>1

no divisvel por nenhum nmero primo

p n,

Captulo 1.

Diviso em

N n
no seja divisvel por nenhum

Demonstrao:
nmero primo

Suponhamos, por absurdo, que

p2 n e que no seja primo. Seja q o menor nmero primo 2 que divide n; ento, n = qn1 , com q n1 . Segue da que q qn1 = n. Logo, n 2 divisvel por um nmero primo q tal que q n, absurdo. p
tal que Portanto, na tabela de nmeros de 2 a 120, devemos ir at alcanarmos o primo 7, pois o prximo primo 11, cujo quadrado supera 120. 2 13 25 37 49 61 73 85 97 109 14 26 38 50 62 74 86 98 110 3 15 27 39 51 63 75 87 99 111 4 16 28 40 52 64 76 88 100 112 5 17 29 41 53 65 77 89 101 113 6 18 30 42 54 66 78 90 102 114 7 19 31 43 55 67 79 91 103 115 8 20 32 44 56 68 80 92 104 116 9 21 33 45 57 69 81 93 105 117 10 22 34 46 58 70 82 94 106 118 11 23 35 47 59 71 83 95 107 119 12 24 36 48 60 72 84 96 108 120

Note que o Lema 1.1 tambm nos fornece um teste de primalidade, pois, para vericar se um dado nmero primo

que no supere

primo, basta vericar que no divisvel por nenhum

n.

Tanto o Crivo de Eratstenes para gerar nmeros primos, quanto o teste de primalidade acima descrito, so extremamente lentos e trabalhosos. Muitos progressos tm sido feitos nessa direo. Uma questo importante que se coloca de como os nmeros primos se distribuem dentro dos nmeros naturais. Em particular, qual pode ser a distncia entre dois primos consecutivos? Qual a sua frequncia? Olhando para tabela acima , nota-se que h vrios pares de nmeros primos que diferem de duas unidades. Esses so: (3,5), (5,7), (11,13), (17,19), (41,43), (59,61),

(71,73), (101, 103), (107, 109). Pares de nmeros primos com esta propriedade so chamados de primos gmeos. At o presente momento, ainda no se sabe se existem innitos pares de nmeros primos gmeos. Por outro lado, em contraste com esses pares de primos consecutivos muito

prximos, existem primos consecutivos arbitrariamente afastados. De fato, dado

n,

a sequncia

(n + 1)! + 2, (n + 1)! + 3, . . . , (n + 1)! + n + 1


10

Captulo 1.

Diviso em

N n
nmeros consecutivos compostos.

de nmeros naturais formada por

Portanto, a resposta primeira pergunta que no h nenhum padro que descreva o quanto dois primos consecutivos esto longe um do outro. Quanto segunda pergunta, necessrio formalizar o conceito de frequncia de primos, que a mesma coisa que probabilidade. Denotaremos, por de nmeros primos menores ou iguais a elemento do conjunto

(x),

a quantidade

x.

Portanto, a probabilidade de que um

{1, . . . , x}

seja primo dada por

(x) . x
Como este quociente uma funo bastante complexa, o que se gostaria de fazer achar uma funo de comportamento bem conhecido que se aproxima do quociente acima para

sucientemente grande.

Legendre e Gauss, analisando tabelas, chegaram concluso de que este quociente tem a ver com

independentemente, provaram o profundo resultado chamado de Teorema dos Nmeros

1 . lnx

Por volta de 1900, J. Hadamard e Ch.

de la Valle- Poussin,

Primos e cujo enunciado simplesmente

(x) lim x x

1 lnx

= 1.

Em 1949, A. Selberg simplicou substancialmente a prova do Teorema dos Nmeros Primos, merecendo por esse seu trabalho a Medalha Fields. A distribuio dos nmeros primos algo ainda bastante misterioso e a ela esto associados muitos problemas em aberto. Por exemplo, o j citado problema de saber se existem innitos nmeros primos gmeos.

1.3

Maior divisor comum

Dados dois nmeros naturais nmero natural

a
e

b,

no simultaneamente nulos, diremos que o

dN

um divisor comum de

se

Por exemplo, os nmeros

1, 2, 3

so os divisores

d | b. comuns de 12
e

d|a

18.

A denio que se segue exatamente a denio dada por Euclides nos Elementos e se constitui em um dos pilares da sua aritmtica. Diremos que propriedades:

um mximo divisor comum (mdc) de

se possuir as seguintes

i)

um divisor comum de

e de

b,

11

Captulo 1.

Diviso em

N a
e

ii)

divisvel por todo divisor comum de

b.

A condio (ii) acima pode ser reenunciada como se segue: ii') Se

um divisor comum de

a
e

b,
e

ento

c | d.

Portanto, se

um mdc de

um divisor comum desses nmeros, ento

c d.

Isto nos mostra que o mximo divisor comum de dois nmeros efetivamente o

maior dentre todos os divisores comuns desses nmeros. Em particular, isto nos mostra que, se nmeros, ento

so dois mdc de um mesmo par de

dd
e

d d,

e, consequentemente,

d = d.

Ou seja, o mdc de dois

nmeros, quando existe, nico. O mdc de

b,
e

quando existe (veremos mais adiante que sempre existe o mdc

de dois nmeros naturais no simultaneamente nulos), est sendo denotado por Como o mdc de

(a, b).

no depende da ordem em que

so tomados, temos que

(a, b) = (b, a).


Em alguns casos particulares, facil vericar a existncia do mdc. Por exemplo,

a e b so nmeros naturais, tem-se (a, a) = a. Mais ainda, temos que


se

claramente que

(0, a) = a. (1, a) = 1

e que

a | b (a, b) = a. a | b, temos que a um divisor comum de a e b, comum de a e b, ento c divide a, o que mostra que a = (a, b). Reciprocamente, se (a, b) = a, segue-se que a | b.
De fato, se ambos nulos, bem mais sutil. e, se

(1.1)

um divisor

A demonstrao da existncia do mdc de qualquer par de nmeros naturais, no Poder-se-ia, como se faz usualmente no Ensino

Fundamental, denir o mximo divisor comum de dois nmeros

como sendo

o maior elemento do conjunto de todos divisores comuns desses nmeros, o que de imediato garantia a sua existncia. De qualquer modo, seria necessrio provar a

propriedade (ii) da denio de mdc; pois ela que possibilita provar os resultados subsequentes, e no o fato do mdc ser o resultado abaixo.

Lema 1.2 (Lema de Euclides). Sejam a, b, n N com a < na < b.


ento

Se existe

(a, b na),

(a, b)

existe, e

(a, b) = (a, b na).

Demonstrao:

d = (a, b na). Como d | a e d | (b na), segue que d divide b = b na + na. Logo, d um divisor comum de a e b. Suponha agora que c seja um
Seja 12

Captulo 1.

Diviso em

N
um divisor comum de

divisor comum de Isso prova que

a e b; logo, c d = (a, b).

b na

e, portanto,

c | d.

Observao 1.6.

Com a mesma tcnica usada na prova do Lema de Euclides, poder-

se-ia provar que, para todos

a, b, n N, (a, b) = (a, b + na),

ou que, se

na > b,

ento

(a, b) = (a, na b).


O Lema de Euclides efetivo para calcular mdc, conforme veremos nos exemplos a seguir, e ser fundamental para estabelecermos o algoritmo de Euclides, que permitir, com muita ecincia, calcular o mdc de dois nmeros naturais quaisquer.

Exemplo 1.7.

Dados

a, m N

com

a > 1,

temos que

am 1 ,a 1 a1
De fato, chamado de

= (a 1, m).

o primeiro membro da igualdade, temos que

d = (am1 + am2 + . . . + a +1, a 1) = ((am1 1)+(am2 1)+ . . . +(a 1)+ m, a 1).


Como,

a 1 | (am1 1) + (am2 1) + . . . + (a 1)
segue-se que

(am1 1) + (am2 1) + . . . + (a 1) = n(a 1)

para algum

n N,

e,

portanto, pela Observao 1.6, tem-se que

d = (n(a 1) + m, a 1) = (a 1, n(a 1) + m) = (a 1, m).

Exemplo 1.8.
a+1
divide

Vamos, neste exemplo, determinar os valores de

para os quais

2n

+ 1.

Note inicialmente que

a + 1 | a2n + 1 (a + 1, a2n + 1) = a + 1.
Como

a2n + 1 = (a2n 1) + 2,

e, segue-se, pela Observao 1.6, que para todo

n,

(a + 1, a2n + 1) = (a + 1, (a2n 1) + 2) = (a + 1, 2).

13

Captulo 1.

Diviso em

N
se, e somente se,

Portanto, ocorre

a + 1 | a2n + 1, para algum n N, se, e somente se, a = 0 ou a = 1.

a + 1 = (a + 1, 2),

o que

Exemplo 1.9.
a+1
divide

Vamos, neste exemplo, determinar os valores de

para os quais

2n+1

1.

Note que

(a + 1, a2n+1 1) = (a + 1, a(a2n 1) + a 1) = (a + 1, a 1).


Portanto,

a + 1 | a2n+1 1,

para algum

n N,

se, e somente se,

a + 1 = (a + 1, a2n+1 1) = (a + 1, a 1),
o que ocorre se, e somente se,

a = 1.

Algoritmo de Euclides
A seguir, apresentaremos a prova construtiva da existncia do mdc dada por Euclides (Os Elementos, Livro VII, Proposio 2). O mtodo, chamado de Algoritmo de

Euclides, um primor do ponto de vista computacional e pouco conseguiu-se aperfeiolo em mais de dois milnios. Dados que

a, b N, podemos supor a b. Se a = 1 ou a = b, ou ainda a | b, j vimos (a, b) = a. Suponhamos, ento, que 1 < a < b e que a a b. Logo, pela diviso

euclidiana, podemos escrever

b = aq1 + r1 ,
Temos duas possibilidades:

com

r1 < a.

a)

r 1 | a,

e, em tal caso, por (1.1) e pelo Lema 1.2,

r1 = (a, r1 ) = (a, b q1 a) = (a, b),


e termina o algoritmo, ou b)

r 1 a,

e, em tal caso, podemos efetuar a diviso de

por

r1 ,

obtendo

a = r1 q2 + r2 ,
Novamente, temos duas possibilidades:

com

r2 < r1 .

14

Captulo 1.

Diviso em

a ) r2 | r1 ,

e, em tal caso, novamente, por (1.1) e pelo Lema 1.2,

r2 = (r1 , r2 ) = (r1 , a q2 r1 ) = (r1 , a) = (b q1 a, a) = (b, a) = (a, b),


e paramos, pois termina o algoritmo, ou

b ) r2 r1 ,

e, em tal caso, podemos efetuar a diviso de

r1

por

r2 ,

obtendo

r1 = r2 q 3 + r3 ,
Este procedimento no pode continuar

com

r3 < r2 .
pois teramos uma

indenidamente,

sequncia de nmeros naturais

a > r1 > r2 > . . .

que no possui menor elemento,

o que no possvel pela Propriedade da Boa Ordem. Logo, para algum

n,

temos que

rn | rn1 ,
a seguir.

o que implica que

(a, b) = rn .

O algoritmo acima pode ser sistematizado e realizado na prtica, como mostramos

Inicialmente, efetuamos a diviso no seguinte diagrama:

b = aq1 + r1

e colocamos os nmeros envolvidos

q1 b r1
A seguir, continuamos efetuando a diviso envolvidos no diagrama

a = r1 q2 + r2

e colocamos os nmeros

q1 b r1 a r2

q2 r1

Prosseguindo, enquanto for possvel, teremos

q1 b r1 a r2

q2 r1 r3

q3 r2 r4

... ... ...

qn1 rn2 rn

qn rn1

qn+1 rn = (a, b)

Exemplo 1.10.

Calculemos o mdc de 372 e 162: 2 372 48 162 18 3 48 12 2 18 6 1 12 2 6

15

Captulo 1.

Diviso em

Observe que, no exemplo acima, o Algoritmo de Euclides nos fornece:

6 = 18 1 12 12 = 48 2 18 18 = 162 3 48 48 = 372 4 162


Donde se segue que

6 = 18112 = 181(48218) = 31848 = 3(162348)48 = 3 162 10 48 = 3 162 10 (372 2 162) = 23 162 10 372.
Temos, ento, que

(372, 162) = 6 = 23 162 10 372.


Note que conseguimos, atravs do uso do Algoritmo de Euclides, de trs para frente, escrever

6 = (372, 162)

como mltiplo de 162 menos um mltiplo de 372.

O Algoritmo de Euclides nos fornece, portanto, um meio prtico de escrever o mdc de dois nmeros como diferena entre os dois nmeros em questo. Esta uma propriedade geral do mdc que redemonstraremos com todo rigor na prxima subseo.

1.3.1

Propriedades do mdc

Sejam

a, b N ,

denimos o conjunto

J (a, b)

como sendo:

J (a, b) = {x N ; m, n N ; x = m a n b}.

Teorema 1.4.
i) ii)

Sejam

a, b N b

e seja

d = min J (a, b).

Tem-se que

o mdc de

J (a, b) = {nd ; n N}.

Demonstrao:
i) Suponha que

divida

b.

Logo,

divide todos os nmeros naturais da forma

m a n b; c | d. x J (a, b)

portanto, divide todos os elementos de

J (a, b),

e, consequentemente

Vamos mostrar agora que que

divide todos os elementos de

J (a, b).

Seja

e suponha, por absurdo, que

d x.
com

Logo, pela Diviso Euclidiana

x = d q + r,
Como

0 < r < d. M, N, m, n N,
segue-se

x = M aN b

d = m b n a,

para alguns

16

Captulo 1.

Diviso em

que

r = M a N b (m a n b) q = M a+maqN bnbq = (M + m q ) a (N + q n) b J (a, b)


que um absurdo, pois ii) Dado que

d = minJ (a, b)

r < d.

Em particular,

d|a

d | b.

ld = l(ma nb) = (lm)a (ln)b J (a, b), {ld; l N} J (a, b).

claro que

Por outro lado, j provamos que todo

x J (a, b)

tal que

d | x,

e, portanto,

J (a, b) {ld; l N}.

O teorema acima nos d uma outra demonstrao da existncia do mdc de dois nmeros. Note que esssa demonstrao, ao contrrio da prova de Euclides, no

construtiva, no sentido de que no nos fornece nenhum meio prtico para achar o mdc dos dois nmeros.

Corolrio 1.3.

Quaisquer que sejam

a, b N , (na, nb) = n(a, b).

Demonstrao:

Note inicialmente que

J (na, nb) = nJ (a, b) = {nx; x J (a, b)}.


Agora, o resultado segue do Teorema 1.4 e do fato de que

min nJ (a, b) = nmin J (a, b).

Corolrio 1.4.

Dados

a, b N,

tem-se que

a b , (a, b) (a, b)

= 1.

17

Captulo 1.

Diviso em

Demonstrao:

Pelo Corolrio 1.3, temos que

(a, b)

a b , (a, b) (a, b)

(a, b)

a b , (a, b) (a, b) (a, b)

= (a, b),

o que prova o resultado. Dois nmeros naturais

sero ditos primos entre si, ou coprimos, se

(a, b) = 1;

ou seja, se o nico divisor comum de ambos

1.
e

Proposio 1.12. Demonstrao:

Dois nmeros naturais

se, existirem nmeros naturais


Suponha que

n a

e
e

m b

tais que

b sero primos na mb = 1.

entre si se, e somente

sejam primos entre si. Logo,

pelo Teorema 1.4, existem nmeros naturais segue-se a primeira parte da proposio.

tais que

(a, b) = 1. Como, na mb = (a, b) = 1,

Reciprocamente, suponha que existam nmeros naturais Se

d = (a, b),

temos que

d | (na mb),

o que mostra

n e m tais que ma mb = 1. que d | 1. e, protanto, d = 1

A Proposio 1.12 estabelece uma crucial relao entre as estruturas aditiva e multiplicativa dos nmeros naturais, o que permitit provar, entre vrios outros resultados, o importante teorema a seguir.

Teorema 1.5.
Se

Sejam
Se

a, b

nmeros naturais. Se

a|bc

(a, b) = 1,

ento

a | c.

Demonstrao:
(a, b) = 1,

a | b c,

ento existe

cN

tal que

ento, pela Proposio 1.12, temos que

bc = ac. existem m, n N

tais que

na mb = 1.
Multiplicando por

ambos os lados da igualdade acima, temos que

c = nac mbc.
Substituindo

bc

por

ac

nesta ltima igualdade, temos que

c = nac mac = a(nc mc)


e, portanto,

a | c.
Dados

Corolrio 1.5.

aN

b, c N ,
e

temos que

b|a

c | a

bc | a. (b, c)

18

Captulo 1.

Diviso em

N a = nb = mc
para alguns

Demonstrao:

De fato, temos que

n, m N.

Logo,

n b c , (b, c) (b, c)

b c =m . (b, c) (b, c) b | m, (b, c)


o que implica que

Como

= 1,

segue-se

b | cm. (b, c)

Como

cm = a,

o resultado se segue.

A noo de mdc pode ser generalizada como se segue. Um nmero natural

d ser dito mdc de dados nmeros naturais a1 , . . . , an se possuir

as seguintes propriedades:

i)

um divisor comum de

a1 , . . . , a n . a1 , . . . , a n ,
ento

ii) Se

um divisor comum de

c | d.

O mdc, quando existe, certamente nico e ser representado por

(a1 , . . . , an ).

Proposio 1.13. Demonstrao:

Dados os nmeros naturais

a1 , . . . , a n ,

existe o seu mdc e

(a1 , . . . , an ) = (a1 , . . . , (an1 , an )).


Vamos provar a proposio por induo sobre

sabemos que o resultado vlido. Suponha que o resultado que o resultado vlido para

n( 2). vale para n.

Para

n = 2,

Para provar

n + 1,

basta mostrar que

(a1 , . . . , an , an+1 ) = (a1 , . . . , (an , an+1 )),


pois isso provar tambm a existncia. Seja

d = (a1 , . . . , (an , an+1 )). Logo, d | a1 , . . . , d | an1 e d | (an , an+1 ). Portanto, d | a1 , . . . , d | an1 , d | an e d | an+1 . Por outro lado, seja c um divisor comum de a1 , . . . , an , an+1 ; logo, c um divisor comum de a1 , . . . , an1 e (an , an+1 ); e, portanto, c | d. Para calcular o nmero (a1 , . . . , an ), pode-se usar recursivamente o Algoritimo de

Euclides.

19

Captulo 1.

Diviso em

1.4
1.4.1

Congruncias
Aritmtica dos restos
Dizemos que dois nmeros

Denio 1.5. Seja m um nmero natural diferente de zero.


naturais

so congruentes mdulo

se os restos de sua diviso euclidiana por

so iguais. Neste caso, usamos a notao

a b mod m. a b mod m.
Como

Observao 1.7.
a b mod 1,

Quando

no so congruentes, escrevemos

o resto da diviso de um nmero natural qualquer por quaisquer que sejam

sempre nulo, temos que

b N.

Portanto consideremos sempre

m > 1.
se, e

Proposio 1.14.
somente se,

Suponha que

a, b N

so tais que

b a,

ento

a b mod m

m | (b a).
Sejam

Demonstrao:

divises euclidianas de

a = m q + r, com r < m e b = m q + r , a e b por m, respectivamente. Logo


se se

com

r < m,

as

m(q q ) + r r, ba= m(q q ) (r r ), r r < m ou r r < m. Portanto, a b mod m se, e somente m | (b a).
onde

r r rr

se,

r = r.

O que equivalente a dizer que

Proposio 1.15.
Seja i)

A congruncia uma relao de equivalncia. Para todos

m N, m > 1. a a mod m

a, b, c N,

temos que:

(reexidade); ento e

ii) Se iii) Se

a b mod m, a b mod m

b a mod m

(simetria);

b c mod m,

ento

a c mod m

(transitividade).

Demonstrao:
i) De fato, basta tomar ii) Se

b=a

em

a b mod m.

a b mod m, ento existem q1 , q2 , r tais que a = m q1 + r e b = m q2 + r. Logo a b = m q1 + r (m q2 + r ) = m q1 m q2 . Multiplicando por 1, temos b a = m (q2 q1 ), que equivalente b a mod m.

20

Captulo 1.

Diviso em

iii) Se Se

a b mod m, ento existem q1 , q2 , r tais que a = m q1 + r e b = m q2 + r. b c mod m, ento existem q2 , q3 , r tais que b = m q2 + r e c = m q3 + r. a b = m q m q 1 2 b c = m q m m q
2

Da,

Consequentemente,

a c = m q1 m q3 = m(q1 q3 )

e ento

a = c modm.

Proposio 1.16.
i) Se ii) Se

Sejam e e

a, b, c, d, m N,

com

m > 1.

a b mod m a b mod m

c d mod m, c d mod m,

ento ento

(a + c) (b + d) mod m. (a c) (b d) mod m.

Demonstrao:
i) Se

a b mod m e c d mod m, podemos supor sem perda de generalidade, que b a e d c. Logo, se m | (b a) e m | (d c) ento m | (b a) + (d c) e, portanto, se m | (b + d) (a + c) ento a + c (b + d) mod m. bd ac = bd ad ac + ad = d (b a) + a (d c). m | (d c) ento m | (bd ac). Logo a c b d mod m.
Se

ii) Basta observar que

m | (b a)

Proposio 1.17.
se, e somente se

a, b, c, m N, a b mod m.
Sejam
Basta observar que

com

m > 1.

Tem-se:

(a + c) (b + c) mod m

Demonstrao:

a b mod m c c mod m
logo

(a + c) (b + c) mod m. (a + c) (b + c) mod m. Sem perda de generalidade, b + c a + c. Ento, m | (b + c) (a + c) m | (b a). Portanto

Reciprocamente, suponhamos que podemos supor que

a b mod m.

Proposio 1.18.
b c mod m

Sejam

se, e somente

a, b, c, m N, com c = 0 m se, a b mod . (c, m)


21

m > 1.

Temos que

ac

Captulo 1.

Diviso em

N bc > ac. Como somente se, m | (b a)c


se, e somente se,

Demonstrao:
m (c, m)
e

c c, m

Podemos supor, sem perda de generalidade, que

so coprimos, temos que

ac bc mod m

se, e

se, e somente, se

a b mod
Se anterior.

m . (c, m) (c, m) = 1 temos ac bc mod m

m c | (b c) (c, m) c, m

se, e somente se,

m | (b a) c, m a b mod d.

se, e somente se,

Pela Proposio

1.5

Pequeno Teorema de Fermat

Desde, pelo menos, 500 anos antes de Cristo, os chineses sabiam que, se nmero primo, ento

um

p | 2 2.

Coube a Pierre de Fermat, no sculo XVII, generalizar

este resultado, enunciando um pequeno mas notvel teorema que se constitui no resultado central desta seo. Para demonstrar o Teorema de Fermat, necessitaremos do lema a seguir.

Lema 1.3.

Seja

um nmero primo. Os nmeros

p i

, onde

0 < i < p,

so todos

divisveis por

p.
O resultado vale trivialmente para

Demonstrao:

i = 1.
Como

Podemos, ento, supor

1 < i < p. Neste caso, i! | p(p 1) (p i + 1). i! | (p 1) (p 1 + 1), e o resultado se segue, pois p i =p

(i!, p) = 1,

decorre que

(p 1) (p i + 1) i!

Teorema 1.6
p

(Pequeno Teorema de Fermat)

Dado um nmero primo

p,

tem-se que

divide o nmero

ap a,

para todo

a N. a.
O resultado vale

Demonstrao:
claramente para

Vamos provar o resultado por induo sobre pois

p | 0. Supondo o resultado vlido para a, iremos prov-lo para a +1. a = 1,


de Newton,

Pela frmula do binmio

(a + 1)p (a + 1) = ap a +

p p1 a + ... + 1

p a. p1

Como, pelo Lema 1.3 e pela hiptese de induo, o segundo membro da igualdade acima divisvel por

p,

o resultado se segue.

22

Captulo 1.

Diviso em

N n N,
tem-se que

Exemplo 1.11.
na base

Dado um nmero qualquer

n9

n,

quando escritos

10,
9

tm o mesmo algarismo da unidade.

A armao acima equivalente a segue-se

n n

par; isto ,

10 | n9 n. 2 | n9 n.

Como

n9

n tm a mesma paridade,

Por outro lado,

n9 n = n(n4 1)(n4 + 1) = (n5 n)(n4 + 1).


Logo, pelo Teorema de Fermat, temos que ento, que

5 | n5 n

e, portanto,

5 | n9 n.

Tem-se,

10 | n9 n.
Se

Corolrio 1.6.
p,
ento

um nmero primo e se

um nmero natural no divisvel por

divide

p1

1. p | a(ap1 1)
e como

Demonstrao:
(a, p) = 1,

Como, pelo Pequeno Teorema de Fermat,

segue-se, imediatamente, que

divide

ap1 1.

O Corolrio acima tambm ser chamado de Pequeno Teorema de Fermat.

Observao 1.8.
tal que

No que o Pequeno Teorema de Fermat nos fornece um teste de no

primalidade. De fato, dado

m a

m1

m N, com m > 1, se existir algum a N, com (a, m) = 1, 1, ento m no primo.

m era composto, ento m 2m 2, uma recproca do Teorema de Fermat, no caso a = 2. Muitos matemticos acreditavam neste resultado, at que, em 1819, Sarrus mostrou que o nmero 341(= 31 11) divide 2341 2.
Os chineses achavam tambm que se Poder-se-ia perguntar se vale a recproca mais restritiva do Pequeno Teorema de Fermat:

Dado um inteiro

m > 1,

a condio

m | am 1

para todo

aN

tal que

(a, m) = 1.

acarreta, necessariamente, que

primo?

Veremos, no prximo exemplo, que isto tambm falso.

Exemplo 1.12.
condio Por outro lado,

a N tal que (a, 3) = (a, 11) = (a, 17) = 1. equivalente a (a, 561) = 1, pois 3 11 17 = 561.
Seja

Note que essa

(a280 , 3) = (a56 , 11) = (a35 , 17) = 1,


e, portanto, pelo Pequeno Teorema de Fermat,

3 divide (a280 )2 1 = a560 1, 11 divide (a56 )10 1 = a560 1 e 17 divide (a35 )16 1 = a560 1. 560 Segue-se da que 561 divide a 1, para todo a tal que (a, 561) = 1, sem que 561 seja
primo.

23

Captulo 1.

Diviso em

Exemplo 1.13.

O Pequeno Teorema de Fermat nos diz que

47 | 246 1.
Logo, temos que

47 | (223 1)(223 + 1),


e como

(223 1, 223 + 1) = (223 1, 2) = 1,


segue-se que

47

divide um, e apenas um, dos nmeros

223 1

ou

223 + 1.

Como decidir qual dessas duas opes, acima, vericada? Em geral, o Pequeno Teorema de Fermat nos diz que se e

p>2

um nmero primo

um nmero natural tal que

p a,

ento tem-se que


p1 2

p| a
Como

p1 2

1 1

a
ou

+1 .
p1 2

primo, tem-se que

p| a

p1 2

p| a

+1

Decidir qual das duas condies de divisibilidade acima ocorre, , em geral, um problema difcil.

24

Captulo 2 Nmeros Perfeitos


2.1 Primos de Fermat e de Mersenne

Nesta seo, estudaremos alguns tipos de nmeros primos especiais e famosos. O primeiro resultado relaciona-se com os nmeros conhecidos como nmeros de Fermat em homenagem a Pierre de Fermat (1601-1665), jurista francs e matemtico amador. Aps Euclides e Eratstenes, Fermat considerado o primeiro matemtico a contribuir para o desenvolvimento da Teoria dos Nmeros do ponto vista terico. Muitos dos

resultados e problemas deixados por Fermat motivaram o extraordinrio avano da Matemtica.

Proposio 2.1. Sejam a, b, n N, com a + b = 0. Demonstrao:


agora, que Usando induo sobre A armao , obviamente verdade

temos que

a + b divide a2n+1 + b2n+1 .

n. para n = 0,

pois

a+b

divide

a1 + b 1 .

Suponhamos

a+b|a

2n+1

+b

2n+1

. Escrevemos

a2(n+1)+1 + b2(n+1)+1 = a2 a2n+1 + b2 b2n+1 = (a2 b2 )a2n+1 + b2 (a2n+1 + b2n+1 )


Como

a + b | a2 b 2

e, por hiptese,

acima e pela Proposio 1.5 que resultado para todo

a + b | a2n+1 + b2n+1 , decorre das igualdades a + b | a2(n+1)+1 + b2(n+1)+1 . Estabelecendo, assim, o

n N.
m

Proposio 2.2.
ento

Sejam ,

par e

n=2

n nmeros com m N.
e

naturais maiores do que

1.

Se

an + 1

primo,

Demonstrao:

Suponhamos que

que ser par, pois, caso contrrio, o fato de ser primo. Se

an + 1 seja primo, onde a > 1 e n > 1. Logo, a tem an + 1 seria par e maior do que dois, o que contraria
Portanto,

n tivesse um divisor primo p diferente de 2, teramos n = n p com n N .


25

Captulo 2.

Nmeros Perfeitos

pela Proposio 2.1,

an + 1

dividiria

ltimo nmero ser primo. Isto

(an )p + 1 = an + 1, contradizendo m implica que n da forma 2 .

o fato desse

Os nmeros de Fermat so os nmeros da forma

Fn = 22 + 1.
Em 1640, Fermat escreveu em uma de suas cartas que achava que esses nmeros eram todos primos, baseado na observao de que

F1 = 5, F2 = 17, F3 = 257, F4 =

65537

so primos.

Em 1732, Leonhard Euler mostrou que


5

F5 = 22 + 1 = 4.294.967.297 = 641 6700417,


e, portanto, composto, desmentindo assim a armao de Fermat. Os nmeros de Fermat primos so chamados de primos de Fermat. At hoje, no se sabe se existem outros primos de Fermat alm dos quatro primeiros. Conjecturou-se (Hardy e Wright) que os primos de Fermat so em nmero nito. Um resultado acerca desses nmeros, o seguinte

(Fn , Fm ) = 1,

se

n = m.

Note que esse resultado nos fornece uma outra prova de que existem innitos nmeros primos, pois cada nmero de Fermat tem pelo menos um divisor primo e esses divisores primos so todos distintos. O resultado que se segue relaciona-se com outros nmeros primos tambm famosos.

Proposio 2.3.
ento

Sejam a e n nmeros naturais maiores do que

1.

Se

an 1

primo,

a=2

primo.
Por hiptese

Demonstrao:
absurdo, que absurdo.

a > 2. Logo Portanto, a = 2.

an 1 primo, com a > 1 e n > 1. Suponhamos, por a 1 > 1 e (a 1) | (an 1). Logo an 1 no primo, n
no primo. Logo

n composto, isto , n = r s com r > 1 e s > 1. Como 2r 1 divide (2r )s 1 = 2rs 1 = 2n 1. Logo 2r 1 | 2s 1. Portanto 2n 1 no seja primo, contradio. Logo n primo.
Por outro lado, suponha, por absurdo, que

Denio 2.1.

Os nmeros primos da forma

2p 1,

onde

um nmero primo, so

chamados Primos de Mersenne.

Notao: Mp = 2p 1.
26

Captulo 2.

Nmeros Perfeitos

Observao 2.1.

No intervalo

2 p 5000,

os nmeros de Mersenne que

so primos, chamados primos de Mersenne, correspodem aos seguintes valores de

p: 2, 3, 5, 7, 13, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253 e 4423. At dezembro de 2001, o maior primo de Mersenne era M13466917 , que possui no sistema decimal 4053946 dgitos, e o trigsimo nono primo de Mersenne conhecido.
Enuciaremos a seguir, sem demostrao, um resultado profundo devido ao

matemtico alemo do sculo XIX Lejeune Dirichlet

Teorema 2.1

(de Dirichlet)

Em uma PA de nmeros naturais, com primeiro termo

e razo primos entre si, existem innitos nmeros primos.

Observao 2.2.
teorema.

A demonstrao deste resultado muito difcil e pertence teoria No entanto, demonstraremos alguns casos particulares do

analtica dos nmeros.

Como foi dito acima, temos muitas progresses artmticas do tipo acima que contm como termos innitos nmeros primos. Como por exemplo:

a) b) c) d)

1, 5, 9, 13, 17, . . . , 4n + 1, . . . 3, 7, 11, 15, . . . , 4n + 3, . . . 5, 17, 23, 29, . . . , 6n + 5, . . . 2, 5, 8, 11, 14, . . . , 3n + 2, . . .

Demonstraremos alguns casos particulares do Teorema, usando as duas primeiras progresses aritmticas.

Proposio 2.4.
nmeros primos.

Na progresso aritmtica

3, 7, 11, 15, . . . , 3 + 4n, . . .

existem innitos

Demonstrao:
4n + 3.

Trata-se de mostrar que existem innitos nmeros primos da forma

Inicialmente, note que todo primo mpar da forma Em seguida, observamos que o conjunto,

4n + 1 ou 4n + 3. = {4n + 1; n N}

fechado

multiplicativamente. De fato,

(4n + 1)(4n + 1) = 4(4nn + n + n ) + 1.


Suponhamos agora, por absurdo, que haja apenas um nmero nito de nmeros primos

p1 < . . . < pk

da forma

4n + 3, com n 1.

Ento, o nmero

a = 4(p1 p2 pk ) + 3 no

27

Captulo 2.

Nmeros Perfeitos

divisvel por nenhum dos nmeros primos

3, p1 , . . . , pk e, portanto, sua decomposio em fatores primo s pode conter primos da forma 4n + 1. Consequentemente, a da forma 4n + 1, o que uma contradio, pois da forma 4n + 3.
Sejam

Proposio 2.5.
a) Ento existe b) Se c) Se

n, a N
tal que

mN

(a + 1)m = ma + 1.
tal que tal que

a > 0, a > 1,

ento existe ento existe

mN mN

(a 1)2n+1 = ma 1. (a 1)2n = ma + 1.

Demonstrao:
a) Basta observar que

( a + b) =
i=0
Ento

n ni i a b. i

(a + 1)

=
i=0

n n a i

n n1 n n 0 a + ... + a1 + a 1 n1 n n! a1 + 1 = an + n an1 + . . . + (n 1)!(n n + 1)! an + nan1 + . . . + na + 1 = = a(an1 + nan2 + . . . + n) + 1 = am + 1


b)

n ni a + 0

2n+1

(a 1)

2n+1

=
i=0

2n + 1 2n+1i a (1)i i 2n + 1 2n a + 1 2n + 1 2n1 a 2

2n + 1 2n+1 a 0 ... +

2n + 1 a1 2n + 1 1

2n + 1 0 a 2n + 1 2n + 1 a1 2n 2n + 1 2n 1

= a2n+1 (2n + 1)a2n + . . . +

= a a2n (2n + 1)a2n1 + . . . + = ma 1


28

Captulo 2.

Nmeros Perfeitos

c)

2n

(a 1)2n =
i=0

2n 2ni a (1)i i 2n 2n1 a + ... i 2n a1 + 2n 1 2n 0 a 2n

2n 2n a 0

= a2n 2na2n1 + . . .

2n a1 + 1 2n 1 2n 2n 1 +1

= a a2n1 2na2n2 + . . . = ma + 1.

Mostrar que existem innitos primos da forma

4n + 1

um pouco mais sutil e ser

provado a seguir. Antes, porm, provaremos um lema que ser necessrio para a prova do resultado.

Lema 2.1.
forma

Seja

x N ,

com

x 2.

Todo divisor mpar de

x2 + 1

da forma

4n + 1.

Demonstrao:
4n + 1.

Inicialmente, provaremos que todo divisor primo

O resultado em geral seguir disso, pois o conjunto

p = 2 de x2 + 1 da = {4n + 1; n N} (p1)/2 N

fechado multiplicativamente. Suponhamos, ento, que e, para algum

p | x2 +1, com p primo maior do que 2. N, que x2 + 1 = p. Consequentemente, x2 = p 1.

temos que

Elevando potncia

(p 1)/2

ambos os lados da igualdade acima, temos, para alguns

, N,

que

xp1 = (x2 )

p1 2

= (p 1)

p1 2

p + 1, p 1,

se se

p1 2 p1 2

par mpar

Ver Proposio 2.5. Se

xp1 = p 1

29

Captulo 2.

Nmeros Perfeitos

Subtraindo

de ambos os lados, teramos que

xp1 1 = p 2. p | x2 + 1, segue que p x. p | xp1 1 e, consequentemente,


Como forma

(2.1)

Logo, pelo Pequeno Teorema de Fermat, temos que por (2.1),

Portanto, a nica alternativa possvel

4n + 1.
Na progresso

p | 2, o que uma contradio. p1 seja par, o que implica que p que 2 1, 5, 9, 13, 17, . . . , 4n + 1, . . .

da

Proposio 2.6. Demonstrao:


primos da forma

aritmtica

existem

innitos nmeros primos.


Suponha, por absurdo, que haja um nmero nito

p1 , . . . , p k

de

4n + 1.

Considere o nmero

2 a = 4p2 1 pk + 1 .

Como

pi a,

para todo

i = 1, . . . , k ;

logo, todo divisor primo de

da forma

4n + 3,

que um absurdo, em vista do Lema 2.1.

2.2

Soma dos divisores de um nmero natural


Um par de nmeros

Denio 2.2. Exemplo 2.1.

{a, b}

amigvel quando cada um deles for igual

soma dos divisores prprios do outro. 220 e 284

Soma dos divisores prprios de

220 : 1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110 = 284


Soma dos divisores prprios de

284 : 1 + 2 + 4 + 71 + 142 = 220.


Seja

um nmero natural maior do que

1.

Denotamos por

S (n)

a soma de todos

os divisores de

n.

Observe que

S (0) no est denido e S (1) = 1.

Consideremos, ento

n2
1. 2.

e encontremos

S (n).

Convm antes tecer algumas consideraes sobre

S (n).

m p

formam um par amigvel se

S (m) = m + n = S (n).

primo se e apenas

S (p) = p + 1.
30

Captulo 2.

Nmeros Perfeitos

3.

um nmero perfeito se

S (n) = n + n = 2n. pn+1 1 2 r , pois 1+ p + p + . . . + p p1 primeiro termo a1 = 1 e razo q = p e


obtemos

4. Se

p primo, ento S (pr ) = 1+ p + p2 + . . . + pr =


termos. Em particular, para

a soma dos termo de uma P.G. nita de

r+1

n = 2r ,

2r+1 1 S (n) = S (2 ) = = 2r+1 1 = 2 2r 1 = 2n 1. 21


r
Conclumos da que uma potncia de base 5. Se

nunca um nmero perfeito. para provar e

S (p q ) = S (p) S (q ) esta relao, basta observar que os divisores de p q so apenas 1, p, q p


e

so nmeros primos diferentes, ento

p q.

Logo

S (p q ) = 1 + p + q + p q = 1 + p + q (1 + p) = (1 + p) (1 + q ) = S (p) S (q ).
6. Se

so relativamente primos entre si, isto ,

(a, b) = 1,

ento

S (a b) = S (a) S (b).
Suponha que

a = p2

b = q r,

com

p, q

primos.

S (a b) = S (p2 q r) = 1 + p + p2 + q + p q + p2 q +r + p r + p2 r + q r + p q r + +p2 q r = (1 + p + p2 ) + q (1 + p + p2 ) + r (1 + p + p2 ) + q r (1 + p + p2 ) = (1 + p + p2 ) (1 + q + r + q r) = (1 + p + p2 ) (1 + r) (1 + q ) = S (p2 ) S (q ) S (r) = S (p2 ) S (q r) = S (a) S (b).

Lema 2.2. A soma dos termos de uma Progresso Geomtrica nita de primeiro termo
a1 ,
ensimo termo

an

e razo

q,

dada por

Sn =

an q a1 . q1

Demonstrao:
primeiro termo

Seja

a1 ,

(a1 , a2 , a3 , . . . , an1 , an ) uma Progresso Geomtrica nita de ensimo termo an e razo q , ento a soma Sn dos termos dessa

31

Captulo 2.

Nmeros Perfeitos

Progresso Geomtrica nita :

Sn = a1 + a2 + a3 + . . . + an1 + an ,
e multiplicando ambos os temos dessa igualdade por

q,

temos:

Sn q = a1 q + a2 q + a3 q + . . . + an1 q + an q,
ento

Sn q = a2 + a3 + a4 + . . . + an + an q.
Subtraindo-se as expresses

Sn q

Sn

membro a membro, temos que

Sn q Sn = a2 + a3 + a4 + . . . + an + an q (a1 + a2 + a3 + . . . + an1 + an q ).
Ento

Sn q Sn = an q a1 ,

logo

Sn =

an q a1 . q1

Exemplo 2.2.
91 8 32 1 = = = 4, D(3) = {1, 3} S (3) = 31 2 2 22 1 32 1 41 91 = = 3 4 = 12, 21 31 1 2

S (6) = S (2 3) = D(6) = {1, 2, 3, 6}. S (18) = S (2 32 ) = D(18) = {1, 2, 3, 6, 9, 18}.

4 1 27 1 22 1 33 1 = = 3 13 = 39, 21 31 1 2

S (28) = S (22 7) = D(28) = {1, 2, 4, 7, 14, 28}. S (45) = S (32 5) = D(45) = {1, 3, 5, 9, 15, 45}

23 1 72 1 8 1 49 1 = = 7 8 = 56, 21 71 1 6

33 1 52 1 27 1 25 1 = = 13 6 = 78, 31 51 2 4

32

Captulo 2.

Nmeros Perfeitos

Note que

S (18) = 39 e que S (18) = S (3 6) = S (3) S (6) = 4 12 = 48. Note que (3, 6) = 3 = 1. Observe que 6 e 28 so nmeros iguais a metade da soma dos seus

divisores.

2.3

Nmeros Perfeitos
Um nmero

Denio 2.3.

n chamado de nmero

perfeito se

s(N ) = 2n.

Ou ainda,

se o nmero igual soma de seus divisores distintos dele mesmo. Na idade mdia, conhecia-se apenas os nmeros perfeitos: 6, 28, 496, 8128. Atualmente, conhece-se

mais alguns nmeros perfeitos. Um fato curioso que todos os nmeros perfeitos so pares. No se sabe nada sobre a existncia ou no de nmeros perfeitos mpares.

Observao 2.3. Os resultados a seguir, principalmente o Teorema de Euclides-Euler,


caracterizaro os nmeros perfeitos pares, relacionando-os com os nmeros primos de Mersenne.

Lema 2.3.
primo.

Seja

n N ,

tem-se que

S (n) = n + 1

se, e somente se,

um nmero

Demonstrao:
so

Se

S (n) = n + 1,

segue-se que

n:

Logo

primo. Reciprocamente, Se

n > 1 e que n primo

os nicos divisores de

Sn =

(n + 1)(n 1) n2 1 = = n + 1. n1 n1

Teorema 2.2 (Euclides-Euler).


somente se,

Um nmero natural onde

um nmero perfeito par se, e

n=2

p1

(2 1),

2 1

um nmero primo de Mersenne.

Demonstrao:
Mersenne. Logo,

Suponha que

p > 1,

e,

n = 2p1 (2p 1), onde 2p 1 um nmero primo de p consequentemente, n par. Como 2 1 mpar, temos que

(2

p1

, 2 1) = 1.

Logo, temos que

S (n) = S (2p1 (2p 1)) = S (2p1 ) S (2p 1) S (n) =


Portanto

2p 1 p 2 = 2p (2p 1) = 2 2p1 (2p 1) = 2 n. 21 n perfeito e par. Seja 2p1 a n = 2p1 b, com b mpar. Temos,
6, segue-se que

perfeito. Reciprocamente, suponha que

maior potncia de ento, que

(2

p1

2 que divide n. Logo, p > 1 e , b) = 1 e pela Proposio 2.5 e a considerao S (n) = (2p 1) S (b).
33

Captulo 2.

Nmeros Perfeitos

S (n) = 2n, temos (2p 1) S (b) = 2 2p1 b = 2p b, portanto 2p 1 | b, pois (2p , 2p 1) = 1. Logo, existe c N com c < b tal que b = c(2p 1). Substituindo em (2p 1) S (b) = 2p c (2p 1), resulta S (b) = 2p c. Assim b e c so dois divisores p distintos de b tais que c + b = 2 c. Nessa situao, c = 1. De fato, suponha que c = 1. p p Temos, ento, que 2 c = S (b) 1 + c + b > c + b = 2 c, o que uma contradio. p1 Logo S (b) = b + 1, o que implica b ser primo. Consequentemente, N = 2 (2p 1) p com 2 1 um primo de Mersenne.
Como

Observao 2.4.

A primeira parte da demonstrao do teorema acima, sem dvida a

mais fcil, j se encontra nos Elementos de Euclides. A recproca data do sculo XVIII devida a Euler. O fato do nmero primo de Mersenne, implica que

2p 1,

no enunciado do teorema, ser um nmero Observe, ainda, que o teorema reduz

primo.

a existncia ou no de um nmero innito de nmeros perfeitos pares ao problema anlogo para primos de Mersenne.

Observao 2.5.

Todo nmero da forma

representao decimal, ou termina em

an = 22n (22n+1 1), onde n > 1, na sua 28 ou termina em a6, onde a um algarismo

mpar. Em particular, todo nmero perfeito par termina em um desses modos. De fato,

a2n+1 = 24n+2 (24n+2+1 1) = 28n+5 24n+2 = 28n 25 24n 22 = 256n 32 16n 4 a2n1 = 2
4n2

(2

4n2+1

1) = 2

8n3

4n2

=2

8n

4n

256n 16n = 8 4

256 a2n1 = 256n 32 16n 64 = 256n 32 16n 4 16n 60 = 256 a2n1 + 16n 60 = 256n 32 16n 4 = a2n+1 a2n+1 = 256 a2n1 + 60 16n a2n+2 = 24n+4 (24n+4+1 1) = 28n+9 24n+4 = 256n 512 16n 16 a2n = 24n (24n+1 1) = 28n+1 24n = 256n 2 16n 256 a2n = 256 (256n 2 16n ) = 256n 512 16n 256 = 256n 512 16n 16 16n 240 256 a2n + 16n 240 = 256n 512 16n 16 = a2n+2 .
Faamos agora a anlise dos dois ltimos algarismos de

16n

ao variar

em

N.

Temos

34

Captulo 2.

Nmeros Perfeitos

que:

16 16 mod 100 162 56 mod 100 163 96 mod 100 164 36 mod 100 165 76 mod 100 166 16 mod 100
E da para frente esses nmeros se repetem ciclicamente. Portanto, para todo os dois ltimos algarismos de Observe agora que induo sobre que

n N,

16

so da forma

a6,

onde

mpar. Vamos provar, por

a2 = 96, a6
, onde

logo da forma

a6,

onde

mpar.

n,

que o mesmo ocorre para todos os nmeros da forma

a2 n .

Suponha

a2n

termina em

um algarismo mpar; Logo

a2(n+1) = 256a2n + 240 16n 56 a6 + 40 16n = (50 + 6)(10a + 6) + 40(10b + 6) 10(6a + 3 + 4) + 6 10c + 6 mod 100, c um algarismo e o resultado segue-se, pois 6a +3+4 = 6a +6+1 = 6(a +1)+1 = 2[3(a + 1)] + 1 = 2n + 1 que mpar. Observe agora que a1 = 28; Logo, termina em 28. Vamos provar por induo sobre n que o nmero ocorre para todos os nmeros da forma a2n+1 . Suponha que a2n1
onde termina em 28. Logo,

a2n+1 = 256a2n1 + 60 16n 56 28 + 60 16n 56 28 + 60(10b + 6) 68 + 60 28 28 100.

Teorema 2.3.
diferentes.

Um nmero perfeito mpar tem pelo menos trs fatores primos

Demonstrao:
r 1.
Ento

Vamos supor, primeiramente, que

com um simples fator primo, isto , suponha que

n um nmero mpar perfeito n = pr , onde p um nmero mpar e

S (n) = 2n.

Por outro lado

S (n) = 1 + p + p2 + . . . + pr =

pr+1 1 . p1

35

Captulo 2.

Nmeros Perfeitos

Mas

S (n) = 2n = 2pr . pr+1 2pr = 1,

Assim

2pr =

Ento

e portanto,

pr+1 1 r+1 e da, temos 2p 2pr = pr+1 1. p1 2pr pr+1 = 1. Absurdo, pois p primo e divide

o lado esquerdo da equao mas no divide o lado direito. Portanto um nmero mpar perfeito no pode ter um simples fator primo. Vamos supor agora que

n
e

seja composto de dois fatores primos diferentes, isto ,

n = pr q s

um nmero mpar perfeito. Sem perda de generalidade, suponha

p < q.

J vimos que

S (n) = 2n

S (p q ) = S (p ) S (q ).

Da temos

2 pr q s = 1 + p + p2 + . . . + p r 1 + q + q 2 + . . . + q r 2=
Tomando

1+ q = 5, 1+

1 1 1 + 2 + ... + r p p p
obtemos

1+

1 1 1 + 2 + ... + s q q q

p=3

1 1 1 + 2 + ... + r 3 3 3

1+

1 1 1 + 2 + ... + s 5 5 5

2
i=0

1 3i

j =0

1 5j

= =

1
31 3

1
51 5

1 1 2 4
3 5

3 5 = 2 4 15 = = 1, 875. 8
Absurdo! Desta forma, se existe um nmero mpar perfeito, ele ter pelo menos trs fatores primos distintos. A existncia ou no de nmeros perfeitos mpares um desao para a Teoria dos Nmeros. De fato, no se conhecem atualmente nmeros perfeitos mpares e conjeturase, com fortes indcios experimentais, que no existe nenhum. Em 2004 foi submetido ao arXiv um artigo pelo matemtico australiano Simon Davis contendo a demonstrao desta conjectura, que no foi no entanto ainda publicado.

36

Captulo 2.

Nmeros Perfeitos

2.4

Alguns

resultados

elementares

sobre

nmeros

perfeitos

Denio 2.4. A soma dos divisores de um nmero natural n a funo S (n) =


onde

d |n

obtido ao longo dos divisores de

incluindo o prprio

n.

Exemplo 2.3. S (11) = 1 + 11 = 12


S (15) = 1 + 3 + 5 + 15 = 24

Observao 2.6.

A denio de um nmero perfeito equivale a dizer que a soma dos

divisores prprios de

igual a

n.

A razo para que utilizaremos a funo

S (n)

que

ela possui algumas propriedades muito especiais.

Proposio 2.7.

Se
r

N=
a fatorao de

1 p 1

2 p 2

3 p 3

...

r p r

=
i=1

i p i

em fatores primos, ento


r r
1 +1 p 1 i pi 1

S (N ) =
i=1

(1 + pi +

p2 i

p3 i

+ ... +

i p i )

=
i=1
1 p i

Demonstrao:
sorte que

Observe que os nicos divisores de

so

i 3 1, pi , p2 i , pi , . . . , pi ,

de

i 2 3 i S (p i ) = 1 + p i + pi + pi + . . . + pi
a soma dos termos de uma P.G. nita de razo

pi
k

e primeiro termo igual a

1 + x + x + x + ... + x =
i=0
Logo pelo Lema 2.2
i S (p i )

xk+1 1 x = x1
i

1 +1 p 1 i = . pi 1

Usando a multiplicidade de

S (N ),
r

temos:

r
1 p i

r
i S (p i )

S (N ) = S
i=1

=
i=1

=
i=1

1 +1 p 1 i . pi 1

Como aplicao dessa frmula, provaremos dois lemas.

37

Captulo 2.

Nmeros Perfeitos

Lema 2.4.
ocorrendo se

Se

n | N, n = N.
Se

evidente que

S (n) < S (N )

S (N ) S (n) < n N n = k d,

com igualdade

Demonstrao:
Portanto

d|N

se, e

d | n = N , existe k N n somente se | N , isto , d S (N ) =


d|n

tal que

logo

k =

n | N. d

d=
d|n

N =N d

d|n

1 d

Se

um divisor prprio de

N,

temos

S (N ) = N

d |N

1 > d

d|n

1 S (n) = . d n

Corolrio 2.1.

Se

um nmero perfeito,
d|n

1 = 2. d

Demonstrao:
consequentemente

Acima, mostraremos que

d=
d |n d |n

N =N d

d|n

d | N equivalente a (N | d) | N , 1 1 = 2N , ento = 2. d d
d|n

2.5

Nmeros pares perfeitos

Historicamente, o primeiro matemtico que categorizou os nmeros pares perfeitos foi Euclides. Ele observou que os quatro primeiros nmeros perfeitos apresentam uma forma muito especca.

6 = 21 (1 + 2) = 2 3 28 = 22 (1 + 2 + 22 ) = 4 7 496 = 24 (1 + 2 + 22 + 23 + 24 ) = 16 31 8128 = 26 (1 + 2 + 22 + 23 + 24 + 25 + 26 ) = 64 127


Observe, porm, que os nmeros

90 = 23 (1 + 2 + 22 + 23 ) = 8 15 2016 = 25 (1 + 2 + 22 + 23 + 24 + 25 ) = 32 63
esto faltando nessa sequncia porque

15 = 3 5

63 = 32 7

so nmeros compostos,

ao passo que 3, 7, 31 e 127 so todos nmeros primos.

38

Captulo 2.

Nmeros Perfeitos

Teorema 2.4 (Teorema de Euclides).


perfeito.

Se

2n 1

primo, ento

N = 2n1 (2n 1)

2n 1 e 1. Logo 2n 1 n 2 = S (2n 1) = 2n 1 + 1 = 2n . Ento S (N ) = S (2n1 ) S (2n 1) = 21 n n n1 n 2 (2 1) = 2 2 (2 1) = 2N e N perfeito.


Como primo, seus nicos divisores so

Demonstrao:

2n 1

Proposio 2.8 Demonstrao:

(Cataldi-Fermat) Observe que

Se

2n 1

primo, ento o prprio

primo.

xn 1 = (x 1) (xn1 + xn2 + . . . + x + 1). Suponha, n r s por absurdo, que n = r s onde r > 1, s > 1. Assim, 2 1 = 2 1 = (2r )s 1 = (2r 1)[(2r )s1 + (2r )s2 + . . . + 2r + 1]. De modo que (2r 1) | (2n 1), Absurdo! n Pois 2 1 primo.

Observao 2.7. Observao 2.8.

O inverso no verdade, isto , se

necessariamente, primo. De fato, se

n = 11,

ento

n primo, ento 2n 1 no , 211 1 = 2048 1 = 2047 = 23 89.

Todos os nmeros perfeitos tm que ser do tipo de Euclides?

Leonhard Euler, numa pstuma escritura, provou que todo nmero par perfeito deste tipo. Existem muitas provas deste fato, vejamos algumas.

Leonhard Euler
15 de abril de 1707, em Basel, Sua.

18 de setembro de 1783, em So Petersburgo, Rssia.

Leonhard Euler, lho do pastor calvinista Paul Euler, e Margaret Brucker, teve duas irms mais

novas, Anna Maria e Maria Magdalena. Mudou-se para Riehen com um ano de idade, e l foi criado. Seu pai o introduziu nos primeiros estudos de matemtica. Quando chegou adolescncia, Euler retornou a Basel para estudar, preparando-se para o curso de teologia na Universidade. Euler no aprendeu matemtica alguma na escola, mas seu interesse, despertado nas lies de seu pai, o levou a estudar sozinho textos diversos e a tomar lies particulares. Embora muito religioso, Euler no se entusiasmou com o estudo da teologia, e seu pai consentiu que ele mudasse para a matemtica.

39

Captulo 2.

Nmeros Perfeitos

Terminado o curso, foi convidado a assumir a cadeira de um professor falecido na Universidade de So Petersburgo. Como no fora selecionado para a cadeira de

fsica da Universidade de Basel, aceitou o primeiro convite e, em 1727, mudou-se para a Rssia. Chegando l, aliou-se Academia de Cincias, onde teve contato com

grandes cientistas como Jakob Hermann, Daniel Bernoulli e Christian Goldbach. Em 1730, Euler tornou-se professor de Fsica da Academia, fato que o permitiu abandonar o posto de lugar-tenente da marinha Russa, que ele ocupava desde 1727. Trs anos mais tarde, com o retorno de Daniel Bernoulli a Basel, Euler assumiu a ctedra de matemtica da Academia, e os proventos advindos dessa nomeao permitiram que ele se casasse, em 1734, com Katharina Gsell, uma moa de ascendncia sua. Os dois tiveram treze lhos, mas apenas cinco sobreviveram infncia. Euler atribui a essa fase algumas de suas maiores proezas cientcas. Em 1736-37, Euler publicou seu livro Mechanica, que tratou extensivamente da anlise matemtica da dinmica newtoniana pela primeira vez. Foi tambm nesta

poca que seus problemas de sade comearam. Euler era constantemente atormentado por fortes crises febris, e desenvolveu catarata, que acabou por lhe tirar a vista. Mas se sua sade estava abalada, sua reputao, ao contrrio, se rmava cada vez mais, e dois prmios da Academia de Paris, em 1738 e 1740, acabaram por lhe valer uma oferta de trabalho em Berlim. De incio, Leonhard recusou, preferindo permanecer em So Petersburgo, mas a turbulncia poltica na Rssia tornou difcil a vida de estrangeiros l, e ele reconsiderou. Chegou a Alemanha como diretor de matemtica da recm-fundada Academia de Berlim, que tinha ento como presidente Maupertius. As contribuoes de Euler para a Academia foram notveis. Ele supervisionava o observatrio e o jardim botnico, Alm disso, coordenou a

selecionava pessoal, gerenciava vrias questes nanceiras.

publicao de mapas geogrcos, uma fonte de dividendos para a Academia. Tambm trabalhou no comit da Academia, lidando com a publicao de trabalhos cientcos. E como se no bastasse, sua prpria produo cientca neste perodo foi excepcional. Durante os 25 anos que morou em Berlim, Euler escreveu cerca de 380 artigos, livros sobre Clculo de variaes e rbitas dos planetas, sobre artilharia e balstica, construo naval e navegao, sobre o movimento da Lua, clculo diferencial e uma obra cientca para leigos: Letters to a Princess of Germany (Cartas a uma Princesa da Alemanha, 3 vols. 1768-72). Em 1759, com a morte de Maupertius, Euler assumiu a direo da Academia, embora no fosse nomeado presidente. Desavenas com Frederico, o Grande, em

torno dessa questo zeram-no deixar a Alemanha e retornar a So Petersburgo, em

40

Captulo 2.

Nmeros Perfeitos

1766. Em, 1771, velho e doente, Euler teve sua casa destruda num incndio. Tudo o que ele salvou foram seus manuscritos. Foi nesta poca que ele cou totalmente

cego. O impressionante que mesmo depois disso, ele continuou com seus projetos, e quase a metade de toda a sua produo cientca foi concluda aps esses incidentes. Evidentemente, Euler no logrou todas essas conquistas sozinho. Ele contou com a

ajuda valorosa de dois de seus lhos, Johann Albrecht Euler, que seguia os passos do pai, e Christoph Euler, que estava na carreira militar, e tambm dois membros da Academia, A. J. Lexell e o jovem matemtico N. Fuss, esposo de sua neta. Euler morreu em 18 de setembro de 1783.

Teoria dos Nmeros


O interesse de Euler na teoria dos nmeros pode ser atribuda inuncia de Christian Goldbach, seu amigo na Academia St. Petersburg. Muitos dos primeiros

trabalhos de Euler na teoria dos nmeros foram baseados nas obras de Pierre de Fermat. Euler desenvolveu algumas das idias de Fermat, e refutou algumas das suas conjecturas. Euler ligou a natureza da distribuio privilegiada, com idias de anlise. Conseguiu provar que a soma dos recprocos dos primos diverge. Ao fazer isso, ele

descobriu a conexo entre a funo zeta de Riemann e os nmeros primos, o que conhecido como a frmula do produto de Euler para a funo zeta de Riemann. Euler provou identidades de Newton, Pequeno Teorema de Fermat, teorema de Fermat em somas de dois quadrados, e ele fez contribuies distintas ao Teorema de Fermat-Lagrange. Inventou tambm a funo

totiente

(n).

Usando

as

propriedades desta funo, ele generalizou o teorema de Fermat ao que hoje conhecido como o teorema de Euler. Ele contribuiu de forma signicativa para a teoria dos

nmeros perfeitos, que havia fascinado os matemticos desde Euclides. Euler tambm conjecturou a lei da reciprocidade quadrtica. O conceito considerado como um

teorema fundamental da teoria dos nmeros, e suas ideias pavimentaram o caminho para o trabalho de Carl Friedrich Gauss.

Euler e Fermat
Tanto nmeros. Fermat como Euler sentiram-se bastante interessados pela teoria dos Embora no haja qualquer livro sobre este assunto, Euler escreveu cartas Entre elas encontram-se as conjecturas

e artigos sobre vrios aspectos desta teoria.

apresentadas por Fermat, que foram derrubadas por Euler. Duas dessas conjecturas foram:

Os nmeros da forma Se

22n + 1

so sempre primos;

primo e

um inteiro, ento

ap a

divisvel por

p.

41

Captulo 2.

Nmeros Perfeitos

A primeira, foi derrubada em 1732 com o auxlio do seu domnio em computao, evidenciando que

(22 )5 + 1 = 4294967297

factorizvel em

6700417 641.

No entanto,

no recurso a um contraexemplo para deitar por terra a segunda conjectura, Euler tambm errou, apesar do erro s ter sido descoberto em 1966, dois sculos depois e com o auxlio de um computador. Euler tambm realizou a demonstrao de uma conjectura bastante conhecida, denominada como Pequeno Teorema de Fermat. Tal demonstrao foi apresentada Posteriormente, demonstrou

numa publicao em 1736, denominada Commentarii.

uma armao mais geral do Pequeno Teorema de Fermat, que veio a chamar-se Funo de Euler. Mas, contrariando o que seria esperado, Euler no foi capaz de demonstrar o ltimo Teorema de Fermat, embora provasse a impossibilidade de solues inteiras de

xn + y n = z n

para

n = 3.

Em 1747, deniu mais 27 nmeros amigveis, que se juntaram aos trs j conhecidos por Fermat. Mais tarde aumentou o nmero para 60. Euler tambm provou que todos os nmeros perfeitos pares so da forma dada por Euclides,

2n1 (2n 1),

onde

2n 1

primo. Se existe ou no um nmero mpar perfeito foi uma questo levantada por Euler e Goldbach, atravs de correspondncia, ainda hoje sem resposta.

Curiosidades:

Por ter sido um dos melhores e mais produtivos matemticos da histria, foi representado na sexta srie das notas do banco Suo e em numerosos selos da Sua, da Alemanha e da Rssia.

O asteride 2002 foi chamado Euler em sua homenagem. tambm relembrado pela Igreja Luterana no dia 24 de Maio, no Calendrio dos Santos.

Euler foi tambm uma das inspiraes na criao do jogo Sudoku.

Um puzzle

inspirado (provavelmente) no quadrado latino, inveno do sculo XVIII de Euler.

Foi o criador da teoria dos Grafos, a partir da resoluo do problema das Sete pontes de Knigsberg.

Leonard Euler morreu bebendo ch, em So Petersburgo. Existe uma anedota falsa sobre Euler e Diderot, quando este estava em So Petersburgo, Rssia, inuenciando a corte russa com seu atesmo, e Euler foi chamado a intervir. Euler teria uma prova matemtica da existncia de Deus, e n teria dito Monsieur,

a+b =x n

, donc Dieu existe. Respondez!. Diderot no

42

Captulo 2.

Nmeros Perfeitos

teria conseguido responder, e retirou-se humilhado sob os risos da corte. anedota falsa. Leiam Euler, leiam Euler, ele o mestre de todos ns.

Esta

Teorema 2.5
N =2
n1 n

(Euler)

Se

(2 1),

onde

N um nmero 2n 1 primo.

par perfeito,

pode ser escrito na forma

Demonstrao 1:
Seja

Esta primeira demonstrao devida a Euler. um nmero perfeito em que

m, ele 2n 1 n1 n1 relativamente primo para 2 , e S (N ) = S (2 m) = S (2n1 ) S (m) = 21 S (m) = 2n 1 S (m). Como N perfeito, temos S (N ) = 2N = 2 2n1 m = 2n m. n n Logo (2 1) S (m) = 2 m. S n n n n Seja S = S (m), ento 2 m = (2 1) S e m = (2 1) . Como 2 1 primo, n 2 2n | S . Logo existe q tal que m = (2n 1) q . n n n Se q = 1, ento m = 2 1 e S = S (m) = 2 = 2 1 + 1 = m + 1. n n Como S (m) a soma dos divisores de m = 2 1, logo m = 2 1 tem que ser um
mpar. Desde que nmero primo, e

N = 2n1 m

N = (2n 1) m = 2n1 (2n 1).


Se

q > 1,

a soma total dos divisores de

Os fatores de

incluem

1, q, 2n 1

m = (2n 1) q . m, de modo que

S = S (m) 1 + q + 2n 1 + (2n 1) q = (2n 1) (1 + q ) + (1 + q ) = (1 + q ) 2n .


Logo

(2n 1) q m n = s 2 (q + 1)

2n 1 2n

q q+1

2n 1 , 2n

pois

S (N ) = 2n m = (2n 1) S,
implica que

m | s = (2n 1) | 2n .

Demonstrao 2:
A partir de

Dickson nos d uma prova mais simples. observe que:

2n m = (2n 1) S (m)

S (m) =
como

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


so nmeros inteiros,

S (m)

d =

(2n 1) | m

e consequentemente

d | m.
43

m 2n 1

tambm deve ser inteiro.

Assim

Captulo 2.

Nmeros Perfeitos

Mas

S (m) = m +
a soma de todos os divisores de Certamente

2n

m =m+d 1 d = 1,
pois se isso no

m,

como pode ser isso?

divide

m,

por isso somos forados a concluir que

for verdade, ento teramos consequentemente,

S (m) = m + d + 1,

absurdo, portanto,

m = 2n 1

e,

2n 1

primo.

Demonstrao 3:
Desde que

Esta a prova dada por Mc Daniel. dividir primo.

(por

2n m = (2n 1) S (m), cada divisor primo de 2n 1 deve tambm n n n ser mpar, no divide 2 ). Ento suponha que p divide 2 1, com p

Pelo Lema 2.4, temos:

S (m) S (p ) 1 + p + p2 + . . . + p p 1 + p 1 p+1 = = 1 + = . m p p p p p
Consequentemente,

1 = = = = (2n 1) p = 0, 2n m

S (N ) 2N S (2n1 ) S (m) 2n m n (2 1) (1 + p) 2n m n 2 + 2n p 1 p 2n m n (2 1) p 1+ 2n m
e

Logo

ento

2n 1 = p, = 1

m = p.

Portanto,

um nmero

perfeito.

Demonstrao 4:
S (m) 2 = n , m 2 1

Prova semelhante anterior, dada por Cohen.

Comeamos, novamente, com n temos:

2n m = (2n 1) S (m)

em que

2n 1 | m.

Escrevendo

2n S (m) S (2n 1) 1 + 2n 1 2n = > = . 2n 1 m 2n 1 2n 1 2n 1


Portanto, para termos a igualdade, devemos ter:

2n 1 = m

S (m) = 1 + (2n 1) =

1+m

e,

m = (2n 1)

primo.

44

Captulo 2.

Nmeros Perfeitos

Demonstrao 5:
Tome

N = 21

Esta prova foi dada por Carmichael. k k 3 2 1 i p p2 p3 . . . pk = 2 i i=2

S (N ) 1 S (21 ) S ( = 2N 2 (21 ) = = =

= d = 21 +1 1,

k i i=2 pi ) k i i pi i S( k 1 S (21 ) i=2 pi ) k i 2 21 i=2 pi k i 1 S (21 ) i=1 pi k i 2 21 i=2 pi k i S ( p 1 21 +1 1 i ) i 2 (2 1) 21 i=2 p i k 21 +1 1 (1 + pi + p2 i + i 21 +1 p i i=2 k 1 pi i+1 21 +1 1 21 +1 pi (pi 1) i=2 i

i . . . + p i )

Seja

logo

21 +1 = d + 1.
k

Substituindo, temos:

i1 2 i + . . . + p3 S (N ) 21 +1 1 (p i + pi + pi ) i + pi = =1 2N 21 +1 pi i i=2

Logo

i=2
Observe que

i1 2 i + . . . + p3 2i +1 d+1 1 ( p i + pi + p i ) i + pi = 1 +1 = =1+ i pi 2 1 d d

k
i p i )

k
i S (p i )

k
i S (p i )

S (N ) = S (2

i=2

= S (2 )
i=2

=d
i=2

= 2N = 2

1 +1

i=2

i p i

Portanto, alguns

pi

devem dividir

que impar pois, temos uma fatorao completa

em fatores primos. Assim

pi < d

1+

k=2

1 pi

excede a desigualdade acima de da

pi = d. N

Porm, a partir de

a desigualdade novamente ultrapassada e, portanto

perfeito.

45

Captulo 2.

Nmeros Perfeitos

Demonstrao 6:
J vimos que

Esta a prova de Knopfmicher.

S (N ) = 2N = 2
Como

1 +1

i=2

i p i

1 +1

mpar, no divide

2,

divide, ento

N,

e podemos escrever

k k 4 3 2 21 +1 1 = p 2 + p3 + p4 + . . . + pk = i=2
Da temos
i p i

2N = 21 +1 1 2 +1 1 i=2
Observe que

i p i

k
i p i

k i=2

=2

1 +1

i=2

i i p i

2
e assim

1 +1

1=
i=2 k

i p i ,

2
Portanto

1 +1

=1+
i=2

i p i .

k i i = (1 + pi
i p i )(

k
i i ) p i

21 +1
i=2

i=2 k k
i i + p i

i=2
i p i

=
i=2

i=2

k 2 = (1 + p2 + . . . + p 2 ) . . . (1 + pk + . . . + pk )

0 i i para todo i. Tomando k = 2 e 2 = 1 e comparando termo a termo os termos correspondentes 2 12 = 1 = p0 p2 + p2 = 1 + p2 e, ento p1 2 2 nos d 1 2 = 0,logo 2 = 1. Da conclu-se que i = 0 para todos os valores de i, exceto um para que N seja perfeito. 13 Tomando k = 2 e 3 = 1, temos p3 + p3 = 1 + p3 e novamente 3 = 1.
onde

Observao 2.9.

Os

nmeros

perfeitos

podem

ser

escritos

numa

progresso

geomtrica. Eles tambm podem ser derivados a partir de progresses aritmticas.

k 1

1 + 2 + 3 + . . . + (k 1) =
i=1

1 k (k 1) 2

Exemplo 2.4. 6 = 1 + 2 + 3
46

Captulo 2.

Nmeros Perfeitos

28 = 1 + 2 + 3 + 4 + 5 + 6 + 7 496 = 1 + 2 + 3 + . . . + 29 + 30 + 31.

Proposio 2.9. Demonstrao:

Se

for um nmero perfeito par, ento

triangular.

N = 2n1 (2n 1) =

1 2n (2n 1) = 2n (2n 1) 2 2

Proposio 2.10.

Se

N = 2n1 (2n 1),

ento

n = 13 + 33 + 53 + . . . + (2m 1)3 ,
com

m=2

n1 2 .

Demonstrao:

Observe que

i3 =
i=1
Basta escolher
n1 2 .

m2 (m + 1)2 . 4

m=2

De fato,

i3 = 13 + 23 + . . . + m3
i=1

= 13 + 33 + 53 + . . . + (2m 1)3 + 23 + 43 + . . . + (2m)3 .


Ento

13 + 33 + 53 + . . . + (2m 1)3 = [13 + 23 + 33 + . . . + (2m 1)3 + (2m)3 ] [23 + 43 + 63 + . . . + (2m)3 ] = 13 + 23 + 33 + . . . + (2m 1)3 +(2m)3 23 (13 + 23 + 33 + . . . + m3 ) (2m)2 (2m + 1)2 m2 (m + 1)2 = 8 4 4 = m2 (2m2 1).

47

Captulo 2.

Nmeros Perfeitos

Logo

13 + 33 + 53 + . . . + (2 2

n1 2

1)3 =

n1 2

2 2

n1 2

= 2n1 (2 2n1 1) = 2n1 (2n 1) = N.

48

Captulo 3 Histria e conjecturas


Apresentamos neste captulo alguns aspectos histricos pitorescos e algumas conjecturas respeito dos Nmeros Primos, Primos de Mersenne e Nmeros Perfeitos, nomeando cronologicamente os matemticos que se interessaram pelo estudo dos Nmeros Perfeitos. Tales de Mileto (640  546 AC) introduziu o estudo da matemtica na Grcia. Ele levou para a Grcia os rudimentos de geometria e da aritmtica que aprendera com os sacerdotes egpcios, iniciando ento uma intensa atividade matemtica que ali se desenvolveu por mais de cinco sculos. Os gregos deram matemtica um carter cientco, devido atitude losca e especulativa que eles tinham em relao vida. Com Pitgoras de Samos (580  500 AC) atravs da escola pitagrica criada por ele e seus seguidores, que deram um carter mstico aos nmeros, adotando a aritmtica como fundamento de sua losoa. Sobre esta escola, que apesar de durar vrios sculos, poucos fragmentos dos escritos originais chegaram at ns por referncias e comentrios de matemticos posteriores. Por volta de 300 AC, em Alexandria, um tratado que se tornaria um dos marcos mais importantes da matemtica surgia atravs da obra escrita pelo matemtico grego Euclides (330  260 AC): Os Elementos. Os Elementos de Euclides considerado um tratado, por conter sistematicamente, todo o conhecimento matemtico de sua poca. Essa obra composta por treze

livros, dos quais trs versam sobre a aritmtica e dez sobre a geometria, chamada de Euclidiana. Euclides, aparentemente no criou muitos resultados, mas teve o mrito de

estabelecer um padro de apresentao e rigor na matemtica, jamais alcanado anteriormente. Nos trs livros referentes aritmtica, livros VII, VIII e IX, Euclides desenvolve a

49

Captulo 3.

Histria e conjecturas

teoria dos nmeros naturais. No livro VII, so denidos conceitos de divisibilidade, de nmero primo, de nmeros perfeitos, de mximo divisor comum e de mnimo mltiplo comum entre outros. Neste livro encontra-se, sem demonstrao, a diviso Euclidiana com resto, atravs do uso iterado dessa diviso, Euclides estabelece o algoritmo que leva o seu nome e que o mtodo mais eciente, at hoje conhecido, para o clculo do mximo divisor comum de dois nmeros naturais (Proposio 1 e 2 nos Elementos). No livro VIII, so estudadas propriedades de sequncias de nmeros em progresso. No livro IX, Euclides de maneira magistral nos mostra que a quantidade de nmeros primos supera qualquer nmeros dado, isto , existem innitos nmeros primos (Proposio 20 nos Elementos). Nesse livro tambm se encontra o Teorema Fundamental da Aritmtica (Proposio 14 nos Elementos). Euclides tambm apresenta uma condio necessria para que um nmero natural seja perfeito (Proposio 35 nos Elementos). Aps a era de Euclides, a aritmtica estagnou por cinco sculos, voltando a tona com os trabalhos de Diofanto de Alexandria, por volta de 250 DC. Diofanto nos legou uma obra chamada Aritmtica, escrita em treze volumes dos quais chegaram at ns apenas sete, com temas que, apesar de importantes, no vm ao caso. No perodo da renascena, movimento ocorrido entre os sculos XIII e XV na Europa, e que revolucionou as artes, as cincias e at os costumes, teve como uma de suas consequncias, o renascimento da aritmtica. Este movimento atingiu a matemtica um pouco mais tardialmente. Em 1575,

atravs de Regiomanto que traduziu para o latim, o tratado Aritmtica, de Diofanto. Em 1621, Bachet de Mziriac publicou uma edio francesa que possibilitou esse conhecimento a muitos matemticos franceses, entre os quais convm destacar Pierre de Fermat (1601  1665), jurista Francs. Nessa poca, era comum os matemticos divulgarem os resultados obtidos,

lanando-os como desao aos outros. Padre Marin Mersenne, que desenpenhava o papel de divulgador da matemtica. Em uma de suas cartas de 1640, Fermat enuciou o seu pequeno teorema, dizendo que no escreveria a demonstrao por ser longa demais. Um problema cuja soluo h muito era procurada pelos matemticos a frmula para a determinao de todos os nmeros primos. Fermat morreu com a convico de que a expresso

22 + 1

representa um nmero primo (conjectura).

Essa conjectura

revelou-se posteriormente falsa para

n = 5

atravs do matemtico francs Leonhard

Euler (1707  1783), que provou todos os resultados de Fermat, exceto, obviamente, o ltimo teorema de Fermat. Pelo Exposto at agora, muitos dos teoremas bsicos da aritmtica estancam na

50

Captulo 3.

Histria e conjecturas

investigao dos gregos acerca dos nmeros perfeitos e pitagricos. Alis, foi atravs de Fermat, autor do mais antigo projeto (Teorema de Fermat), que a aritmtica se desenvolveu. Nesse trabalho nos importamos com os nmeros perfeitos que proporcionam muitos aspectos pitorescos no desenvolvimento da teoria dos nmeros. A relao quase mstica dos nmeros perfeitos to antiga quanto matemtica em relao a eles. Os pitagricos associaram o nmero perfeito seis ao casamento, sade e beleza por conta da integridade e da concordncia de suas partes. Os matemticos da Antiguidade zeram vrias armaes sobre os nmeros perfeitos baseados nos quatro que conheciam, mas a maior parte delas vieram a provarse serem falsas. Uma dessas armaes era que como

2, 3, 5,

so precisamente os

quatro primeiros primos, o quinto nmero perfeito seria obtido com quinto primo. Todavia, um nmero perfeito. Duas outras falsas armaes so:

2 1 = 2047 = 23 89

11

no primo e da

n = 11, que o n = 11 no gera

O quinto nmero perfeito teria cinco algarismos pois os primeiros quatro tm, respectivamente,

1, 2, 3,

algarismos.

6 e 8 no ltimo algarismo. O quinto nmero perfeito (33.550.336 = 2 (2 1)) tem 8 algarismos, contrariando a primeira armao. Como termina em 6, a segunda armao parecia no ser falsa. Todavia, o sexto nmero perfeito (8.589.869.056) tambm termina em 6. fcil provar que o ltimo algarismo de um nmero perfeito par sempre 6 ou 8.
Os nmeros perfeitos alternam

12

13

Em meados do ano 100 DC, Nicmaco observou que nmeros perfeitos atingem uma harmonia entre os extremos de excesso e decincia. Observe que os nmeros perfeitos 6, 28, 496 e 8128 so os nico perfeitos no intervalo 1, 10, 100, 1000 e 10000 e eles terminam alternadamente em 6 e 8. No nal do sculo XII, o rabino Josef B. Jehuda Ankin sugeriu que o estudo cuidadoso dos nmeros perfeitos fosse uma parte essencial para a cura da alma. Erycius Puteanus em 1640 desenvolveu um trabalho atribuindo ao nmero perfeito e a Vnus, formada a partir da trade (maculino, mpar) e da dupla (feminino, par). Hrotsvit, uma beneditina de um convento da Saxnia listou os quatro primeiros nmeros perfeitos em sua pea literria (Poesia) Sapietia no sculo X. Santo Agostinho (entre outros, incluindo os antigos Hebreus) considerou 6 um nmero verdadeiramente perfeito, Deus fez a terra em exatamente esta quantidade de dias para signicar a perfeio de sua obra. Alcuino de York (732  804 DC) registrou que a segunda origem foi imperfeita como a que surgiu a partir do nmero deciente 8 que maior do que a soma dos seus

51

Captulo 3.

Histria e conjecturas

divisores prprios, signicando as oito almas na arca de No (No, seus trs lhos e suas quatro esposas conforme o livro de Gnesis, captulo 7 sobre o surgimento da raa humana atual. Philo, judeus no primeiro sculo da era crist, chamava o nmero 6 de o mais produtivo de todos os nmeros, sendo o menor nmero perfeito. Ao longo dos sculos que se seguiram, vrios matemticos cuidadosamente estudaram os nmeros perfeitos. Como vimos at o tempo de Descartes e Fermat, vrios resultados importantes bem como mal interpretados tinham sido escritos.

3.1

Primos de Mersenne

2n 1 seja primo, necessrio, mas no suciente, que n seja primo. Os n primos da forma 2 1 so conhecidos como primos de Mersenne, em honra ao monge, lsofo e matemtico francs Marin Mersenne, que os estudou em 1644 junto com a
Para que teoria dos nmeros e as propriedades dos nmeros perfeitos. Um milnio depois de Euclides, Ibn al-Haytham (Alhazen), por volta do ano 1000 percebeu que todo o nmero perfeito par da forma

2n1 (2n 1),

onde

2n 1

um nmero primo, mas no conseguiu provar o resultado. Leonhard Euler provou que a frmula pares.

S no sculo XVIII,

2n1 (2n 1)

daria todos os nmeros perfeitos

Portanto, todo primo de Mersenne gera um diferente nmero perfeito par, Este resultado muitas

numa correspondncia unvoca entre ambos os conjuntos. vezes referido como o "teorema de Euclides-Euler".

data de Setembro de 2009, eram conhecidos 47 primos de Mersenne, o que signica que h 47 nmeros perfeitos pares conhecidos, sendo o maior um enorme nmero com 25.956.377 algarismos.

243.112.608 (243.112.609 1),

2n1 (2n 1) para n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917 (seqncia A000043 na OEIS). Os outros oito conhecidos so para n = 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609. No se sabe se h outros algures neste
Os primeiros 39 nmeros perfeitos pares so da forma intervalo. Encontrar nmeros perfeitos onde pares ainda reduz-se simplesmente a encontrar

nmeros da forma

2 1,

um nmero primo. Existem 47 nmeros primos

perfeitos de Mersenne, resumidos na tabela abaixo.

52

Captulo 3.

Histria e conjecturas

ordem 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35

p 2 3 5 7 13 17 19 31 61 89 107 127 521 607 1279 2203 2281 3217 4253 4423 9689 9941 11213 19937 21701 23209 44497 86243 11003 132049 216091 756839 859433 1.257.787 1.398.269

dgitos 1 1 2 3 4 6 6 10 19 27 33 39 157 183 386 664 687 969 1281 1332 2917 2993 3376 6002 6533 6987 13395 25962 33265 39751 65050 227832 258716 378632 420921

ano antiguidade antiguidade antiguidade antiguidade 1461 1588 1588 1750 1883 1911 1913 1876 Jan. 30, 1952 Jan. 30, 1952 Jan. 30, 1952 Jan. 30, 1952 Jan. 30, 1952 Set. 8, 1957 Nov. 3, 1961 Nov. 3, 1961 Mai 11, 1963 Mai 11, 1963 Jun. 2, 1963 Mar. 4, 1971 Out. 30, 1978 Fev. 9, 1979 Abr. 8, 1979 Set. 25, 1982 Jan. 28, 1988 Set. 20, 1983 Set. 6, 1985 Fev. 19, 1992 Jan. 10, 1994 Set. 3, 1996 Nov. 12, 1996

referncia ao descobridor

Reguis (1536), Cataldi (1603) Cataldi (1603) Cataldi (1603) Euler (1772) Pervouchine (1883), Seelho (1886) Powers (1911) Powers (1914) Lucas (1876) Robinson Robinson Robinson Robinson Robinson Riesel Hurwitz Hurwitz Gillies (1964) Gillies (1964) Gillies (1964) Tuckerman (1971) Noll and Nickel (1980) Noll (Noll & Nickel 1980) Nelson & Slowinski (Slowinski 1978-79) Slowinski Colquitt & Welsh (1991) Slowinski Slowinski Slowinski & Gage Slowinski & Gage Slowinski & Gage Joel Armengaud/GIMPS

53

Captulo 3.

Histria e conjecturas

36 37 38 39 40 41 42 43 44 45 46 47

2.976.221 3.021.377 6.972.593 13.466.917 20.996.011 24.036.583 25.964.951 30.402.457 32.582.657 37.156.667 43.112.609 42.643.801

895832 909526 2098960 4053946 6320430 7235733 7816230 9152052 9808358 11.185.272 12.978.189 12.837.064

Ago. 24, 1997 Jan. 27, 1998 Jun. 1, 1999 Nov. 14, 2001 Nov. 17, 2003 Mai 15, 2004 Fev. 18, 2005 Dez 15, 2005 Set. 4, 2006 Set. 6, 2008 Ago. 23, 2008 Abr. 12, 2009

Gordon Spence/GIMPS (Devlin 1997) Roland Clarkson/GIMPS Nayan Hajratwala/GIMPS Michael Cameron/GIMPS Michael Shafer/GIMPS (Weisstein 2003) Josh Findley/GIMPS (Weisstein 2004) Martin Nowak/GIMPS (Weisstein 2005) Dr. Curtis Cooper e Dr. Steven Boone Dr. Curtis Cooper e Dr. Steven Boone GIMPS / Hans-Michael Elvenich GIMPS / Edson Smith GIMPS / Odd Magnar Strindmo

Com cada um desses primos, h uma histria que se passa com a sua descoberta. Por exemplo, Peter Barlow em sua Teoria dos Nmeros publicados em 1811, escreveu sobre o oitavo nmero perfeito: " o maior que ser descoberto, pois, como eles

so meramente curiosos sem ser teis, no provvel que qualquer pessoa ir tentar encontrar um mais alm. Os primos de Mersenne parecem ser distribudos regularmente em grandes

estimativas (ou seja, dentro de milhares de ordens de magnitude) pode ser dado [15], mas, em ltima anlise, esses nmeros devem ser checados um por um. Fechamos com um resultado interessante:

3.2
Se

Conjectura Cunningham

p = 2x 1 ou 2x 3 primo, p 3 mod 4, e 2p + 1 primo, ento 2p 1 primo. p Todos conhecidos e conjecturados primos 2 1, com p primo, esto abrangidos por

esta regra.

3.3

Conjectura de Goldbach

Goldbach escreveu uma carta para Euler em 1742 sugerindo que todo nmero inteiro

n > 5

fosse a soma de trs nmeros primos.

Euler respondeu dizendo que

era equivalente a dizer que todo inteiro par

n > 2 fosse a soma de dois nmeros primos.

Esta, assim formulada, passou a ser a chamada  `Conjectura de Goldbach.

54

Captulo 3.

Histria e conjecturas

4=2+2 6=3+3 8=5+3 10 = 7 + 3


3.3.1

12 = 7 + 5 14 = 11 + 3 16 = 13 + 3 18 = 13 + 5

Relao dos primeiros 1000 primos positivos, destacados os gmeos

3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173,179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263,269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811,821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883,
2, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997, 1009, 1013,

1049, 1051, 1061, 1063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 1163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223,1229, 1231, 1237, 1249, 1259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303,1307, 1319, 1321, 1327, 1361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429,1433, 1439, 1447,1451, 1453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499,
1039, 1511, 1523, 1531, 1543, 1549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607,

1019, 1021, 1031,1033,

1619, 1621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699,1709, 1721, 1723, 1733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 1847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 1949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 2039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111,2113, 2129, 2131, 2137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221,2237, 2239, 2243, 2251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311,2333, 2339, 2341, 2347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 2437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 2551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657,2659, 2663, 2671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 2741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 2843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 2957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 3067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169,
1609, 1613, 55

Captulo 3.

Histria e conjecturas

3251, 3253, 3257, 3259, 3271, 3299, 3301, 3307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389,3391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 3517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 3607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 3701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 3821,3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 3919,3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 4021,4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 4133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 4243,4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 4357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 4481,4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 4591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 4691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 4801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919,4931, 4933, 4937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 5021, 5023,5039, 5051, 5059, 5077, 5081,5087, 5099, 5101, 5107, 5113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 5227,5231, 5233, 5237, 5261, 5273, 5279, 5281,5297, 5303, 5309, 5323, 5333, 5347, 5351, 5381, 5387, 5393, 5399, 5407, 5413, 5417,5419, 5431, 5437, 5441, 5443, 5449, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 5531, 5557, 5563, 5569, 5573, 5581, 5591, 5623, 5639, 5641, 5647,5651, 5653, 5657, 5659, 5669, 5683, 5689, 5693, 5701, 5711, 5717, 5737, 5741,5743, 5749, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 5839, 5843, 5849, 5851,5857, 5861, 5867, 5869, 5879, 5881, 5897, 5903, 5923, 5927, 5939, 5953, 5981,
3181, 3187, 3191, 3203, 3209, 3217, 3221, 3229, 5987, 6007, 6011, 6029, 6037, 6043, 6047, 6053, 6067, 6073, 6079, 6089, 6091, 6101, 6113, 6121,

6131, 6133, 6143, 6151, 6163, 6173, 6197, 6199, 6203, 6211, 6217, 6221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 6311, 6317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 6421, 6427,6449, 6451, 6469, 6473, 6481, 6491, 6521, 6529, 6547,6551, 6553, 6563, 6569,6571, 6577, 6581, 6599, 6607, 6619, 6637, 6653, 6659, 6661, 6673, 6679, 6689,6691, 6701, 6703, 6709, 6719, 6733, 6737, 6761, 6763, 6779, 6781, 6791, 6793,6803, 6823, 6827, 6829, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 6911, 6917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 7013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 7103, 7109, 7121, 7127, 7129, 7151, 7159, 7177, 7187, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 7243, 7247, 7253, 7283, 7297, 7307, 7309, 7321, 7331, 7333, 7349, 7351, 7369, 7393, 7411, 7417, 7433, 7451, 7457, 7459, 7477, 7481,7487, 7489, 7499, 7507, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 7561, 7573, 7577, 7583,
56

Captulo 3.

Histria e conjecturas

7589, 7591, 7603, 7607, 7621, 7639, 7643, 7649, 7669, 7673, 7681, 7687, 7691, 7699, 7703, 7717, 7723, 7727, 7741, 7753,7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 7873, 7877, 7879,7883, 7901, 7907, 7919
Um pouco mais de sabor sua curiosidade, The Electronic Frontier Foundation oferece um prmio de US$100.000,00 primeira pessoa ou ao grupo que descobrir um nmero primo de 10 milhes de casas decimais. O nmero de dgitos de Mersenne dado por:

de um nmero

D = [log(2n 1) + 1]
onde a funo

[ x]

dene o maior inteiro menor ou igual a

x.

[45, 678] = 45

[8, 250] = 9

[301] = 301

57

Referncias Bibliogrcas
[1] A. Hefez, Elementos de Aritmtica. Textos Universitrios, SBM, 2010. [2] David Burton, Elementary number theory, 2010. [3] Gareth A. Jones J. Mary Jones,

Elementary

number

theory.

Springer

Undergraduate Mathematics, 1998. [4] Underwood Dudley, Elementary number theory, 2012. [5] Willian Dunham, Euler The Master of Us All. The Mathematical Association of America, 1999.

58

You might also like