Is #sqrt(2)^(sqrt(2))# rational ? And #sqrt(2)^(sqrt(2)^sqrt(2))#?. And #sqrt(2)^(sqrt(2)^(sqrt(2)^cdots))#?

3 Answers
Sep 16, 2016

#sqrt(2)^sqrt(2)# is irrational.
#""^oosqrt(2)# is rational.

Explanation:

While I haven't found a proof that #sqrt(2)^(sqrt(2)^sqrt(2))# is irrational, here are answers to the first and third parts.


#sqrt(2)^sqrt(2)# is irrational:

The Gelfond-Schneider theorem states that given algebraic numbers #a, b# where #a != 0, 1# and #b# is irrational, #a^b# is transcendental.

As #sqrt(2)# is a root of #x^2-2#, it is algebraic. It is well known that #sqrt(2)# is irrational, although this fact may be proven by supposing that #sqrt(2)=p/q# with #p, q in ZZ#, squaring both sides, multiplying by #q^2#, and then noting that the left hand side will have an odd exponent for #2# in its prime factorization, while the right hand side will have an even exponent, a contradiction.

By the above, #sqrt(2)^sqrt(2)# fulfills the conditions for the theorem, and thus is transcendental (and therefore irrational).


#sqrt(2)^(sqrt(2)^(sqrt(2)^(...))) = ""^oosqrt(2)# is rational:

We will prove the stronger result that #""^oosqrt(2)=2#.

First, to show that #""^oosqrt(2)# converges, we will show that the sequence #a_n = ""^nsqrt(2)# is monotone increasing and bounded above.

We proceed by induction. As our base case, note that
#a_1 = sqrt(2) < sqrt(2)^sqrt(2) = a_2 < sqrt(2)^2 = 2#. Now, suppose that for some positive integer #k#, the sequence #a_1, a_2, ..., a_k# is increasing and #a_k < 2#. Then
#a_k = sqrt(2)^(a_(k-1)) < sqrt(2)^(a_k) = a_(k+1) < sqrt(2)^2 = 2#
Thus, by induction, #a_n# is increasing and bounded above by #2#.

Now that we know #""^oosqrt(2)# converges, let #a= ""^oosqrt(2)#. Then #sqrt(2)^a = a#, meaning #a# is a root of #f(x) = sqrt(2)^x - x#. Finding the critical points of #f(x)#, we have
#f'(x) = 1/2ln(2)sqrt(2)^x - 1#
#=> f'(x) = 0 <=> x = log_sqrt(2)(2/ln(2))#

As #f(x)# has only one critical point, it can have at most two roots. By observation, #2# and #4# are both roots of #f(x)#, meaning #a in {2, 4}#. But, by the above work, #a<=2#, meaning #a=2#.

Sep 16, 2016

Naive considerations.

Explanation:

Analysing

#x = sqrt(2)^(sqrt(2)^(sqrt(2)^(cdots)))# we can propose

#x = (sqrt(2))^x#

Now suppose that

#f(x)=f(a)# Of course that a possible solution is #x = a#. Now posing

#x = (sqrt(2))^x# we have

#x^(1/x) = 2^(1/2)# or #g(x) = g(2)# then a solution is

#x = 2# rational.

Now if

#y = ((sqrt(2))^sqrt(2))^x#

What is #lim_(x->sqrt(2))y# ? or
What is #lim_(x->sqrt(2))log y# ? for

#log y = x log ((sqrt(2))^sqrt(2))=x sqrt(2)log(sqrt(2))=x sqrt(2)/2log 2# so

#lim_(x->sqrt(2))log y = lim_(x->sqrt(2))x sqrt(2)/2log 2 =log 2#

so #y = 2# rational. This is a long way to get at

#(sqrt(2)^a)^b = (sqrt(2))^(ab)#. Here considering #a = b = sqrt(2)# we get at the same result.

Sep 16, 2016

#(sqrt2^a)^b = sqrt2^(ab)#, so #(sqrt2^sqrt2)^sqrt2 = sqrt2^(sqrt2sqrt2) = sqrt2^2 = 2# is rational.