Você está na página 1de 4

MA14 - Unidade 15 Nmeros Perfeitos Semana de 10/10 a 16/10

Seja n um nmero natural maior do que 1. Denotemos por S (n) a soma de todos os seus divisores. Note que S (0) no est denido e que S (1) = 1. Se n 2, o prximo resultado nos fornecer uma frmula para S (n) em funo da decomposio de n em fatores primos.
Proposio 1. Seja

r 1 n = p 1 pr ,

onde

p1 , . . . , p r

so nmeros primos e

1 , . . . , r N

. Ento,
1 +1 p 1 pr +1 1 1 r . p1 1 pr 1

S (n) =
Demonstrao

Considere igualdade
r 1 p 1 pr ,

r 1 (1 + p1 + + p 1 ) (1 + pr + + pr ) =

onde o somatrio do lado direito da igualdade tomado sobre todas as r-uplas (1 , . . . , r ) ao variar de cada i no intervalo 0 i i , para i = 0, . . . , r. Como tal somatrio, pela Proposio 2, Unidade 12, representa a soma de

2 MA 14 Unidade 15 todos os divisores de n, a frmula para S (n) resulta aplicando a frmula da soma de uma progresso geomtrica a cada soma do lado esquerdo da igualdade acima.
2

Segue-se imediatamente do resultado acima, o seguinte corolrio.


Corolrio.
A funo

S (n)

multiplicativa; isto , se

(n, m) = 1,

ento

S (n m) = S (n)S (m).
Exemplo 1.

S (3) =

22 1 = 4. 21

S (6) = S (2 3) =

22 1 32 1 = 12. 21 31 33 1 = 39. 31 72 1 = 56. 71

22 1 21 3 2 1 S (28) = S (22 7) = 21 S (18) = S (2 32 ) = S (45) = S (32 5) =

33 1 52 1 = 78. 31 51 Note que S (18) = 39 = 48 = S (3)S (6); e, portanto, a concluso do corolrio acima no vale se (n, m) = 1.

Os nmeros como 6 e 28, com a propriedade de serem iguais metade da soma de seus divisores, tiveram o poder de fascinar os gregos antigos, que os chamaram de nmeros perfeitos. Mais precisamente, um nmero n chamado de nmero perfeito se S (n) = 2n. Ou ainda, se o nmero igual soma dos seus divisores distintos dele mesmo. At a Idade Mdia, conheciam-se apenas os seguintes nmeros perfeitos: 6, 28, 496, 8128 e 33550336. Atualmente, conhecem-se mais alguns nmeros perfeitos. Um fato curioso que todos os nmeros perfeitos conhecidos so pares. No se sabe nada sobre a existncia ou no de nmeros perfeitos mpares. O teorema

Nmeros Perfeitos

que enunciaremos abaixo, parte devida a Euclides e parte devida a Euler, caracterizar os nmeros perfeitos pares, relacionando-os com os nmeros de Mersenne denidos na seo anterior. Antes, porm, daremos um pequeno lema.
Lema 1. Seja
nmero primo.

n N .

Tem-se que

S (n) = n + 1

se, e somente se,

um

Demonstrao

Se S (n) = n + 1, segue-se que n > 1 e que os nicos divisores de n so 1 e n; logo, n primo. Reciprocamente, se n primo, da Proposio 1, segue-se que S (n) =
n2 1 = n + 1. n1 2

Teorema 1

(Euclides-Euler).
n=2
p1

Um nmero natural

um nmero perfeito

par se, e somente se,

(2 1),

onde

2 1

um primo de Mersenne.

Demonstrao

Suponha que n = 2p1 (2p 1), onde 2p 1 um primo de Mersenne. Logo, p > 1, e, consequentemente, n par. Como 2p 1 mpar, temos que (2p1 , 2p 1) = 1. Logo, pela Proposio 1, o seu corolrio e o Lema 1, segue-se que
S (n) = S (2p1 (2p 1)) = S (2p1 )S (2p 1) = 2p 1 p 2 = 2n. 21

Portanto, n perfeito. Reciprocamente, suponha que n perfeito e par. Seja 2p1 a maior potncia de 2 que divide n. Logo, p > 1 e n = 2p1 b com b mpar. Temos, ento, que (2p1 , b) = 1 e, pela Proposio 1 e o seu corolrio, segue-se que S (n) = (2p 1)S (b). Como S (n) = 2n, segue-se que
(2p 1)S (b) = 2p b.

(1)

Da segue-se que (2p 1)|b pois (2p , 2p 1) = 1. Logo, existe c N com c < b tal que b = c(2p 1). (2)

4 MA 14 Unidade 15 Substituindo (2) em (1), segue-se que


(2p 1)S (b) = 2p (2p 1)c;

portanto,
S (b) = 2p c.

(3)

De (2) temos que c e b so dois divisores distintos de b tais que c + b = 2p c. Nesta situao, c = 1. De fato, suponha, por absurdo, que c = 1. Temos, ento, que S (b) 1 + c + b > c + b = 2p c. Disto e de (3) segue-se que
2p c = c + b < S (b) = 2p c,

contradio. Portanto, de (2) e (3) segue-se que S (b) = b + 1. Logo, pelo Lema 1, b primo. Temos, assim, que n = 2p1 (2p 1) com 2p 1 primo.
2

A primeira parte da demonstrao do teorema acima, sem dvida a mais fcil, j se encontra nos Elementos de Euclides (Proposio 36, livro IX). A recproca data do sculo 18 e devida a Euler. O fato do nmero 2p 1, no enunciado do teorema, ser um nmero primo de Mersenne, implica que p primo. Note, ainda, que o teorema reduz a existncia ou no de um nmero innito de nmeros perfeitos pares ao problema anlogo para primos de Mersenne.
Problemas

Mostre que a soma dos inversos dos divisores de um nmero perfeito par sempre igual a 2.
1. 2.

Seja an = 22n (22n+1 1). Mostre por induo sobre n que


a2n+1 = 256a2n1 + 60(16n ), a2n+2 = 256a2n + 240(16n ).