27
$\begingroup$

Here's an expression I am struggling to evaluate: $$\LARGE {\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\:\cdot^{\:\cdot^{\:\cdot}}}}}} $$

The value turns out be $2$, but I don't understand how do we get it. Can anyone give the solution?

EDIT: The original problem is as follows:

If $y(x)= { x }^{ { x }^{ { x }^{ { x }^{. } } } }$, then evaluate $y(\sqrt { 2 })$.

$\endgroup$
1
54
$\begingroup$

Consider the sequence $\{0,1,\sqrt{2},\sqrt{2}^{\sqrt{2}},\sqrt{2}^{\sqrt{2}^{\sqrt{2}}},\ldots\}$. In other words the sequence with $a_0=0$ and $a_{n+1}=\sqrt{2}^{a_{n}}$.

Note that $a_0<2$. Assume that for some $n$, that $a_n<2$. Then $a_{n+1}=\sqrt{2}^{a_n}<\sqrt{2}^2=2$. So by induction, $a_n<2$ for all $n$.

Note that $a_0<a_1$. Suppose that for some $n$, that $a_{n-1}<a_n$. Then $\sqrt{2}^{a_{n-1}}<\sqrt{2}^{a_n}$, so $a_n<a_{n+1}$. So by induction, $a_n<a_{n+1}$ for all values of $n$. In other words, the sequence is increasing.

So we have that this sequence is increasing and bounded above. Therefore it converges to some limit $L$. That means $$\begin{align} a_{n+1}&=\sqrt{2}^{a_n}\\ \lim_{n\to\infty}a_{n+1}&=\lim_{n\to\infty}\sqrt{2}^{a_n}\\ L&=\sqrt{2}^L\\ \end{align}$$

By concavity, there are only two solutions to this equation, and fortunately it's easy to identify both: $L=2$ or $L=4$. But $L$ cannot be $4$, since the sequence was bounded by $2$.

So this establishes that $\lim_{n\to\infty}a_{n}$ exists and that its value is $2$.

$\endgroup$
9
  • 3
    $\begingroup$ (+1) Very nice answer, but might it be worthwhile to point out that the sequence you are considering isn't arbitrary but rather is an interpretation (correct/only one) of the hand wavy question? I'm not sure how much this is obvious to the OP. $\endgroup$ – DRF Dec 19 '15 at 12:57
  • $\begingroup$ Alternate to the second induction paragraph: square root of two is greater than one. Therefore each term must be greater than the previous term. $\endgroup$ – WGroleau Dec 19 '15 at 15:23
  • $\begingroup$ @WGroleau I'm not sure that is straightforward. I think you are saying that "$x<\sqrt{2}^x$" is true because $\sqrt{2}>1$. But as revealed here, that's not true if $x\in[2,4]$. So to go that way, you have some more to show. $\endgroup$ – alex.jordan Dec 19 '15 at 19:17
  • $\begingroup$ Could you not have just started with the line "Let the given expression be $x$. Then, we observe by the way the expression is constructed, that, $x=\sqrt{2}^x$. By concavity... etc. etc. $\endgroup$ – Deepak Gupta Dec 19 '15 at 19:25
  • $\begingroup$ @alex.jordan, No. I'm saying that if X & Y are both greater than 1, then X^Y is always greater than X. $\endgroup$ – WGroleau Dec 20 '15 at 1:47
6
$\begingroup$

Really you wish to solve for $x$ in the expression below $$x^{x^{x^x…}}=2, $$ where $x$ exponentiates an infinite amount. One way to approach it would be to note $$\log_x( x^{x^{x^x…}})=\log_x(2)\rightarrow x^{x^{x^x…}}=\log_x(2). $$ But we know $x^{x^{x^x…}}=2 $, therefore, $$2=\log_x(2)\rightarrow x^2=2$$ and thus $$\boxed{x=\sqrt{2}}. $$

This is just a good way to show it. It is certainly not a rigorous proof because you could really perform the logarithm step as many times you like and get different solutions. But, it helps in basic understanding, in my opinion.

$\endgroup$
4
  • 2
    $\begingroup$ But if one didn't know $2$ was a solution. $\endgroup$ – mavavilj Dec 19 '15 at 7:17
  • $\begingroup$ I suppose you could set the expression equal to some number $n$. Perform the same as above with instead $x=\sqrt{2}$. You would end up with $\sqrt{2}=n^{1/n}$. The obvious solution here is then $n=2$. $\endgroup$ – nordic_skier Dec 19 '15 at 7:23
  • 4
    $\begingroup$ This establishes that if the equation $x^{x^{x^â‹°}}=2$ has a solution at all, the solution must be $\sqrt{2}$. But what if there is no actual solution? For instance, the equation $x^{x^{x^â‹°}}=4$ has no solution. But this method would tell you that if it did, the solution would be $\sqrt{2}$. $\endgroup$ – alex.jordan Dec 19 '15 at 7:33
  • 2
    $\begingroup$ Note that another solution to $\sqrt{2}=n^{1/n}$ is $\sqrt{2}=4^{1/4}$. $\endgroup$ – alex.jordan Dec 19 '15 at 7:35
3
$\begingroup$

Let $x=\sqrt{2}^{\sqrt{2}^{\cdots}}$ then $x=\sqrt{2}^x$ or $x=2^{x/2}$ i.e., $x^2=2^x$

$\endgroup$
5
  • $\begingroup$ Hmm..That's what I had done. Can you then prove that $x=2$ is the only solution? $\endgroup$ – Swapnil Dec 19 '15 at 7:15
  • $\begingroup$ The last term is itself ,again, a good problem! $\endgroup$ – Mikasa Dec 19 '15 at 7:15
  • 3
    $\begingroup$ $x=4$ is another solution. For more infore read: algebra.com/algebra/homework/logarithm/… . $\endgroup$ – chubakueno Dec 19 '15 at 7:15
  • $\begingroup$ Plotting graphs is a tempting way to solve because of its easiness $\endgroup$ – Deepak Gupta Dec 19 '15 at 19:08
  • 2
    $\begingroup$ A correct start, but you need to show there is any solution at all. You only showed that a solution must satisfy this equation. $\endgroup$ – djechlin Dec 19 '15 at 22:10
0
$\begingroup$

If we have an infinite number of powers nested then we can say

$$v=\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}...}}}=\sqrt{2}\,^v$$

Take the log to base 2.

$$lg(v)=v\,lg(\sqrt{2})$$

and

$$\frac{lg(v)}{v}=lg(\sqrt{2})=\frac{1}{2}lg(2)$$

And this gets us $v=2$

$\endgroup$
1
  • 2
    $\begingroup$ v=4 is also a solution. How do you ensure that there are no solutions other than the ones you have come up with (2 and 4, that is) $\endgroup$ – Deepak Gupta Dec 19 '15 at 19:10

Not the answer you're looking for? Browse other questions tagged or ask your own question.