更新時間：2023-04-09 14:03:18作者：佚名
3.等比數列求和公式證明推論
一。從通項公式可以看出，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項和