Misplaced Pages

0.999...

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.

This is an old revision of this page, as edited by Oleg Alexandrov (talk | contribs) at 17:57, 10 May 2005 (Revert. While the current text might not be perfect, the new version basically looks like "beware dummies, what you see is not what it is". A serious math article has to keep some formal language). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 17:57, 10 May 2005 by Oleg Alexandrov (talk | contribs) (Revert. While the current text might not be perfect, the new version basically looks like "beware dummies, what you see is not what it is". A serious math article has to keep some formal language)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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


Template:Mathstub

Category: