|
NOMBRES de MERSENNE Mn = 2n – 1 Puissance de deux moins un. Intérêt particulier porté sur les nombres de Mersenne premier. Note: Généralement un
nombre de Mersenne est entendu comme un nombre de Mersenne premier. Les nombres de Mersenne sont un cas particulier des nombres de Cunningham et également des nombres de Williams. |
En bref
|
||
Si on connaît un nombre de MERSENNE
premier: 2n – 1
|
Alors, on connaît un nombre PARFAIT beaucoup plus grand: 2n – 1 (2n – 1) |
|
Voir Défi
de Frénicle à Fermat
|
|||
Théorème
|
Exemples M2 = 2² – 1
= 3 C'est le N°1 M3 = 23 – 1 =
7 C'est le N°2 M5 = 25 – 1 = 31
C'est le N°3 |
||
Exploration de ce
théorème Pour ces nombres
premiers, 2n – 1 est composé: 11, 23, 29, 37, 41, 43, 47, 53, 59,
67, 71, 73, 79, 83, 97, 101, 103, 109, 113, 131, 137, 139, 149, 151, 157,
163, 167, 173, 179, 181, 191, 193, 197, 199 … |
Liste pour les
premières valeurs Suite de ce tableau |
||
Repunit en binaire
|
112
= 310 = 4 – 1 = 22 – 1 1112
= 710 = 8 – 1 = 23 – 1 11112 =
1510 = 16 – 1 = 24 – 1 |
||
2n
– 1 , si n est composé, il peut s'écrire 2km – 1 et se factoriser en: 2km
– 1 = (2k – 1) (2k (m-1) + … + 2kl + 2k
+ 1). Donc
n est composé, et 2n – 1 ne peut pas l'être (car divisible par 2k
– 1. 2n
– 1 ne peut être premier que si n l'est. Il
s'agit ici d'une démonstration
par l'affirmation opposée, dite par contraposée. On
peut même démonter que: si a et n sont des entiers plus grand que 1, si an
– 1 est premier, alors a = 2 et n est premier. |
Voir Divisibilité
des nombres de Mersenne / Contraposée
|
|||
Démonstration |
|||
|
an – 1 = (a – 1) (an-1 + an-2 + … +
a + 1) |
||
|
(a – 1) = 1 a
= 2 |
||
|
n = r . s |
||
|
an
– 1 = 2rs – 1 =
(2r – 1) (2r(s-1) + 2r(s-2) + … + 2r
+ 1) |
||
|
2n – 1 est premier que si n est premier |
||
|
|
On ne sait pas
prouver que:
Euler a montré que:
Conjecture
Soit
p un entier impair quelconque. Si deux des conditions suivantes
sont remplies, alors la troisième aussi : 1) 2) 2p - 1 est premier (un premier de Mersenne, évidemment) 3) (2p + 1)/3 est premier. Vérifiée pour tous les premiers p < 100
000. |
|
||
|
= 170141183
4604692317 3168730371 5884105727 C5 > 105121759971936968187987972338633157624 |
|
|
||
Voir Nombres Sublimes
|
||
|
M2 = 22 – 1 = 3
M3 = 23 – 1 = 7
M5 = 25 – 1 = 31
|
|
Si Mp = 2p – 1 Produit de nombres de Mersenne
premiers: la somme des diviseurs est égale à 2 à la puissance de la somme des
indices: |
||
Voir Nombres
sublimes (propriété utilisée pour la démonstration)
& M – 1 =
2n – 2 = 2(2n-1 – 1)
|
|
|
Propriété amusante avec un nombre de Mersenne Mn
et Mn – 1. On pourrait penser que si Mn – 2 est
divisible par n, alors le nombre de Mersenne est premier. Ex: M5 = 25 – 1 = 31 qui est premier et 30 = 5 x 6 (en jaune
sur le tableau). Hélas, ça ne marche pas toujours. Pire, la quantité de faux augmente. Pour n jusqu'à 100 10 Vrais: [2, 3, 5, 7, 13, 17, 19, 31, 61,
89] 16 Faux: [1, 11, 23, 29, 37, 41, 43, 47,
53, 59, 67, 71, 73, 79, 83, 97] Pour n jusqu'à 1000 14 Vrais: […, 107, 127, 521, 607] 158 Faux: […, 101, 103, 109, 113, 131, 137,
139, 149, …] Pour n jusqu'à 10 000 20 Vrais
& 666 Faux |
Cette affirmation est fausse
|
|
Voir Nombre
666
Définition des nombres compagnons Ce sont des nombres premiers de la forme: Ck = Mk
+ n × 10D Avec D, la quantité de chiffres dans le nombre de
Mersenne. Lecture du tableau k est le rang du nombre de Mersenne et kp celui
du nombre premier. Mk est le nombre de Mersenne. D est la quantité de chiffre de Mk. C est le nombre compagnon selon le coefficient n. En rouge, les nombres premiers. |
Exemples |
||||
Compagnons premiers On ne conserve que les nombres de Mersenne
premiers. Parmi, les nombres premiers qui restent, on note
le premier en tête. C'est le nombre compagnon de Mersenne. |
Tableau réduit aux nombres premiers |
||||
Liste 1: valeur de n suivie du nombre de Mersenne Liste 2: valeur de n pour les Mersenne premiers successifs |
[1, 3], [1, 7], [1, 31], [4, 127], [1, 8191],
[10, 131071], [1, 524287], [36, 2147483647], [15, 2305843009213693951], [58,
618970019642690137449562111], … 1, 1, 1, 4, 1, 10, 1, 36, 15, 58, 57, 55, 310,
177, 51, 2389, 973, 532, 1750, 63, 1032, 1240, 3757, 9994, 5854, 12870,
46147, 11923, 17113, 10296, 5977, … Voir OEIS A209985 – Values of the
first prefixing digits for Mersenne primes Voir OEIS A202136 – Prefixing digits
to Mersenne primes to obtain larger primes Auteur: Gil Mozzo |
||||
Quantité de nombres premiers pour chaque
Mersenne pour n de 1 à 100 |
41, 45, 30, 21, 22, 14, 13, 9, 5, 3, 1, 3, 0, 0 … Lecture: entre n = 1 à
100, il y a 41 nombres premiers de type C. La densité tend vers 0 pour les grands nombres de
Mersenne. |
||||
Programme Maple |
But Lister les valeurs de n pour les compagnons
Mersenne successifs. Commentaires Ouverture de la liste L. Calcul de M et de sa quantité de chiffres via le logarithme. Balayage en n et calcul du compagnon potentiel P. S'il P est premier et M est premier, ajouter la
valeur de n à la liste. Arrêt du balayage (break)
en n dès qu'un P premier a été trouvé. On ne cherche que le plus petit n. Impression de la liste L en fin de programme. |
||||
Listing du programme pour
copier-coller restart:
L := []: for k from 2 to 100 do M := 2^k-1; d := floor(log[10](M))+1; for n
to 1000 do P := n*10^d+M; if isprime(P) and isprime(M) then L := [op(L), n];
break end if end do end do: L;
|
|||||
Voir Compagnons des nombres de Fermat / Programmation – Index
Idée de Gil Mozzo que je remercie pour ce partage d'informations
|
|
Avant
Regius
– 1536
Cataldi
– 1603
Fermat
– 1640
Arrive
le moine français Marin Mersenne (1588-1648)
Euler
– 1750
Lucas
– 1876
Pervusin
– Sept ans plus tard
Powers
– Au début des années 1900
Finalement,
en 1947
n = 2, 3, 5, 7, 13,
17, 19, 31, 61, 89, 107 et 127 Depuis,
avec les ordinateurs
|
2521 – 1 = 512 = 6,8648 … 10156 Premier
de Mersenne et de Woodall (Trouvé par Dobb, cité par Caldwell) |
Voir Nombres premiers de Woodall
|
|
Sa
vie
Ami et
correspondant de Descartes et de
nombreux autres savants: Huygens, Fermat, Hobbes. Il crée autour de
lui une activité philosophique et scientifique. En 1635, il
organise des réunions régulières, sorte d'académie: Roberval, le père de Pascal (Étienne) … Ce foyer de
réflexion animé par Mersenne conduira à la création par Colbert de l'Académie
des sciences en 1666.
|
|
|
Voir |
|
Site |
|
Pages voisines: Nombres
Remarquables
|
|
|||
Suite en
Autres noms de nombres