等差数列公式：等差数列前n项和公式为：Sn=n*a1+n(n-1)d/2或Sn=n(a1+an)/2。等差数列{an}的通项公式为：an=a1+(n-1)d。

       等差数列求和公式证明推导
       一。从通项公式可以看出，a(n)是n的一次函数(d≠0)或常数函数(d=0)，(n，an)排在一条直线上，由前n项和公式知，S(n)是n的二次函数(d≠0)或一次函数(d=0，a1≠0)，且常数项为0。
       二。从等差数列的定义、通项公式，前n项和公式还可推出：a(1)+a(n)=a(2)+a(n-1)=a(3)+a(n-2)=…
       =a(k)+a(n-k+1)，(类似：p(1)+p(n)=p(2)+p(n-1)=p(3)+p(n-2)=。。。=p(k)+p(n-k+1))，k∈{1,2,…,n}
       三。若m，n，p，q∈N*，且m+n=p+q，则有a(m)+a(n)=a(p)+a(q)，S(2n-1)=(2n-1)*a(n)，S(2n+1)=
       (2n+1)*a(n+1)，S(k)，S(2k)-S(k)，S(3k)-S(2k)，…，S(n)*k-S(n-1)*k…成等差数列，等等。
       若m+n=2p,则a(m)+a(n)=2*a(p)
       (对3的证明：p(m)+p(n)=b(0)+b(1)*m+b(0)+b(1)*n=2*b(0)+b(1)*(m+n)
       p(p)+p(q)=b(0)+b(1)*p+b(0)+b(1)*q=2*b(0)+b(1)*(p+q);因为m+n=p+q，所以p(m)+p(n)=p(p)+p
       (q))
       其他推论
       ①和=(首项+末项)×项数÷2
       (证明：s(n)=[n,n^2]*[1,1/2;0,1/2]*[b(0);b(1)]=n*b0+1/2*b1*n+1/2*b1*n^2
       (p(1)+p(n))*n/2=(b(0)+b(1)+b(0)+b(1)*n)*n/2=n*b0+1/2*b1*n+1/2*b1*n^2=s(n))
       证明原理见高斯算法
       项数=(末项-首项)÷公差+1
       (证明：(p(n)-p(1))/b(1)+1=(b(0)+b(1)*n-(b(0)+b(1)))/b(1)+1=(b(1)*(n-1))/b(1)+1=n-1+1=n)
       ②首项=2x和÷项数-末项或末项-公差×(项数-1)
       ③末项=2x和÷项数-首项
       (以上2项为第一个推论的转换)
       ④末项=首项+(项数-1)×公差
       (上一项为第二个推论的转换)
       推论3证明
       若m，n，p，q∈N*，且m+n=p+q，则有a(m)+a(n)=a(p)
       +a(q)
       如a(m)+a(n)=a(1)+(m-1)*d+a(1)+(n-1)*d
       =2*a(1)+(m+n-2)*d
       同理得，
       a(p)+a(q)=2*a(1)+(p+q-2)*d
       又因为
       m+n=p+q;
       a(1),d均为常数
       所以
       若m，n，p，q∈N*，且m+n=p+q，则有a(m)+a(n)=a(p)+a(q)
       若m，n，p∈N*，且m+n=2p，则有a(m)+a(n)=2a(p)
       注：1。常数列不一定成立
       2。m,p,q,n属于自然数
       ⑤2(前2n项和-前n项和)=前n项和+前3n项和-前2n项和