# Can you raise $\pi$ to a real power to make it rational?

We're all familair with this beautiful proof whether or not an irrational number to an irrational power can be rational. It goes something like this:

Take $(\sqrt{2})^{\sqrt{2}}$

If it's rational, then you proved it, if it's irrational, take $((\sqrt{2})^{\sqrt{2}} ){^\sqrt{2}} = 2$ and you've proved it.

I'm wondering if you can raise $\pi$ or $e$ to a certain non-trivial real power to make it rational? And if not, where is the proof that it can't be done?

p.s. - I almost left out the real part, but then I realized that $e^{i\pi} = -1$.

• I assume the word "non-trivial" in your question is meant to exclude $\pi^0 = 1$. May 22, 2013 at 21:37
• What am I missing? wolframalpha.com/input/?i=sqrt+2%5Esqrt+2%5Esqrt+2 May 22, 2013 at 23:47
• @DoubleAA You're missing Brackets... wolframalpha.com/input/?i=%28sqrt+2%5Esqrt+2%29%5Esqrt+2 May 23, 2013 at 0:01
• @IlmariKaronen Indeed, I was trying to sound fancy, did I use it incorrectly? May 23, 2013 at 14:36
• Well... not incorrectly, just imprecisely. "Trivial" is one of the vaguest, most subjective and hand-wavey terms in mathematics; even in specific areas where it does have a reasonably well agreed-upon meaning, that meaning depends entirely on context. Anyway, if you were trying to sound like a working mathematician, I'd say you succeeded. However, I'd also say that's not necessarily something to be proud of. :) May 23, 2013 at 16:39

Of course. Pick any positive rational $p$ and let $x=\log_\pi p$, then $\pi^x=p$.
• @Patrick: How so? You can define the logarithm without exponentiation. Define $\ln x=\int_1^x\frac1tdt$, then define $\log_p x=\frac{\ln x}{\ln p}$. You can now prove that $p^{\log_p x}=x$. May 22, 2013 at 18:22
• A geometric way of "seeing" this: The map $f: x\mapsto \pi^x$ is continuous and strictly increasing, so its graph $y=\pi^x$ passes through a lot of points where just one of the two coordinates (we want $y$) is rational. May 22, 2013 at 21:58
• @Jeppe: Except from rare occasions, the geometric way is never my way of seeing things! Thank you making that point, it wouldn't have crossed my mind. But the argument would be clearer if you state it as $f$ being surjective onto $(0,\infty)$, and therefore it hits every positive rational number. May 22, 2013 at 22:00