幂函数的导数公式证明