算法基础-数学推导