Maths Olympiad Prep

Library / /73 of 73

Geometry Difficulty 9.0 IMO level Prove it Turkey

A circle ω\omega with center PP intersects the sides BC,CA,ABBC, CA, AB of a triangle ABCABC at points A1A_1 and A2,B1A_2, B_1 and B2,C1B_2, C_1 and C2C_2, respectively. Let AA' be the circumcenter of the triangle A1A2PA_1A_2P, BB' be the circumcenter of the triangle B1B2PB_1B_2P and CC' be the circumcenter of the triangle C1C2PC_1C_2P. Prove that the lines AA,BBAA', BB' and CCCC' are concurrent.

Solution

Figure 1
Let A3,B3,C3A_3, B_3, C_3 be the feet of the perpendiculars from PP to the sides BC,CA,ABBC, CA, AB respectively. Clearly, A,B,CA', B', C' are on the lines PA3,PB3,PC3PA_3, PB_3, PC_3, respectively. By the Pythagoras Theorem, we have
AP2AA32=AA12AA32=A1P2A3P2=A1P2(A3A+AP)2 A'P^2 - A'A_3^2 = A'A_1^2 - A'A_3^2 = A_1P^2 - A_3P^2 = A_1P^2 - (A_3A' + A'P)^2
and hence PAPA3=PA12/2PA' \cdot PA_3 = PA_1^2/2. Similarly we get that PBPB3=PB12/2PB' \cdot PB_3 = PB_1^2/2 and PCPC3=PC12/2PC' \cdot PC_3 = PC_1^2/2. Therefore we conclude that PAPA3=PBPB3=PCPC3PA' \cdot PA_3 = PB' \cdot PB_3 = PC' \cdot PC_3. Hence the quadrilaterals A3C3CA,B3A3AB,C3B3BCA_3C_3C'A', B_3A_3A'B', C_3B_3B'C' are cyclic. By the sine law in triangles A3B3AA_3B_3A' and AC3AAC_3A', we have

AB3AA=sinAAB3cosAB3PandAC3AA=sinAAC3cosAC3P \frac{A'B_3}{AA'} = \frac{\sin \angle A'AB_3}{\cos \angle A'B_3P} \quad \text{and} \quad \frac{A'C_3}{AA'} = \frac{\sin \angle A'AC_3}{\cos \angle A'C_3P}
Hence we get
sinAAB3sinAAC3=AB3AC3cosAB3PcosAC3P \frac{\sin \angle A'AB_3}{\sin \angle A'AC_3} = \frac{A'B_3}{A'C_3} \cdot \frac{\cos \angle A'B_3P}{\cos \angle A'C_3P}
Similarly, we get that
sinBBC3sinBBA3=BC3BA3cosBC3PcosBA3P \frac{\sin \angle B'BC_3}{\sin \angle B'BA_3} = \frac{B'C_3}{B'A_3} \cdot \frac{\cos \angle B'C_3P}{\cos \angle B'A_3P}
and
sinCCA3sinCCB3=CA3CB3cosCA3PcosCB3P \frac{\sin \angle C'CA_3}{\sin \angle C'CB_3} = \frac{C'A_3}{C'B_3} \cdot \frac{\cos \angle C'A_3P}{\cos \angle C'B_3P}
By the converse of the Trigonometric Ceva Theorem, in order to show that AA,BBAA', BB' and CCCC' are concurrent it is sufficient to show that
AB3AC3BC3BA3CA3CB3cosAB3PcosAC3PcosBC3PcosBA3PcosCA3PcosCB3P=1 \frac{A'B_3}{A'C_3} \cdot \frac{B'C_3}{B'A_3} \cdot \frac{C'A_3}{C'B_3} \cdot \frac{\cos \angle A'B_3P}{\cos \angle A'C_3P} \cdot \frac{\cos \angle B'C_3P}{\cos \angle B'A_3P} \cdot \frac{\cos \angle C'A_3P}{\cos \angle C'B_3P} = 1
By the concyclicity, AC3P=CA3P\angle A'C_3P = C'A_3P, BA3P=AB3PB'A_3P = A'B_3P, CB3P=BC3PC'B_3P = B'C_3P and hence
cosAB3PcosAC3PcosBC3PcosBA3PcosCA3PcosCB3P=1 \frac{\cos \angle A'B_3P}{\cos \angle A'C_3P} \cdot \frac{\cos \angle B'C_3P}{\cos \angle B'A_3P} \cdot \frac{\cos \angle C'A_3P}{\cos \angle C'B_3P} = 1
Now, we have to show that
AB3AC3BC3BA3CA3CB3=1 \frac{A'B_3}{A'C_3} \cdot \frac{B'C_3}{B'A_3} \cdot \frac{C'A_3}{C'B_3} = 1
By concyclicity again, the triangles PA3CPA_3C' and PC3APC_3A' are similar and hence
CA3AC3=PA3PC3 \frac{C'A_3}{A'C_3} = \frac{PA_3}{PC_3}
and similarly we get that
AB3BA3=PB3PA3andBC3CB3=PC3PB3 \frac{A'B_3}{B'A_3} = \frac{PB_3}{PA_3} \quad \text{and} \quad \frac{B'C_3}{C'B_3} = \frac{PC_3}{PB_3}
Side by side product of last three equalities yields
AB3AC3BC3BA3CA3CB3=PA3PC3PB3PA3PC3PB3=1 \frac{A'B_3}{A'C_3} \cdot \frac{B'C_3}{B'A_3} \cdot \frac{C'A_3}{C'B_3} = \frac{PA_3}{PC_3} \cdot \frac{PB_3}{PA_3} \cdot \frac{PC_3}{PB_3} = 1
as desired.

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.