B Fundamental proof

Fala483

I am trying to prove that all numbers of the form 0.999... Squared end in a decimal value of 1. For example

0.99sq = 0.9801
0.999sq = 0.998001

Etc.

Is it possible to prove for all 0.999.... ?

DaveC426913

Gold Member
Well, in every case, the least sig dig is always 9, which, when squared is 81. And since it is the least sig dig, no other digits will affect the last digit in the answer. so...

BTW, it works for numbers greater than 1 too.

Fala483

Well, in every case, the least sig dig is always 9, which, when squared is 81. And since it is the least sig dig, no other digits will affect the last digit in the answer. so...

BTW, it works for numbers greater than 1 too.
So since 0.999... Squared ends in a decimal value of 1 and 1 squared ends in a decimal value of 0, 0.999... = 1 is a contradiction

berkeman

Mentor

And Welcome to the PF, BTW.

DaveC426913

Gold Member
So since 0.999... Squared ends in a decimal value of 1 and 1 squared ends in a decimal value of 0...
Wait. What?

One squared doesn't end in zero any more than any other number squared ends in zero - including .999.
One squared ends in one.

.92 = .81
12 = 1

or

.92 = .810
12 = 1.0

Take your pick. But be consistent.

fresh_42

Mentor
2018 Award
So since 0.999... Squared ends in a decimal value of 1 and 1 squared ends in a decimal value of 0, 0.999... = 1 is a contradiction
No, because you only squared numbers with finite digits: $0.\underbrace{9...9}_{n \text{ times }}$ which is not the same as if it doesn't end. If it doesn't end, the $1$ at the end will never be reached.

The problem with this thread and others discussing the same proof ground on a common misunderstanding:

Are the expressions: 0.999999... and 0.99999...9 to be considered equal ? Here "..." represent an infinite string of 9's.

hilbert2

Gold Member
The "0.9999..." would in principle be as correct a decimal expansion of number 1 as "1.0000...", but by convention we generate the decimal expansions of positive numbers by approaching them from the right instead of left side.

PeroK

Homework Helper
Gold Member
2018 Award
The problem with this thread and others discussing the same proof ground on a common misunderstanding:

Are the expressions: 0.999999... and 0.99999...9 to be considered equal ? Here "..." represent an infinite string of 9's.
In your second expression, the last 9 has no meaning. In general, the nth digit is that digit times $10^{-n}$. And, the expression $0.999 \dots$ represents a number that has a $9$ in every place.

Formally, this is $\Sigma_{n = 1}^{\infty} 9 \times 10^{-n}$.

This can be evaluated by anyone who has learned about infinite geometric series.

Your last 9 does not represent $9 \times 10^{-n}$ for any number $n$.

jbriggs444

In your second expression, the last 9 has no meaning.
To amplify on this: One can attempt to create a system of arithmetic that works on unconventional strings with infinite sequences of digits "in the middle". But it is harder than it looks. The conventional scheme which only permits infinite sequences "at the end" is used for good reason.

One way of understanding the standard system is that decimal strings are a convenient notation to express exemplars of equivalence classes of Cauchy sequences of rationals. A course in real analysis would show that equivalence classes of Cauchy sequences of rationals are one of the standard ways to construct the Reals.

In your second expression, the last 9 has no meaning. In general, the nth digit is that digit times 10−n10−n10^{-n}. And, the expression 0.999…0.999…0.999 \dots represents a number that has a 999 in every place.

Formally, this is Σ∞n=19×10−nΣn=1∞9×10−n\Sigma_{n = 1}^{\infty} 9 \times 10^{-n}.

This can be evaluated by anyone who has learned about infinite geometric series.

Your last 9 does not represent 9×10−n9×10−n9 \times 10^{-n} for any number nnn.
Huge LOL!

Both expressions are equally valid. The only difference is that you construct 0.9999...9 without the addition: ie. instead of 9/10+9/100+9/1000... you just compute 9/10, 99/100, 999/1000 etc. 0.9999...9 is just a backward construction.

jbriggs444

Both expressions are equally valid.
Indeed they are equally invalid. No such sequences have any valid interpretation as real numbers that gives meaning to the finite trailing sequence of digits.

Mark44

Mentor

Both expressions are equally valid.
As @jbriggs444 already said, both expressions are invalid. If you write 0.9999..., that means that an infinite number of 9 digits follow, but in the meaningless expression 0.9999...9, at which position is that final 9?

Gold Member
Last edited:

Mentor

Fala483

In your second expression, the last 9 has no meaning. In general, the nth digit is that digit times $10^{-n}$. And, the expression $0.999 \dots$ represents a number that has a $9$ in every place.

Formally, this is $\Sigma_{n = 1}^{\infty} 9 \times 10^{-n}$.

This can be evaluated by anyone who has learned about infinite geometric series.

Your last 9 does not represent $9 \times 10^{-n}$ for any number $n$.
Then how do you multiply infinities

jbriggs444

Then how do you multiply infinities
Are you asking for how to a prescription for multiplication of normal one-way infinite digit strings? (The sort that do not end with ...9)?

fresh_42

Mentor
2018 Award
Then how do you multiply infinities
By $\lim_{n \to \infty} a_n \cdot \lim_{n \to \infty} b_n = \lim_{n \to \infty} (a_n\cdot b_n)\,.$

Fala483

As @jbriggs444 already said, both expressions are invalid. If you write 0.9999..., that means that an infinite number of 9 digits follow, but in the meaningless expression 0.9999...9, at which position is that final 9?
The number won't be a real number. It might still be a more general kind of number.

Now there is the corresponding problem in surreal numbers. If we allow also transfinite integers as the integers in rational numbers of the form a/b does some "middle infinite" decimal expansion correspond to such a transfinite rational. In fact the transfinite integer with the lowest birthday ω={1,2,3,4...|} can give raise to 1/ω = ε which might be argued to have the decimal expansion of 0.000... ...001. However with the relevant definition of rationals this is a rational number. It might be a hint that any infinite end would only be a finite real multiple of ε. But then there is the trouble that 1/ε is also a valid surreal. Thus for those kind of expanded decimal notions you migth need a notion of size of the infinities to make things work out (that is adding countably many infinite digits might be a different thing than adding uncountably many).

Fala483

By $\lim_{n \to \infty} a_n \cdot \lim_{n \to \infty} b_n = \lim_{n \to \infty} (a_n\cdot b_n)\,.$
That seems to result in the same problem.

"Fundamental proof"

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving