69 admet 4 diviseurs positifs :
1, 3, 23, 69, et 4 ne divise pas 69.
Donc 69 n’est pas « sigma ».
Le seul nombre premier « sigma » est 2 car si p est un nombre premier
impair, p admet exactement 2 diviseurs positifs, et 2 ne divise pas p.
Si N est supérieur à 1, impair et « sigma », alors N admet une
décomposition en facteurs premiers :
avec 2 < p1 < ... pr, où les ai
sont des entiers non nuls tels que (a1 + 1)
... (ar + 1) divise N.
La décomposition de 2N est alors :
,
ce qui montre que le nombre de diviseurs de 2N est le double de celui de N.
Donc ce nombre divise 2N , ce qui prouve que 2N est « sigma ».
Si N = 1, le cas est trivial : 1 est « sigma » et c’est un carré.
Si N ≥ 2, N admet une décomposition en facteurs premiers :
avec 2 < p1 < ... pr, où les ai
sont des entiers non nuls tels que (a1 + 1)
... (ar + 1) divise N.
Cela impose que tous les facteurs ai + 1
soient impairs, donc que tous les ai soient
pairs :
il existe βi tel que ai = 2βi.
Ainsi
La réciproque est fausse : 25 est un carré parfait impair qui n’est pas «
sigma », car 25 admet 3 diviseurs.
Si p est un nombre premier impair, pp-1 est impair et admet p
diviseurs ;
comme p divise pp-1, ce nombre est « sigma ».
Comme il existe une infinité de nombres premiers, il en résulte qu’il existe
une infinité de nombres« sigma ».