Soit N de n chiffres tels que N2 = N modulo 10n avec n≥1.
Ajoutons un chiffre x à gauche de N pour former le nombre de n+1 chiffres x.10n + N
Ce nombre aura la propriété voulue si
(x.10n + N)2 = x.10n + N modulo 10n+1,
c'est à dire : x2102n + 2xN.10n + N2 = x.10n + N modulo 10n+1
Comme 102n = 0 modulo 10n+1 dès que n≥1,
le premier terme ne compte pas modulo 10n+1.
Soit a le chiffre des unités de N, c'est à dire que N = a modulo 10, alors 2xN.10n = 2ax.10n modulo 10n+1
Soit y le chiffre suivant de N2 c'est à dire
N2 = r.10n+1 + y.10n + N, puisque N2 = N modulo 10n
soit N2 = y.10n + N modulo 10n+1, et :
(x.10n + N)2 = 2ax.10n + y.10n + N modulo 10n+1
Le nouveau nombre de n+1 chiffres aura la propriété voulue si
2ax.10n + y.10n = x.10n modulo 10n+1 soit :
2ax + y = x modulo 10, c'est à dire x(1-2a) = y modulo 10
Si a=0 on a x = y, ceci donne avec comme point de départ 0, 00, x = y = 0, certes peu intéressant : 000, 0000...sont les seules solutions se terminant par 0.
Avec a=1 x+y = 0 modulo 10, le point de départ 1, 01 donne y = 0 et donc x = 0 soit 001, 0001... même remarque.
a=5 donne -9x = y modulo 10 soit x = y modulo 10. Le départ 5 donne 52 = 25 y=2 x=2 puis 252 = 625, y = 6
puis 6252 = 390625 donne y = 0 soit 0625,
06252 = 390625, y = 9 soit 90625 et de proche en proche :
906252 = ...890625, 8906252 = ...2890625, 2890625 2 = ...12890625
et finalement le "nombre infini à gauche" :
A=...38509890062166509580863811000557423423230896109004106619977392256259918212890625 |
qui résume toutes les solutions se terminant par 5, il suffit de prendre les n derniers chiffres.
Le cas a=6 donne -11x = y modulo 10 soit x+y = 0 modulo 10.
Le départ 6, donne 62 = 36 y = 3 donc x = 7 puis
762 = 5776, y = 7 et x = 3, 3762 = 141376 y = 1 x = 9,
93762 = 87909376 y = 0 x= 0, 093762 = 87909376 y = 9 x= 1, 1093762 = ...3109376 et finalement :
B=...61490109937833490419136188999442576576769103890995893380022607743740081787109376 |
qui résume toutes les solutions se terminant par 6, il suffit de prendre les n derniers chiffres.
Remarques :
nk = 52k mod 10k et 62k mod 10k |
Et la formule de récurrence permettant de doubler le nombre de chiffres :
n2k = 3n²k - 2n³k |