实指数幂的运算及性质