递减算法公式推导