Professional Documents
Culture Documents
Nmeros Perfeitos
por
1O
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
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.
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
Aprovado em:
de
2013
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
1.3
1.4
Congruncias 1.4.1
1.5
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
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.
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
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.
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,
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),
tais que
a|b
a | c,
Demonstrao:
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
a b,
pois
Observao 1.1.
A relao de divisibilidade em
a N , a | a. b | c,
ento
a|b
a | c.
Captulo 1.
Diviso em
N N,
dizemos que um nmero natural
Denio 1.2.
i)
Seja
um subconjunto de
um
menor elemento de
a S, n S , a n.
Este menor elemento se existe, nico e ser denotado por
Observao 1.2.
De fato, se
minS .
so os menores elementos de
S,
ento
aa
a a
a=a.
Demonstrao:
Seja
um subconjunto no vazio de
no possui um
T,
complementar de
em
N.
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
Demonstrao:
Suponha que
b, b a, b 2a, . . . , b n a, . . ..
Se
formado
r = b q a.
r < a.
a | b,
ento
r=0
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
so chamados, respectivamente,
Corolrio 1.1.
natural
com
1 < a b,
existe um nmero
tal que
na b < (n + 1)a.
b = a q + r.
Basta
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
10n = 9 q + 1.
Considere
n+1
n N.
Exemplo 1.2.
n N
n n
por por
2 2
0, 1,
qN qN
n = 2 q;
ou
n = 2 q + 1.
2q
para algum
q N,
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
n,
r < m.
Dados
Exemplo 1.4.
Como
mpar,
an
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 ou
da forma
4k + 1.
1.2
Nmeros primos
Um nmero natural maior do que
Denio 1.3.
e por si
Observao 1.3.
i) Se
e um nmero natural
qualquer,
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
n1
de
tal que
Captulo 1.
Diviso em
N
existir um nmero natural
n2
tal que
n = n1 n2 ,
com
Observao 1.4.
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.
Sejam
a, b, p N ,
com
primo. Se
p | a b,
ento
p|a
ou
p | b.
(p, a) = 1
e, temos
p | ab
Axioma de Induo
Seja
um subconjunto de
tal que
i) ii)
0S S
Se fechado com relao operao de somar
todo
aN
e seja
p(n)
n.
Suponha que
p ( a)
verdadeira, e que
n a, p(n)
implica
p(n + 1)
verdade, ento
p(n)
n a.
Demonstrao:
para os quais
Seja
V = {n N ; p(u)},
isto ,
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
n, p(a)
. . . p(n)
implica
p(n + 1)
verdade.
p(n)
n a. V = {n a + N ; p(n)}.
Queremos provar que
Demonstrao:
o conjunto
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
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.
Demonstrao:
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,
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:
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
com
n1 < n
n2 < n.
(n 1)! = 1 n1 n2 (n 1),
o que mostra que Suponhamos que
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
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
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 .
Demonstrao:
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
n>1
p n,
Captulo 1.
Diviso em
N n
no seja divisvel por nenhum
Demonstrao:
nmero primo
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
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
n,
a sequncia
Captulo 1.
Diviso em
N n
nmeros consecutivos compostos.
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.
{1, . . . , x}
(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
1 . lnx
de la Valle- Poussin,
(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
a
e
b,
dN
um divisor comum de
se
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:
se possuir as seguintes
i)
um divisor comum de
e de
b,
11
Captulo 1.
Diviso em
N a
e
ii)
b.
um divisor comum de
a
e
b,
e
ento
c | d.
Portanto, se
um mdc de
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
dd
e
d d,
e, consequentemente,
d = d.
b,
e
de dois nmeros naturais no simultaneamente nulos), est sendo denotado por Como o mdc de
(a, b).
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
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.
Se existe
(a, b na),
(a, b)
existe, e
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
b na
e, portanto,
c | d.
Observao 1.6.
ou que, se
na > b,
ento
Exemplo 1.7.
Dados
a, m N
com
a > 1,
temos que
am 1 ,a 1 a1
De fato, chamado de
= (a 1, m).
a 1 | (am1 1) + (am2 1) + . . . + (a 1)
segue-se que
para algum
n N,
e,
Exemplo 1.8.
a+1
divide
para os quais
2n
+ 1.
a + 1 | a2n + 1 (a + 1, a2n + 1) = a + 1.
Como
a2n + 1 = (a2n 1) + 2,
n,
13
Captulo 1.
Diviso em
N
se, e somente se,
Portanto, ocorre
a + 1 = (a + 1, 2),
o que
Exemplo 1.9.
a+1
divide
para os quais
2n+1
1.
Note que
a + 1 | a2n+1 1,
para algum
n N,
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
b = aq1 + r1 ,
Temos duas possibilidades:
com
r1 < a.
a)
r 1 | a,
r 1 a,
por
r1 ,
obtendo
a = r1 q2 + r2 ,
Novamente, temos duas possibilidades:
com
r2 < r1 .
14
Captulo 1.
Diviso em
a ) r2 | r1 ,
b ) r2 r1 ,
r1
por
r2 ,
obtendo
r1 = r2 q 3 + r3 ,
Este procedimento no pode continuar
com
r3 < r2 .
pois teramos uma
indenidamente,
n,
temos que
rn | rn1 ,
a seguir.
(a, b) = rn .
b = aq1 + r1
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
q1 b r1 a r2
q2 r1 r3
q3 r2 r4
qn1 rn2 rn
qn rn1
qn+1 rn = (a, b)
Exemplo 1.10.
15
Captulo 1.
Diviso em
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
6 = (372, 162)
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
Tem-se que
o mdc de
Demonstrao:
i) Suponha que
divida
b.
Logo,
m a n b; c | d. x J (a, b)
J (a, b),
e, consequentemente
J (a, b).
Seja
d x.
com
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
d = minJ (a, b)
r < d.
Em particular,
d|a
d | b.
claro que
x J (a, b)
tal que
d | x,
e, portanto,
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.
Demonstrao:
Corolrio 1.4.
Dados
a, b N,
tem-se que
a b , (a, b) (a, b)
= 1.
17
Captulo 1.
Diviso em
Demonstrao:
(a, b)
a b , (a, b) (a, b)
(a, b)
= (a, b),
(a, b) = 1;
1.
e
n a
e
e
m b
tais que
b sero primos na mb = 1.
pelo Teorema 1.4, existem nmeros naturais segue-se a primeira parte da proposio.
tais que
d = (a, b),
temos que
d | (na mb),
o que mostra
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
bc = ac. existem m, n N
tais que
na mb = 1.
Multiplicando por
c = nac mbc.
Substituindo
bc
por
ac
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:
n, m N.
Logo,
n b c , (b, c) (b, c)
Como
= 1,
segue-se
b | cm. (b, c)
Como
cm = a,
o resultado se segue.
as seguintes propriedades:
i)
um divisor comum de
a1 , . . . , a n . a1 , . . . , a n ,
ento
ii) Se
um divisor comum de
c | d.
(a1 , . . . , an ).
a1 , . . . , a n ,
sabemos que o resultado vlido. Suponha que o resultado que o resultado vlido para
Para
n = 2,
Para provar
n + 1,
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
so congruentes mdulo
a b mod m. a b mod m.
Como
Observao 1.7.
a b mod 1,
Quando
no so congruentes, escrevemos
b N.
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
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.
Proposio 1.15.
Seja i)
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
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 b mod m.
Proposio 1.18.
b c mod m
Sejam
se, e somente
m > 1.
Temos que
ac
Captulo 1.
Diviso em
Demonstrao:
m (c, m)
e
c c, m
ac bc mod m
se, e
se, e somente, se
a b mod
Se anterior.
m c | (b c) (c, m) c, m
m | (b a) c, m a b mod d.
Pela Proposio
1.5
Desde, pelo menos, 500 anos antes de Cristo, os chineses sabiam que, se nmero primo, ento
um
p | 2 2.
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
p i
, onde
0 < i < p,
so todos
divisveis por
p.
O resultado vale trivialmente para
Demonstrao:
i = 1.
Como
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
p,
tem-se que
divide o nmero
ap a,
para todo
a N. a.
O resultado vale
Demonstrao:
claramente para
(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
n9
n,
quando escritos
10,
9
n n
par; isto ,
10 | n9 n. 2 | n9 n.
Como
n9
n tm a mesma paridade,
5 | n5 n
e, portanto,
5 | n9 n.
Tem-se,
10 | n9 n.
Se
Corolrio 1.6.
p,
ento
um nmero primo e se
divide
p1
1. p | a(ap1 1)
e como
Demonstrao:
(a, p) = 1,
divide
ap1 1.
Observao 1.8.
tal que
m a
m1
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.
primo?
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
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.
47 | 246 1.
Logo, temos que
47
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
p a,
p| a
Como
p1 2
1 1
a
ou
+1 .
p1 2
p| a
p1 2
p| a
+1
Decidir qual das duas condies de divisibilidade acima ocorre, , em geral, um problema difcil.
24
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
temos que
n. para n = 0,
pois
a+b
divide
a1 + b 1 .
Suponhamos
a+b|a
2n+1
+b
2n+1
. Escrevemos
a + b | a2 b 2
e, por hiptese,
n N.
m
Proposio 2.2.
ento
Sejam ,
par e
n=2
n nmeros com m N.
e
1.
Se
an + 1
primo,
Demonstrao:
Suponhamos que
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,
Captulo 2.
Nmeros Perfeitos
an + 1
dividiria
o fato desse
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.
(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
1.
Se
an 1
primo,
a=2
primo.
Por hiptese
Demonstrao:
absurdo, que absurdo.
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.
2p 1,
onde
um nmero primo, so
Notao: Mp = 2p 1.
26
Captulo 2.
Nmeros Perfeitos
Observao 2.1.
No intervalo
2 p 5000,
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
Teorema 2.1
(de Dirichlet)
Observao 2.2.
teorema.
A demonstrao deste resultado muito difcil e pertence teoria No entanto, demonstraremos alguns casos particulares do
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)
Demonstraremos alguns casos particulares do Teorema, usando as duas primeiras progresses aritmticas.
Proposio 2.4.
nmeros primos.
Na progresso aritmtica
existem innitos
Demonstrao:
4n + 3.
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,
p1 < . . . < pk
da forma
4n + 3, com n 1.
Ento, o nmero
a = 4(p1 p2 pk ) + 3 no
27
Captulo 2.
Nmeros Perfeitos
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,
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 ni a + 0
2n+1
(a 1)
2n+1
=
i=0
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
Captulo 2.
Nmeros Perfeitos
c)
2n
(a 1)2n =
i=0
2n 2n a 0
= a2n 2na2n1 + . . .
2n a1 + 1 2n 1 2n 2n 1 +1
= a a2n1 2na2n2 + . . . = ma + 1.
4n + 1
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.
x2 + 1
da forma
4n + 1.
Demonstrao:
4n + 1.
p = 2 de x2 + 1 da = {4n + 1; n N} (p1)/2 N
temos que
Elevando potncia
(p 1)/2
, N,
que
xp1 = (x2 )
p1 2
= (p 1)
p1 2
p + 1, p 1,
se se
p1 2 p1 2
par mpar
xp1 = p 1
29
Captulo 2.
Nmeros Perfeitos
Subtraindo
(2.1)
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
aritmtica
existem
p1 , . . . , p k
de
4n + 1.
Considere o nmero
2 a = 4p2 1 pk + 1 .
Como
pi a,
para todo
i = 1, . . . , k ;
da forma
4n + 3,
2.2
{a, b}
1.
Denotamos por
S (n)
a soma de todos
os divisores de
n.
Observe que
Consideremos, ento
n2
1. 2.
e encontremos
S (n).
S (n).
m p
S (m) = m + n = S (n).
primo se e apenas
S (p) = p + 1.
30
Captulo 2.
Nmeros Perfeitos
3.
um nmero perfeito se
4. Se
r+1
n = 2r ,
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
(a, b) = 1,
ento
S (a b) = S (a) S (b).
Suponha que
a = p2
b = q r,
com
p, q
primos.
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
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
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
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.
Lema 2.3.
primo.
Seja
n N ,
tem-se que
S (n) = n + 1
um nmero
Demonstrao:
so
Se
S (n) = n + 1,
segue-se que
n:
Logo
primo. Reciprocamente, Se
os nicos divisores de
Sn =
(n + 1)(n 1) n2 1 = = n + 1. n1 n1
n=2
p1
(2 1),
2 1
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.
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
(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.
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,
primo.
a existncia ou no de um nmero innito de nmeros perfeitos pares ao problema anlogo para primos de Mersenne.
Observao 2.5.
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
a2 = 96, a6
, onde
logo da forma
a6,
onde
mpar.
n,
a2 n .
Suponha
a2n
termina em
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,
Teorema 2.3.
diferentes.
Demonstrao:
r 1.
Ento
S (n) = 2n.
S (n) = 1 + p + p2 + . . . + pr =
pr+1 1 . p1
35
Captulo 2.
Nmeros Perfeitos
Mas
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
n = pr q s
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
d |n
incluindo o prprio
n.
Observao 2.6.
divisores prprios de
igual a
n.
S (n)
que
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
S (N ) =
i=1
(1 + pi +
p2 i
p3 i
+ ... +
i p i )
=
i=1
1 p i
Demonstrao:
sorte que
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
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
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
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
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
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.
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,
38
Captulo 2.
Nmeros Perfeitos
Se
2n 1
primo, ento
N = 2n1 (2n 1)
Demonstrao:
2n 1
Se
2n 1
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.
n = 11,
ento
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.
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
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
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.
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
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
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,
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.
Um puzzle
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
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,
Demonstrao 1:
Seja
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
q > 1,
Os fatores de
incluem
1, q, 2n 1
(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
2n m = (2n 1) S (m)
S (m) =
como
S (m)
d =
(2n 1) | m
e consequentemente
d | m.
43
m 2n 1
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,
divide
m,
S (m) = m + d + 1,
absurdo, portanto,
m = 2n 1
e,
2n 1
primo.
Demonstrao 3:
Desde que
(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
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
2n m = (2n 1) S (m)
em que
2n 1 | m.
Escrevendo
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
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
pi < d
1+
k=2
1 pi
pi = d. N
Porm, a partir de
perfeito.
45
Captulo 2.
Nmeros Perfeitos
Demonstrao 6:
J vimos que
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
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.
Se
triangular.
N = 2n1 (2n 1) =
1 2n (2n 1) = 2n (2n 1) 2 2
Proposio 2.10.
Se
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 = [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
48
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
Essa conjectura
n = 5
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
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
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)
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.
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,
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
54
Captulo 3.
Histria e conjecturas
12 = 7 + 5 14 = 11 + 3 16 = 13 + 3 18 = 13 + 5
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,
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]
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