证明有理数指数幂的运算性质适用于无理数指数幂.