# If $a$ is irrational, must $a^a$ be irrational? [closed]

It is known that $\sqrt{2}^{\sqrt{2}}$ is irrational. Is it true that for any irrational number $a$, $a^a$ must be irrational?

-

## closed as off-topic by Emil Jeřábek, Andrej Bauer, Gerald Edgar, Ian Agol, Stefan KohlFeb 6 '14 at 17:44

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Emil Jeřábek, Andrej Bauer, Gerald Edgar, Ian Agol, Stefan Kohl
If this question can be reworded to fit the rules in the help center, please edit the question.

Obviously not. There is a number $a > 1$ such that $a^a = 2$. This number cannot be rational. –  Andrej Bauer Feb 6 '14 at 17:39
@Andrei Bauer my typing the proof took 7 seconds more :) –  Sasha Anan'in Feb 6 '14 at 17:41
(1) this is not a race; (2) this question shouldn't have been on MO so it's better not to answer. –  Anthony Quas Feb 6 '14 at 18:52

There is a positive number $a$ such that $a^a=2$. If $a=m/n$ with $m,n\in{\mathbb N}$ coprime, then $m^m=2^nn^m$. As $n\ge1$, we conclude that $m$ is even, sayt $m=2^kl$ with $k\ge1$ and odd $l$. So, $2^{km}l^m=2^nn^m$, implying $2^{km}=2^n$ and $km=n$. A contradiction.