The sesquicentennial of the prime number $2^{127} - 1$

La Grande Chasse aux Nombres : Une histoire de nombres premiers, de puzzles et d'échiquiers

Imaginez que vous êtes un détective essayant de trouver un type de nombre très spécial appelé « premier ». Ce sont les blocs de construction de toutes les mathématiques, des nombres qui ne peuvent être divisés de manière égale que par 1 et par eux-mêmes. Depuis des siècles, les mathématiciens sont obsédés par la recherche des plus grands et des plus insaisissables nombres premiers, non pas seulement parce qu'ils sont difficiles à trouver, mais parce qu'ils détiennent des secrets sur le fonctionnement des nombres. Pour les trouver, vous devez généralement jouer à un jeu de « tâtonnement », en vérifiant si un nombre peut être divisé par des nombres plus petits un par un. Mais pour des nombres véritablement massifs, c'est comme essayer de compter chaque grain de sable sur une plage en les ramassant un par un : cela prendrait plus longtemps que l'existence de l'univers !

Ce document raconte l'histoire d'un brillant mathématicien français, Édouard Lucas qui, en 1876, trouva un moyen de sauter le jeu ennuyeux du comptage. Il n'a pas seulement trouvé un énorme nombre premier ; il a inventé un raccourci ingénieux, un « tour de magie » mathématique capable de prouver qu'un nombre est premier sans avoir à vérifier chaque diviseur. Le document célèbre le 150e anniversaire de cette découverte et explique comment Lucas a utilisé un échiquier et un motif spécifique de nombres pour résoudre un puzzle qui semblait impossible. Aujourd'hui, les ordinateurs utilisent exactement la même logique que celle découverte par Lucas pour trouver les plus grands nombres premiers du monde, prouvant qu'une idée du XIXe siècle est toujours le moteur qui fait avancer les mathématiques modernes.

---

Le Géant à 39 chiffres et le Magicien de l'Échiquier

L'année 2026 marque l'anniversaire important d'un nombre très spécial : M127, qui s'écrit 2¹²⁷ − 1. Si vous écrivez ce nombre, il ressemble à une longue chaîne de chiffres : 170 141 183 460 469 231 731 687 303 715 884 105 727. C'est un nombre à 39 chiffres, et en 1876, Édouard Lucas a prouvé qu'il était un nombre premier. Ce fut un événement majeur. Pendant 75 ans, ce fut le plus grand nombre premier connu au monde. Plus étonnant encore, Lucas a fait cela sans ordinateur, sans calculatrice, ni aucune aide mécanique. Il l'a fait entièrement à la main, et il l'a fait d'une manière qui ressemble à un spectacle de magie.

Lucas était un homme de nombreux talents. Il a inventé le célèbre puzzle de la « Tour de Hanoï » et a même créé le jeu des « Petits Carrés » (Dots and Boxes). Mais son tour le plus célèbre fut la façon dont il a prouvé que M127 était premier. Habituellement, pour prouver qu'un nombre est premier, il faut vérifier s'il peut être divisé par des nombres plus petits. Mais M127 est si grand que le faire prendrait une éternité. Au lieu de cela, Lucas a utilisé une séquence particulière de nombres qu'il a découverte, qu'il a appelée la « suite de Lucas » (nommée d'après lui, bien sûr). Voyez cette séquence comme une famille de nombres qui croissent selon un motif spécifique, semblable à la façon dont les célèbres nombres de Fibonacci croissent, mais avec une nuance.

Lucas a réalisé que si l'on prend un nombre spécifique de cette séquence et qu'on le divise par M127, le résultat devrait être zéro si M127 est premier. Le problème ? Le nombre qu'il devait vérifier était si immense qu'il comptait plus de 100 chiffres ! Il était bien trop grand pour être écrit ou calculé sur papier. Alors, Lucas a transformé son salon en un plateau de jeu. Il a utilisé un échiquier de 127 × 127 pour faire les mathématiques.

Voici comment son « jeu » fonctionnait : Il utilisait des pions d'échecs pour représenter le chiffre 1 et des cases vides pour représenter le 0. Il disposait les pions sur le plateau pour représenter le nombre sur lequel il travaillait, encodant ainsi le nombre en binaire. Ensuite, il suivait un ensemble de règles pour déplacer les pions, effectuant ainsi l'opération de « mise au carré » du nombre et le réduisant à une taille gérable, tout comme le fait un ordinateur. Il n'écrivait rien ; il se contentait de déplacer les pions. Après environ 120 tours de déplacement de pions et de mises au carré, il vérifiait la dernière rangée. Si les pions s'alignaient parfaitement (signifiant que le résultat était zéro), alors M127 était définitivement premier. Et c'était le cas ! Il l'a prouvé sans jamais écrire un seul chiffre sur une feuille de papier.

Le Moteur Moderne : Des Échiquiers aux Supercalculateurs

Le document explique que la méthode de Lucas n'était pas seulement un tour ponctuel ; elle est devenue le fondement de la manière dont nous trouvons les plus grands nombres premiers aujourd'hui. Cette méthode est désormais appelée le test de Lucas-Lehmer. Tandis que Lucas le faisait avec des pions, les ordinateurs modernes utilisent ce même test pour trouver des nombres premiers possédant des dizaines de millions de chiffres. Le détenteur du record actuel, trouvé en octobre 2024, est un nombre possédant 41 024 320 chiffres décimaux. C'est un nombre si long qu'il faudrait des années à un humain pour le lire à voix haute !

La recette secrète derrière ce test est un outil mathématique spécial appelé polynôme de Tchebychev. Vous pouvez voir ce polynôme comme une machine qui prend un nombre, l'élève au carré et soustrait 2. Si vous introduisez le nombre 4 dans cette machine et que vous répétez le processus encore et encore, vous obtenez une séquence de nombres : 4, 14, 194, 37 634, et ainsi de suite. Le test de Lucas-Lehmer stipule que si vous prenez un nombre premier p, calculez le (p-2)-ième nombre de cette séquence, et qu'il est divisible par 2ᵖ − 1, alors 2ᵖ − 1 est un nombre premier.

Le document détaille les mathématiques pour montrer pourquoi cela fonctionne. Cela implique un peu de terrain de « nombres imaginaires » (appelés corps finis) où les nombres tournent comme sur une horloge. L'auteur montre que ce processus est comparable à la rotation d'une roue dans un cercle spécial. Si la roue tourne le bon nombre de fois et retombe exactement sur un point précis, cela prouve que le nombre est premier. Les mathématiques sont rigoureuses et ont été vérifiées et revérifiées, nous savons donc avec une certitude absolue que ce test est correct.

Pourquoi cela importe

Le document conclut en nous rappelant que si les outils ont changé, les mathématiques, elles, n'ont pas changé. En 1876, Édouard Lucas déplaçait des pions sur un échiquier pour prouver qu'un nombre à 39 chiffres était premier. Aujourd'hui, des supercalculateurs de la « Great Internet Mersenne Prime Search » (GIMPS) exécutent exactement le même algorithme pour trouver des nombres premiers de plusieurs millions de chiffres. La relation entre l'élévation d'un nombre au carré, le polynôme spécial x² − 2, et la façon dont les nombres se comportent dans ces corps finis est le moteur qui alimente à la fois l'échiquier de Lucas et nos découvertes numériques modernes.

C'est un magnifique rappel qu'une idée ingénieuse du XIXe siècle peut encore alimenter la technologie la plus avancée du XXIe siècle. Lucas n'a pas seulement trouvé un nombre ; il a trouvé un moyen de voir la structure cachée des nombres, un moyen qui est encore utilisé pour repousser les limites de nos connaissances mathématiques actuelles. Et tout cela a commencé avec un mathématicien français, un échiquier et un esprit très curieux.