Il y a quelques mois de cela, j’ai fait une vidéo traitant du nombre de Graham, ce fameux nombre gigantesque qui détint pendant plusieurs années le titre de « plus grand nombre utilisé dans une démonstration mathématique » :
Ce nombre a beau être gigantesque, on connaît pourtant son dernier chiffre et même ses derniers chiffres. Quels sont donc ces chiffres et comment les calculer ? C’est ce que je vous propose de voir dans une série de trois articles. Dans ce premier article, nous allons commencer modestement puisque nous ne nous occuperons que de calculer le dernier chiffre du nombre de Graham.
Le nombre de Graham et la notation de Knuth
Comme expliqué dans la vidéo, la notation fléchée de Knuth permet de définir des grands nombres de la façon suivante : tout d’abord, puis
avec exemplaires du nombre
. Plus généralement, on définit
$latex \begin{matrix}
a\ \underbrace{\uparrow_{}\uparrow\!\!\dots\!\!\uparrow}\ b=
a\ \underbrace{\uparrow\!\!\dots\!\!\uparrow}
\ a\ \underbrace{\uparrow_{}\!\!\dots\!\!\uparrow}
\ a\ \dots
\ a\ \underbrace{\uparrow_{}\!\!\dots\!\!\uparrow}
\ a
\\
\quad\ \ \,n\qquad\ \ \ \underbrace{\quad n_{}\!-\!\!1\quad\ \,n\!-\!\!1\qquad\quad\ \ \ \,n\!-\!\!1\ \ \ }
\\
\qquad\qquad\quad\ \ b\mbox{ exemplaires de }a
\end{matrix}$
ce qui fait que, par récurrence, on peut toujours écrire :
pour un certain entier .
Tout cela pour dire que, si vous avez bien suivi la vidéo, vous avez compris que le nombre de Graham, que nous noterons , s’écrit en fait :
avec un très grand nombre de flèches et que, d’après ce qu’on vient de dire, on peut donc écrire comme
où
est un très grand nombre. Au passage, cela veut dire que le nombre de Graham n’est en fait finalement rien d’autre qu’une tour de
:
Des calculs modulo 10
Pour calculer le dernier chiffre d’un nombre, il suffit de calculer le reste de ce nombre dans la division par 10. Autrement dit, cela revient à raisonner modulo 10.
Avant de pouvoir trouver le dernier chiffre du nombre de Graham, commençons par calculer le reste modulo 10 des nombres pour quelques valeurs de
.
• donc
.
• donc
.
• . Le nombre
est très grand et pour calculer son reste modulo 10, on peut utiliser le fait suivant :
. Ainsi,
donc .
• . On pourrait faire comme précédemment et essayer d’écrire la division euclidienne de l’exposant
par
pour pouvoir utiliser le fait que
mais ce nombre est un peu trop grand pour cela. Cependant, si on regarde les puissances de
modulo
, on se rend compte de quelque chose :
Plus généralement,
On voit donc que si est un nombre pair alors
et si
est un nombre impair alors
.
Comme le nombre est un nombre impair (ce n’est rien d’autre qu’une puissance de
c’est-à-dire
) alors
c’est-à-dire qu’il est de la forme
. Ainsi,
Cela prouve que .
Et le dernier chiffre du nombre de Graham est …
Plus généralement, est un nombre impair donc il est de la forme
. Si on prend
puissance ce nombre, on aura :
Cela montre qu’on trouvera toujours comme dernier chiffre des nombres
dès que
. Comme le nombre de Graham est justement un nombre de la forme
, vous avez donc la réponse : il se termine par le chiffre
.
Je répète : on sait donc que ce gigantesque nombre que personne ne pourra jamais calculer complètement se termine par un . Il y a des milliers de façons de s’émerveiller devant les mathématiques et nous venons d’en voir une de plus.
Pour lire la deuxième partie de cet article :
Les derniers chiffres du nombre de Graham : 2ème partie : les cinq derniers chiffres
Ping : Quels sont les derniers chiffres du nombre de Graham ? 2ème partie : les 5 derniers chiffres | Blogdemaths
Bonjour.
Comment ont été faites les animations de la vidéo ?
J’aimeJ’aime
Ping : Quels sont les derniers chiffres du nombre de Graham ? 2ème partie : les 5 derniers chiffres | Actumaths
Bonjour !
La qualité de la vidéo est époustouflante. Il y a de la graine de 3Blue1Brown 😉 Je me suis abonné à la chaîne.
Franchement, bravo !
Un lecteur de longue date.
PS. J’ai un petit ennui d’affichage LaTeX au début, « Plus généralement, on définit […] »
J’aimeJ’aime
A 1mn55 dans la vidéo, vous dites que 2 | | 2 = 16
Or c’est 4
J’aimeJ’aime
Bonjour,
Très sympa cet article ! Et tous les autres 🙂
J’aimeJ’aime