Misplaced Pages

0.999...: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 12:36, 12 May 2005 edit24.18.196.122 (talk) last "grammar" fix is bogus← Previous edit Revision as of 15:00, 17 May 2005 edit undoBradBeattie (talk | contribs)6,888 edits Doesn't feel stubbish anymoreNext edit →
Line 50: Line 50:
* *



{{mathstub}}
] ]



Revision as of 15:00, 17 May 2005

In mathematics, one could easily fall in the trap of thinking that while 0.999... is certainly close to 1, nevertheless the two are not equal. Here's a proof that they actually are.

Proof

0.999 {\displaystyle 0.999\ldots } = 9 10 + 9 100 + 9 1000 + {\displaystyle ={\frac {9}{10}}+{\frac {9}{100}}+{\frac {9}{1000}}+\cdots }
= 9 + 9 1 + 9 10 + 9 100 + 9 1000 + {\displaystyle =-9+{\frac {9}{1}}+{\frac {9}{10}}+{\frac {9}{100}}+{\frac {9}{1000}}+\cdots }
= 9 + 9 × k = 0 ( 1 10 ) k {\displaystyle =-9+9\times \sum _{k=0}^{\infty }\left({\frac {1}{10}}\right)^{k}}
= 9 + 9 × 1 1 1 10 {\displaystyle =-9+9\times {\frac {1}{1-{\frac {1}{10}}}}}
= 1. {\displaystyle =1.\,}

Explanation

The key step to understanding this proof is to recognize that the following infinite geometric series is convergent:

k = 0 ( 1 10 ) k = 1 1 1 10 . {\displaystyle \sum _{k=0}^{\infty }\left({\frac {1}{10}}\right)^{k}={\frac {1}{1-{\frac {1}{10}}}}.}

Alternative proofs

A less mathematical proof goes as follows. Let x equal 0.999... Then,

10xx = 9.999... − 0.999...

and so

9x = 9,

which implies that x = 1.

The following proof relies on a property of real numbers. Assume that 0.999... and 1 are in fact distinct real numbers. Then, there must exist infinitely many real numbers in the interval (0.999..., 1). No such numbers exist; therefore, our original assumption is false: 0.999... and 1 are not distinct, and so they are equal.

See also

External proofs

Category: