Why does 0.999... equal exactly 1?
Because the notation does not mean a number creeping toward one — it means the value the sequence of finite pieces converges to, and that value is exactly one.
Simple intuition
The plain reason, in everyday words
Ask what number lies between 0.999… and 1. If they were different, there would have to be one — between any two different numbers you can always find another, for instance their average. But nothing fits: any candidate you propose is either bigger than 1 or smaller than 0.999…, because 0.999… has more nines than any gap you can name. Two numbers with nothing between them are the same number. Another route is the one from school: one third is 0.333…, and three thirds is 1, so three lots of 0.333… is 0.999… and also 1. The resistance most people feel is not really about arithmetic. It is that the notation looks like a process — nines being added one after another, forever approaching but never arriving. The notation does not mean the process. It means where the process is headed.
0.999… gets closer and closer to 1 but never quite reaches it.
The partial sums do that; the number 0.999… does not, because it is not a process. It denotes the limit of those partial sums, which is exactly 1.
The difference is 0.000…1, an infinitely small amount.
That notation does not describe a real number — there is no last digit to place the 1 in. In the real numbers, a non-negative quantity smaller than every positive number is zero.
It is a convention or an approximation that mathematicians accept for convenience.
It follows from the definitions of decimal notation and limits, with multiple independent proofs. Rejecting it means rejecting the standard definition of what an infinite decimal denotes.
Infinitesimals in non-standard analysis prove the difference is real.
Those systems do contain infinitesimals, but the standard decimal notation still denotes a limit within them, and 0.999… still equals 1. Making them differ requires redefining the notation itself.
It is a small statement that exposes a large habit: reading notation as an instruction to do something rather than as a name for a value. That confusion is behind a lot of difficulty with infinite series, with integrals, and with recursion in programming. It is also a clean example of a case where two people can agree entirely on the arithmetic and still disagree, because they are using the same symbols to mean different things — and where progress comes from settling the definition rather than repeating the calculation.
Who worked it out
Infinite series were used productively for centuries before they were rigorous, and the paradoxes of Zeno had already raised the question of whether infinitely many steps can sum to a finite total.
What problem forced it
Eighteenth-century mathematics produced contradictions by manipulating divergent series carelessly, which made a precise definition of convergence necessary rather than merely tidy.
How it changed since
Cauchy and Weierstrass supplied the epsilon-based definition of a limit in the nineteenth century, and the rigorous constructions of the real numbers by Dedekind and Cantor settled what an infinite decimal denotes — from which this result follows immediately.
Why some infinite sums have a finite total
The general condition for convergence, of which this is the most familiar special case.
How the real numbers are constructed
The definition that settles the question, and which also explains why no infinitely small non-zero real exists.
Written for Curio rather than collected from a forum — it is part of the curated corpus that ships with the platform. The references it draws on are listed under Sources.