Maths Olympiad Prep

Track / Stage 7 / 218 of 300 #2258 of 2604

Problem 2258

National Olympiad second round; IMO P1/P4
Geometry Difficulty 7.6 Prove it USAMO · United States

Find all integers n≥3n \ge 3 such that among any nn positive real numbers a1,a2,…,ana_1, a_2, \ldots, a_n with
max⁡(a1,a2,…,an)≤n⋅min⁡(a1,a2,…,an), \max(a_1, a_2, \ldots, a_n) \le n \cdot \min(a_1, a_2, \ldots, a_n),
there exist three that are the side lengths of an acute triangle.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution. The answer is n≥13n \ge 13. First, we show that any n≥13n \ge 13 satisfies the desired condition. Suppose for the sake of contradiction that a1≤a2≤⋯≤ana_1 \le a_2 \le \dots \le a_n are integers such that max⁡(a1,a2,…,an)≤n⋅min⁡(a1,a2,…,an)\max(a_1, a_2, \dots, a_n) \le n \cdot \min(a_1, a_2, \dots, a_n) and no three are the side lengths of an acute triangle. We conclude that
ai+22≥ai2+ai+12(2) a_{i+2}^2 \ge a_i^2 + a_{i+1}^2 \qquad (2)
for all i≤n−2i \le n-2. Letting {Fn}\{F_n\} be the Fibonacci numbers, defined by F1=F2=1F_1 = F_2 = 1 and Fn+1=Fn+Fn−1F_{n+1} = F_n + F_{n-1} for n≥2n \ge 2, repeated application of (2) and the ordering of the {ai}\{a_i\} implies that
ai2≥Fi⋅a12(3) a_i^2 \ge F_i \cdot a_1^2 \qquad (3)
for all i≤ni \le n. Noting that F12=122F_{12} = 12^2, an easy induction shows that Fn>n2F_n > n^2 for n>12n > 12. Hence, if n≥13n \ge 13, (3) implies an2>n2⋅a12a_n^2 > n^2 \cdot a_1^2, a contradiction. This shows that any n≥13n \ge 13 satisfies the condition of the problem.

On the other hand, for any n<13n < 13, we may take ai=Fia_i = \sqrt{F_i} for 1≤i≤n1 \le i \le n, so that
max⁡(a1,a2,…,an)≤n⋅min⁡(a1,a2,…,an) \max(a_1, a_2, \dots, a_n) \le n \cdot \min(a_1, a_2, \dots, a_n)
holds because Fn≤n2F_n \le n^2 for n≤12n \le 12. Further, for i<ji < j, we have Fi+Fj≤Fj+1F_i + F_j \le F_{j+1}, which shows that for i<j<ki < j < k, we have ak2≥ai2+aj2a_k^2 \ge a_i^2 + a_j^2. Hence, {ai,aj,ak}\{a_i, a_j, a_k\} are not the side lengths of an acute triangle. Therefore, all n<13n < 13 do not satisfy the conditions of the problem, and the answer is n≥13n \ge 13.

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