Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Someone asked this question about how many ways there are to prove $0.999\dots = 1$ and I posted this:

$$ 0.99999 \dots = \sum_{k = 1}^\infty \frac{9}{10^k} = 9 \sum_{k = 1}^\infty \frac{1}{10^k} = 9 \Big ( \frac{1}{1 - \frac{1}{10}} - 1\Big ) = \frac{9}{9} = 1$$

The question was a duplicate so in the end it was closed but before that someone wrote in a comment to the question: "Guys, please stop posting pseudo-proofs on an exact duplicate!" and I got down votes, so I assume this proof is wrong.

Now I would like to know, of course, why this proof is wrong. I have thought about it but somehow I can't seem to find the mistake.

Many thanks for your help. The original can be found here.

share|improve this question
    
I deleted my original answer. –  Matt N. Mar 10 '11 at 18:03
    
Why -1 for this? –  Aryabhata Mar 10 '11 at 18:04
2  
"Pseudo" doesn't mean "wrong," exactly, but you're assuming some things about convergence of series that, at this level, you should be proving. (Also, you really should change the title of this question if you don't want it to also be closed as a duplicate. Nobody wants to talk about 0.999... anymore.) –  Qiaochu Yuan Mar 10 '11 at 18:06
6  
Looks like a valid proof to me... –  Fabian Mar 10 '11 at 18:07
    
@Qiaochu: Sure, can do. What would you suggest as a title? –  Matt N. Mar 10 '11 at 18:09

2 Answers 2

up vote 5 down vote accepted

The problem is that you are assuming 1) that multiplication by constants distributes over infinite sums, and 2) the validity of the geometric series formula. Most of the content of the result is in 2), so it doesn't make much sense to me to assume it in order to prove the result. Instead you should prove 2), and if you really want to be precise you should also prove 1).

share|improve this answer
1  
How do you prove 1) ? –  user1708 Mar 10 '11 at 19:19
    
It's a straightforward consequence of the definition of convergence of an infinite series. All you have to verify is that if a sequence goes to $0$, then $c$ times that sequence also goes to $0$. –  Qiaochu Yuan Mar 10 '11 at 19:25
    
@Qiaochu: I think I can prove 1) and 2), so your answer answers my question. Then my proof wasn't "pseudo", it was just incomplete. –  Matt N. Mar 10 '11 at 19:46
    
@Qiaochu: but both 1) and 2) are fairly easy to prove and both are among the simpler facts (proved almost immediately after the definition) about series. I see no problem in assuming both facts as known (understanding "known" as very easy to prove if need be). –  Gonzalo Medina Mar 10 '11 at 19:50
2  
@Gonzalo: yes, but $0.999... = 1$ is also fairly easy to prove and among the simpler facts about series. If someone asks you for a proof of this fact she is clearly confused about something and assuming that she'll understand all of the things you're omitting because you think they're obvious is not productive. Really, if someone asks you for a proof that $0.999... = 1$ the appropriate answer is not a proof: it is a careful explanation of the definition of convergence of infinite series, together with a link to some basic facts about the real numbers. –  Qiaochu Yuan Mar 10 '11 at 19:54

I got this as an assignment in my first university-level calculus course: To prove $1 = 0.999...$. My proof was essentially the same as yours, and it was good enough for them. The only "mistake" I can think of must be the one Qiaochu is pointing out, that you assume to much about convergence of series.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.