用盖尔芳德定理
若a是代数数,b是无理的代数数,则a^b是超越数
此处2是代数数,根号2是无理的代数数,所以2的根号2次方是超越数
既然是超越数,当然是无理数.