By exchanging the roles of i and j, we see that (i−j)⋅mk+(j−k)⋅mi+(k−i)⋅mj=C=(j−i)⋅mk+(i−k)⋅mj+(k−j)⋅mi=−C must hold, which yields C=0. For (i,j,k)=(1,2,3), we obtain
(1−2)⋅3a1+a2+a3+(2−3)⋅a1+(3−1)⋅2a1+a2=0,
which is equivalent to
3a1+a2+a3−a1+a1+a2=0⟺a1+a3=a2.
The first three elements of the sequence therefore are indeed elements of an arithmetic sequence. We can now use induction to show that the entire sequence is arithmetic, i.e. that an=a1=(n−1)(a2−a1)=(n−1)a2+(n−2)a1 holds. In order to do this, we assume that ak=a1+(k−1)(a2−a1) holds for 1≤k≤n−1, and consider the triple (i,j,k)=(1,2,n). We then have
⟺⟺⟺(1−2)⋅n2(n−1)(2a1)+(n−2)(a2−a1))+an+(2−n)⋅a1+(n−1)⋅2a1+a2=02a1(3−n)+a2(n−1)−2na1(n−1)(4−n)+a2(n−1)(n−2)+2an=0a1⋅(3n−n2+n2−5n+4)+a2⋅(n−1)(n−n+2)=2ana2⋅(n−1)−a1⋅(n−2)=an,
which completes the induction. We see that the sequence is indeed arithmetic, as claimed. □