Maths Olympiad Prep

Library / /41 of 42

Geometry Difficulty 7.6 National olympiad, round 2 Prove it Ireland

The triangle ABCABC has circumcentre OO and circumcircle Γ\Gamma. Let AIAI be a diameter of Γ\Gamma. The ray AIAI extends to intersect the circumcircle ω\omega of BOC\angle BOC for the second time at a point PP.
Let ADAD and IQIQ be perpendicular to BCBC, with DD and QQ on BCBC. Let MM be the midpoint of BCBC.

1.
Prove that ADQI=CDCQ=BDBQ|AD| \cdot |QI| = |CD| \cdot |CQ| = |BD| \cdot |BQ|.

2.
Prove that IMIM is parallel to PDPD.

Solution

a.
We denote the angles of ABC\triangle ABC by A\angle A, B\angle B, C\angle C. Since AIAI is a diameter, we have ACI=ABI=90\angle ACI = \angle ABI = 90^\circ. Also, AIC=B\angle AIC = \angle B (both standing on arc ACAC), and CAI=CBI\angle CAI = \angle CBI (both standing on arc CICI). Therefore,

Figure 1

ACIADBBQI\triangle ACI \sim \triangle ADB \sim \triangle BQI. Similarly, ABIADCCQI\triangle ABI \sim \triangle ADC \sim \triangle CQI and
ACCI=ADDB=BQQIas well asABBI=ADDC=CQQI \frac{|AC|}{|CI|} = \frac{|AD|}{|DB|} = \frac{|BQ|}{|QI|} \quad \text{as well as} \quad \frac{|AB|}{|BI|} = \frac{|AD|}{|DC|} = \frac{|CQ|}{|QI|}
which gives ADQI=CDCQ=BDBQ|AD| \cdot |QI| = |CD| \cdot |CQ| = |BD| \cdot |BQ|.

b.
Solution 1:
Let XX denote the intersection point of AIAI and BCBC. Then, by power of XX with respect to the circumcircle of ABCABC (or AXBCXI\triangle AXB \sim \triangle CXI) we have AXXI=CXXB|AX| \cdot |XI| = |CX| \cdot |XB|. By power of XX with respect to the circumcircle of CBOCBO, we have OXXP=CXXB|OX| \cdot |XP| = |CX| \cdot |XB|. Combining both equations, we obtain
OXXP=AXXIi.e.AXOX=XPXI |OX| \cdot |XP| = |AX| \cdot |XI| \quad \text{i.e.} \quad \frac{|AX|}{|OX|} = \frac{|XP|}{|XI|}

Figure 2

By the Intercept Theorem, or OMXADX\triangle OMX \sim \triangle ADX, we have
AXOX=DXMX,henceXPXI=DXMX \frac{|AX|}{|OX|} = \frac{|DX|}{|MX|}, \quad \text{hence} \quad \frac{|XP|}{|XI|} = \frac{|DX|}{|MX|}
This implies similarity of triangles MXIMXI and DXPDXP, hence MIDPMI \parallel DP.

Solution 2:
Substituting CD=BCBD|CD| = |BC| - |BD| and BQ=BCCQ|BQ| = |BC| - |CQ| in the equation CDCQ=BDBQ|CD| \cdot |CQ| = |BD| \cdot |BQ| from part (a) yields BD=CQ|BD| = |CQ|. Since MM is the midpoint of BCBC, it is then also the midpoint of DQDQ. We define JJ on the extended line QIQI such that II is the midpoint of segment QJQJ. Then MIDJMI \parallel DJ (mid-line in DQJ\triangle DQJ). It remains to prove that JJ is on the line DPDP.

Figure 3

We first prove that II is the incentre of CPB\triangle CPB. Indeed, we have
CBP=COP\angle CBP = \angle COP and BCP=BOP\angle BCP = \angle BOP in ω\omega
COP=2CBI\angle COP = 2\angle CBI and BOP=2BCI\angle BOP = 2\angle BCI in Γ\Gamma
so CBP=2CBI\angle CBP = 2\angle CBI and BCP=2BCI\angle BCP = 2\angle BCI hence BIBI and CICI are angle bisectors and II is the incentre of CPB\triangle CPB.
Because AIAI is a diameter of Γ\Gamma, ACCIAC \perp CI and ABBIAB \perp BI. Therefore, ACAC and ABAB are external angle bisectors of CPB\triangle CPB and so AA is an excentre.

Consider the inradius and exradius given by ININ and ALAL, both perpendicular to PCPC. Then triangles PNI\triangle PNI and PLA\triangle PLA are similar, which implies
PIPA=INAL=IQAD=IJAD. \frac{|PI|}{|PA|} = \frac{|IN|}{|AL|} = \frac{|IQ|}{|AD|} = \frac{|IJ|}{|AD|}.
Because IJIJ is parallel to ADAD, we have PIJ=PAD\angle PIJ = \angle PAD. Hence, triangles PIJ\triangle PIJ and PAD\triangle PAD are similar and PP, JJ, DD are collinear.

Solution 3:
From (a) we get BD=CQ|BD| = |CQ|, see Solution 2. This implies BQ=CD|BQ| = |CD| and that MM is the midpoint of QDQD. We extend the line QIQI to intersect PDPD at JJ. To prove MIPDMI \parallel PD, it is sufficient to show QI=IJ|QI| = |IJ|. This is equivalent to QIAD=PIPA\frac{|QI|}{|AD|} = \frac{|PI|}{|PA|}, because IJAD=PIPA\frac{|IJ|}{|AD|} = \frac{|PI|}{|PA|} follows from QJADQJ \parallel AD.

Figure 4

Using (a), we obtain
QIAD=BDBQAD2=BDCDAD2=cotBcotC. \frac{|QI|}{|AD|} = \frac{|BD| \cdot |BQ|}{|AD|^2} = \frac{|BD| \cdot |CD|}{|AD|^2} = \cot B \cot C.

On the other hand,
PIPA=[CPI][CPA]=12CPCIsinPCI12CPCAsinPCA=CIsinPCICAsinPCA, \frac{|PI|}{|PA|} = \frac{[CPI]}{[CPA]} = \frac{\frac{1}{2}|CP| \cdot |CI| \sin \angle PCI}{\frac{1}{2}|CP| \cdot |CA| \sin \angle PCA} = \frac{|CI| \sin \angle PCI}{|CA| \sin \angle PCA},
and CICA=cotCIA=cotB\frac{|CI|}{|CA|} = \cot \angle CIA = \cot B, while
PCA=180CAOCPO=180ACOCBO=180ACOOCB=180C \begin{aligned} \angle PCA &= 180^\circ - \angle CAO - \angle CPO = 180^\circ - \angle ACO - \angle CBO \\ &= 180^\circ - \angle ACO - \angle OCB = 180^\circ - \angle C \end{aligned}
and so PCI=PCA90=90C\angle PCI = \angle PCA - 90^\circ = 90^\circ - \angle C. Hence
sinPCIsinPCA=sin(90C)sin(180C)=cosCsinC=cotC. \frac{\sin \angle PCI}{\sin \angle PCA} = \frac{\sin (90^\circ - \angle C)}{\sin (180^\circ - \angle C)} = \frac{\cos C}{\sin C} = \cot C.
Therefore,
PIPA=CICAsinPCIsinPCA=cotBcotC=QIAD, \frac{|PI|}{|PA|} = \frac{|CI|}{|CA|} \cdot \frac{\sin \angle PCI}{\sin \angle PCA} = \cot B \cot C = \frac{|QI|}{|AD|},

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 and solution reproduced as published; topic and difficulty added by this site.