Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "0.999..."

(→‎Related threads: fmting)
m
 
(13 intermediate revisions by 10 users not shown)
Line 1: Line 1:
−
{{WotWAnnounce|week=April 25-May 2}}
+
__TOC__
−
<math>0.999\ldots</math> (or <math>0.\overline{9}</math>) is an equivalent representation of the [[real number]] <math>1</math>.  
+
==Basic Idea==
 +
<math>0.999\ldots</math> (or <math>0.\overline{9}</math>) is an equivalent representation of the [[integer]] <math>1</math>.
  
−
It is often mistaken that <math>0.999\ldots \neq 1</math> for various reasons (that there can only be a finite number of <math>9</math>s, that there is a <math>\frac 1{\infty}</math> term left over at the end, etc.).
+
It is intuitively clear what the dots after the nines mean. However, to resolve the problem, one needs mathematics beyond the elementary school level math that is needed to understand the question.
 +
 
 +
What do the dots after the <math>9</math>s actually mean?
 +
 
 +
One potential definition is to say that <math>.999...</math> is the limit of the sequence <math>.9,.99,.999,...</math>. That is to say, <math>a_n</math> is <math>.999...9</math> where there are <math>n</math> nines. Then we can say that <math>.999....</math> does in fact equal <math>1</math>.
 +
 
 +
But in some senses, this is not the most satisfying definition. When we say that the limit of <math>a_n</math> as <math>n</math> goes to infinity is equal to <math>L</math>, that means that for all <math>\epsilon>0</math>, there exists an integer <math>N>0</math> such that <math>|a_n-L|<\epsilon</math> for all integers greater than <math>N</math>. So in fact, we had to resort to limit definitions to resolve this problem. If you think about it, there is no <math>n</math> such that <math>a_n=1</math>.
 +
 
 +
Another mathematical tidbit: how do we know that <math>.999...</math> is a real number? Intuitively, a real number line seems to be continuous, so such a limit seems to be a real number. But how do we know that there are no 'gaps' so it could possibly not be a real number. But lets prove it.
 +
 
 +
Let <math>S=\{a_n|n\in\mathbb{Z}\}</math>. <math>a_1\in S</math>, so <math>S</math> is nonempty. It is easy to see that <math>a_n=1-(.1)^n</math> since it is a finite geometric series. But then <math>1-(.1)^n<1</math>. Hence <math>S</math> has an upper bound of <math>1</math>. But by the least upper bound axiom of real numbers, if a set of real numbers has a upper bound, then it has a least upper bound (that is a real number).
 +
 
 +
Suppose that <math>S</math> had a least upper bound, <math>L'</math> such that <math>L'<1</math>. But then we have <math>1-(.1)^n\le L'<1\implies 0< 1-L\le (.1)^n</math>. But that is nonsense since <math>\log_{.1} (1-L)\ge n</math>, which would be a least upper bound for the natural numbers. Hence <math>1</math>, the limit of the sequence, is a least upper bound. Hence that expression is in fact a real number.
 +
 
 +
The proofs below show how to evaluate the limit, but they implicitly use the definition given above.  
  
 
== Proofs ==
 
== Proofs ==
Line 11: Line 26:
  
 
=== Algebraic Manipulation ===
 
=== Algebraic Manipulation ===
−
Let <math>x = 0.999\ldots</math> Then
+
Let <math>x = 0.999\ldots</math> Then we have
−
<center><math>
+
<center>
−
\begin{align*}
+
<math>10x = 9.999\ldots</math>
−
10x &= 9.999\ldots\\
+
 
−
x &= 0.999\ldots
+
<math>\phantom{10}x = 0.999\ldots </math>
−
\end{align*}
+
</center>
−
</math></center>
 
 
Subtracting,  
 
Subtracting,  
−
<center><math>
+
<center>
−
\begin{align*}
+
<math>9x = 9</math>
−
9x &= 9\\
+
<math>\phantom{9}x = 1</math>
−
x &= 1
+
</center>
−
\end{align*}
 
−
</math></center>
 
  
 
=== Infinite series ===
 
=== Infinite series ===
Line 36: Line 48:
  
 
===Limits===
 
===Limits===
−
<math>0.999\ldots = \lim_{n\to\infty}0.\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k} = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n} = 1</math>
+
<math>0.999\ldots = \lim_{n\to\infty}0.\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k} = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n}</math> <math>= 1</math>
  
 
==See Also==
 
==See Also==
 
*[[Geometric sequence]]
 
*[[Geometric sequence]]
−
 
−
== Related Threads ==
 
−
*<url>viewtopic.php?t=201302 ".9 rep = 1?"</url>
 
−
*<url>viewtopic.php?t=188041 "0.999999... =1?"</url>
 

Latest revision as of 19:04, 4 February 2023

Basic Idea

$0.999\ldots$ (or $0.\overline{9}$) is an equivalent representation of the integer $1$.

It is intuitively clear what the dots after the nines mean. However, to resolve the problem, one needs mathematics beyond the elementary school level math that is needed to understand the question.

What do the dots after the $9$s actually mean?

One potential definition is to say that $.999...$ is the limit of the sequence $.9,.99,.999,...$. That is to say, $a_n$ is $.999...9$ where there are $n$ nines. Then we can say that $.999....$ does in fact equal $1$.

But in some senses, this is not the most satisfying definition. When we say that the limit of $a_n$ as $n$ goes to infinity is equal to $L$, that means that for all $\epsilon>0$, there exists an integer $N>0$ such that $|a_n-L|<\epsilon$ for all integers greater than $N$. So in fact, we had to resort to limit definitions to resolve this problem. If you think about it, there is no $n$ such that $a_n=1$.

Another mathematical tidbit: how do we know that $.999...$ is a real number? Intuitively, a real number line seems to be continuous, so such a limit seems to be a real number. But how do we know that there are no 'gaps' so it could possibly not be a real number. But lets prove it.

Let $S=\{a_n|n\in\mathbb{Z}\}$. $a_1\in S$, so $S$ is nonempty. It is easy to see that $a_n=1-(.1)^n$ since it is a finite geometric series. But then $1-(.1)^n<1$. Hence $S$ has an upper bound of $1$. But by the least upper bound axiom of real numbers, if a set of real numbers has a upper bound, then it has a least upper bound (that is a real number).

Suppose that $S$ had a least upper bound, $L'$ such that $L'<1$. But then we have $1-(.1)^n\le L'<1\implies 0< 1-L\le (.1)^n$. But that is nonsense since $\log_{.1} (1-L)\ge n$, which would be a least upper bound for the natural numbers. Hence $1$, the limit of the sequence, is a least upper bound. Hence that expression is in fact a real number.

The proofs below show how to evaluate the limit, but they implicitly use the definition given above.

Proofs

Fractions

Since $\frac 13 = 0.\overline{3} = 0.333\ldots$, multiplying both sides by $3$ yields $1 = 0.999\ldots$

Alternatively, $\frac 19 = 0.\overline{1} = 0.111\ldots$, and then multiply both sides by $9$.

Algebraic Manipulation

Let $x = 0.999\ldots$ Then we have

$10x = 9.999\ldots$

$\phantom{10}x = 0.999\ldots$

Subtracting,

$9x = 9$ $\phantom{9}x = 1$

Infinite series

$0.999\ldots = 0.9 + 0.09 + 0.009 + \ldots = \frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \ldots$

This is an infinite geometric series, so

$0.999\ldots = \frac{\frac{9}{10}}{1 - \frac{1}{10}} = 1$

Limits

$0.999\ldots = \lim_{n\to\infty}0.\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k} = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n}$ $= 1$

See Also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=0.999...&oldid=188621"