Développement : Test de Lucas-Lehmer pour les nombres de Mersenne, 100% bio, sans abus de notation ni circonvolution

Détails/Enoncé :

On prouve un critère pour que $M_q=2^q-1$ soit premier, on en déduit un test algorithmique simple et rapide. C'est par cette méthode qu'on a construit les plus grands nombres premiers connus à ce jour !

Cette version du développement parvient à présenter la caractérisation des $M_q$ premiers et le test de Lucas-Lehmer en 15 minutes, en esquivant un calcul du Saux-Picard-Rannou qui n'est pas utile.

Versions :

Références utilisées dans les versions de ce développement :