谁能证明这个有趣的问题.证:存在a,b都为无理数,但a^b为有理数.