Maths Olympiad Prep

Library / /70 of 87

Algebra Difficulty 6.6 National Olympiad Prove it Austria

We are given a sequence a1,a2,a3,\langle a_1, a_2, a_3, \dots \rangle of real numbers. For every positive integer nn we define mnm_n as the arithmetic mean of the numbers from a1a_1 through ana_n. We assume that a real number CC exists, such that
(ij)mk+(jk)mi+(ki)mj=C (i-j) \cdot m_k + (j-k) \cdot m_i + (k-i) \cdot m_j = C
holds for all triples (i,j,k)(i, j, k) of pairwise different positive integers. Prove that a1,a2,a3,\langle a_1, a_2, a_3, \dots \rangle is an arithmetic sequence.

Solution

By exchanging the roles of ii and jj, we see that (ij)mk+(jk)mi+(ki)mj=C=(ji)mk+(ik)mj+(kj)mi=C(i-j) \cdot m_k + (j-k) \cdot m_i + (k-i) \cdot m_j = C = (j-i) \cdot m_k + (i-k) \cdot m_j + (k-j) \cdot m_i = -C must hold, which yields C=0C = 0. For (i,j,k)=(1,2,3)(i, j, k) = (1, 2, 3), we obtain
(12)a1+a2+a33+(23)a1+(31)a1+a22=0, (1-2) \cdot \frac{a_1+a_2+a_3}{3} + (2-3) \cdot a_1 + (3-1) \cdot \frac{a_1+a_2}{2} = 0,
which is equivalent to
a1+a2+a33a1+a1+a2=0    a1+a3=a2. \frac{a_1+a_2+a_3}{3} - a_1 + a_1 + a_2 = 0 \iff a_1 + a_3 = a_2.
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=(n1)(a2a1)=(n1)a2+(n2)a1a_n = a_1 = (n-1)(a_2 - a_1) = (n-1)a_2 + (n-2)a_1 holds. In order to do this, we assume that ak=a1+(k1)(a2a1)a_k = a_1 + (k-1)(a_2 - a_1) holds for 1kn11 \le k \le n-1, and consider the triple (i,j,k)=(1,2,n)(i, j, k) = (1, 2, n). We then have
(12)(n1)(2a1)+(n2)(a2a1))2+ann+(2n)a1+(n1)a1+a22=0    a1(3n)+a2(n1)2a1(n1)(4n)+a2(n1)(n2)+2an2n=0    a1(3nn2+n25n+4)+a2(n1)(nn+2)=2an    a2(n1)a1(n2)=an, \begin{align*} & (1-2) \cdot \frac{\frac{(n-1)(2a_1)+(n-2)(a_2-a_1))}{2} + a_n}{n} + (2-n) \cdot a_1 + (n-1) \cdot \frac{a_1+a_2}{2} = 0 \\ \iff & \frac{a_1(3-n)+a_2(n-1)}{2} - \frac{a_1(n-1)(4-n)+a_2(n-1)(n-2)+2a_n}{2n} = 0 \\ \iff & a_1 \cdot (3n-n^2+n^2-5n+4) + a_2 \cdot (n-1)(n-n+2) = 2a_n \\ \iff & a_2 \cdot (n-1) - a_1 \cdot (n-2) = a_n, \end{align*}
which completes the induction. We see that the sequence is indeed arithmetic, as claimed. \square

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.