2

What are all the values of $a$ and $b$ such that $a, b\notin\mathbb{Q}$ and $a^b\in\mathbb{Q}$? For instance, the classic example is $\left(\sqrt2^\sqrt2\right)^\sqrt2=2$. We also have $a,b\notin\mathbb{Q}$ and $b=\log_ak$, where $k\in\mathbb{Q}$, (making sure that $b$ is irrational), then we can see $a^b=k$. What other ways are there to find these $a$'s and $b$'s?

I'm not asking for just one singular answer, but sort of where to go from here to come up with irrational numbers that satisfy everything.

Edit: As Vadim pointed out in the comments, anything like $\left(\sqrt[m]n^\sqrt[k]{m^a}\right)^\sqrt[k]{m^b}$, where $a+b=k$ will work.

AlgorithmsX
  • 4,560
  • 1
    https://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theorem – vadim123 Nov 25 '16 at 00:53
  • Unless I'm wrong, all the Gellfond-Scneider Theorem does is remove all the algebraic irrational numbers from the set of possible answers. It says nothing about any transcendental numbers, and it even gives the $\sqrt2$ example in the article. – AlgorithmsX Nov 25 '16 at 01:02
  • Correct; GS is not an answer, but does give useful info. – vadim123 Nov 25 '16 at 01:03
  • Why the downvotes? Am I missing something? – AlgorithmsX Nov 25 '16 at 01:05
  • For example, $(\sqrt{n}^\sqrt{2})^\sqrt{2}=n\in\mathbb{Q}$, and by GS, $\sqrt{n}^\sqrt{2}$ is transcendental (and hence irrational). – vadim123 Nov 25 '16 at 01:05
  • @Vadim123 Are just the examples you gave and the logarithm example I gave the only ones that lead to a rational number? – AlgorithmsX Nov 25 '16 at 01:10
  • For another example, $(\sqrt{n}^{\sqrt[3]{4}})^\sqrt[3]{2}=n\in\mathbb{Q}$, and by GS, $\sqrt{n}^{\sqrt[3]{4}}$ is transcendental (and hence irrational). I'm sure there are lots of other examples, these are just easy ones using the thm. – vadim123 Nov 25 '16 at 01:12
  • I don't think that this one deserve a downvote. So, +1 – Vidyanshu Mishra Dec 03 '16 at 19:42

0 Answers0