# Why does 0.999… = 1? (Part 4)

In this series, I discuss some ways of convincing students that $0.999\dots = 1$ and that, more generally, a real number may have more than one decimal representation even though a decimal representation corresponds to only one real number. This can be a major conceptual barrier for even bright students to overcome. I have met a few math majors within a semester of graduating — that is, they weren’t dummies — who could recite all of these ways and were perhaps logically convinced but remained psychologically unconvinced.

Method #5. This is a proof by contradiction; however, I think it should be convincing to a middle-school student who’s comfortable with decimal representations. Also, perhaps unlike Methods #1-4, this argument really gets to the heart of the matter: there can’t be a number in between $0.999\dots$ and $1$, and so the two numbers have to be equal.

In the proof below, I’m deliberating avoiding the explicit use of algebra (say, letting $x$ be the midpoint) to make the proof accessible to pre-algebra students.

Suppose that $0.999\dots < 1$. Then the midpoint of $0.999\dots$ and $1$ has to be strictly greater than $0.999\dots$, since

$\displaystyle \frac{0.999\dots + 1}{2} > \displaystyle \frac{0.999\dots + 0.999\dots}{2} = 0.999\dots$

Similarly, the midpoint is strictly less than $1$:

$\displaystyle \frac{0.999\dots + 1}{2} < \displaystyle \frac{1 +1}{2} =1$

(For the sake of convincing middle-school students, a number line with three tick marks — for $0.999\dots$, $1$, and the midpoint — might be more believable than the above inequalities.)

So what is the decimal representation of the midpoint? Since the midpoint is less than $1$, the decimal representation has to be $0.\hbox{something}$ Furthermore, the midpoint does not equal $0.999\dots$. That means, somewhere in the decimal representation of the midpoint, there’s a digit that’s not equal to $9$. In other words, the midpoint has to have one of the following 9 forms:

midpoint = $0.999\dots 990 \, \_ \, \_ \dots$

midpoint = $0.999\dots 991 \, \_ \, \_ \dots$

midpoint = $0.999\dots 992 \, \_ \, \_ \dots$

midpoint = $0.999\dots 993 \, \_ \, \_ \dots$

midpoint = $0.999\dots 994 \, \_ \, \_ \dots$

midpoint = $0.999\dots 995 \, \_ \, \_ \dots$

midpoint = $0.999\dots 996 \, \_ \, \_ \dots$

midpoint = $0.999\dots 997 \, \_ \, \_ \dots$

midpoint = $0.999\dots 998 \, \_ \, \_ \dots$

In any event, $9$ is the largest digit. That means that, no matter what, the midpoint is less than $0.999\dots$, contradicting the fact that the midpoint is larger than $0.999\dots$ (if $0.999\dots < 1$).

## One thought on “Why does 0.999… = 1? (Part 4)”

This site uses Akismet to reduce spam. Learn how your comment data is processed.