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 $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 le test de Lucas-Lehmer en esquivant un passage qui n'est pas utile du tout.

Autres années :

Versions :

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