实数指数幂的运算性质