UNIVERSIDADE FEDERAL DE SANTA CATARINA

CENTRO DE CINCIAS FSICAS E MATEMTICAS

LICENCIATURA EM MATEMTICA
NMEROS CURIOSOS
DANIELLA ZATARIAN
FLORIANPOLIS
2003
UNIVERSIDADE FEDERAL DE SANTA CATARINA
CENTRO DE CINCIAS FSICAS E MATEMTICAS
LICENCIATURA EM MATEMTICA
NMEROS CURIOSOS
DANIELLA ZATARIAN
Trabalho de concluso de curso orientado por
Lcio Hernanes Bezerra
FLORIANPOLIS
2003
Esta Monografia foi julgada adequada como TRABALHO DE CONCLUSO DE CURSO
no Curso de Matemtica Habilitao Licenciatura, e aprovada em sua forma final pela Banca
Examinadora designada pela Portaria n
o
34/SCG/03.
__________________________________________
Prof. Nereu Estanislau Burin
Professor da disciplina
Banca Examinadora:
__________________________________________
Prof. Lcio Hernanes Bezerra
Orientador
__________________________________________
Prof.
a
Carmem Suzane Comitre Gimenez
__________________________________________
Prof. Jos Luiz Rosas Pinho
Ao meu futuro marido, Alexandre Felix,
pelo apoio e incentivo e por todos os
minutos ao seu lado.
Agradecimentos
Agradeo todas as pessoas que durante o perodo de elaborao deste trabalho me
incentivaram e me ajudaram a atravessar todos os obstculos encontrados.
Sumrio
Introduo ........................................................................................................................ 9
Captulo 1 A proporo urea e o nmero de Fibonacci .................................. 10
1.1 A proporo urea ...................................................................................................... 10
1.1.1 Um breve relato histrico ................................................................................... 10
1.1.2 O nmero (Phi) ................................................................................................ 11
1.1.3 O retngulo ureo............................................................................................... 12
1.1.4 O retngulo de Fibonacci ................................................................................... 14
1.1.5 A espiral logartmica ........................................................................................... 15
1.1.6 O pentgono e o pentagrama.............................................................................. 16
1.2 Os nmeros de Fibonacci ............................................................................................ 17
1.2.1 A frmula de Binet ............................................................................................. 18
1.2.2 Os nmeros de Fibonacci a partir de uma funo geratriz .................................. 21
1.2.3 Curiosidades ...................................................................................................... 24
1.2.4 Nmeros de Fibonacci e o tringulo de Pascal .................................................... 25
Captulo 2 Nmeros curiosos ................................................................................. 31
2.1 Os nmeros perfeitos ................................................................................................... 31
2.1.1 Quantidade de divisores de um nmero .............................................................. 32
2.1.2 A soma dos divisores de um nmero .................................................................. 33
2.1.3 A frmula de Euclides para um nmero perfeito par ............................................ 34
2.1.4 Os dgitos finais dos nmeros perfeitos pares ...................................................... 37
2.1.5 Regra simples para determinar o dgito final de um nmero perfeito par .............. 38
2.1.6 A soma dos inversos dos divisores de um nmero perfeito par ........................... 40
2.1.7 Nmeros perfeitos pares so triangulares ............................................................ 40
2.1.8 A raiz digital do nmero perfeito par ................................................................... 41
2.2 Os primos de Mersenne .............................................................................................. 42
2.3 Os nmeros amigveis ................................................................................................. 43
Concluso ....................................................................................................................... 44
Referncias bibliogrficas............................................................................................ 45
Resumo
Neste trabalho apresentamos um estudo histrico da razo urea e constatamos a sua ocorrncia
em vrias figuras geomtricas (espiral logartmica, pentagrama, etc.) e na natureza. Verificamos
a relao do numero ureo com a seqncia de Fibonacci e deduzimos alguns resultados
interessantes dessa relao. Introduzimos, ainda, os nmeros perfeitos e a sua correspondncia
com os primos de Mersenne, via frmula de Euclides, e conclumos o trabalho com os nmeros
amigveis.
Podemos, em especial nas cincias matemticas, observar a ordem, a
simetria e a restrio; e estas so as formas superiores do belo.
Aristteles
Introduo
Neste trabalho procuro buscar a beleza matemtica e, ao mesmo tempo, desvendar
tpicos curiosos que atraem a ateno at mesmo do leitor leigo.
A magia do nmero ureo me chamou a ateno j antes de comear a graduao,
quando lia artigos sobre a arte grega, e, aps comear os estudos, percebi que tudo no mundo
tem uma relao com a matemtica.
No captulo 1, o estudo est direcionado para esse nmero, examinando figuras simples
que escondem curiosas relaes. Entre elas esto o retngulo ureo e a espiral logartmica.
Neste captulo, mostro que os nmeros de Fibonacci, com demonstraes e interessantes
aplicaes, esto intimamente relacionados com a razo urea, podendo ser encontrados em
qualquer lugar, seja nas plantas ou em conchas do mar.
No captulo 2, restrinjo o estudo a trs nmeros fascinantes: os perfeitos, os amigveis e
os primos de Mersenne. Tais nmeros possuem propriedades especiais e trazem aos curiosos
uma divertida matemtica. Estes tambm so encontrados no mundo, seja no perodo lunar ou
em passagens bblicas.
Enfim, busco com este trabalho atrair os leitores, matemticos ou no, que tenham como
principal caracterstica a apreciao da beleza diferente, curiosa e matemtica.
Captulo 1
A proporo urea e o nmero
de Fibonacci
1.1 A proporo urea
1.1.1 Um breve relato histrico
O mundo grego sempre foi rodeado de misticismos, sabedorias e, principalmente, belezas.
Prova disso est no uso da proporo urea em suas mais variadas obras, como, por exemplo,
uma das obras arquitetnicas gregas mais admiradas
da antiguidade, o templo de Parthenon (figura 1),
construdo pelo arquiteto e escultor Phideas
(sc. V a.C.), que organizou toda a fachada do
templo de acordo com a proporo urea.
Se tomarmos o lado maior do retngulo
que circunscreve a fachada do Parthenon e
dividirmos pelo seu lado menor, o resultado ser
aproximadamente 1,618, que chamado de
nmero ureo.
A harmonia nessa proporo tambm se encontra na composio da obra mais famosa
de Leonardo da Vinci: a Mona Lisa (figura 2). Se construirmos um retngulo em torno de seu
rosto, veremos que se encaixa na proporo urea, e, subdividindo esse retngulo na linha
horizontal dos olhos, encontraremos tambm a proporo urea.
Figura 1 Parthenon de Atenas
(www.mat.uel.br/geometrica/4tarq.htm)
1 1
Leonardo da Vinci tambm ilustrou um tratado escrito
por Luca Pacioli, em 1509, em que chamou a proporo urea
de Divina Proporo. Inmeras so as utilidades e curiosidades
que envolvem o princpio dessa proporo.
Os pitagricos encontraram o nmero 1,618034... para
a razo urea. A letra grega (Phi) foi utilizada para denotar
essa razo em homenagem a Phideas, escultor grego que teria
usado muito essa proporo em suas obras.
Em 1753, o matemtico escocs Robert Simson estabeleceu pela primeira vez a relao
entre a seqncia de Fibonacci e a proporo urea, quando provou que a razo entre dois
termos consecutivos da seqncia tende ao nmero ureo.
Meu objetivo apresentar, neste captulo, um estudo do nmero ureo e algumas
curiosidades relacionadas a ele.
1.1.2 O nmero (Phi)
Seja AB um segmento de reta. Supor C um ponto que est entre os pontos A e B
(figura 3).
Figura 2 Mona Lisa de
Leonardo da Vinci
(www.educ.fc.ul.pt)
Assim, temos dois segmentos: AC = a e CB = b. Dizemos que
b
a
est na razo urea
se
a
b a
b
a +
.
Figura 3
a b
A C B
1 2
Chamemos
b
a
de x, ento
0 1 x x 0 1
x
1
x x
x
1
1
b
a
a
b
a
a
2
+ + ,
e, resolvendo esta equao de 2
o
grau, encontraremos as razes
2
5 1
x e
2
5 1
x
2 1
+

.
Procuramos por uma razo positiva, portanto
... 618034 , 1
2
5 1
b
a

+
.
Esse nmero, dito nmero ureo, possui algumas propriedades interessantes:
2
1
1 ) P +

1
1 ) P
2

1
2 ) P
2
3
1.1.3 O retngulo ureo
O retngulo cujas dimenses esto na razo urea dito retngulo ureo. Observemos
que, se a, b esto em proporo urea equivalente dizer que a
2
= (a + b)b e que,
geometricamente, equivale dizer que as reas hachuradas na figura 4 so iguais.
Figura 4
a
b
b
a + b
a b
a
1 3
Os objetos e os edifcios sagrados egpcios e gregos possuem geometrias baseadas na
diviso do espao obtida pelos retngulos de raiz (retngulos construdos a partir de quadrados
de lado igual a uma unidade especfica) e seus derivados (figura 5).
Observe que, na figura 6,
2
5
b BE , pois se prolongssemos BE at encontrar
AD em um ponto P teramos que
2
EP
BE e AD 2 AP . Ou seja, BE seria a metade do
lado de um retngulo de raiz (um retngulo semelhante ao retngulo de raiz da figura 5).
Assim, fcil ver que

,
_

+
+ + +
2
5 1
b b
2
5
2
b
BE DE EF DE DF
Uma observao importante que o retngulo BCFG ainda ureo pois
b a
b
b a
a b a

b
a
a
b a

+

+
.
Figura 6 Construo do retngulo ureo
com rgua e compasso dado o lado menor b
b
b
a
a b
A B G
D C F E
Figura 5 Retngulos de raiz
Retngulo de lado 2 Retngulo de lado 5

2
1 4
1.1.4 O retngulo de Fibonacci
Somatrio dos quadrados
Juntando dois quadrados unitrios (lado = 1), teremos um retngulo 2x1 (sendo que o
comprimento 2 igual soma dos lados dos quadrados anteriores). Outra vez, anexando outro
quadrado com lado = 2 (o maior dos lados do retngulo anterior), teremos um retngulo 3x2.
Continuando assim sucessivamente, teremos no limite o retngulo ureo (figura 7).
O retngulo de rea 21x13 pode ser expresso da seguinte maneira:
1
2
+ 1
2
+ 2
2
+ 3
2
+ 5
2
+ 8
2
+ 13
2
= 13
.
21
Se continuarmos, sucessivamente, a anexar quadrados de lado igual ao comprimento do
retngulo obtido nas somas dos quadrados menores, a seqncia que iremos encontrar dos
lados dos quadrados ser 1, 1, 2, 3, 5, 8, 13, 21, 33,..., que a seqncia de Fibonacci (que
ser definida no item 1.2). Generalizando o somatrio dos quadrados, teremos
F
1
2
+ F
2
2
+ F
3
2
+ F
4
2
+ ... + F
n
2
= F
n

.
F
n+1
.
Veremos tambm que
n
1 n
F
F
+
tende a , ou seja, que os retngulos de lado F
n

.
F
n+1
(da
sequncia de Fibonacci) so aproximaes de um retngulo ureo.
Figura 7 Retngulo construdo a partir de um quadrado unitrio
13
8
5
3
2
1
1
1 5
1.1.5 A espiral logartmica
A espiral logartmica tambm chamada de eqiangular, pois os raios que saem do plo
cortam a espiral sob o mesmo ngulo. Para se construir uma espiral logartmica, basta inscrever
1/4 de uma circunferncia em cada quadrado da construo do retngulo ureo, como mostra a
figura 8.
Na figura 8,
a) O ponto limite O chamado plo da espiral;
b) ABCD retngulo ureo, logo EBCF, HGCF, HIJF, etc. tambm so;
c) as diagonais AC e BF so mutuamente perpendiculares;
d) os pontos E, O, J so colineares, assim como G, O e D;
e) os ngulos retos AB, BC, CF e FA tm EJ e DG por bissetrizes;
f) h um nmero infinito de tringulos semelhantes (por exemplo, AOB BOC
COF ...) e cada um igual metade de um retngulo ureo.
A equao da espiral logartmica em coorde-
nadas polares r = ae
b
, em que r a distncia at
a origem, o ngulo em relao ao eixo x, e a e b
so constantes positivas.
A forma de diversas conchas, por exemplo
o nautilus, assemelha-se incrivelmente espiral
logartmica (figura 9).
Figura 8 Espiral logartmica (www.mat.uel.br/geometrica/4tarq.htm)
A B
C D
E
F
G
H
I
J
O eixo polar
r
a
i
o
plo
Figura 9 O nautilus (www.educ.fc.ul.pt)
1 6
1.1.6 O pentgono e o pentagrama
O pentagrama mstico, tido h muito tempo como uma potente proteo contra energias
negativas, um smbolo geomtrico com cinco pontas e a forma de um pentgono no centro. As
propores geomtricas de um pentagrama simtrico so as mesmas da Seo urea.
Na figura 10, as razes
AB
AC
,
J I
AD
,
IH
AI
esto em proporo urea, alm de outras mais.
Figura 10 O pentgono e o pentagrama (www.educ.fc.ul.pt)
J
A
B C
D
E
F G
H I
1 7
1.2 Os nmeros de Fibonacci
Fibonacci, nascido na Itlia por volta de 1175 d.C., publicou a obra conhecida como
Liber Abaci, que foi considerada obra-modelo, pois durante 200 anos contribuiu para a
introduo do sistema indo-arbico que ainda hoje utilizamos.
Figura 11 Provvel imagem de
Fibonacci (www.malhatlantica.pt)
Nessa obra, Fibonacci apresenta vrios problemas matemticos, dos quais o mais
conhecido o problema Paria coniculorum, ou o problema dos pares de coelhos, que
mostrarei a seguir.
Quantos pares de coelho podem ser produzidos num ano a partir de um nico casal, se:
cada casal originar um novo casal a cada ms, o qual se torna produtivo no
segundo ms;
no ocorrerem mortes.
Como o par adulto produz um par novo a cada 30 dias, no incio do segundo ms
existiro dois pares de coelhos, sendo um par de adultos e outro de coelhos jovens. Assim, no
incio do ms 2, existiro 2 pares: 1 par adulto + 1 par jovem.
No incio do terceiro ms, o par adulto ter produzido novamente mais um par, enquanto
que o par jovem ter completado 1 ms de vida e ainda no estar apto a produzir. Assim, no
1 8
incio do terceiro ms, existiro trs pares de coelhos, sendo 1 par adulto (com 2 meses de
idade) + 1 par (com 1 ms de idade) + 1 par jovem. Observe o esquema da figura 12.
Figura 12 Esquema do problema dos pares de coelhos de Fibonacci
Tempo
(ms)
0
1
2
3
4
5
Par de coelhos adultos
Par de coelhos jovens
Nmero de pares
1
1
2
3
5
8
Seguindo esse raciocnio, pode-se obter a seguinte seqncia de nmero, a qual conta o
nmero de pares de coelhos existentes ao longo de cada um dos meses de um ano: 1, 1, 2, 3, 5,
8, 13, 21, 34, 55, 89, 144. No total, sero 144 pares de coelhos.
1.2.1 A frmula de Binet
Em 1843, J. P. M. Binet descobriu a frmula
n n
n
2
5 1
5
1
2
5 1
5
1
F

,
_

,
_

+
,
que explicita a conexo entre os nmeros de Fibonacci e a razo urea. A seguir demonstraremos
a frmula.
Seja
n 1 n 1 n
F F F +
+
,

n > 1, termo da seqncia de Fibonacci (com F
1
= 1, F
2
= 1).
Consideremos w
n
uma progresso geomtrica com w
1
=1 e razo no nula q, isto ,
. q w
1 n
n

1 9
Para que esta seqncia seja tipo Fibonacci, devemos ter que:
n 1 n 1 n
w w w +
+
, ou seja,
1 n 2 n n
q q q

+

, q q q q q
1 n 2 n n
+
multiplicando por
n
q
1
, temos
q
1
q
1
1 q q 1
2
1 2
+ +

, multiplicando por q
2
, onde obtemos
. 0 1 q q q 1 q
2 2
+
Resolvendo esta equao de 2
o
grau, encontramos
2
5 1
q
t
.
Assim, teremos duas razes reais, .
2
5 1
q e
2
5 1
q
2 1

Observamos que 1 q q e 1 q q
2 1 2 1
+ .
Para cada raiz, obtemos uma seqncia tipo Fibonacci. Logo, podemos construir, atravs
de
1 n
2 n
1 n
1 n
q u e q v

, uma combinao linear de {v
n
} e {w
n
}:
1 n 1 n
n n n
2
5 1
y
2
5 1
x w y v x a

'

,
_

'

,
_

+
+
que a forma mais geral possvel para uma seqncia tipo Fibonacci. Logo, se tomarmos em
particular x e y tais que a
1
= 1 e a
2
= 1, obteremos a seqncia de Fibonacci original, F
n
.
Mas a
1
= a
2
= 1 implica que x + y = 1 e
1 q y q x
2 1
+ . Mas
1
2
5 1
y
2
5 1
x

,
_

,
_

2 0
( ) ( ) 2 5 1 y 5 1 x + +
2 5 y y 5 x x + + . Como 1 y x + , temos
2 1 5 y 5 x +
.
Logo,
1 5 y 5 x
.
Substituindo x 1 y , teremos
5 2
5 1
x
+
.
Logo,
( )
5 2
5 1
y


.
Substituindo na expresso de a
n
, obteremos a frmula
n n
n
2
5 1
5
1
2
5 1
5
1
F

,
_

,
_

+
,
ou, em termos de ,
( )
5
F
n n
n

,
que fornece o termo geral da seqncia de Fibonacci com o uso do nmero .
Para n tendendo a infinito, o segundo termo da frmula de Binet tende a zero, pois a
base desta potncia em valor absoluto menor do que 1. Logo, possvel mostrar que, quando
n tende a infinito, a expresso matemtica para a
n
da ordem de
n
. Assim, o quociente
n
1 n
a
a
+
da ordem de . Como veremos a seguir, o limite do quociente entre um nmero de Fibonaci
e o seu antecedente converge para o nmero de ouro , isto ,

+

n
1 n
n
a
a
lim
.
Proposio

+

n
1 n
n
F
F
lim , se (F
n
) a seqncia de Fibonacci.
2 1
Demonstrao
( ) ( ) ( )
1
1
]
1

,
_

+ +
+
1
1
5
1
1
5
1
F
n
n 1 n 1 n
1 n
e
1
1
]
1

,
_

n
n
n
1
1
5
1
F .
Logo,
( )
n
n
n
1 n
1
1
1
1
F
F

,
_

,
_

+
.
Mas 1
1
1
<

, pois 1 1 < e 1 > .
Assim, 0
1
lim
n
n

,
_

.
Portanto,
+

n
1 n
n
F
F
lim .
1.2.2 Os nmeros de Fibonacci a partir de uma
funo geratriz
Um modo de obter uma seqncia de nmeros inteiros construir uma funo geratriz
B = B(x) definida como uma srie formal de potncias:
B(x) = b
o
+ b
1
x + b
2
x
2
+ b
3
x
3
+ b
4
x
4
+ b
5
x
5
+ ...
cujos coeficientes b
i
sejam os valores da seqncia que desejamos. O principal neste contexto
a construo de B(x) atravs de uma frmula analtica onde b
i
aparece naturalmente.
2 2
Por exemplo, a seqncia f(n) = 2
n-1
, para n inteiro, n1. O conjunto imagem desta
funo
f(N)={1, 2, 4, 8, 16, 32, 64, 128, ...}
e pode ser representado pela funo geratriz
B(x) = 1 + 2x + 4x
2
+ 8x
3
+ 16x
4
+ 32x
5
+ ... ,
que pode ser escrita na forma
B(x) =
( ) N

, que a soma da p.g. infinita de razo 2x.

Mas para que isso faa sentido, deve ocorrer a convergncia da srie, o que depende
do fato que |2x| < 1. Por isso dissemos no incio que esta uma srie formal.
Tendo em vista o que apresentamos acima, vamos assumir que exista uma funo geratriz
dos nmeros da seqncia de Fibonacci e tentar encontrar uma relao que tenha o mesmo
comportamento dos coeficientes desta funo.
Tomemos uma funo no nula B = B(x) tal que
B(x) = F
o
+ F
1
x + F
2
x
2
+ F
3
x
3
+ F
4
x
4
+ F
5
x
5
+ ... .
Esta soma formal tambm pode ser escrita como um somatrio de todos os nmeros
inteiros k0, que denotaremos por
B(x) =

0 k
k
k
x F ,
que pode ser reescrito como (observar a mudana no ndice)
B(x) = F
o
+ F
1
x +

2 k
k
k
x F .
Note que, pelo teste da razo, essa srie converge absolutamente se 1
x F
x F
lim
n
n
1 n
1 n
n
<
+
+

,
isto , se

<
1
x , pois
+

n
1 n
F
F
lim
n
.
2 3
Acontece que F
o
= F
1
= 1 e F
k
= F
k-1
+ F
k-2
para todo k>1. Logo,
B(x) = 1 + x + [ ]

+
2 k
k
2 k 1 - k
x F F
B(x) = 1 + x +

2 k
k
1 - k
x F +

2 k
k
2 - k
x F
B(x) = 1 + x + x

2 k
1 - k
1 - k
x F + x
2

2 k
2 - k
2 - k
x F
B(x) = 1 + x + x

1 j
j
j
x F + x
2

0 j
j
j
x F
B(x) = 1 + x + x [B(x)-1] + x
2
B(x) .
Extraindo o valor de B = B(x), segue que
B(x) =
( )
2
x x 1
1

,
que a funo geradora dos nmeros de Fibonacci.
Observe que a diviso
( )
2
x x 1
1

resulta na srie formal de potncias cujos
coeficientes so os nmeros da seqncia de Fibonacci.
(1 x x
2
) 1
1 + x + 2x
2
+ 3x
3
+ 5x
4
+ 8x
5
-1 + x + x
2
x + x
2
x + x
2
+ x
3
2x
2
+ x
3
2x
2
+ 2x
3
+ 2x
4
3x
3
+ 2x
4
3x
3
+ 3x
4
+ 3x
5
5x
4
+ 3x
5
5x
4
+ 5x
5
+ 5x
6
8x
5
+ 5x
6
8x
5
+ 8x
6
+ 8x
7
8x
6
+ 8x
7
.


.


.
. . .
2 4
1.2.3 Curiosidades
Vejamos alguns fatos curiosos sobre os nmeros de Fibonacci:
a) a soma de dez nmeros consecutivos da seqncia sempre divisvel por 11;
b) a cada 3 nmeros da seqncia de Fibonacci temos um nmero divisvel por 2,
a cada 4 nmeros da seqncia de Fibonacci temos um nmero divisvel por 3,
a cada 5 nmeros da seqncia de Fibonacci temos um nmero divisvel por 5,
a cada 6 nmeros da seqncia de Fibonacci temos um nmero divisvel por 8,
a cada 7 nmeros da seqncia de Fibonacci temos um nmero divisvel por 13,
a cada 8 nmeros da seqncia de Fibonacci temos um nmero divisvel por 21,
e assim sucessivamente, obtemos que a cada n nmeros da seqncia de Fibonacci
temos um nmero divisvel por F
n
;
c) dois nmeros consecutivos so primos entre si;
d) o nmero 144 (quadrado de 12) o nico nmero quadrado da seqncia inteira
(sem contar o nmero 1).
Outra ocorrncia dos nmeros de Fibonacci se d na filotaxia, designao que se emprega
em botnica para descrever a disposio das folhas nas plantas.
Algumas plantas apresentam os nmeros de Fibonacci no crescimento de seus galhos,
folhas e ptalas.
Por exemplo, se olharmos bem para o girassol (figura 13), acabaremos por reconhecer
padres visuais especficos no modo como as sementes esto dispostas. Estas se encontram alinhadas
de tal modo, a partir do centro, que formam linhas em espiral, tanto para a esquerda como para a
direita. A quantidade de linhas um nmero da seqncia de Fibonacci.
Figura 13 Girassol (www.educ.fc.ul.pt)
2 5
Analisando uma haste da cerejeira (figura 14), veremos que as folhas que dela brotam
seguem uma seqncia. Tomando a folha que se situe mais abaixo (na figura, a folha 1) como
ponto de partida e contando em direo ao topo as folhas restantes at chegarmos que tem a
mesma disposio da folha inicial, veremos que as folhas se encontram dispostas em espiral ao
redor do caule e que o nmero de folhas um nmero da seqncia de Fibonacci. No caso da
cerejeira, so 5 folhas, enquanto que na pereira so 8 folhas.
Ao considerar o nmero de ptalas presentes em algumas flores, teremos os lrios, ris e
jarros com 3 ptalas; columbinas, rainnculos amarelos e rosas silvestres com 5 ptalas; e delfnios,
cosmos e tormentilhas com 8 ptalas.
Podemos analisar tambm os ramos de troncos de rvores, como o caso da planta
Achillea ptarmica (figura 15), onde a cada ms nasce um novo broto de um galho, sendo que
o broto leva dois meses para produzir o seu primeiro broto.
Figura 14
(http://pessoal.sercomtel.com.br/
matematica.htm)
Figura 15
(http://pessoal.sercomtel.com.br/
matematica.htm)
1.2.4 Nmeros de Fibonacci e o tringulo de Pascal
Neste item iremos provar que a soma dos elementos de qualquer diagonal do tringulo
de Pascal resulta em um nmero de Fibonacci.
Consideremos C
m,n
a combinao de m elementos tomados n a n, como
( )! n m ! n
! m
C
n , m

.
2 6
O tringulo de Pascal pode ser obtido numericamente somando-se dois nmeros
consecutivos da mesma linha com o resultado colocado sob o segundo nmero somado, ou
atravs das combinaes que aparecem na figura 16.
A altura de uma combinao C
m,n
a soma dos ndices que aparecem na combinao,
isto :
altura(C
m,n
) = m + n .
Por exemplo, as alturas das combinaes C
6,0
, C
5,1
, C
4,2
, C
3,3
so todas iguais a 6, e
observamos que o 7
o
termo da seqncia de Fibonacci dado por:
F
7
= C
6,0
+ C
5,1
+ C
4,2
+ C
3,3
.
Esta uma propriedade que relaciona o tringulo de Pascal com os nmeros de Fibonacci,
mostrando que a soma de todas as combinaes C
m,n
que aparecem no tringulo de Pascal,
com uma mesma altura p, de tal modo que p = m + n e m n, corresponde ao termo de ordem
p + 1 da seqncia de Fibonacci, isto :
F
p+1
= C
p,0
+ C
p-1,1
+ C
p-2,2
+ C
p-3,3
+ ... + C
p-n,n
,
sendo que p deve ser maior ou igual a 2n.
De acordo com o tringulo de Pascal:
1 k , 1 n 1 k , n k , n
C C C
+ + +
+ .
***
TRINGULO DE PASCAL
1 C00
1 1 C10 C11
1 2 1 C20 C21 C22 F7
1 3 3 1 C30 C31 C32 C33
1 4 6 4 1 C40 C41 C42 C43 C44
1 5 10 10 5 1 C50 C51 C52 C53 C54 C55
1 6 15 20 15 6 1 C60 C61 C62 C63 C64 C65 C66
1 7 21 35 35 21 7 1 C70 C71 C72 C73 C74 C75 C76 C77

Figura 16 Tringulo de Pascal
(http://pessoal.sercomtel.com.br/matematica/index.html)
2 7
Agora, vamos provar que a soma dos componentes de uma diagonal do tringulo de
Pascal resulta em um nmero da seqncia de Fibonacci.
Para isso, basta provar que a soma de duas diagonais consecutivas resulta em uma
terceira diagonal consecutiva s outras duas somadas.
Verifiquemos as primeiras diagonais:
d
1
= C
0,0
= 1
d
2
= C
1,0
= 1
d
3
= C
2,0
+ C
1,1
= 2
d
4
= C
3,0
+ C
2,1
= 3
d
5
= C
4,0
+ C
3,1
+ C
2,2
= 5
d
6
= C
5,0
+ C
4,1
+ C
3,2
= 8
d
7
= C
6,0
+ C
5,1
+ C
4,2
+ C
3,3
= 13
d
8
= C
7,0
+ C
6,1
+ C
5,2
+ C
4,3
= 21
Considere para k mpar
n , n 1 k 2 , 3 k 1 , 2 k 0 , 1 k k
C ... C C C d

+ + + + .
Logo,
2
1 k
n

, ou seja,
2
1 k
,
2
1 k 2 , 3 k 1 , 2 k 0 , 1 k k
C ... C C C d

+ + + + .
Fazendo o mesmo para k par,
n , 1 n k 2 , 3 k 1 , 2 k 0 , 1 k k
C ... C C C d

+ + + + , obtemos que k 1 n =
2
k
, ento,
1
2
k
,
2
k 2 , 3 k 1 , 2 k 0 , 1 k k
C ... C C C d

+ + + + .
***
2 8
Notemos o nmero de elementos de cada diagonal:
#d
1
= 1 #d
5
= 3 #d
9
= 5
#d
2
= 1 #d
6
= 3 #d
10
= 5
#d
3
= 2 #d
7
= 4 #d
11
= 6
#d
4
= 2 #d
8
= 4 #d
12
= 6 . . .
Seguindo por induo, o nmero de elementos para d
k
mpar ser
2
1 k +
elementos, e
para d
k
par teremos
2
k
elementos.
***
Provaremos, ento, que
3 k 2 k 1 k
d d d
+ + +
+ .
Fazendo k + 1 mpar, teremos
2
k
,
2
k 2 , 2 k 1 , 1 k 0 , k 1 k
C ... C C C d + + + +
+
,
e, para k + 2 (par), teremos
2
k
, 1
2
k 2 , 1 k 1 , k 0 , 1 k 2 k
C ... C C C d
+
+ +
+ + + + .
Assim,
2
k
,
2
k
1
2
k
, 1
2
k 2 , 2 k 1 , 1 k 0 , k 1 k
C C ... C C C d + + + + +
+
+
e
2
k
, 1
2
k
1
2
k
,
2
k 2 , 1 k 1 , k 0 , 1 k 2 k
C C ... C C C d
+
+ +
+ + + + + .
Portanto, somando d
k+1
com d
k+2
, teremos
( ) ( )
2
k
,
2
k
2
k
, 1
2
k
1
2
k
, 1
2
k 2 , 1 k 1 , 1 k 1 , k 0 , k 0 , 1 k 2 k 1 k
C C C ... C C C C C d d +

,
_

+ + + + + + + +
+ +
+ + +
.
Usando a propriedade
1 k , 1 n 1 k , n k , n
C C C
+ + +
+ ,
2
k
,
2
k
2
k
, 2
2
k 2 , k 1 , 1 k 0 , 1 k 2 k 1 k
C C ... C C C d d + + + + + +
+
+ + + +
,
2 9
e, sabendo que 1 C C
2
k
,
2
k 0 , 1 k

+
, ento podemos ajustar a frmula fazendo
1
2
k
, 1
2
k
2
k
,
2
k 0 , 2 k 0 , 1 k
C C e C C
+ +
+ +
. Ento
1
2
k
, 1
2
k
2
k
, 2
2
k 2 , k 1 , 1 k 0 , 2 k 2 k 1 k
C C ... C C C d d
+ + +
+ + + +
+ + + + + + .
De fato, para k + 3 (mpar), teremos
1
2
k
, 1
2
k
2
k
, 2
2
k 2 , k 1 , 1 k 0 , 2 k 3 k
C C ... C C C d
+ + +
+ + +
+ + + + + .
Logo,
3 k 2 k 1 k
d d d
+ + +
+ , para k + 1 mpar.
***
Verificaremos, agora, para k + 1 par.
2
1 k
,
2
1 k
2
3 k
,
2
3 k 2 , 2 k 1 , 1 k 0 , k 1 k
C C ... C C C d
+ + +
+ + + + +
e, para k + 2 (mpar), teremos
2
1 k
,
2
1 k
2
1 k
,
2
3 k 2 , 1 k 1 , k 0 , 1 k 2 k
C C ... C C C d
+ + + + +
+ + + + + ,
Seguindo, assim,
2
1 k
,
2
1 k
2
3 k
,
2
3 k 2 , 2 k 1 , 1 k 0 , k 1 k
C C ... C C C d
+ + +
+ + + + + e
2
1 k
,
2
1 k
2
1 k
,
2
3 k 2 , 1 k 1 , k 0 , 1 k 2 k
C C ... C C C d
+ + + + +
+ + + + + .
Somando d
k+1
com d
k+2
, teremos
( ) ( ) ... C C C C C d d
2 , 1 k 1 , 1 k 1 , k 0 , k 0 , 1 k 2 k 1 k
+ + + + + +
+ + +

,
_

+ +

,
_

+ +
+ + + + +
2
1 k
,
2
1 k
2
1 k
,
2
1 k
2
1 k
,
2
3 k
2
3 k
,
2
3 k
C C C C ... .
3 0
Usando a propriedade
1 k , 1 n 1 k , n k , n
C C C
+ + +
+ , teremos
2
1 k
,
2
3 k
2
1 k
,
2
5 k 2 , k 1 , 1 k 0 , 1 k 2 k 1 k
C C ... C C C d d
+ + + + + + +
+ + + + + + , e fazendo
0 , 2 k 0 , 1 k
C C
+ +
, segue que
2
1 k
,
2
3 k
2
1 k
,
2
5 k 2 , k 1 , 1 k 0 , 2 k 2 k 1 k
C C ... C C C d d
+ + + + + + +
+ + + + + + .
De fato, para k + 3 (par), teremos
2
1 k
,
2
3 k
2
1 k
,
2
5 k 2 , k 1 , 1 k 0 , 2 k 3 k
C C ... C C C d
+ + + + + +
+ + + + + .
Logo,
3 k 2 k 1 k
d d d
+ + +
+ , para k + 1 par.
***
Captulo 2
Nmeros curiosos
2.1 Os nmeros perfeitos
Um nmero perfeito qualquer nmero cuja soma de seus divisores prprios resulta
nele mesmo. Este conjunto de nmeros inteiros possui curiosas propriedades. Como exemplo,
temos o nmero 6 (resultado da soma de seus divisores prprios 1, 2 e 3) e o 28 (resultado da
soma de seus divisores prprios 1, 2, 4, 7 e 14).
Para os estudiosos msticos, o nmero 6 significa a perfeio do universo: o mundo
bblico foi criado em 6 dias; o nmero 28 representa a quantidade de dias que a Lua leva para
girar em torno da Terra.
Hoje, so conhecidos apenas 39 nmeros perfeitos. Na figura 17, mostramos uma lista
com as frmulas de alguns dos nmeros perfeitos, o nmero de dgitos de cada um deles e os
prprios nmeros perfeitos (s at o oitavo, porque aps isso os nmeros ficam excessivamente
grandes).
Figura 17 Lista de alguns nmeros perfeitos [2]
Frmula Nmero Nmero de dgitos
1 2
1
(2
2
1) 6 1
2 2
2
(2
3
1) 28 2
3 2
4
(2
5
1) 496 3
4 2
6
(2
7
1) 8.128 4
5 2
12
(2
13
1) 33.550.336 8
6 2
16
(2
17
1) 8.589.869.056 10
7 2
18
(2
19
1) 137.438.691.328 12
8 2
30
(2
31
1) 2.305.843.008.139.952.128 19
9 2
60
(2
61
1) 37
10 2
88
(2
89
1) 54
11 2
106
(2
107
1) 65
12 2
126
(2
127
1) 77
13 2
520
(2
521
1) 314
14 2
606
(2
607
1) 366
15 2
1.278
(2
1.279
1) 770
16 2
2.202
(2
2.203
1) 1.327
17 2
2.280
(2
2.281
1) 1.373
18 2
3.216
(2
3.217
1) 1.937
19 2
4.252
(2
4.253
1) 2.561
20 2
4.422
(2
4.423
1) 2.663

3 2
Outra curiosidade refere-se ao fato de nunca ter sido provado que existe um nmero
perfeito mpar. Os prximos itens mostram um breve estudo de nmeros perfeitos, incluindo a
frmula de Euclides e a demonstrao para os dgitos finais dos nmeros perfeitos pares (que
sempre terminam em 6 ou 28).
2.1.1 Quantidade de divisores de um nmero
Seja n um nmero natural (maior que 1) qualquer. Pelo Teorema Fundamental da
Aritmtica, podemos representar esse nmero na forma
n = p
1
a
1
p
2
a
2
...p
r
a
r
,
sendo p
1
, p
2
, ..., p
r
divisores primos de n.
Chamemos F
r
o nmero de divisores de n. Ento F
r
(n) = F
r
= (a
1
+ 1) (a
2
+ 1) ... (a
r
+ 1).
Vamos provar essa frmula por induo em r, o nmero de divisores primos de n.
Supor r = 1. Ento n = p
a
.
{Divisores de n} = {p
0
, p
1
, ..., p
a
}.
Ento o nmero de divisores F
1
= a + 1.
Suponha que o nmero de divisores de m (a
1
+ 1)...(a
r
+ 1), se m = p
1
a
1
p
2
a
2
...p
r
a
r
.
Seja n = q
1
b
1
q
2
b
2
...q
r
b
r
q
r+1
b
r+1
.
Agora, para cada fator de q
1
b
1
...q
r
b
r
temos b
r+1
divisores novos de n.
Logo, temos b
r+1
.
F
r
(q
1
b
1
,..., q
r
b
r
) = b
r+1
.
F
r
divisores novos de n.
#{Divisores de n} = F
r
+ F
r
.
b
r+1
= F
r
.
(b
r+1
+ 1) = (b
1
+ 1)...(b
r
+ 1) (b
r+1
+ 1).
3 3
2.1.2 A soma dos divisores de um nmero
Seja n = p
a
q
b
r
c
s
d
..., em que p, q, r, s,... so nmeros primos diferentes de 1, e a, b, c, d,...,
nmeros naturais.
Qual ser a forma da soma de seus divisores? Vamos, a seguir, calcular essa soma.
Suponha f um fator de n. Ento f = p
x
q
y
r
z
...
Sabemos que, para x variando de 0 a a, p
x
ser fator de f. Ento, para y = z = ... = 0,
x = 0 f = 1
x = 1 f = p
x = 2 f = p
2
x = 3 f = p
3
...
x = a f = p
a
.
Logo, p, p
2
, ..., p
a
sero divisores de f, e a soma ser
1 + p + p
2
+ ... + p
a
.
Agora, fazendo para y = 1,
x = 0 f = q
x = 1 f = pq
x = 2 f = p
2
q
x = 3 f = p
3
q
...
x = a f = p
a
q .
Logo, q, pq, p
2
q, ..., p
a
q sero divisores de f, e a soma ser
q + pq + p
2
q + ... + p
a
q = q (1 + p + p
2
+ ... + p
a
).
3 4
Agora vamos fazer y = 2,
x = 0 f = q
2
x = 1 f = pq
2
x = 2 f = p
2
q
2
x = 3 f = p
3
q
2
...
x = a f = p
a
q
2
.
Logo, q
2
, p q
2
, p
2
q
2
, ..., p
a
q
2
sero divisores de f, e a soma ser
q
2
+ pq
2
+ p
2
q
2
+ ... + p
a
q
2
= q
2
(1 + p + p
2
+ ... + p
a
).
Continuando assim sucessivamente e variando y de 0 at b, teremos
(1 + p + p
2
+ ... + p
a
) (1 + q + q
2
+ ... + q
b
).
Fazendo o mesmo processo com o fator primo r, com z variando de 0 at c, teremos
(1 + p + p
2
+ ... + p
a
) (1 + q + q
2
+ ... + q
b
) (1 + r + r
2
+ ... + r
c
).
Assim, progressivamente, at chegarmos a
(1 + p + p
2
+ ... + p
a
) (1 + q + q
2
+ ... + q
b
) (1 + r + r
2
+ ... + r
c
) ...
Portanto, esta ser a soma dos divisores de n.
2.1.3 A frmula de Euclides para um nmero
perfeito par
Frmula de Euclides: todo nmero perfeito par um produto da forma 2
a
.
(2
a+1
1),
se (2
a+1
1) for um nmero primo.
Demonstrao
Tomemos como exemplo os seguintes nmeros perfeitos:
3 5
n = 6 = 2 3
Utilizando a equao anteriormente demonstrada, faremos p = 2, a = 1; q = 3, b = 1, ento
(1 + p)(1 + q) = 3 4 = 12 = 2n (a frmula inclui ele prprio como fator).
n = 28 = 2
2
7, ento p = 2, a = 2; q = 7, b = 1, ento
(1 + p + p
2
)(1 + q) = (1 + 2 + 4) (1 + 7) = 7 8 = 56 = 2n.
Supor que n = p
a
q
b
r
c
s
d
... com p, q, r,... primos e a, b, c,... expoentes naturais. Ento
temos a equao
(1 + p + p
2
+ ... + p
a
) (1 + q + q
2
+ ... + q
b
) (1 + r + r
2
+ ... + r
c
) ... = 2p
a
q
b
r
c
s
d
... (1)
Agora, se 2 for um dos divisores primos, isto , p = 2, teremos
1 + p + p
2
+ ... + p
a
= 1 + 2 + 4 + ... + 2
a
.
Mas 1 + 2 + 4 + ... + 2
a
= 2
a + 1
1 a soma da p.g. 1; 2; 4; 8; ...
Assim, a equao (1) ficar da seguinte forma:
(2
a+1
1) (1 + q + q
2
+ ... + q
b
) (1 + r + r
2
+ ... + r
c
) ... = 2.2
a
q
b
r
c
... = 2
a+1
q
b
r
c
...
Isso mostra que (2
a + 1
1) um fator de 2
a+1
q
b
r
c
...
Por outro lado, um fator primo de (2
a+1
1) ser um dos nmeros 2, q, r,.... Mas
sabemos que 2 no um fator de 2
a+1
1 ( um nmero mpar). Alm disso, assumindo que
a no zero, 2
a+1
1 ser maior ou igual a 3.
Assim, 2
a+1
1 ter divisores maiores que 1 e ser um dos primos q, r, etc. Vamos
supor que seja q. Assim, para algum k,
2
a+1
1 = qk 2
a+1
= qk +1.
3 6
Logo, a equao do nmero perfeito par ser escrita da seguinte forma:
qk (1 + q + q
2
+ ... + q
b
) (1 + r + r
2
+ ... + r
c
) ... = (qk + 1) q
b
r
c
...
Dividindo os dois lados por (qk q
b
r
c
...), teremos
qk
1) (qk
... r q
... ) r ... r r (1 ) q ... q q (1
c b
c 2 b 2
+

+ + + + + + + +
qk
1
1
r q
... ) r ... r r (1 ) q ... q q (1
c b
c 2 b 2
+
+ + + + + + + +

qk
1
1 ...
r
1
...
r
1
r
1
1
q
1
...
q
1
q
1
1
c 2 b 2
+
,
_

+ + + +

,
_

+ + + +
.
Mas
qk
1
1+ menor ou igual a
q
1
1+ , visto que
qk
1
menor ou igual a
q
1
.
Por outro lado, ...
r
1
...
r
1
r
1
1
q
1
...
q
1
q
1
1
c 2 b 2

,
_

+ + + +

,
_

+ + + + maior ou igual a
q
1
1+ .
Ento k e b s podero ser iguais a 1 e os outros divisores r, s, ... no existem.
Assim,
(2
a+1
1) (1 + q) = 2
a+1
q
2
a+1
+ 2
a+1
q 1 q = 2
a+1
q
2
a+1
1 q = 0
2
a+1
1 = q.
Logo, n = 2
a
q = 2
a
(2
a+1
1).
Desse modo, demonstramos a frmula de Euclides para nmeros perfeitos pares.

Essa frmula aparece no livro Os Elementos, de Euclides, onde se afirma que ela s
verdadeira se (2
a+1
1) for primo. Euclides no fez a demonstrao que fizemos. Essa
demonstrao foi feita pela primeira vez por Euler.
3 7
2.1.4 Os dgitos finais dos nmeros perfeitos pares
Proposio
Dada a frmula euclidiana 2
n-1
(2
n
1), a expresso binria do nmero perfeito par
consiste em escrever n uns seguidos de n-1 zeros.
Prova
Na forma binria, 2
n
sempre 1 seguido de n zeros. Assim,
2
1
= 1 x 2
1
+ 0 x 2
0
(2
1
)
2
= 10 (1 zero)
2
2
= 1 x 2
2
+ 0 x 2
1
+ 0 x 2
0
(2
2
)
2
= 100 (2 zeros)
2
3
= 1 x 2
3
+ 0 x 2
2
+ 0 x 2
1
+ 0 x 2
0
(2
3
)
2
= 1000 (3 zeros)
2
4
= 1 x 2
4
+ 0 x 2
3
+ 0 x 2
2
+ 0 x 2
1
+ 0 x 2
0
(2
4
)
2
= 10000 (4 zeros)
...
2
n
= 1 x 2
n
+ 0 x 2
n-1
+ 0 x 2
n-2
+ ... + 0 x 2
1
+ 0 x 2
0
(2
n
)
2
= 100...00 (n zeros).
Portanto, 2
n-1
ter, como forma binria, 1 seguido de n-1 zeros.
Verifiquemos a expresso 2
n
1:
2
1
1 = 1 (2
1
1)
2
= 10 1 = 1 (1 um)
2
2
1 = 3 (2
2
1)
2
= 100 1 = 11 (2 uns)
2
3
1 = 7 (2
3
1)
2
= 1000 1 = 111 (3 uns)
2
4
1 = 15 (2
4
1)
2
= 10000 1 = 1111 (4 uns)
...
(2
n
1)
2
= 1000...00 1 = 1111...1 (n uns).
Portanto, 2
n
1 ter, como forma binria, n uns.
Logo, 2
n-1
(2
n
1) ser da forma (1000...00) x (111...11), e o produto estar na forma
binria de n uns seguidos de n 1 zeros.
Descrevemos ento a forma binria de um nmero perfeito.

n uns n - 1 zeros
3 8
2.1.5 Regra simples para determinar o dgito final
de um nmero perfeito par
Proposio
Se o 1
o
expoente (n 1) for mltiplo de 4, o nmero perfeito par acaba em 6. Nos
outros casos (exceto o 6) o nmero termina em 28. [2]
Prova
Veremos os seguintes casos:
a) n 1 = 4k
b) n 1 = 4k + 1
c) n 1 = 4k + 2
d) n 1 = 4k + 3
a) n 1 = 4k
Utilizando a frmula de Euclides 2
n-1
(2
n
1), teremos
2
n-1
(2
n
1) (2
4
)
k
(2
4k+1
1) (16
k
) (2
4k+1
1).
Sabemos que, para qualquer k, o ltimo dgito de 16
k
sempre ser 6.
Verifiquemos a expresso 2
4k+1
1.
2
4k+1
= 16
k
2 sempre terminar em 2. Logo, a expresso 2
4k+1
1 terminar
sempre com o dgito 1.
Como o ltimo dgito de 2
4k
ser sempre 6 e o ltimo dgito de (2
4k+1
1) ser sempre
1, ento para a equao 2
4k
(2
4k+1
1) o ltimo dgito sempre ser 6.
b) n 1 = 4k + 1
Utilizando a frmula de Euclides 2
n-1
(2
n
1), teremos 2
4k+1
(2
4k+2
1).
Mas 2
4k+2
1 no um nmero primo para k 1, pois
2
4k+2
1 = 2
2(2k+1)
1 = (2
2
)
2k+1
1
2k+1
= (2
2
1)(2
4k
+ 2
4k-2
+ 2
4k-4
+ ...) =
= 3
.
(2
4k
+ 2
4k-2
+ 2
4k-4
+ ...), ou seja, mltiplo de 3.
3 9
c) n 1 = 4k + 2
Utilizando a frmula de Euclides 2
n-1
(2
n
1), teremos
2
4k+2
(2
4k+3
1) = 2
4k
2
2
(2
4k
2
3
1) = 16
k
4(16
k
8 1).
A seqncia dos dois ltimos dgitos para 16
k
4 ser: {64, 24, 84, 44, 04, 64, ...} e
seguir sempre nesta ordem.
Para (16
k
8 1), a seqncia dos dois ltimos dgitos ficar assim:
{27, 47, 67, 87, 07, 27, ...}, seguindo assim sucessivamente.
Assim, os dois ltimos dgitos de 2
4k
(2
4k+1
1) viro da multiplicao dessas duas
ltimas seqncias
64 x 27 = 1728
24 x 47 = 1128
84 x 67 = 5628
44 x 87 = 3828
04 x 07 = 28
64 x 27 = 1728
...
Logo, o nmero perfeito par 2
4k
(2
4k+1
1) terminar sempre em 28.
d) n 1 = 4k + 3
Utilizando a frmula de Euclides 2
n-1
(2
n
1), teremos 2
4k+3
(2
4k+4
1).
Mas 2
4k+4
1 no um nmero primo para k 0, pois
(2
4
)
k+1
1
k+1
= (2
4
1)(2
4k
+ 2
4k-4
+ 2
4k-8
+ ...) =
= 15
.
(2
4k
+ 2
4k-4
+ 2
4k-8
+ ...), ou seja, mltiplo de 5.
Logo, provamos que todo nmero perfeito par ou terminar em 6 ou em 28.

4 0
2.1.6 A soma dos inversos dos divisores de um nmero
perfeito par
Um fato curioso que a soma dos inversos de todos os divisores de um nmero perfeito
par (incluindo ele prprio) igual a 2.
Vejamos para o nmero 6:
2
6
12
6
1 2 3 6
6
1
3
1
2
1

1
1

+ + +
+ + + .
E para o nmero 28:
2
28
28 2
28
1 2 4 7 14 28
28
1
14
1
7
1
4
1
2
1

1
1

+ + + + +
+ + + + + .
Se n um nmero perfeito par e d
1
,d
2
,...,d
r
so todos os seus divisores, teremos a
expresso
n
1 d d d ... n
n
1
...
d
1
d
1
d
1

1
1
1 2 3
3 2 1
+ + + + +
+ + + + +
.
Mas 1 + d
1
+ d
2
+ d
3
+ ... = n, ento a soma ser
2
n
n 2
n
n n

+
.
A recproca , obviamente, vlida. Ou seja, se a soma dos inversos dos divisores de um
nmero 2 ento ele perfeito.
2.1.7 Nmeros perfeitos pares so triangulares
Outra propriedade dos nmeros perfeitos pares a sua
triangulao, isto , um nmero perfeito par pode ser agrupado
na forma de tringulo eqiltero, como mostra a figura 18.
Um nmero triangular a soma de nmeros consecutivos, ou seja,
( )
n
T
2
1 n n
n ... 3 2 1
+
+ + + + .
6 10
Figura 18 Nmeros triangulares
4 1
Suponha P um nmero perfeito par. Ento, pela frmula de Euclides,
( )
2
2 1 2
) 1 2 ( 2 P
m m
m 1 m



.
Ento, fazendo 2
m
1 = n, teremos 2
m
= n + 1. Substituindo, teremos
( )
2
1 n n
P
+
.
2.1.8 A raiz digital do nmero perfeito par
A raiz digital de um nmero inteiro no negativo o resto da sua diviso por 9. Um modo
prtico de calcular a raiz digital de um nmero fazendo a soma de seus algarismos; se essa soma
resultar em um nmero maior que 9, fazemos novamente a soma de seus algarismos e, assim,
sucessivamente, at resultar em um nico algarismo: se for 9, a raiz zero; se for entre 0 e 9, essa
ser a raiz digital do nmero (por exemplo, 556; 5 + 5 + 6 = 16; 1 + 6 = 7).
Uma das propriedades mais interessantes dos nmeros perfeitos pares que a raiz
digital de qualquer nmero perfeito par sempre ser 1.
Prova
Suponhamos p primo mpar, diferente de 2.
Sabemos que 2 -1(mod3).
Uma propriedade de congruncia que se a b(modn) ento a
r
b
r
(modn).
Logo, 2
p-1
(-1)
p-1
(mod3). Mas p 1 par se p 2, e, assim,
2
p-1
1(mod3), isto , 2
p-1
= 3k + 1, para algum k inteiro.
Multiplicando por 2, teremos 2
p
= 6k + 2, ou seja, 2
p
1 = 6k + 1.
Logo, 2
p-1
(2
p
1) = (3k + 1)(6k + 1) = 18k
2
+ 9k + 1 1(mod9).
Portanto, a raiz digital de um nmero perfeito par (diferente de 6) 1.
Obs.: 6 falha pois, ao usarmos a frmula 2
p-1
(2
p
1), teremos p = 2.

4 2
2.2Os primos de Mersenne
O frade franciscano Marin Mersenne (1588-1648), matemtico francs, foi pioneiro na
tentativa de descobrir uma frmula que gerasse nmeros primos. Props a frmula 2
p
1, onde p
primo. Os nmeros primos gerados por essa frmula so chamados de nmeros primos de
Mersenne (denotado por M
p
).
Proposio
Se 2
p
1 primo, ento p primo.
Prova
Vamos demonstrar a contra-positiva da afirmao.
Suponha p 2, p = ab, ambos a,b 1. Ento
2
p
1 = 2
ab
1 = (2
a
)
b
1 (2
a
)
b
1
b
= (2
a
1)((2
a
)
b-1
+ (2
a
)
b-2
+ ...+ 2
a
+ 1).
Logo, 2
p
1 composto.

Assim como acontece com os nmeros perfeitos, no existe prova de que existem infinitos
primos de Mersenne.
Este conceito est diretamente relacionado ao conceito de nmero perfeito, pois cada
primo de Mersenne leva imediatamente a um nmero perfeito.
Hoje, graas computao, j so conhecidos 39 primos de Mersenne.
4 3
2.3Os nmeros amigveis
Os nmeros amigveis so uma generalizao dos nmeros perfeitos. Eles so pares de
nmeros tais que a soma dos divisores de um igual ao outro e vice-versa. Vejamos o seguinte
exemplo:
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
Estudiosos da Bblia localizaram o nmero 220 no Genesis 32:14 como o nmero de
cabras que Jacob deu a Esa. Uma escolha inteligente, disseram os estudiosos,
porque, sendo 220 um dos pares amigveis, exprimia o afeto que Jacob sentia por
Esa. [2]
So conhecidos mais de 1000 pares de nmeros amigveis, na figura 19 apresento
alguns deles.
Vrios desses pares foram encontrados em 1972 por H. J. J. te Riele, de Amsterd, e o
maior deles formado por 152 dgitos.
Existe uma frmula para gerar nmeros amigveis, semelhante frmula de Euclides
para gerar nmeros perfeitos, mas desconhece-se tambm se a quantidade desses pares infinita.
Figura 19 Nmeros amigveis [2]
220 284
1.184 1.210
2.620 2.924
5.020 5.564
6.232 6.368
10.744 10.856
12.285 14.595
17.296 18.416
63.020 76.084
66.928 66.992
67.095 71.145
69.615 87.633
79.750 88.730

Concluso
O estudo desses nmeros, ricos em conceitos e aplicaes, pode ser utilizado como
contexto em sala de aula, muito til no desenvolvimento do raciocnio dos alunos, sendo esse
meu maior objetivo.
interessante notar que h ainda problemas em aberto, cujos enunciados so simples:
existem infinitos nmeros primos de Mersenne? Existe um nmero perfeito mpar? A frmula de
Euclides estabeleceu que o problema de existncia de infinitos nmeros primos de Mersenne
equivalente existncia de infinitos nmeros perfeitos pares.
Durante todo o curso de graduao, poucas foram as oportunidades de estudar a histria
da matemtica. Neste trabalho, apesar de restrito, tive a oportunidade de conhecer um pouco
mais da histria e de curiosidades que no passaram despercebidas.
Mesmo com toda tenso interior pela qual passamos durante a graduao, adquirimos
um ritmo no raciocnio que no se forma somente atravs dos estudos, mas tambm atravs
dessa paixo que temos pela matemtica, onde necessitamos descobrir tudo aquilo que nos
intriga e que nos chama a ateno.
Referncias bibliogrficas
[1] EVES, Howard. Geometria. v.3. Traduzido por Hygino H. Domingues. So Paulo: Atual
Editora, c1994. (Coleo Tpicos de histria da matemtica para uso em sala de aula.)
[2] GARDNER, Martin. O festival mgico da matemtica. Portugal: Gradiva, 1994. (Coleo O
prazer da matemtica.)
[3] GUNDLACH, Bernard H. Nmeros e numerais. Traduzido por Hygino H. Domingues. So
Paulo: Atual Editora, 1992. (Coleo Tpicos de histria da matemtica para uso em sala de aula.)
[4] HUNTLEY, H. E. A divina proporo: um ensaio sobre a beleza na matemtica. Braslia:
Editora da Universidade de Braslia, 1985.
[5] GARSCHAGEM, M. Donaldson (Ed.). Nova enciclopdia Barsa. Direo geral de Jesus S.
F. Amaral. Rio de Janeiro, 2000. CD-ROM nico. Produzida por Encyclopdia Britannica do
Brasil Publicaes Ltda.
[6] OGILVY, C. S.; ANDERSON, J. T. Excursions in number theory. New York: Dover
Publications, Inc., 1988.
[7] PENNICK, Nigel. Geometria Sagrada. 6.ed. So Paulo: Pensamento, 2002.
Internet
www.edu.fc.ul.pt
www.expoente.com.br/professores/kalinke/Home%20page/Razo%20urea.htm
www.mat.uel.br/geometrica/4tarq.htm
www.geocities.com/templosalomao/pi.htm
http://pessoal.sercomtel.com.br/matematica.htm
www.tribunadonorte.com.br/anteriores/020511/viver/polifonicas.html