Maths Olympiad Prep

Library / Irish Mathematical Olympiad /135 of 236

Irish Mathematical Olympiad

Geometry Difficulty 5.9 AIME, harder Prove it Ireland

Tangents at points AA and BB on a circle, centre OO, meet at PP. The point AA is joined to the mid-point MM of PBPB meeting the circle again at CC. The line through CC and the mid-point DD of POPO meets the circle again at EE. Prove AE∥POAE \parallel PO.

Solution

Let AMAM meet POPO at FF and let POPO extended meet the circle at GG and HH with GG between PP and OO. Let ABAB meet POPO at QQ.

Figure 1

First note that FF is the centroid of △ABP\triangle ABP and so ∣FQ∣=13∣PQ∣|FQ| = \frac{1}{3}|PQ|. Using that DD is the mid-point of POPO and denoting the radius of the circle by rr, we obtain
∣DF∣=∣DQ∣−∣FQ∣=∣DO∣−∣QO∣−∣FQ∣=12∣PO∣−∣QO∣−13∣PQ∣=12(∣PQ∣+∣QO∣)−∣QO∣−13∣PQ∣=16∣PQ∣−12∣QO∣, \begin{aligned} |DF| &= |DQ| - |FQ| = |DO| - |QO| - |FQ| = \frac{1}{2}|PO| - |QO| - \frac{1}{3}|PQ| \\ &= \frac{1}{2}(|PQ| + |QO|) - |QO| - \frac{1}{3}|PQ| = \frac{1}{6}|PQ| - \frac{1}{2}|QO|, \end{aligned}
∣FG∣=∣FQ∣−∣GQ∣=13∣PQ∣−∣GQ∣=13∣PQ∣−r+∣QO∣,∣FH∣=∣FQ∣+∣QO∣+r=13∣PQ∣+∣QO∣+r. \begin{aligned} |FG| &= |FQ| - |GQ| = \frac{1}{3}|PQ| - |GQ| = \frac{1}{3}|PQ| - r + |QO|, \\ |FH| &= |FQ| + |QO| + r = \frac{1}{3}|PQ| + |QO| + r. \end{aligned}
From this we obtain
∣FG∣⋅∣FH∣=(13∣PQ∣+∣QO∣−r)(13∣PQ∣+∣QO∣+r)=(13∣PQ∣+∣QO∣)2−r2=19∣PQ∣2+23∣PQ∣⋅∣QO∣+∣QO∣2−r22∣DF∣⋅∣FQ∣=23∣PQ∣(16∣PQ∣−12∣QO∣)=19∣PQ∣2−13∣PQ∣⋅∣QO∣. \begin{aligned} |FG| \cdot |FH| &= \left(\frac{1}{3}|PQ| + |QO| - r\right) \left(\frac{1}{3}|PQ| + |QO| + r\right) \\ &= \left(\frac{1}{3}|PQ| + |QO|\right)^2 - r^2 \\ &= \frac{1}{9}|PQ|^2 + \frac{2}{3}|PQ| \cdot |QO| + |QO|^2 - r^2 \\ 2|DF| \cdot |FQ| &= \frac{2}{3}|PQ| \left(\frac{1}{6}|PQ| - \frac{1}{2}|QO|\right) = \frac{1}{9}|PQ|^2 - \frac{1}{3}|PQ| \cdot |QO|. \end{aligned}
Using that △APO\triangle APO is a right triangle, we get ∣PQ∣⋅∣QO∣=∣AQ∣2|PQ| \cdot |QO| = |AQ|^2. Pythagoras gives r2−∣QO∣2=∣AQ∣2r^2 - |QO|^2 = |AQ|^2, hence r2−∣QO∣2=∣PQ∣⋅∣QO∣r^2 - |QO|^2 = |PQ| \cdot |QO|. Therefore
23∣PQ∣⋅∣QO∣+∣QO∣2−r2=−13∣PQ∣⋅∣QO∣ \frac{2}{3}|PQ| \cdot |QO| + |QO|^2 - r^2 = -\frac{1}{3}|PQ| \cdot |QO|
and we arrive at
∣FG∣⋅∣FH∣=2∣DF∣⋅∣FQ∣. |FG| \cdot |FH| = 2|DF| \cdot |FQ|.
Because 2∣FQ∣=∣PF∣2|FQ| = |PF| and the power of FF with respect to the given circle is ∣FG∣⋅∣FH∣=∣FC∣⋅∣FA∣|FG| \cdot |FH| = |FC| \cdot |FA|, we can rewrite this as
∣FC∣⋅∣FA∣∣DF∣=∣DF∣⋅∣PF∣∣FA∣ i.e. ∣FC∣∣DF∣=∣PF∣∣FA∣. \begin{aligned} \frac{|FC| \cdot |FA|}{|DF|} &= \frac{|DF| \cdot |PF|}{|FA|} \quad \text{ i.e. } \\ \frac{|FC|}{|DF|} &= \frac{|PF|}{|FA|}. \end{aligned}
This shows that the triangles DFCDFC and AFPAFP are similar and so ∠CDF=∠PAF\angle CDF = \angle PAF. As PAPA is tangent to the circle at AA we also have ∠AEC=∠PAF\angle AEC = \angle PAF, hence ∠CDF=∠AEC\angle CDF = \angle AEC which shows that POPO and AEAE are parallel.

Figure 1

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.