D'après Cantor et sa diagonale, on sait qu'entre deux nombres réels distincts il existe une infinité de nombres. Une autre manière de le voir est que s'il n'existe pas de nombre entre deux réels donnés, c'est que ces deux réels sont égaux.
Pour montrer que 0,999… est égal à 1, il suffit donc de montrer qu'il n'y a pas de nombre strictement plus petit que 1 et strictement plus grand que 9.
Démonstration par l'absurde : Soit j un nombre strictement plus petit que 1 et strictement plus grand que 0,99999… . Puisque j est différent de 0,999… il a une décimale autre que '9' ; j est donc plus petit que 0,999… Ce qui contredit l’hypothèse de départ, elle est donc fausse. Il n'existe donc pas de nombre entre 0,999… et 1.
CQFD.
(Je veux bien qu'un matheu vérifie ma démonstration, ça doit faire 6 ans que j'en ai pas fait).