令a=(√2)^log2(9)
显然√2和log2(9)都是无理数
log2(9)=lg9/lg2=lg9/(2*lg√2)=(1/2)lg9/lg√2=lg3/lg√2=log√2(3)
所以a=(√2)^log√2(3)=3,是有理数