Maths Olympiad Prep

Library / IRL ABooklet /183 of 191

IRL ABooklet

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 ∣AD∣⋅∣QI∣=∣CD∣⋅∣CQ∣=∣BD∣⋅∣BQ∣|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

△ACI∼△ADB∼△BQI\triangle ACI \sim \triangle ADB \sim \triangle BQI. Similarly, △ABI∼△ADC∼△CQI\triangle ABI \sim \triangle ADC \sim \triangle CQI and
∣AC∣∣CI∣=∣AD∣∣DB∣=∣BQ∣∣QI∣as well as∣AB∣∣BI∣=∣AD∣∣DC∣=∣CQ∣∣QI∣ \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 ∣AD∣⋅∣QI∣=∣CD∣⋅∣CQ∣=∣BD∣⋅∣BQ∣|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 △AXB∼△CXI\triangle AXB \sim \triangle CXI) we have ∣AX∣⋅∣XI∣=∣CX∣⋅∣XB∣|AX| \cdot |XI| = |CX| \cdot |XB|. By power of XX with respect to the circumcircle of CBOCBO, we have ∣OX∣⋅∣XP∣=∣CX∣⋅∣XB∣|OX| \cdot |XP| = |CX| \cdot |XB|. Combining both equations, we obtain
∣OX∣⋅∣XP∣=∣AX∣⋅∣XI∣i.e.∣AX∣∣OX∣=∣XP∣∣XI∣ |OX| \cdot |XP| = |AX| \cdot |XI| \quad \text{i.e.} \quad \frac{|AX|}{|OX|} = \frac{|XP|}{|XI|}

Figure 2

By the Intercept Theorem, or △OMX∼△ADX\triangle OMX \sim \triangle ADX, we have
∣AX∣∣OX∣=∣DX∣∣MX∣,hence∣XP∣∣XI∣=∣DX∣∣MX∣ \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 MI∥DPMI \parallel DP.

Solution 2:
Substituting ∣CD∣=∣BC∣−∣BD∣|CD| = |BC| - |BD| and ∣BQ∣=∣BC∣−∣CQ∣|BQ| = |BC| - |CQ| in the equation ∣CD∣⋅∣CQ∣=∣BD∣⋅∣BQ∣|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 MI∥DJMI \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=2∠CBI\angle COP = 2\angle CBI and ∠BOP=2∠BCI\angle BOP = 2\angle BCI in Γ\Gamma
so ∠CBP=2∠CBI\angle CBP = 2\angle CBI and ∠BCP=2∠BCI\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, AC⊥CIAC \perp CI and AB⊥BIAB \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
∣PI∣∣PA∣=∣IN∣∣AL∣=∣IQ∣∣AD∣=∣IJ∣∣AD∣. \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 MI∥PDMI \parallel PD, it is sufficient to show ∣QI∣=∣IJ∣|QI| = |IJ|. This is equivalent to ∣QI∣∣AD∣=∣PI∣∣PA∣\frac{|QI|}{|AD|} = \frac{|PI|}{|PA|}, because ∣IJ∣∣AD∣=∣PI∣∣PA∣\frac{|IJ|}{|AD|} = \frac{|PI|}{|PA|} follows from QJ∥ADQJ \parallel AD.

Figure 4

Using (a), we obtain
∣QI∣∣AD∣=∣BD∣⋅∣BQ∣∣AD∣2=∣BD∣⋅∣CD∣∣AD∣2=cot⁡Bcot⁡C. \frac{|QI|}{|AD|} = \frac{|BD| \cdot |BQ|}{|AD|^2} = \frac{|BD| \cdot |CD|}{|AD|^2} = \cot B \cot C.

On the other hand,
∣PI∣∣PA∣=[CPI][CPA]=12∣CP∣⋅∣CI∣sin⁡∠PCI12∣CP∣⋅∣CA∣sin⁡∠PCA=∣CI∣sin⁡∠PCI∣CA∣sin⁡∠PCA, \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 ∣CI∣∣CA∣=cot⁡∠CIA=cot⁡B\frac{|CI|}{|CA|} = \cot \angle CIA = \cot B, while
∠PCA=180∘−∠CAO−∠CPO=180∘−∠ACO−∠CBO=180∘−∠ACO−∠OCB=180∘−∠C \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=∠PCA−90∘=90∘−∠C\angle PCI = \angle PCA - 90^\circ = 90^\circ - \angle C. Hence
sin⁡∠PCIsin⁡∠PCA=sin⁡(90∘−∠C)sin⁡(180∘−∠C)=cos⁡Csin⁡C=cot⁡C. \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,
∣PI∣∣PA∣=∣CI∣∣CA∣⋅sin⁡∠PCIsin⁡∠PCA=cot⁡Bcot⁡C=∣QI∣∣AD∣, \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,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.