Sur les bonnes valeurs initiales de la suite de
Lucas-Lehmer
Bruno DESCHAMPS
Universit´e du Maine
R´esum´e.— Dans cet article nous explicitons une infinit´e de bonnes de valeurs initiales
pour la suite de Lucas-Lehmer.
Abstract.— In this article we give an infinite number of good initial values for the Lucas-
Lehmer sequence.
1.— Introduction et notations.
Les nombres de Mersenne sont les entiers de la forme 2p−1 avec ppremier. Si
aest un entier naturel tel que 2a−1 soit un nombre premier alors aest lui-mˆeme
premier. Toutefois, tous les nombres de Mersenne ne sont pas premiers, par exemple
211 −1 = 23 ×89. Lucas a propos´e un test, simplifi´e par Lehmer en 1930, pour
caract´eriser les premiers ptels que 2p−1 soit un nombre premier : on consid`ere
une suite r´ecurrente (un)nv´erifiant pour tout n≥0, un+1 =u2
n−2. Si on a u0= 4
alors pour tout premier p≥3
2p−1 est premier ⇐⇒ 2p−1 divise up−2(∗)
Si l’on consid`ere une autre valeur initiale u0∈Zpour (un)nalors la condition
2p−1divise up−2reste suffisante pour assurer la primalit´e de 2p−1 (voir corollaire
2), mais peut perdre sont caract`ere n´ecessaire : par exemple si l’on prend u0=
5 et p= 3 alors on voit que 2p−1 = 7, bien qu’´etant un nombre premier, ne
divise pas u1= 23. Dans cet article on s’int´eresse aux valeurs initiales u0de cette
suite pour lesquelles la condition reste n´ecessaire et suffisante. Dans la suite, nous
appelerons suite de Lucas-Lehmer toute suite `a valeurs enti`eres (un)nv´erifiant la
relation un+1 =u2
n−2 et bonne valeur initiale de la suite de Lucas-Lehmer pour
p≥p0tout entier u0∈Ntel que l’´equivalence (∗) soit v´erifi´ee pour tout p≥p0
premier (ici p0sera explicite).
Nous apportons quelques pr´ecisions sur le test de primalit´e de Lucas-Lehmer,
en particulier nous montrons que pour toute valeur initiale u0et tout 2p−1 premier,
ce dernier divise au plus un terme de la suite (un)net que si ce terme n’est pas
celui d’indice p−2 alors la suite (un)nest obtenue, modulo 2p−1, par translation
d’une autre suite de Lucas-Lehmer.
Nous caract´erisons ensuite par des symboles de Legendre les bonnes valeurs in-
tiales de la suite de Lucas-Lehmer : un entier u0∈Zest une bonne valeur initiale
si et seulement si pour tout qnombre premier de Mersenne assez grand, on a simul-
tan´ement u0−2
q= 1 et u0+2
q=−1 (corollaire 5). Cette caract´erisation, permet
de faire correspondre les bonnes valeurs initiales de la suite de Lucas-Lehmer aux
points entiers de certaines courbes que nous d´ecrivons (proposition 6). Une appli-
cation machine permet d’expliciter certaines de ces courbes. Une ´etude d´etermine
alors les points entiers de deux d’entre elles et permet alors de leur associer deux
ensembles infinis de bonne valeurs initiales de la suite de Lucas-Lehmer.
02000 Mathematics Subject Classification : Primary 11P99 Secondary 11A99, 11P32
1