>> 無理数の無理数乗が有理数になることはあるか?

√2^√2が有理数ならこれがその例である
√2^√2が無理数なら2 = √2^√2^√2がその例である
√2^√2の無理性を証明する必要はない