算法基础-数列求和推导