Quite elementary and quite beautiful: There exist two (infinitely many) irrational numbers $a,b$ such that $a^b$ is rational; and the usual proof with $\sqrt{2}^\sqrt{2}$. (Maybe starting with the proof of $\sqrt{p}$ being irrational for any prime $p>0$.)