Maths Olympiad Prep

Library / /27 of 61

Geometry Difficulty 5.5 AIME, harder Prove it Ibero-American Mathematical Olympiad

Problem:

Points A1,A2,,AnA_1, A_2, \ldots, A_n are equally spaced on the side BCBC of the triangle ABCABC (so that BA1=A1A2==An1An=AnCBA_1 = A_1A_2 = \ldots = A_{n-1}A_n = A_nC). Similarly, points B1,B2,,BnB_1, B_2, \ldots, B_n are equally spaced on the side CACA, and points C1,C2,,CnC_1, C_2, \ldots, C_n are equally spaced on the side ABAB. Show that
(AA12+AA22++AAn2+BB12+BB22++BBn2+CC12++CCn2)(AA_1^2 + AA_2^2 + \ldots + AA_n^2 + BB_1^2 + BB_2^2 + \ldots + BB_n^2 + CC_1^2 + \ldots + CC_n^2)
is a rational multiple of (AB2+BC2+CA2).(AB^2 + BC^2 + CA^2).

Solution

Solution:

Using the cosine formula, AAk2=AB2+k2BC2/(n+1)22kABBC/(n+1)cosBAA_k^2 = AB^2 + k^2 BC^2/(n+1)^2 - 2k AB \cdot BC/(n+1) \cos B. So
AAk2=nAB2+BC2/(n+1)2(12+22++n2)2ABBCcosB(1+2++n)/(n+1). \sum AA_k^2 = n AB^2 + BC^2/(n+1)^2 (1^2 + 2^2 + \ldots + n^2) - 2 AB \cdot BC \cos B (1 + 2 + \ldots + n)/(n+1).
Similarly for the other two sides.

Thus the total sum is
n(AB2+BC2+CA2)+n(2n+1)/(6(n+1))(AB2+BC2+CA2)n(ABBCcosB+BCCAcosC+CAABcosA). n(AB^2 + BC^2 + CA^2) + n(2n+1)/(6(n+1))(AB^2 + BC^2 + CA^2) - n(AB \cdot BC \cos B + BC \cdot CA \cos C + CA \cdot AB \cos A).
But ABBCcosB=(AB2+BC2CA2)/2AB \cdot BC \cos B = (AB^2 + BC^2 - CA^2)/2, so
ABBCcosB+BCCAcosC+CAABcosA=(AB2+BC2+CA2)/2. AB \cdot BC \cos B + BC \cdot CA \cos C + CA \cdot AB \cos A = (AB^2 + BC^2 + CA^2)/2.
Thus the sum is a rational multiple of (AB2+BC2+CA2)(AB^2 + BC^2 + CA^2).

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.