指数函数运算法则公式证明