数论-降幂公式