It will come to You more easily to accept
this fact, when You understand that
0.9999... (which is not formal) or more
formally 0,(9) is just a symbol.
It's not 0 dot and nines stacking up
one after another. What You must understand
is that in maths You have many notations
that formally are nonsense - a thought
abbreviation -, but by the mere fact,
that "everyone" (i.e. all mathematicians
and nobody else) understand this thought
abbreviation, nobody discusses it.
It's convenient.
Everyone knows what it stands for and
how it would look to formally write it.
This thought abbreviation is made so
that proves don't take eons longer.
What it actually means is:
lim n -> +oo 9/10 + 9/(10^2) + 9/(10^3) + 9/(10^4) + ... (again it's informal)
More formally it would be:
a(n) = 9/10 + 9/(10^2) + ... + 9/(10^n) (yet again informal - this would stand for 0.9999...999 with
n nines)
Even more formally:
a(n) = Sum[k=1 to n] (9/(10^k))
Now we can finally give the definition of 0.(9)
0.(9) = lim n->+oo a(n)
or
0.(9) = lim n->+oo {Sum[k=1 to n] (9/(10^k))}
That's pretty lot of text for such an easy
thing, don't You think? Yeah. That's why
mathematicians don't do that stuff on paper
or the rain forests might seize to exist. ;)
So what does this lim actually mean?
Here we go again. Formal definition
of a limit:
lim n->+oo a(n) = g <--- g is the limit
<=>
For every epsilon > 0, there
exists a natural N, such that
for every n > N we have:
|a(n) - g| < epsilon
-----------------------
Hence, if You want to prove that
0.(9) = 1
You have to prove that:
For every epsilon > 0, there
exists a natural N, such that
for every n > N we have:
|Sum[k=1 to n] (9/(10^k)) - 1| < epsilon
The number under the modulus
is negative. We clear the modulus
and add minus.
1 - Sum[k=1 to n] (9/(10^k)) < epsilon
<=>
1/(10^n) < epsilon <--- that's because 1 - 0.999...99
is actually 0.000....001 (n-1 zeros and 1)
<=>
1/epsilon < 10^n
----
Soooo... to prove 0.(9) = 1,
we have to prove that:
For every epsilon > 0, there
exists a natural N, such that
for every n > N we have:
1/epsilon < 10^n
We notice that for big enough n's
10^n > n. Hence, it's enough if we
prove 1/epsilon < n
to prove 1/epsilon < 10^n
-----
Soooo... to prove 0.(9) = 1,
it's ENOUGH to prove that:
For every epsilon > 0, there
exists a natural N, such that
for every n > N we have:
1/epsilon < n
How to do that?
Just point to such an N.
epsilon is > 0, so 1/epsilon is a finite
positive number. The N we are looking
for could be for example
round(1/epsilon) + 1,
since
1/epsilon < round(1/epsilon) + 1.
-----
There we have it.
For every epsilon > 0 we found
a natural N = round(1/epsilon) + 1,
such that for every n > N we have:
1/epsilon < n
So 0.(9) is indeed equal 1.
-----
Ehhhem.
Breaks Your heart doesn't it? ;)
Comments