>>648
(√2)^√2が有理数なら、a=√2とすればよく、
(√2)^√2が無理数なら、a=(√2)^√2とすれば良いんでないか？