2013년 10월 22일 화요일

Is 0.9999… repeating really equal to 1?

Mathematician: Usually, in math, there are lots of ways of writing the same thing. For instance:

\frac{1}{4} = 0.25 = \frac{1}{\frac{1}{1/4}} = \frac{73}{292} = (\int_{0}^{\infty} \frac{\sin(x)}{\pi x} dx)^2

As it so happens, 0.9999… repeating is just another way of writing one. A slick way to see this is to use:

0.9999... = (9*0.9999...) / 9 = ((10-1) 0.9999...) / 9

= (10*0.9999... - 0.9999...) / 9

= (9.9999... - 0.9999...) / 9

= (9 + 0.9999... - 0.9999...) / 9 = 9 / 9 = 1


One.

Another approach, that makes it a bit clearer what is going on, is to consider limits. Let’s define:

p_{1} = 0.9
p_{2} = 0.99
p_{3} = 0.999
p_{4} = 0.9999

and so on.

Now, our number 0.9999... is bigger than p_{n} for every n, since our number has an infinite number of 9′s, whereas p_{n} always has a finite number, so we can write:

p_{n} < 0.9999... \le 1 for all n.

Taking 1 and subtracting all parts of the equation from it gives:

1-p_{n} > 1-0.9999... \ge 0

Then, we observe that:

1 - p_{n} = 1 - 0.99...999 = 0.00...001 = \frac{1}{10^n}
and hence

\frac{1}{10^n} > 1-0.9999... \ge 0.

But we can make the left hand side into as small a positive number as we like by making n sufficiently large. That implies that 1-0.9999… must be smaller than every positive number. At the same time though, it must also be at least as big as zero, since 0.9999… is clearly not bigger than 1. Hence, the only possibility is that

1-0.9999... = 0

and therefore that

0.9999... = 1.

What we see here is that 0.9999… is closer to 1 than any real number (since we showed that 1-0.9999… must be smaller than every positive number). This is intuitive given the infinitely repeating 9′s. But since there aren’t any numbers “between” 1 and all the real numbers less than 1, that means that 0.9999… can’t help but being exactly 1.

Update: As one commenter pointed out, I am assuming in this article certain things about 0.9999…. In particular, I am assuming that you already believe that it is a real number (or, if you like, that it has a few properties that we generally assume that numbers have). If you don’t believe this about 0.9999… or would like to see a discussion of these issues, you can check this out.



댓글 없음: