Pourquoi notre cerveau refuse-t-il d'admettre cette égalité ?
Le problème ne vient pas des chiffres, mais de la manière dont nous lisons la notation décimale. On a tendance à voir 0,999... comme un processus, une sorte de voyage qui se rapproche de 1 sans jamais franchir la ligne d'arrivée. C'est une erreur de perspective. En mathématiques, un nombre n'est pas un mouvement, c'est un point fixe sur une droite. Quand on écrit ces points de suspension, on ne décrit pas quelque chose qui "est en train de se passer", on désigne un objet fini et bien réel. L'égalité entre 0,999... et 1 est un pilier de l'analyse réelle, et la contester reviendrait à faire s'écrouler tout l'édifice du calcul moderne.
Le piège de la notation positionnelle
On nous apprend dès l'école primaire que chaque position après la virgule représente une fraction de dix : des dixièmes, des centièmes, des millièmes. Le souci, c'est qu'on nous explique rarement ce qui se passe quand cette liste ne s'arrête jamais. On imagine alors un "dernier neuf" situé quelque part à l'infini, un concept qui n'a aucun sens mathématique. Il n'y a pas de fin, donc il n'y a pas de petit écart résiduel. Reste que cette image mentale est tenace. On a l'impression qu'il manquera toujours un 0,000...1 pour boucler la boucle. Sauf que ce fameux 0,000...1, avec une infinité de zéros avant le 1, est par définition égal à zéro.
L'illusion de la proximité infinie
Dans notre expérience quotidienne, si deux objets sont différents, il existe forcément un espace entre eux. Si vous placez deux verres sur une table, vous pouvez toujours glisser une feuille de papier entre les deux, même s'ils se touchent presque. Les nombres réels fonctionnent de la même manière. Si 0,999... et 1 étaient deux nombres distincts, on devrait pouvoir trouver un autre nombre situé exactement entre les deux, par exemple leur moyenne. Or, essayez de calculer (0,999... + 1) / 2. Vous retomberez inévitablement sur 0,999... ou sur 1. Il n'y a pas de "place" pour un autre chiffre. S'il n'y a pas d'espace entre deux nombres, c'est qu'ils ne font qu'un.
La preuve algébrique que tout le monde peut comprendre
On n'a pas besoin d'un doctorat en astrophysique pour démontrer que 0,999... égale 1. Une manipulation algébrique de niveau collège suffit amplement à lever le doute. C'est d'ailleurs souvent cette démonstration qui finit par convaincre les plus sceptiques, car elle repose sur des règles de calcul que nous acceptons tous sans sourciller.
La manipulation des x et des y
Posons une simple équation. Soit x le nombre qui nous pose problème, c'est-à-dire x = 0,999... Multiplions maintenant ce x par 10. On obtient alors 10x = 9,999... Jusque-là, rien de sorcier, on a juste décalé la virgule d'un rang vers la droite. Maintenant, soustrayons le x d'origine de chaque côté de notre égalité. D'un côté, 10x moins x nous donne 9x. De l'autre, 9,999... moins 0,999... élimine toute la partie décimale infinie pour ne laisser que le chiffre 9. On se retrouve avec l'équation 9x = 9. Divisez par 9, et vous obtenez x = 1. C'est implacable. Le résultat ne souffre aucune discussion : le x que nous avions défini comme 0,999... est rigoureusement identique à 1.
Pourquoi 1/3 est le complice idéal de cette démonstration
Si l'algèbre vous semble trop abstraite, passons par les fractions, ces bons vieux nombres que l'on manipule depuis l'enfance. Tout le monde accepte que 1 divisé par 3 donne 0,333... avec une suite infinie de trois. Personne ne conteste cette égalité. Maintenant, multipliez cette fraction par 3. D'un côté, 1/3 fois 3 égale 1. De l'autre, 0,333... fois 3 égale 0,999... Si les deux points de départ sont égaux, leurs produits par un même nombre le sont aussi. Donc, 1 est égal à 0,999... Je trouve ça fascinant que l'on accepte 0,333... sans broncher mais que l'on bloque sur son triple. C'est pourtant exactement la même logique à l'œuvre.
Plongée dans l'analyse : les séries géométriques
Pour ceux qui aiment la rigueur des mathématiques supérieures, il faut aller voir du côté des séries. Un nombre décimal n'est rien d'autre qu'une somme de fractions. Quand on écrit 0,999..., on écrit en réalité une somme infinie : 9/10 + 9/100 + 9/1000, et ainsi de suite. C'est ce qu'on appelle une série géométrique de premier terme a = 0,9 et de raison r = 1/10.
La somme d'une suite infinie
Il existe une formule bien connue pour calculer la somme d'une telle série quand la raison est comprise entre -1 et 1. La formule est S = a / (1 - r). Si on injecte nos chiffres là-dedans, on obtient 0,9 divisé par (1 - 0,1), ce qui revient à 0,9 / 0,9. Le résultat est, sans surprise, 1. Là où ça coince souvent dans l'esprit des gens, c'est l'idée qu'une somme infinie de termes puisse donner un résultat fini et "rond". Mais c'est le principe même de la convergence. Sans ce concept, nous ne pourrions même pas calculer l'aire d'un cercle ou la trajectoire d'une balle de tennis.
La convergence, ce concept qui fâche
La convergence n'est pas une approximation. En analyse réelle, on définit 0,999... comme la limite de la suite des sommes partielles. On ne dit pas que ça "tend vers" 1 comme si c'était un objectif inatteignable. On dit que la valeur du nombre réel représenté par ce développement décimal est 1. On n'est pas loin du compte, on est pile dessus. La confusion vient souvent du fait que nous mélangeons le nombre lui-même avec la manière dont nous l'écrivons. Le système décimal n'est qu'un code, et il se trouve que dans ce code, certains nombres ont deux noms différents. C'est un peu comme si vous appeliez une personne par son prénom et son nom de famille : c'est toujours la même personne.
Et si les mathématiques classiques se trompaient ?
Certains esprits rebelles, ou simplement curieux, avancent que tout cela dépend du système d'axiomes que l'on choisit. Et ils n'ont pas totalement tort, même si cela ne change rien à la réalité des mathématiques que nous utilisons pour construire des ponts ou envoyer des fusées sur Mars. Dans le système des nombres réels standards, l'égalité est indiscutable. Mais qu'en est-il ailleurs ?
Les nombres hyperréels et les infinitésimaux
Il existe une branche des mathématiques appelée analyse non-standard, popularisée par Abraham Robinson dans les années 1960. Dans ce cadre, on introduit des nombres "infinitésimaux", qui sont plus petits que n'importe quel nombre réel positif mais supérieurs à zéro. Dans certains systèmes de nombres hyperréels, on pourrait théoriquement définir un nombre qui serait 0,999... et qui diffèrerait de 1 par un infinitésimal. Mais attention, on sort ici du cadre des nombres réels que nous utilisons tous. C'est une construction intellectuelle passionnante, mais elle ne remet pas en cause l'égalité 0,999... = 1 dans notre monde quotidien. Autant le dire clairement : pour 99,99 % des applications scientifiques, le débat est clos depuis longtemps.
Le système de notation positionnelle
On n'y pense pas assez, mais notre système de numération est arbitraire. Nous comptons en base 10 parce que nous avons dix doigts. Si nous comptions en base 3 ou en base 60 comme les Babyloniens, le problème se poserait avec d'autres chiffres. En base 3, c'est 0,222... qui serait égal à 1. Le fait qu'un nombre puisse avoir deux écritures différentes est une propriété intrinsèque de la notation positionnelle dès qu'on autorise les développements infinis. Ce n'est pas un bug, c'est une fonctionnalité. D'ailleurs, presque tous les nombres rationnels dont le dénominateur possède des facteurs premiers autres que 2 et 5 ont des développements infinis en base 10. Le cas de 0,999... n'est que la face émergée de l'iceberg.
Les erreurs courantes des sceptiques
J'ai souvent entendu des arguments très créatifs pour tenter de prouver que 1 est plus grand que 0,999... Le plus fréquent est celui du "dernier 9". On me dit : "Mais si vous vous arrêtez à un moment, il y aura toujours une différence". Le problème, c'est précisément le "si vous vous arrêtez". Par définition, 0,999... ne s'arrête jamais.
Le syndrome du dernier 9
L'infini n'est pas un très grand nombre. Ce n'est pas un milliard, ni un trilliard de trilliards. C'est un concept d'absence de fin. Quand on écrit 0,999..., il n'y a pas de fin de liste où l'on pourrait observer un minuscule écart. L'esprit humain déteste ça. On veut une conclusion, un point final. Mais en mathématiques, l'infini se traite de manière globale. Si vous retirez un 9 à une infinité de 9, il vous en reste toujours une infinité. C'est cette nature contre-intuitive qui génère tant de frustration sur les forums de discussion ou dans les salles de classe.
Confondre un processus et un nombre
Une autre erreur consiste à voir l'égalité comme une limite dynamique. On imagine une flèche qui vole vers une cible sans jamais la toucher (un clin d'œil au paradoxe de Zénon d'Élée). Sauf que Zénon se trompait précisément parce qu'il ne comprenait pas que la somme d'une infinité d'intervalles de temps peut être un temps fini. 0,999... n'est pas une flèche en mouvement, c'est la cible elle-même. La distinction entre le symbole et la valeur est capitale. Le symbole "1" et le symbole "0,999..." pointent vers le même emplacement sur la droite numérique. C'est une synonymie numérique, rien de plus, rien de moins.
Questions fréquentes sur l'égalité 0,999... = 1
Est-ce que les calculatrices affichent 1 quand on tape 0,999... ?
La plupart des calculatrices gèrent des nombres avec un nombre limité de chiffres après la virgule (généralement 10 ou 12). Si vous tapez une longue suite de 9, la calculatrice finira par arrondir à 1 pour des raisons de précision matérielle. Mais ce n'est pas une preuve mathématique, c'est juste une limite technique. En revanche, les logiciels de calcul formel comme Mathematica ou Maple reconnaissent parfaitement l'identité symbolique et traiteront 0,999... comme l'entier 1 dans tous leurs calculs.
Pourquoi n'enseigne-t-on pas cela plus tôt à l'école ?
Honnêtement, c'est flou pour beaucoup d'enseignants eux-mêmes, ou du moins, ils préfèrent éviter le sujet pour ne pas perdre les élèves. Introduire l'idée que deux écritures différentes désignent le même nombre peut être perturbant quand on essaie déjà de faire comprendre la différence entre un numérateur et un dénominateur. On attend généralement le lycée ou les classes préparatoires pour aborder la notion de limite de suite, ce qui permet de poser les bases nécessaires pour comprendre pourquoi cette égalité est vraie.
Existe-t-il d'autres nombres dans ce cas ?
Absolument. Tous les nombres décimaux finis ont une version alternative avec une suite infinie de 9. Par exemple, 0,5 est exactement égal à 0,4999... De même, 12,34 est identique à 12,33999... C'est une règle générale : tout nombre qui peut s'écrire avec un développement décimal fini peut aussi s'écrire avec un développement se terminant par une infinité de 9. C'est juste que 0,999... = 1 est l'exemple le plus frappant et celui qui choque le plus notre bon sens.
Ce qu'il faut retenir de ce casse-tête numérique
Au final, cette question de l'égalité entre 0,999... et 1 est un excellent test de modestie intellectuelle. Elle nous montre que notre intuition, aussi utile soit-elle pour éviter de se prendre les pieds dans le tapis au quotidien, est un outil très médiocre dès que l'on s'aventure dans les concepts abstraits. On n'est pas face à un mystère ésotérique, mais face à une conséquence logique du système de numération que nous avons choisi. Accepter cette égalité, c'est accepter que les mathématiques ne sont pas toujours le reflet de ce que nous voyons, mais celui de ce que nous pouvons démontrer avec rigueur.
Je reste convaincu que la beauté des mathématiques réside justement dans ces moments où elles nous forcent à remettre en question nos certitudes les plus ancrées. 0,999... est égal à 1, non pas parce qu'on l'a décidé par décret, mais parce que c'est la seule conclusion cohérente si l'on veut que l'arithmétique fonctionne. Si vous refusez cette égalité, vous devez aussi refuser que 1/3 soit égal à 0,333..., et là, vous vous engagez dans un combat perdu d'avance contre les chiffres. Autant dire que la partie est finie. L'unité est plus complexe qu'il n'y paraît, et c'est très bien comme ça.