幂的恒等变形