指数幂大小比较a^b=b^a (0证明