Nmero perfecto

Un nmero perfecto es un nmero natural que es igual

a la suma de sus divisores propios positivos, sin incluirse
l mismo. Dicho de otra forma, un nmero perfecto es
aquel que es amigo de s mismo.

Los matemticos de la Antigedad hicieron muchas suposiciones sobre los nmeros perfectos basndose en los
cuatro que ya conocan. Muchas de estas suposiciones han
resultado ser falsas. Una de ellas era que, como 2, 3, 5
y 7 eran precisamente los cuatro primeros nmeros priAs, 6 es un nmero perfecto porque sus divisores propios
con n = 11,
son 1, 2 y 3; y 6 = 1 + 2 + 3. Los siguientes nmeros mos, el quinto nmero perfecto se obtendra
el quinto nmero primo. Sin embargo, 211 1 = 2047 =
perfectos son 28, 496 y 8128.
23 89 no es primo y por tanto n = 11 no genera un nmero perfecto. Dos de las otras suposiciones equivocadas
28 = 1 + 2 + 4 + 7 + 14
eran:
496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248
8128 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 +
508 + 1016 + 2032 + 4064

1. El quinto nmero perfecto tendra cinco dgitos, ya

que los cuatro primeros tienen 1, 2, 3 y 4, respectivamente.

Aparte, y considerando la suma de los divisores propios,

existen otros tipos de nmeros.
2. Los nmeros perfectos terminaran alternativamente en 6 y en 8.

Nmeros defectivos: la suma de los divisores propios

es menor que el nmero.

Nmeros abundantes: la suma es mayor que el nEl quinto nmero perfecto (33 550 336) tiene 8 dgitos,
mero.
contradiciendo as la primera suposicin. En cuanto a la
Nmeros amigos: a y b tales que a es la suma de los segunda, el quinto nmero perfecto acaba en 6, pero tambin el sexto (8 589 869 056) termina en 6. (El que la ldivisores propios de b y viceversa.
tima cifra de un nmero perfecto par expresado en base
Nmeros sociables: como los amigos, pero con un 10 siempre sea 6 u 8 no es difcil de demostrar.)
ciclo mayor de nmeros.
Fue en 1603 cuando Pietro Cataldi hall los nmeros per16 17
Nmeros semiperfectos: la suma de todos o algunos fectos sexto y sptimo, 2 (2 1) = 8 589 869 056 y
18 19
2
(2

1)=
137
438
691
328.[1]
de los divisores propios es igual al nmero.
Es verdad que si 2n 1 es un nmero primo, entonces
2n1 (2n 1) es un nmero perfecto, pero el recproco no
1 Historia
es necesariamente cierto. Hoy en da, a los nmeros primos generados por la frmula 2n 1 se los conoce como
El matemtico Euclides descubri que los cuatro pri- nmeros primos de Mersenne, en honor al monje del siglo
meros nmeros perfectos vienen dados por la frmula XVII Marin Mersenne, quien estudi teora de nmeros
y nmeros perfectos.
2n1 (2n 1) :
Posteriormente, Leonhard Euler demostr en el siglo
XVIII que todos los nmeros perfectos pares se generan
a partir de la frmula que ya descubri Euclides.

n = 2: 21 (22 1) = 6
n = 3: 22 (23 1) = 28

No se conoce la existencia de nmeros perfectos impares. Sin embargo, existen algunos resultados parciales al
n = 7: 26 (27 1) = 8128
respecto. Si existe un nmero perfecto impar debe ser
mayor que 10300 , debe tener al menos 8 factores primos
n
Al darse cuenta de que 2 1 es un nmero primo en distintos (y al menos 11 si no es divisible por 3). Uno de
cada caso, Euclides demostr que la frmula 2n1 (2n esos factores debe ser mayor que 107 , dos de ellos deben
1) genera un nmero perfecto par siempre que 2n 1 es ser mayores que 10 000 y tres factores deben ser mayores
primo.
que 100.
n = 5: 24 (25 1) = 496

ENLACES EXTERNOS

Otras propiedades de los nme- 4 Referencias

ros perfectos pares
[1] Tony Crilly (2011). 50 cosas que hay que saber sobre ma-

temticas. Ed. Ariel. ISBN 978-987-1496-09-9.

2.1

Son nmeros triangulares

2

Un nmero triangular es de la forma n 2+n , donde n

es un nmero entero positivo cualquiera distinto de cero.
p

)+1 p
(2 1) y
Si partimos de la identidad 2p1 (2p 1)= (2 1
2
distribuimos el producto del segundo miembro obtenemos:

2p1 (2p 1) =

(2p 1) + (2p 1)
2

La expresin 2p 1 es un nmero primo de Mersenne

y vemos que el trmino derecho de la identidad adopta
la forma correspondiente a la denicin de nmero triangular. Podemos armar que un nmero perfecto par es
un nmero triangular y su orden es un nmero primo de
Mersenne.

2.2

Son nmeros combinatorios o coecientes del binomio

Como todos los nmeros triangulares estn en la tercera

columna del tringulo de Pascal y acabamos de ver que
todo nmero perfecto par es un nmero triangular, los
nmeros
perfectos son tambin nmeros combinatorios.
(2p )
p
2 , donde 2 es la potencia correspondiente a un nmero primo de Mersenne aumentado en una unidad.

2.3

Son nmeros hexagonales

Un nmero hexagonal es de la forma n(2n 1) =

2n2 n , para n un nmero entero positivo cualquiera distinto de cero. Surge
( inmediatamente
) de la identidad
2p1 (2p 1) = 2p1 2 2p1 1 , llamando n al
nmero 2p1 .

Cuestiones abiertas

Por cuestin abierta se entiende una propiedad de la que

todava no se tiene una demostracin, tanto de su armacin como de su negacin. Son cuestiones abiertas:
Determinar si existen innitos nmeros perfectos.
Hasta abril del ao 2013 se conocen 48 nmeros perfectos (el 25 de enero del mismo ao se descubri un
nuevo nmero primo por el GIMPS).
Demostrar la imposibilidad de un nmero perfecto
impar o encontrar uno.

5 Vase tambin
Nmeros amigos
Nmeros sociables

6 Enlaces externos
Weisstein, Eric W. Nmero perfecto (en ingls).
MathWorld. Wolfram Research.
Determinacin geomtrica de los nmeros primos y
perfectos
Historia de los nmeros perfectos

Text and image sources, contributors, and licenses

7.1

Text

Nmero perfecto Fuente: http://es.wikipedia.org/wiki/Nmero_perfecto?oldid=75356819 Colaboradores: Joseaperez, Oblongo, Sabbut,

Moriel, Numerao, Sanbec, L'abbaco spagnolo, Zwobot, Interwiki, Dodo, Sms, Vizcarra, Walini, Renabot, Soulreaper, Yrithinnd, Rembiapo pohyiete (bot), RobotQuistnix, Chobot, Yrbot, YurikBot, Manolo456, Pacomeco, Eskimbot, Gtz, Carlos Alberto Carcagno, Tomatejc, CEM-bot, Eamezaga, Pax-Man, Montgomery, Thijs!bot, Roberto Fiadone, Botones, Isha, Mpeinadopa, Muro de Aguas, TXiKiBoT,
Gustronico, Humberto, Rei-bot, Jarm.yo, Technopat, Matdrodes, Lucien leGrey, Muro Bot, Teide4, SieBot, Hekutoru, Daniel Ajoy, Jarisleif, Javierito92, Farisori, Eduardosalg, Veon, Petruss, Alexbot, Juan Mayordomo, Raulshc, UA31, Ucevista, AVBOT, Diegusjaimes,
Arjuno3, InaBOT, Luckas-bot, Nallimbot, Louis87, Aacugna, Pichitronik, ArthurBot, SuperBraulio13, Xqbot, Jkbw, Drianos, Leo Gutierrez, Botarel, Amgc56, Xtarzanx, Panderine!, Zulucho, Jerowiki, TjBot, GrouchoBot, ZroBot, MAXIMO ASENSIO RUIZ, JackieBot,
JoshAcevedo, Acratta, Julvenzor, Tenedora, Addbot y Annimos: 112

7.2

Images

7.3

Content license

Creative Commons Attribution-Share Alike 3.0