幂指函数恒等变形推