>>23
√2 は無理数
(√2)^(√2) が有理数ならこれが例
無理数なら ((√2)^(√2))^(√2)=2 が有理数だからこれが例
（実際は後者）