数列求和-错位相减法推导过程