算法-数学性质推导