证明：法一：
令d=a₂-a₁．
下面用数学归纳法证明a_n=a₁+（n-1）d（n∈N）．
（1）当n=1时上述等式为恒等式a₁=a₁．
当n=2时，a₁+（2-1）d=a₁+（a₂-a₁）=a₂，等式成立．
（2）假设当n=k（k≥2）时命题成立，a_k=a₁+（k-1）d．由题设，有
S_k=

k(a1+ak)

2

，S_k+1=

(k+1)(a1+ak+1)

2

，又S_k+1=S_k+a_k+1
∴（k+1）

(a1+ak+1)

2

＝

k(a1+ak)

2

+ak+1
把a_k=a₁+（k-1）d代入上式，得
（k+1）（a₁+a_k+1）=2ka₁+k（k-1）d+2a_k+1．
整理得（k-1）a_k+1=（k-1）a₁+k（k-1）d．
∵k≥2，∴a_k+1=a₁+kd．即当n=k+1时等式成立．
由（1）和（2），等式对所有的自然数n成立，从而{a_n}是等差数列
法二：
当n≥2时，由题设，Sn−1＝

(n−1)(a1+an−1)

2

，Sn＝

n(a1+an)

2

．
所以a_n=S_n-S_n-1=

n(a1+an)

2

-

(n−1)(a1+an−1)

2

同理有
a_n+1=

(n+1)(a1+an−1)

2

-

n(a1+an)

2

．
从而
a_n+1-a_n=

(n+1)(a1+an−1)

2

-n（a₁+a_n）+

(n−1)(a1+an−1)

2

，
整理得a_n+1-a_n=a_n-a_n-1═a₂-a₁
从而{a_n}是等差数列．