令a=(√2)^√2
显然√2是无理数
如则a是有理数或无理数
若a是有理数,则命题成立
若a是无理数
则a^√2=(√2)^(√2×√2)=(√2)^2=2,是有理数
命题也成立
所所以命题得证