Академический Документы
Профессиональный Документы
Культура Документы
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
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) =
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
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
(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)
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.