What is OmniNerd?

Welcome! OmniNerd's content is generated by you, the reader. Through voting and moderation we strive to highlight the nerdiest of what's around and provide content that's a little more thought provoking than other sites.

Submit New Content

Voting Booth

Given only these non-healthy options, which single serving drink is healthiest?

23 votes, 11 comments
0
Nerd-Its
+ -

RE: I will bite, a defense of sorts

Comment comment by wyldeling on 21 September 2006

Actually, 1 = 0.999.... It is not an approximate statement. Hard to grasp, yes, but no approximations have been made. It is easier to look at 0.111... first, it is simpler to deal with. To get, 0.999..., you just have to multiply the result by 9.

Now, 0.111... is really the series 0.1 (1 + 0.11 + 0.12 + ...) which is a geometric series. In generic terms, a geometric series is written a + ar + ar2 + ..., and in our case a = r = 0.1. For a finite number of terms, n, it is relatively easy to show that the sum of the series is simply

a (1 - rn + 1) / (1 - r).

For an n number of terms of the series 0.111..., the sum would reduce to

(10n + 1 - 1)/(9 10n + 1),

with the result of 11/100, 111/1000, 1111/10000, ... for n=1,2,3, ...

When n is allowed to grow large, i.e. approaches infinity, this sum will converge iff r < 1. To determine what it converges to, break the fraction in the generic formula into two pieces: one with a as its numerator, and the second with a*rn + 1 as its numerator. Only the second piece depends on n at all, and it approaches 0 as n approaches infinity. Since, the first piece does not depend on n, it will remain constant as n approaches infinity. Hence, the infinit series will converge to

a / (1 - r).

For a = r = 0.1, the resulting sum is just 1/9, which we have just shown is equivalent to 0.111.... From this you can see directly that 1 = 0.999... = 1.000..., implying that decimal expansions are not unique. While they still may not be comfortable ideas, the concepts of limits and convergence are well founded. It just took until Newton and Leibniz to make the leap necessary, solidifying the ideas.

I encourage you to look over the proof for sum of the finite series, as it is a very clever technique that should be in any mathematician's tool box.

Star This to Save in Your Profile Favorite
Thread parent sort order:
Highest Voted : Lowest Voted : Oldest : Newest
Thread verbosity:
Expand All : Minimize Replies to Comments

Unfortunately, I used a short hand notation in my post that some may think is a typo. (Personally, I didn't even notice that I had used it, until after I had posted it.) The notation is iff it means if and only if. An if and only if statement is also known as a biconditional. It implies that if either condition is met, then the other is met automatically, and if one condition is not met, then the other is also not met. This is unlike uni-directional (normal) conditionals, as the standard conclusion can be met without the premise being fulfilled. In other words, in the statement p -> q, p being false does not say anything regarding the truth of q. However, in a biconditional p <-> q, p being false would mean that q is false, and vice versa. In mathematics, this can also expressed as necessary and sufficient.