Maths Olympiad Prep

Library / /24 of 30

Geometry Difficulty 8.7 Shortlist Prove it Germany

Problem:

Let a triangle ABCA B C with circumcircle Ω\Omega be given, together with points A1,B1A_{1}, B_{1} and C1C_{1} on the triangle sides BC,CA\overline{B C}, \overline{C A} and AB\overline{A B}, such that the three lines AA1,BB1A A_{1}, B B_{1} and CC1C C_{1} have a point PP in common.
It is to be shown that at most two of the three reflection points of PP under point reflection at A1A_{1}, B1B_{1}, resp. C1C_{1} lie outside of Ω\Omega.

Solution

Solution:

Because of BPC+CPA+APB=360=(180BAC)+(180CBA)+(180ACB)\measuredangle B P C+\measuredangle C P A+\measuredangle A P B=360^{\circ}=\left(180^{\circ}-\measuredangle B A C\right)+\left(180^{\circ}-\measuredangle C B A\right)+\left(180^{\circ}-\measuredangle A C B\right) we may assume without loss of generality that APB180ACB\measuredangle A P B \leq 180^{\circ}-\measuredangle A C B holds. Since PP lies in the interior of the triangle ABCA B C, we have APB>ACB\angle A P B>\measuredangle A C B, from which APB[ACB,180ACB]\measuredangle A P B \in\left[\measuredangle A C B, 180^{\circ}-\measuredangle A C B\right] follows, and hence sinAPBsinACB\sin \measuredangle A P B \geq \sin \measuredangle A C B.
Let A2,B2A_{2}, B_{2} and C2C_{2} be the reflection points described in the problem text, and let A3,B3A_{3}, B_{3} and C3C_{3} be the second intersection points of the lines AP,BPA P, B P and CPC P with Ω\Omega. We will now prove that at least one of the ratios PA1A1A3\frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} A_{3}}\right|} and PB1B1B3\frac{\left|\overline{P B_{1}}\right|}{\left|\overline{B_{1} B_{3}}\right|} is not greater than 11, from which the claim follows.
Figure 1
To this end we compute, using the law of sines,
PA1A1A3=PA1A1BA1BA1A3=()sinCBPsinAPBA1AA1C=sinCBPsinAPBsinACBsinPAC, \frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} A_{3}}\right|}=\frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} B}\right|} \cdot \frac{\left|\overline{A_{1} B}\right|}{\left|\overline{A_{1} A_{3}}\right|} \stackrel{(*)}{=} \frac{\sin \measuredangle C B P}{\sin \measuredangle A P B} \cdot \frac{\left|\overline{A_{1} A}\right|}{\left|\overline{A_{1} C}\right|}=\frac{\sin \measuredangle C B P}{\sin \measuredangle A P B} \cdot \frac{\sin \measuredangle A C B}{\sin \measuredangle P A C},
where in step (*) we used the equation A1BA1C=A1AA1A3\left|\overline{A_{1} B}\right| \cdot\left|\overline{A_{1} C}\right|=\left|\overline{A_{1} A}\right| \cdot\left|\overline{A_{1} A_{3}}\right|, which follows from the power of a point (intersecting chords theorem). Analogously one also shows
PB1B1B3=sinPACsinAPBsinACBsinCBP, \frac{\left|\overline{P B_{1}}\right|}{\left|\overline{B_{1} B_{3}}\right|}=\frac{\sin \measuredangle P A C}{\sin \measuredangle A P B} \cdot \frac{\sin \measuredangle A C B}{\sin \measuredangle C B P},
and by multiplying both equations we finally obtain
PA1A1A3PB1B1B3=(sinACB)2(sinAPB)21, \frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} A_{3}}\right|} \cdot \frac{\left|\overline{P B_{1}}\right|}{\left|\overline{B_{1} B_{3}}\right|}=\frac{(\sin \measuredangle A C B)^{2}}{(\sin \measuredangle A P B)^{2}} \leq 1,
which implies the claim.

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 translated into English from de; metadata (topic, difficulty) added by this project.