Maths Olympiad Prep

Library / Croatia competition problems /18 of 26

Croatia competition problems

Geometry Difficulty 6.1 National Olympiad Prove it Croatia

Let D0,D1,…,D2018D_0, D_1, \dots, D_{2018} be points on the segment AB‾\overline{AB} such that D0=AD_0 = A, D2018=BD_{2018} = B and
∣D0D1∣=∣D1D2∣=⋯=∣D2017D2018∣. |D_0 D_1| = |D_1 D_2| = \dots = |D_{2017} D_{2018}|.
If CC is a point such that ∠BCA=90∘\angle BCA = 90^\circ, prove that
∣CD0∣2+∣CD1∣2+⋯+∣CD2018∣2=∣AD1∣2+∣AD2∣2+⋯+∣AD2018∣2. |CD_0|^2 + |CD_1|^2 + \dots + |CD_{2018}|^2 = |AD_1|^2 + |AD_2|^2 + \dots + |AD_{2018}|^2.
(Ivan Krijan)

Solution

Let EiE_i be the foot of the altitude from DiD_i to the side AC‾\overline{AC} in the right-angled triangle ABCABC, for each i=0,1,…,2018i = 0, 1, \dots, 2018. We have E0=AE_0 = A, E2018=CE_{2018} = C.

Figure 1

Since the lines DiEiD_iE_i are parallel to BCBC, Thales' theorem asserts that
∣E0E1∣=∣E1E2∣=⋯=∣E2017E2018∣. |E_0E_1| = |E_1E_2| = \dots = |E_{2017}E_{2018}|.
From here we get ∣CEi∣=∣AE2018−i∣|CE_i| = |AE_{2018-i}| for i=1,2,…,2017i = 1, 2, \dots, 2017.

The Pythagorean theorem, applied to the right-angled triangles CDiEiCD_iE_i and ADiEiAD_iE_i for i=1,2,…,2017i = 1, 2, \dots, 2017, yields
∣CDi∣2=∣DiEi∣2+∣CEi∣2and∣ADi∣2=∣DiEi∣2+∣AEi∣2 |CD_i|^2 = |D_iE_i|^2 + |CE_i|^2 \quad \text{and} \quad |AD_i|^2 = |D_iE_i|^2 + |AE_i|^2

By subtracting these two equalities, we get
∣CDi∣2−∣ADi∣2=∣CEi∣2−∣AEi∣2,i=1,…,2017, |CD_i|^2 - |AD_i|^2 = |CE_i|^2 - |AE_i|^2, \quad i = 1, \dots, 2017,
and the same relation also holds for i=0i = 0 and i=2018i = 2018.

Adding up all these relations, we get
∣CD0∣2+∣CD1∣2+⋯+∣CD2018∣2−(∣AD0∣2−∣AD1∣2)−⋯−(∣AD2018∣2=∣CE0∣2+∣CE1∣2+⋯+∣CE2018∣2−(∣AE0∣2−∣AE1∣2)−⋯−(∣AE2018∣2=(∣CE0∣2−∣AE2018∣2)+(∣CE1∣2−∣AE2017∣2)+⋯+(∣CE2018∣2−∣AE0∣2)=0. \begin{aligned} & |CD_0|^2 + |CD_1|^2 + \dots + |CD_{2018}|^2 - (|AD_0|^2 - |AD_1|^2) - \dots - (|AD_{2018}|^2 \\ & = |CE_0|^2 + |CE_1|^2 + \dots + |CE_{2018}|^2 - (|AE_0|^2 - |AE_1|^2) - \dots - (|AE_{2018}|^2 \\ & = (|CE_0|^2 - |AE_{2018}|^2) + (|CE_1|^2 - |AE_{2017}|^2) + \dots + (|CE_{2018}|^2 - |AE_0|^2) = 0. \end{aligned}

Since ∣AD0∣=0|AD_0| = 0, this proves the claim.

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

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