Maths Olympiad Prep

Library / /5 of 6

Algebra Difficulty 5.9 AIME, harder Prove it Romania

Let nNn \in \mathbb{N}, n4n \ge 4 and a1,a2,,ana_1, a_2, \dots, a_n be real numbers such that
ak3=ak+12+ak+22+ak+32 a_k^3 = a_{k+1}^2 + a_{k+2}^2 + a_{k+3}^2
for all k{1,2,,n}k \in \{1, 2, \dots, n\} – indices are considered modulo nn. Show that a1=a2==ana_1 = a_2 = \dots = a_n.

Solution

Suppose there exists i{1,2,,n}i \in \{1, 2, \dots, n\} for which ai=0a_i = 0. Clearly ai+1=0a_{i+1} = 0, and consequently a1=a2==an=0a_1 = a_2 = \dots = a_n = 0.

Suppose now that ai0a_i \ne 0 for all i{1,2,,n}i \in \{1, 2, \dots, n\}. Choose p,q{1,2,,n}p, q \in \{1, 2, \dots, n\} such that aqaiapa_q \le a_i \le a_p for all i{1,2,,n}i \in \{1, 2, \dots, n\}.

Now ap3=ap+12+ap+22+ap+323ap2a_p^3 = a_{p+1}^2 + a_{p+2}^2 + a_{p+3}^2 \le 3a_p^2 and aq3=aq+12+aq+22+aq+323aq2a_q^3 = a_{q+1}^2 + a_{q+2}^2 + a_{q+3}^2 \ge 3a_q^2 yield ap3aqa_p \le 3 \le a_q, therefore a1=a2==an=3a_1 = a_2 = \dots = a_n = 3.

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.