∵{an}为等差数列
am=a1+(m-1)d
an=a1+(n-1)d
as=a1+(s-1)d
at=a1+(t-1)d
am+an=2a1+(m+n-2)d
as+at=2a1+(s+t-2)d
am+an=as+at