Nmero perfecto

Un nmero perfecto es un nmero natural que es igual a El quinto nmero perfecto (33 550 336) tiene 8 dgitos,
la suma de sus divisores propios positivos. Dicho de otra contradiciendo as la primera suposicin. En cuanto a la
forma, un nmero perfecto es aquel que es amigo de s segunda, el quinto nmero perfecto acaba en 6, pero tam-
mismo. bin el sexto (8 589 869 056) termina en 6. (El que la l-
tima cifra de un nmero perfecto par expresado en base
As, 6 es un nmero perfecto porque sus divisores propios
son 1, 2 y 3; y 6 = 1 + 2 + 3. Los siguientes nmeros 10 siempre sea 6 u 8 no es difcil de demostrar).
perfectos son 28, 496 y 8128. Fue en 1603 cuando Pietro Cataldi hall los nmeros per-
fectos sexto y sptimo, 216 (217 1) = 8 589 869 056 y
28 = 1 + 2 + 4 + 7 + 14 218 (219 1)= 137 438 691 328.[1]
496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + Es verdad que si 2n 1 es un nmero primo, entonces
248 2n1 (2n 1) es un nmero perfecto, pero el recproco no
es necesariamente cierto. Hoy en da, a los nmeros pri-
8128 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 +
mos generados por la frmula 2n 1 se los conoce como
254 + 508 + 1016 + 2032 + 4064
nmeros primos de Mersenne, en honor al monje del siglo
XVII Marin Mersenne, quien estudi teora de nmeros
y nmeros perfectos.
1 Historia
Posteriormente, Leonhard Euler demostr en el siglo
XVIII que todos los nmeros perfectos pares se generan
El matemtico Euclides descubri que los cuatro pri-
a partir de la frmula que ya descubri Euclides.
meros nmeros perfectos vienen dados por la frmula
2n1 (2n 1) : No se conoce la existencia de nmeros perfectos impa-
res. Sin embargo, existen algunos resultados parciales al
1 2
n = 2: 2 (2 1) = 6 respecto. Si existe un nmero perfecto impar debe ser
mayor que 10300 , debe tener al menos 8 factores primos
n = 3: 22 (23 1) = 28 distintos (y al menos 11 si no es divisible por 3). Uno de
n = 5: 24 (25 1) = 496 esos factores debe ser mayor que 107 , dos de ellos deben
n = 7: 26 (27 1) = 8128 ser mayores que 10 000 y tres factores deben ser mayores
que 100.
Al darse cuenta de que 2n 1 es un nmero primo en
cada caso, Euclides demostr que la frmula 2n1 (2n
1) genera un nmero perfecto par siempre que 2n 1 es 2 Otras propiedades de los nme-
primo. ros perfectos pares
Los matemticos de la Antigedad hicieron muchas su-
posiciones sobre los nmeros perfectos basndose en los 2.1 Son nmeros triangulares
cuatro que ya conocan. Muchas de estas suposiciones han
resultado ser falsas. Una de ellas era que, como 2, 3, 5 2
Un nmero triangular es de la forma n 2+n , donde n
y 7 eran precisamente los cuatro primeros nmeros pri- es un nmero entero positivo cualquiera distinto de cero.
mos, el quinto nmero perfecto se obtendra con n = 11, p
Si partimos de la identidad 2p1 (2p 1)= (2 1 )+1 p
(2 1) y
2
el quinto nmero primo. Sin embargo, 211 1 = 2047 = distribuimos el producto del segundo miembro obtene-
23 89 no es primo y por tanto n = 11 no genera un n- mos:
mero perfecto. Dos de las otras suposiciones equivocadas
eran:
2
(2p 1) + (2p 1)
1. El quinto nmero perfecto tendra cinco dgitos, ya 2p1
(2 p
1) =
2
que los cuatro primeros tienen 1, 2, 3 y 4, respecti-
vamente. La expresin 2 1 es un nmero primo de Mersenne
p

y vemos que el trmino derecho de la identidad adopta

2. Los nmeros perfectos terminaran alternativamen- la forma correspondiente a la denicin de nmero trian-
te en 6 y en 8. gular. Podemos armar que un nmero perfecto par es

1
2 7 ENLACES EXTERNOS

un nmero triangular y su orden es un nmero primo de 5 Vase tambin

Mersenne.
Nmeros amigos

2.2 Son nmeros combinatorios o coe- Nmeros sociables

cientes del binomio

Como todos los nmeros triangulares estn en la tercera 6 Referencias

columna del tringulo de Pascal y acabamos de ver que
todo nmero perfecto par es un nmero triangular, los [1] Tony Crilly (2011). 50 cosas que hay que saber sobre ma-
nmeros
(2p ) perfectos son tambin nmeros combinatorios. temticas. Ed. Ariel. ISBN 978-987-1496-09-9.
2 , donde 2p es la potencia correspondiente a un n-
mero primo de Mersenne aumentado en una unidad.
7 Enlaces externos
2.3 Son nmeros hexagonales Weisstein, Eric W. Nmero perfecto. En Weiss-
tein, Eric W. MathWorld (en ingls). Wolfram Re-
Un nmero hexagonal es de la forma n(2n 1) = search.
2n2 n , para n un nmero entero positivo cualquie-
ra distinto de cero. Surge
( inmediatamente
) de la identidad Determinacin geomtrica de los nmeros primos y
2p1 (2p 1) = 2p1 2 2p1 1 , llamando n al perfectos
nmero 2p1 .
Historia de los nmeros perfectos

3 Cuestiones abiertas
Por cuestin abierta se entiende una propiedad de la que
todava no se tiene una demostracin, tanto de su arma-
cin como de su negacin. Son cuestiones abiertas:

Determinar si existen innitos nmeros perfectos.

Hasta enero del ao 2016 se conocen 49 nmeros
perfectos.

Demostrar la imposibilidad de un nmero perfecto

impar o encontrar uno.

4 Conceptos relacionados
Aparte, y considerando la suma de los divisores propios,
existen otros tipos de nmeros.

Nmeros defectivos: la suma de los divisores propios

es menor que el nmero.

Nmeros abundantes: la suma es mayor que el n-

mero.

Nmeros amigos: a y b tales que a es la suma de los

divisores propios de b y viceversa.

Nmeros sociables: como los amigos, pero con un

ciclo mayor de nmeros.

Nmeros semiperfectos: la suma de todos o algunos

de los divisores propios es igual al nmero.
 3

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Nmero perfecto Fuente: https://es.wikipedia.org/wiki/N%C3%BAmero_perfecto?oldid=97082421 Colaboradores: Joseaperez, Oblon-
go, Sabbut, Moriel, Numerao~eswiki, Sanbec, L'abbaco spagnolo~eswiki, Zwobot, Interwiki, Dodo, Sms, Vizcarra~eswiki, Walini, Rena-
bot, Soulreaper, Petronas, Yrithinnd, Rembiapo pohyiete (bot), RobotQuistnix, Chobot, Yrbot, YurikBot, Manolo456, Pacomeco, Eskim-
bot, 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, Super-
Braulio13, Xqbot, Jkbw, Drianos, Leo Gutierrez, Botarel, Amgc56, Xtarzanx, Panderine!, Zulucho, Jerowiki, PatruBOT, TjBot, Humbefa,
GrouchoBot, ZroBot, MAXIMO ASENSIO RUIZ, JackieBot, Waka Waka, JoshAcevedo, Acratta, Julvenzor, Elvisor, Tenedora, Addbot,
Balles2601, Jlopeztarres, Jarould, Bruno Rene Vargas, Wilderariel, Krumzog, Erika Villacis y Annimos: 134

8.2 Imgenes

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0