I want to start a discussion on a topic that

Is \(0.\overline{9}\) is exactly equals to 1 or its is just a approximation?

I posted this problem and many brilliant user report it as wrong .

Now I want to be sure about that \(0\).\(\overline{9}\) = \(1\) or not??

I thought my brilliant friends will help me out.

If any one have any proof in favor or in against can comment below

Thank you.

## Comments

Sort by:

TopNewestThe problem with this issue is that we find it difficult to get out heads around limits of series. Since these can be pretty weird, that is forgiveable!.

Let us

assumethat the number \(a = 0.\dot{9}\) exists. Since \(0.999\cdots9\) (for any finite number of \(9\)s) is less than \(1\), we can reasonably deduce that \(a \le 1\).Suppose now that \(0 < b < 1\). If we consider the decimal expansion of \(b\), we will eventually find a number after the decimal point which is less than \(9\). In other words, we will be able to write \(b < 0.999\cdots9\), where the number on the right of this inequality has a finite number of \(9\)s after its decimal point. Thus \(b < a\).

In other words the number \(a\) is less than or equal to \(1\), but is greater than any number less than \(1\). This means that \(a\) must be equal to \(1\). In other words, if \(0.\dot{9}\) exists, it must be equal to \(1\).

The only problem left is that of accepting that the number \(a\) exists in the first place. This is a nontrivial issue, and many mathematicians, starting with the ancient Greeks, have had problems with infinite limits. Consider such "paradoxes" as Zeno's paradox or the Achilles and the tortoise paradox.

If we are prepared to accept a mathematical system within which limits exist, then \(0.\dot{9}\) will both exist and be equal to \(1\), and \(0.\dot{3}\) will exist and be equal to \(\tfrac13\). The existence of such limits is based upon what is called the Completeness Axiom of the Reals; while mathematicians might try to see what can be deduced in the absence of this Axiom, I would think that few disbelieve it.

It is interesting that students find the existence of \(0.\dot{9} = 1\) harder to accept than they do the existence of \(0.\dot{3} = \tfrac13\). Accepting that either of these numbers exists involves coping with the idea of an infinite number of entries in a decimal expansion; there is something about the fact that the identity \(0.\dot{9} = 1\) increases the digit before the decimal point that gets people agitated, while students at a very early age have few problems with \(0.\dot{3} = \tfrac13\). From a teaching point of view, therefore, observing that \(3 \times 0.\dot{3} \,=\, 0.\dot{9}\), and therefore that \(0.\dot{9} = 3\times\tfrac13 = 1\) is an argument which can content most students, at least until they can get to grips with the proper definition of the limit of a series. – Mark Hennings · 7 months, 2 weeks ago

Log in to reply

(Printer is on)hahaahahah! Just kidding!You wrote what Otto Brestcher wrote up here in the solution discussion but in a much clearer manner!

Good read! I didn't think of the analogy between Tortoise paradox and \(0.\overline9=1\).

Completeness Axiom of the Reals? Woah! First time hearing of about this! Good read! Your comments are always so valuable! Brilliant should always send me a notification wherever you post anything in Brilliant!!

Can you explain why this happens? Or why mathematicians disagree about this (Is it because most people can't grasp new concepts like the controversy over Cantor's theory)? Does this issue still occur? And why?

– Pi Han Goh · 7 months, 2 weeks agoLog in to reply

It is interesting to note how Analytic Number Theory has found great usefulness of the real number system, and the machinery of analysis of real number, in the service of solving equations and problems about rational numbers.

In a similar manner, logicians are interested in what can be deduced if you remove Proof by Contradiction from your armoury (this is an example of what is called Constructivist Logic). This is important, since computers cannot prove by contradiction, and so results that can be proved without using Proof by Contradiction are essentially those that can be machine-proved – Mark Hennings · 7 months, 2 weeks ago

Log in to reply

Axiom of Choice? Because I'm more familiar with that area as compared to Completeness Axiom.

I don't know much about this subject matter (of Completeness Axiom) until recently, so forgive me if I sound ignorant, but is it in any way similar to accepting/rejecting theCan you explain to me why these mathematicians prefer to restrict themselves by not assuming this axiom? Because I don't see the benefit of it at all. Is it because they want to find a more elegant solution to the necessary questions? Or because they think that this Axiom is not rigorous (highly doubt it)? Or something else entirely?

From your entire first paragraph, it sounds to me that what you're saying is that some mathematicians prefer not to use Completeness Axiom simply because of they are merely asserting one's preference, no?

Wait, isn't proof by contradiction super duper important? Why are logicians interested in handicapping themselves by restricting themselves by not using that commonplace method? What's the point of all these? Is there a benefit to this restriction?

(Advertisement). – Pi Han Goh · 7 months, 2 weeks ago

Log in to reply

Mathematics is the business of investigating what is possible. It can be interesting to investigate what can be deduced if only some properties, or methods of argument, are assumed. That is why mathematicians study groups, for example. There are many cases where a number system is more complex than being just a group, but knowing its group-theoretic properties is nonetheless interesting. Alternatively, Algebraic Number Theorists can be quite happy studying the integers, and do not always need to think about the reals at all ( on the other hand, Analytic Number Theorists have found great value in real number theory in the study of integers).

As I said previously, if you are a computer theorist, you are not that fond of Proof by Contradiction, since your pet machines cannot use it. You are therefore extremely interested in what can be proved without it. Mathematical Logic, without Proof by Contradiction, is perfectly consistent and sensible; the only problem is that there are lots of elementary statements that are true, but cannot be proved, within it. Of course, Godel's Incompleteness Theorem proves that there are true, but unprovable, statements within any sufficiently complex system of logic. The difference is that we don't ever know in general which those statements are, whereas it is easy to find true statements which cannot be proved without Contradiction. – Mark Hennings · 7 months, 2 weeks ago

Log in to reply

I spent some time last week to read up all these axioms again and to be honest, I don't fully grasp most of them. Maybe due to the extreme lack of exercises in the (only) textbook that I bought. Or that there are so many complicated "consequences" of this Axiom (of Choice), like Zorn's Lemma, Hausdorff's Maximal Principle.

Do you have any good books on Set Theory? Because without sufficient exercises, I will (still) find it hard to grasp these concepts. Same goes for any books that teach The Completeness Axiom, because I don't think wikipedia paints a good picture for newbies to understand it, nor can I find any good YouTube videos for it, and most of the other explanations that I can find appears very handwavy. – Pi Han Goh · 7 months ago

Log in to reply

– Mark Hennings · 7 months ago

The classic text is P.R. Halmos' "Naïve Set Theory", but it is pretty tough-going.Log in to reply

Are you referring to this one? Okay! ordered!

Pretty tough-going? Even for you? Well, I guess I can only master this topic in the next decade.

Thanks for the dialog! – Pi Han Goh · 6 months, 3 weeks ago

Log in to reply

– Mark Hennings · 6 months, 3 weeks ago

That's the one. It should get you started.Log in to reply

– Pi Han Goh · 6 months, 3 weeks ago

Thank you! You're really really helpful!!Log in to reply

I am aware of more elegant proofs for this than the one that follows.

However, I find this version to be easier to grasp for people struggling with the concept.

1)\(\frac{1}{3} = 0.333... = 0.\overline{3} \)2)\(3 \times \frac{1}{3} = 3 \times 0.333... = 0.999... = 0.\overline{9} \)However,

3)\(3 \times \frac{1}{3} = \frac{3}{3} = 1 \)From 2) we get:

4)\(3 \times \frac{1}{3} = 0.\overline{9} \)From 3) we get:

5)\(3 \times \frac{1}{3} = 1 \)If we combine 4) and 5) we get:

6)\( 1 = 3 \times \frac{1}{3} = 0.\overline{9} \)And finally, 6) reduces down to:

7)\(1 = 0.\overline{9} \)The more elegant proofs are... well... more

elegantin the way that they convey the general pattern going on beneath the surface that can then be abstracted to other scenarios, such as the ever-popular \(0.\overline{12} \). However, those can be hard for people to grasp.I find that the \(3 \times \frac{1}{3}\) proof is easier for most people to grasp, in that it opens the door enough for them to realize that

there's something really weird going on here.Which is important. Because, and let's be honest about this, this \(1 = 0.\overline{9} \) business is

really freaking weird. Anything that helps crack the door open to let in the light is a good thing, in my book. :) – Daniel Schealler · 7 months, 2 weeks agoLog in to reply

\[ x=0.\overline { 9 } \quad \Rightarrow \quad 10x=9.\overline { 9 } \\ \\ \Rightarrow \quad 10x-x=9.\overline { 9 } -0.\overline { 9 } \\ \\ \Rightarrow \quad 9x=9\quad \Rightarrow \quad x=1 \] – Ayush Verma · 7 months, 2 weeks ago

Log in to reply

There is a wiki about this topic here: is 0.999... = 1? – Eli Ross Staff · 7 months, 2 weeks ago

Log in to reply

Yes it is. there are 3 ways:

1/3 = 0.3333333333333333... so multiplying by 3 on both sides we get 1= 0.9999999999999999999.... OR 0.9 can be thought as \( \frac{9}{10^{1}} +\frac {9}{10^{2}} +\frac{9}{10^{3}} .... \) (infinite GP.) OR x = 0.999999999... 10 x = 9.99999999999.... 9 x = 9.9999999999...-0.999999999999.... = 9 x = 1 – Yash Mehan · 7 months, 2 weeks ago

Log in to reply

More proofs here than I have the patience to read – Agnishom Chattopadhyay · 7 months, 2 weeks ago

Log in to reply

In one solution I wrote, there is an argument about whether 0.99999... equals to 1, and many of this community's respected member point out that it is, when I don't personally believe it is equal. The evaluation of limit in the infinite sum of \[\sum_{n=1}^{\infty}9(0.1)^n\]

shows that it

tends to reach1, but never exact 1. I will keep an eye on respected members for this – Kay Xspre · 7 months, 2 weeks agoLog in to reply

– Maximilian Wackenhuth · 7 months, 2 weeks ago

It is 1 because the limit of the partial summs is 1. Another way to illustrate this is to think about which Infinitesimals exist in the reals(only 0), because the difference between 1 and the infinite sum obviously is an infinitesimal.Log in to reply

However, we can still represent the value of an infinite series numerically - providing that it converges. The value of an infinite series becomes that point of convergence.

I turns out that \(0.\overline{9}\) is just such a converging series. The value of that series genuinely

is\(1\).This is why the limit of an infinite series is typically represented with the limit notation rather than with a sigma notation as you have used above. The limit notation more accurately conveys what's going on.

Annoyingly, I can't work out how to express a limit notation in the latex formatting for this site. If anyone else in the comments can help me out, I'd consider it a kindness. :) – Daniel Schealler · 7 months, 2 weeks ago

Log in to reply

– Kutbi Olcer · 7 months, 2 weeks ago

concepts like limits at infinity are just conventions... if we are to depend on conventions here is another one: 1-0.99999999999999999.............=epsilon epsilon is a number smaller than any thinkable number, such definition of infinity is that it is larger than any thinkable number...Log in to reply

Interesting how many proofs rely on the concept that 0.3recurring = 1/3. This is only true is 0.9recurring =1. In other words you are proving nothing. 0.3recurring is an approximation to 1/3. – Allan Proudfoot · 7 months ago

Log in to reply

The decimal number system is like that. All numbers have an infinite decimal expansion, and only very special numbers have decimal expansions which are finite, in that they can end in an infinite number of \(0\)s (like \(0.326 = 0.326000000\ldots\)). Writing down only a finite number of terms after the decimal point gives an approximation to the number. As another example, \(1.414\) is an approximation to \(\sqrt{2}\), but that does not take away the fact that \(\sqrt{2}\) has an exact decimal expression which involves an infinite number of numbers after the decimal point.

Oddly enough, it is precisely the special numbers (which have a finite decimal expansion) which cause people problems, since they are also the numbers which can be written in two different ways, with or without recurring \(9\)s. For example \[ 0.326 \; = \; 0.32599999\ldots \; = \; 0.325\dot{9} \;. \] – Mark Hennings · 7 months ago

Log in to reply

Note that the \(\overline{\cdot}\) means that the 3's repeat

forever. In other words, it represents \[\lim_{n\rightarrow\infty} 3 \times \sum_{k=1}^{n} 10^{-k} =\frac{1}{3}.\] – Eli Ross Staff · 7 months agoLog in to reply

What you need to ask yourself regarding this topic is which set of numbers are you using? On the real line .9 repeating equals 1. The only way .9 < 1, as your answer to this question would have us believe, is if we were dealing in rational numbers only. The problem with asking this question of the rational numbers is that .9 repeating doesn't exist. Because of the analytical definition of the real line the limit of the sum that is .9 repeating exists and it is one. – Dann Schneider · 7 months, 2 weeks ago

Log in to reply

bing bang theory depents on thant 1 is infinetely larger the any lim-- 0.9999999999999.... – Kutbi Olcer · 7 months, 3 weeks ago

Log in to reply

– Yash Dev Lamba · 7 months, 3 weeks ago

prove it manLog in to reply

– Kutbi Olcer · 7 months, 3 weeks ago

that ı exist... you too...Log in to reply

Log in to reply

– Kutbi Olcer · 7 months, 3 weeks ago

there is no offspring between my little brother and me but still ı am older....Log in to reply

– Yash Dev Lamba · 7 months, 3 weeks ago

\[ \frac{9}{10} + \ \frac{ 9}{10^2} + \frac{ 9}{10^3} + \frac{ 9}{10^4} + \ldots = \frac{a}{1-r} = \frac{ \frac{9}{10} } { 1 - \frac{1}{10} } = 1 \]Log in to reply