Is this Proof correct?

Hi Brilliant Community ,

Recently I was Solving Some Problems and i was perplexed by a expression

and I want to know if this expression is right .

\[\large \dots\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{2}}}}}\] \[\large {= 2^{\frac{1}{2} \times \frac{1}{2} \times \frac{1}{2} \dots}}\] \[\large{= 2 ^{\frac{1}{∞}}}\] \[\large{= 2^{0}}\]
$\large{= 1}$

This means that $\dots\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{2}}}}}=1$
$\large{ 2 ^{\frac{1}{∞}}=1}$ $\large{2=1^{∞}}$
Is this proof wrong ? and if I am wrong , tell me where it is

(all help appreciated)

Please reshare this note so that we can get better answers .

#Algebra #Calculus #ComputerScience #HelpMe! #brillianthelp

Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

Markdown	Appears as
`italics` or `_italics_`	italics
`bold` or `__bold__`	bold
- bulleted - list	bulleted list
1. numbered 2. list	numbered list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1 paragraph 2	paragraph 1 paragraph 2
`[example link](https://brilliant.org)`	example link
`> This is a quote`	This is a quote
# I indented these lines # 4 spaces, and now they show # up as a code block. print "hello world"	# I indented these lines # 4 spaces, and now they show # up as a code block. print "hello world"

Math	Appears as
Remember to wrap math in `$` ... `$` or `\[` ... `\]` to ensure proper formatting.
`2 \times 3`	$2 \times 3$
`2^{34}`	$2^{34}$
`a_{i-1}`	$a_{i-1}$
`\frac{2}{3}`	$\frac{2}{3}$
`\sqrt{2}`	$\sqrt{2}$
`\sum_{i=1}^3`	$\sum_{i=1}^3$
`\sin \theta`	$\sin \theta$
`\boxed{123}`	$\boxed{123}$

Comments

The simple answer is yes, the proof is wrong. In fact, it is correct up until the very end. (or at least the underlying logic is)

The error is between the final two lines. $2^{\frac{1}{\infty}} = 1 \\ (2^{\frac{1}{\infty}})^{\infty} = 1^{\infty}$ In this second line, both sides of the equation are indeterminate forms. That is $1^{\infty} \neq 1.$ In fact it is mathematically incorrect really to algebraically put any number to the power of infinity; more properly, you would have to raise it to the power of a limit that approaches infinity. For this reason, to maintain accuracy, you must evaluate the inside exponent first; that is, $(2^{\frac{1}{\infty}})^{\infty} = 1^{\infty}$ if a determinate form exists. (edit: to clarify, $(2^{\frac{1}{\infty}})^{\infty} \neq 2$ )

Caleb Townsend - 6 years, 3 months ago

I want to correct you a bit

$1^{\infty } = 1$ when 1 on LHS is exact 1

Otherwise $1^{\infty } \neq 1$ when 1 is tending 1.

Krishna Sharma - 6 years, 3 months ago

You are thinking of the limit of $1^n$ as $n$ approaches infinity. In fact, the number $1^{\infty}$ itself is indeterminate, therefore not $1$ even if the base is exactly $1.$ You could try to define it as the limit I described above, but you could define it as infinitely many other limits as well to get different values. If you don't believe me then check these:

Link 1 Link 2 Link 3

As you can see, wolfram alpha correctly describes it as indeterminate, and the other two links found different values for $1^{\infty}.$ Remember, infinity is not a number; you can't just expect real numbers reasoning to hold at infinity.

Caleb Townsend - 6 years, 3 months ago

@Caleb Townsend – For the first link you can't trust wolfy always, 2nd and 3rd discusses about the the tending 1.

$\displaystyle \lim_{x \to 0} (1+x)^{\frac{1}{x}}$

The base in the above example is tending 1.

I'll soon make a note about indeterminant form :)

Krishna Sharma - 6 years, 3 months ago

@Krishna Sharma – Perhaps I can't trust Wolfram Alpha, but I can verify its accuracy in this case. I know for a fact that $1^{\infty}$ is indeterminate. Infinity is not a number, therefore there is no such thing as $1^{\infty},$ so the only way to define it is with a limit. If we set the base equal to $1$ everywhere and the exponent approaching to infinity, this is still a limit that we are defining and no naturally better than a limit with a base not equal to $1.$

I guarantee you will not change my mind, but I do recommend that you research this as well; any reliable source will say that $1^{\infty}$ is indeterminate.

Caleb Townsend - 6 years, 3 months ago

A very common mistake made is not understanding limits of sequences properly, and thinking that induction applies to "infinity".

As a starting example,
1. Prove that for all $n \in \mathbb{N}$ , $\bigcap_{i=1}^n ( 0 , \frac{1}{n} ) \neq \emptyset .$ 2. Prove that $\bigcap_{i=1}^ \infty ( 0 , \frac{1}{n} ) = \emptyset .$

Calvin Lin Staff - 6 years, 3 months ago

The problem with your proof is specially in the last two steps. Infinity is not a number and it can not be treated as a number.

Tagesse Lonsamo - 6 years ago

Math	Appears as
Remember to wrap math in `\(` ... `\)` or `\[` ... `\]` to ensure proper formatting.
`2 \times 3`	$2 \times 3$
`2^{34}`	$2^{34}$
`a_{i-1}`	$a_{i-1}$
`\frac{2}{3}`	$\frac{2}{3}$
`\sqrt{2}`	$\sqrt{2}$
`\sum_{i=1}^3`	$\sum_{i=1}^3$
`\sin \theta`	$\sin \theta$
`\boxed{123}`	$\boxed{123}$