都等,An=A1+(n-1)d,则Am+An+Ax=3A1+(m+n+x-3)d,Ap+Aq+Ay=3A1+(p+q+y-3)d
若m+n+x=p+q+y,则Am+An+Ax=Ap+Aq+Ay.同理有式二成立.式三也可用同样地方法证明