4
$\begingroup$

Is $(\sqrt 2)^\sqrt3+(\sqrt 5)^\sqrt{7}$ an irrational number? is there any result about rationality\irrationality of numbers of the form $a^b+c^d$ where $a,b,c$ and $d$ are well-known irrational numbers (like $\sqrt{2}, \pi$ and...)

$\endgroup$
2

1 Answer 1

1
$\begingroup$

While the transcendentality (and even the irrationality) of $\sqrt 2 ^\sqrt3 + \sqrt 5 ^\sqrt7$ is still unknown, we can prove that $\sqrt 2 ^\sqrt3$ and $\sqrt 5 ^\sqrt7$ are transcendental using the Gelfond-Schneider theorem. The theorem states that:

If $a$ and $b$ are algebraic numbers with $a ≠ 0,1$ and $b$ non-rational, then any value of $a^b$ is a transcendental number.

This not only gives rise to trivial results such that $2^{\sqrt 2}$ is irrational, but to some more interesting ones as well. For instance, by taking $a=-1$ and $b=-i$, where $i=\sqrt {-1}$, we can obtain the following result:

$$ (-1)^{-i} = \left( e^{i \pi} \right)^{-i} = e^\pi, $$

showing that $e^\pi$ is transcendental.

$\endgroup$
2
  • 1
    $\begingroup$ While $x:=\sqrt{2}^\sqrt{3},\,y:=\sqrt{5}^\sqrt{7}$ are both transcendental, how do you know $x+y$ is? $\endgroup$
    – J.G.
    Jun 10, 2019 at 11:55
  • 1
    $\begingroup$ Oh sorry I misread the question. Indeed the transcendentality (and even the irrationality) of $x+y$ is still unknown. I will edit the response. $\endgroup$
    – Klangen
    Jun 10, 2019 at 11:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .