Proposición 1: Si n es un número perfecto impar, entonces, n es de la forma:

n  qα P12β1 P22β2 P32β3 Pr2βr donde los q , P1 , P2 ,  Pr son primos impares distintos
y, además, q    1 mod 4  .
Demostración.
Como n es un perfecto impar entonces se tiene por definición que  n   2n y por la

factorización única en primos, n  A  B  C  D  (estos divisores de n pueden verse como

potencias de primos diferentes entre ellos e impares). Ahora, considerando que  (función
suma de divisores) es multiplicativa se tiene: 2n  σA  B  C  D   σA σB  σC  σD 
Además, dado que n es impar se deduce que 2 n es el doble de un impar y como diría
Euclides es un número “imparmente par”, es decir, 2n  22λ  1  4 λ  2 por lo tanto
2n  2 mod 4  , pero, nótese que 4 | 2n (porque si sucede que 4| 2n , entonces, 4|n lo cual no

es posible ya que n es impar). Así, es importante señalar que entre los factores
σA , σB  , σC  , σD   sólo hay uno que es imparmente par y los restantes son impares.

Sin perdida de generalidad, tómese al factor σ B  como impar y supóngase que B es la

P m1  1
potencia de un primo tal que: B  P m  σB   σP m    P m  P m1  P 2  P  1 .
P1
Como el primo P es impar y P m  P m1   P 2  P  1 es una suma de m impares más uno se

deduce que el exponente m debe ser forzosamente par para que se cumpla que el factor
σ B  sea impar. De esta manera, B  P m es una potencia par de un número impar, por lo

que, B será un cuadrado perfecto. Concluyéndose por tanto que todos los factores primos
A, B , C , D  de n, a excepción de uno, serán cuadrados perfectos.
Por otro lado, sea σ  A  el factor imparmente par de σn  , es decir, σA  22  1  4  2

entonces σA  2 mod 4  . Y sea A  q donde q es un primo impar, por lo que q es de la

forma 4k  1 ó 4k  3 . Se afirma que q es de la forma 4k  1 porque si q  4k  3 se tendría que

σA   2 mod 4  lo cual contradice el hecho de que σ  A  es imparmente par; esto se

 
concluyó al aplicar a  A   q  q  q 1  q 3  q 2  q  1 las dos propiedades
siguientes:
 1) 4k  3   1 mod 4  si s es par y 4k  3   3 mod 4  si s es impar, para
s s

las respectivas s   ,   1, , 2, 1 .

   
2) σ q  1 mod 4  si  es par y  q  0 mod 4  si  es impar donde

 q  q
 
 q 1  q 3  q 2  q  1 .

Así, como q es de la forma 4k  1 entonces 1, q, q 2 ,  , q α1 , q α  1 mod 4  . Ahora, dado que

 A   q  q  q 1  q 3  q 2  q  1 es una suma par cuya cantidad de sumandos es

α1 se deduce que  es número impar, el cual, podría ser de la forma 4λ  1 ó 4λ  3 . Y por
la estructura de las potencias de q se tiene que cada una es de la forma:
4k1 1, 4k2 1, 4k3  1, 4k4  1, 4k5  1  4kα  1 

1 q  q 2  q 3    q α  1  4k1  k 2  k 3    kα  α 

4k1  k 2  kα  α 1  4k'α  1  2Γ   A   q 

Por lo que, si α  4 λ  3 se implica que Γ es par, es decir, σA  22  llegándose así a una
contradicción ya que por hipótesis σ  A  es imparmente par. Por tanto, α  4λ  1 y por
consiguiente   1 mod 4  .
Por todo lo anterior, ha quedado demostrado que todo número perfecto impar n es de la
forma n  q α P12β 1 P22β 2 P32β 3  Pr2β r donde los q , P1 , P2 ,  Pr son primos impares distintos y
q    1 mod 4 