高阶等差数列相关性质推导过程