Pourquoi p doit-il être lui-même premier ?

Si p est égal à a fois b avec les deux supérieurs à 1, alors 2^p - 1 est divisible par 2^a - 1 (et par 2^b - 1), donc M_p est composé. La réciproque n'est pas vraie : p premier n'implique pas que M_p soit premier. Par exemple, p = 11 est premier mais M_11 = 2047 = 23 fois 89 est composé.

Pourquoi M_p a-t-il p bits consécutifs à 1 en binaire ?

Le nombre 2^p en binaire est un 1 suivi de p zéros. Soustraire 1 convertit tous les p zéros finaux en 1. Donc 2^p - 1 en binaire est exactement composé de p uns, ce qui est la signature visuelle caractéristique de chaque nombre de Mersenne.

Vérificateur de Nombre Premier de Mersenne

Q: Comment fonctionne le test de Lucas-Lehmer ?

Pour un exposant premier p supérieur ou égal à 3, on définit S_0 = 4 et S_i = S_(i-1)^2 - 2 modulo M_p. Le nombre de Mersenne M_p = 2^p - 1 est premier si et seulement si S_(p-2) est congru à 0 modulo M_p. Le test s'effectue en p-2 itérations, chacune étant une simple élévation au carré modulaire.

Q: Quel est le lien entre les nombres premiers de Mersenne et les nombres parfaits ?

Le théorème d'Euclide-Euler stipule que tout nombre parfait pair a la forme 2^(p-1) fois (2^p - 1) où 2^p - 1 est un nombre premier de Mersenne. Ainsi, chaque nombre premier de Mersenne génère exactement un nombre parfait pair, et chaque nombre parfait pair provient d'un nombre de Mersenne. L'existence de nombres parfaits impairs est l'un des plus anciens problèmes ouverts en mathématiques.

Q: Quel est le plus grand exposant que cet outil peut tester ?

Cet outil teste les exposants jusqu'à 5000 afin que l'itération de Lucas-Lehmer se termine dans le cadre d'une requête web normale. Pour des exposants plus grands (y compris la frontière GIMPS activement recherchée), des logiciels dédiés tels que Prime95 sont nécessaires car un seul test peut prendre des semaines de calcul.

Testez si 2^p - 1 est un nombre premier de Mersenne pour un exposant p donné. Test de Lucas-Lehmer avec trace animée, visualisation binaire, appariement d'Euclide-Euler et les 52 nombres connus.

Utilisation gratuiteSans inscriptionRésultats instantanés

Vérificateur de Nombre Premier de MersenneEssayez maintenant — gratuit ▼

Embed Vérificateur de Nombre Premier de Mersenne Widget

Vérificateur de Nombre Premier de Mersenne

Bienvenue sur le Vérificateur de Nombre Premier de Mersenne, un outil interactif qui teste si $2^p - 1$ est un nombre premier de Mersenne pour tout exposant $p$ jusqu'à 5000. L'outil exécute le célèbre test de primalité de Lucas-Lehmer, affiche une trace d'itération animée de la récurrence $S_i = S_{i-1}^2 - 2 \pmod{M_p}$, visualise le motif binaire (une signature caractéristique de chaque nombre de Mersenne) et — lorsque le résultat est premier — l'associe au nombre parfait pair correspondant via le théorème d'Euclide-Euler.

Qu'est-ce qu'un nombre premier de Mersenne ?

Un nombre de Mersenne est un nombre de la forme $M_p = 2^p - 1$. Lorsque $M_p$ est lui-même premier, on l'appelle un nombre premier de Mersenne. Ce nom rend hommage à Marin Mersenne (1588-1648), le moine français qui a répertorié les premiers cas et a conjecturé quels exposants jusqu'à 257 donnaient des nombres premiers — une liste qui s'est avérée partiellement erronée, mais qui a lancé trois siècles de recherche.

Nombre premier de Mersenne

$$M_p = 2^p - 1 \;\; \text{est premier, où } p \text{ doit être lui-même premier}$$

Les premiers nombres premiers de Mersenne, dans l'ordre :

$M_2 = 3$
$M_3 = 7$
$M_5 = 31$
$M_7 = 127$
$M_{13} = 8{,}191$
$M_{17} = 131{,}071$
$M_{19} = 524{,}287$
$M_{31} = 2{,}147{,}483{,}647$ (découvert par Euler en 1772 — le plus grand nombre premier connu pendant 104 ans)

En 2024, exactement 52 nombres premiers de Mersenne sont connus. Le record actuel est $M_{136{,}279{,}841}$, découvert en octobre 2024 par le projet de calcul partagé GIMPS — un nombre comportant 41 024 320 chiffres décimaux.

Le test de Lucas-Lehmer

La raison pour laquelle les nombres de Mersenne dominent les records est un test de primalité spécialisé et extrêmement rapide découvert par Édouard Lucas (1878) et simplifié par Derrick Lehmer (1930) :

Test de Lucas-Lehmer

$$S_0 = 4, \quad S_i = S_{i-1}^2 - 2 \pmod{M_p}$$

Pour p premier $\geq 3$ : $\;M_p$ est premier $\iff S_{p-2} \equiv 0 \pmod{M_p}$

Le test ne nécessite que $p-2$ élévations au carré modulaires — environ $O(p^3)$ opérations sur les bits avec une multiplication classique, ou $O(p^2 \log p \log\log p)$ avec la FFT. Comparez cela aux tests de primalité universels sur des nombres de la taille de $M_p$ (des millions de chiffres), qui seraient totalement irréalisables. Le raccourci Lucas-Lehmer est ce qui rend possible la recherche de nombres premiers de Mersenne.

Pourquoi p doit-il être premier ?

Si $p = a \cdot b$ avec $a, b > 1$, une identité classique montre que $2^a - 1$ divise $2^{ab} - 1$ :

Identité de factorisation

$$2^{ab} - 1 = (2^a - 1)\left(2^{a(b-1)} + 2^{a(b-2)} + \cdots + 2^a + 1\right)$$

Ainsi, si l'exposant est composé, $M_p$ est automatiquement composé. La réciproque est fausse : le fait que $p$ soit premier ne garantit pas que $M_p$ soit premier. Par exemple, $p = 11$ est premier mais $M_{11} = 2047 = 23 \times 89$.

Nombres premiers de Mersenne et nombres parfaits (Euclide-Euler)

Euclide a observé vers 300 av. J.-C. que si $2^p - 1$ est premier, alors $2^{p-1}(2^p - 1)$ est un nombre parfait — un nombre égal à la somme de ses diviseurs propres. Euler a prouvé plus tard la réciproque : tout nombre parfait pair provient de cette forme.

Théorème d'Euclide-Euler

$$N \text{ est un nombre parfait pair} \iff N = 2^{p-1}(2^p - 1),\;\; 2^p - 1 \text{ premier}$$

Ainsi, trouver un nouveau nombre premier de Mersenne produit instantanément un nouveau nombre parfait. Les quatre premiers nombres parfaits pairs sont 6, 28, 496 et 8128 — connus depuis l'Antiquité. La question de savoir s'il existe un nombre parfait impair reste un problème non résolu depuis plus de 2 300 ans.

Le motif binaire

Chaque nombre de Mersenne possède une représentation binaire unique et épurée : $2^p$ en binaire est un $1$ suivi de $p$ zéros, donc $2^p - 1$ est exactement composé de $p$ bits à 1 consécutifs :

M_5 = 2^5 − 1 = 11111₂ = 31

M_7 = 2^7 − 1 = 1111111₂ = 127

C'est pourquoi l'outil visualise chaque bit comme sa propre tuile — le motif de bits est la signature visuelle d'un nombre de Mersenne, qu'il soit premier ou non.

Comment utiliser ce calculateur

Entrez un exposant $p$ : tout entier positif de 1 à 5 000.
Cliquez sur Vérifier : l'outil vérifie d'abord si $p$ est premier ; sinon, il explique pourquoi $M_p$ doit être composé.
Pour un p premier : la récurrence de Lucas-Lehmer effectue $p - 2$ itérations modulo $M_p$.
Explorez le résultat : bannière de verdict, trace d'itération sur 6 lignes (avec "..." pour les étapes intermédiaires omises sur les grands $p$), formes décimales et binaires de $M_p$, et le couplage avec le nombre parfait d'Euclide-Euler le cas échéant.

Les douze premiers nombres premiers de Mersenne connus

#	Exposant $p$	$M_p = 2^p - 1$	Chiffres	Découvert
1	2	3	1	Antiquité
2	3	7	1	Antiquité
3	5	31	2	Antiquité
4	7	127	3	Antiquité
5	13	8 191	4	1456 (anon.)
6	17	131 071	6	1588 Cataldi
7	19	524 287	6	1588 Cataldi
8	31	2 147 483 647	10	1772 Euler
9	61	2.3 × 10^18	19	1883 Pervouchine
10	89	6.2 × 10^26	27	1911 Powers
11	107	1.6 × 10^32	33	1914 Powers
12	127	1.7 × 10^38	39	1876 Lucas

Le projet GIMPS

Le Great Internet Mersenne Prime Search (GIMPS), lancé en 1996 par George Woltman, est un projet de calcul distribué où des bénévoles font don de temps processeur (CPU) pour exécuter des tests de Lucas-Lehmer sur des exposants candidats. En 2024, tous les nombres premiers de Mersenne depuis M_35 = M_{1398269} (1996) ont été découverts par GIMPS. Un seul test de Lucas-Lehmer à la frontière moderne (exposants proches de $10^8$) prend des semaines de calcul sur GPU.

Faits amusants sur les nombres premiers de Mersenne

$M_{31} = 2{,}147{,}483{,}647$ est le plus grand entier signé de 32 bits — le célèbre $\texttt{INT\_MAX}$ en C. Ce n'est pas un hasard : cette valeur provient du fait que $M_{31}$ est premier et constitue donc une limite naturelle "juste avant le dépassement de capacité".
Il existe des écarts de taille inconnue entre les nombres premiers de Mersenne successifs. On ignore s'il existe une infinité de nombres premiers de Mersenne — la conjecture de Lenstra-Pomerance-Wagstaff prédit qu'il y en a, croissant à peu près comme $e^\gamma \log_2 p$.
En 2008, l'Electronic Frontier Foundation a accordé 100 000 $ US au premier découvreur d'un nombre premier de 10 millions de chiffres. Le prix est allé à l'équipe GIMPS de l'UCLA pour $M_{43112609}$. Un prix de 150 000 $ US est toujours disponible pour le premier nombre premier de 100 millions de chiffres.
$M_{31}$ apparaît sur le billet commémoratif russe de 100 roubles de 1811 honorant la découverte d'Euler — l'un des rares nombres premiers jamais imprimés sur une monnaie.
Parce que chaque nombre premier de Mersenne donne un nombre parfait, l'humanité a exactement 52 nombres parfaits pairs enregistrés (correspondant aux 52 nombres premiers de Mersenne connus).

Foire Aux Questions

Qu'est-ce qu'un nombre premier de Mersenne ?

Un nombre premier de Mersenne est un nombre premier de la forme $2^p - 1$, où $p$ est également premier. Les premiers sont 3, 7, 31, 127 et 8 191. En 2024, 52 nombres premiers de Mersenne sont connus ; le plus grand connu ($M_{136{,}279{,}841}$) est un nombre de Mersenne avec plus de 41 millions de chiffres.

Comment fonctionne le test de Lucas-Lehmer ?

Pour un exposant premier $p \geq 3$, on définit $S_0 = 4$ et $S_i = S_{i-1}^2 - 2 \pmod{M_p}$. Le nombre de Mersenne $M_p = 2^p - 1$ est premier si et seulement si $S_{p-2} \equiv 0 \pmod{M_p}$. Le test se déroule en $p - 2$ itérations, chacune consistant en une seule élévation au carré modulaire.

Pourquoi p doit-il être premier ?

Si $p = ab$ avec les deux facteurs supérieurs à 1, alors $2^p - 1$ est divisible par $2^a - 1$ (et par $2^b - 1$), donc $M_p$ est composé. La réciproque n'est pas vraie : $p$ étant premier n'implique pas que $M_p$ soit premier. Par exemple, $p = 11$ est premier mais $M_{11} = 2047 = 23 \times 89$ est composé.

Quel est le lien entre les nombres premiers de Mersenne et les nombres parfaits ?

Le théorème d'Euclide-Euler stipule que chaque nombre parfait pair a la forme $2^{p-1}(2^p - 1)$ où $2^p - 1$ est un nombre premier de Mersenne. Ainsi, chaque nombre premier de Mersenne génère exactement un nombre parfait pair, et chaque nombre parfait pair provient d'un nombre de Mersenne. L'existence de nombres parfaits impairs est l'un des plus anciens problèmes ouverts en mathématiques.

Pourquoi M_p a-t-il p bits à 1 consécutifs en binaire ?

Le nombre $2^p$ en binaire est un 1 suivi de $p$ zéros. En soustrayant 1, tous les $p$ zéros finaux se transforment en 1. Donc $2^p - 1$ en binaire est exactement composé de $p$ uns — la signature visuelle caractéristique de chaque nombre de Mersenne, qu'il soit premier ou composé.

Quel est le plus grand exposant que cet outil peut tester ?

Cet outil teste des exposants jusqu'à 5 000 afin que l'itération de Lucas-Lehmer se termine dans le cadre d'une requête web normale. Pour des exposants plus grands (y compris la frontière GIMPS proche de $10^8$), des logiciels dédiés comme Prime95 sont nécessaires car un test unique peut prendre des semaines de calcul sur un GPU moderne.

Ressources supplémentaires

Citez ce contenu, cette page ou cet outil comme suit :

"Vérificateur de Nombre Premier de Mersenne" sur https://MiniWebtool.com/fr/verificateur-de-nombre-premier-de-mersenne/ de MiniWebtool, https://MiniWebtool.com/

par l'équipe miniwebtool. Mis à jour : 18 avr. 2026

API développeur disponible: Exécutez cet outil depuis votre app, automatisation ou agent avec une requête HTTP JSON. Voir la documentation API

Vous pouvez également essayer notre Résolveur Mathématique IA GPT pour résoudre vos problèmes mathématiques grâce à des questions-réponses en langage naturel.

Opérations mathématiques élémentaires:

Calculateur de Valeur Absolue Nouveau
Vérificateur de Nombres Amiables Nouveau
Visualiseur de Retenue et d'Emprunt Nouveau
Calculateur de Plafond et Plancher Nouveau
Calculatrice des facteurs communs
Calculateur de Multiplication Croisée Nouveau
Calculatrice de cube et de racine cubique
Calculateur de Racine Cubique
Calculateur de Racine Numérique Nouveau
Divisez en deux parties
Calculatrice de test de divisibilité Populaire
Calculatrice de Multiplication Égyptienne Nouveau
Calculateur d'Estimation Nouveau
Vérificateur de Nombre Pair ou Impair Nouveau
Calculatrice de Facteurs
Vérificateur de Nombre de Fibonacci Nouveau
Calculatrice du Minimum et du Maximum
Premiers n chiffres de e
Premiers n chiffres de Pi
Vérificateur de la Conjecture de Goldbach Nouveau
Calculatrice du facteur commun le plus élevé
Est-ce un nombre premier ?
Calculatrice du Plus Petit Commun Multiple (PPCM)
Calculateur d'Addition et Soustraction Posée Populaire
Calculateur de Division Longue Nouveau
Calculateur de Multiplication Longue Nouveau
Calculateur de Fonction de Möbius Nouveau
Entraîneur de Calcul Mental Nouveau
Vérificateur de Nombre Premier de Mersenne Nouveau
Calculatrice Modulo Populaire
Calculatrice de Multiplication
Générateur de Tables de Multiplication Nouveau
Calculatrice de racine nième haute précision
Générateur de Décomposition Numérique Nouveau
Calculatrice de nombre de chiffres Populaire
Chercheur de Motifs Numériques Nouveau
Calculateur d'Ordre des Opérations (PEMDAS) Nouveau
Vérificateur de Nombre Parfait Nouveau
Générateur de Tableau de Valeur de Position Nouveau
Calculatrice du facteur premier
Calculatrice de Factorisation Première
Calculatrice du quotient et du reliquat
Générateur de Problèmes de Mathématiques Aléatoires Nouveau
Calculateur de Ratio Nouveau
Calculateur de Mathématiques en Chiffres Romains Nouveau
Multiplication Paysanne Russe Nouveau
Générateur de Comptage par Sauts Nouveau
Simulateur de Boulier Soroban Nouveau
Trier les Nombres Populaire
Calculatrice de racine carrée Populaire
Calculatrice de Somme Populaire
Quiz des Tables de Multiplication Nouveau
Calculateur de Prix Unitaire Nouveau
Calculatrice de Trucs de Mathématiques Védiques Nouveau

Vérificateur de Nombre Premier de Mersenne

Vérificateur de Nombre Premier de Mersenne

Qu'est-ce qu'un nombre premier de Mersenne ?

Le test de Lucas-Lehmer

Pourquoi p doit-il être premier ?

Nombres premiers de Mersenne et nombres parfaits (Euclide-Euler)

Le motif binaire

Comment utiliser ce calculateur

Les douze premiers nombres premiers de Mersenne connus

Le projet GIMPS

Faits amusants sur les nombres premiers de Mersenne

Foire Aux Questions

Qu'est-ce qu'un nombre premier de Mersenne ?

Comment fonctionne le test de Lucas-Lehmer ?

Pourquoi p doit-il être premier ?

Quel est le lien entre les nombres premiers de Mersenne et les nombres parfaits ?

Pourquoi M_p a-t-il p bits à 1 consécutifs en binaire ?

Quel est le plus grand exposant que cet outil peut tester ?

Ressources supplémentaires

Opérations mathématiques élémentaires:

Outils populaires et mis à jour:

Téléchargez tout en un seul ZIP avec Pro