Maths Olympiad Prep

Library / Mongolian Mathematical Olympiad /77 of 97

Mongolian Mathematical Olympiad

Geometry Difficulty 6.7 National Olympiad Prove it Mongolia

Let AA be one of the intersection points of circles ω1(O1)\omega_1(O_1) and ω2(O2)\omega_2(O_2). ℓ\ell is a line that touches ω1\omega_1 and ω2\omega_2 at BB and CC respectively. Let O3O_3 be the center of the circumscribed circle of ABCABC. And we choose DD as AA is midpoint of O3DO_3D. If MM is midpoint of O1O2O_1O_2, then prove that ∠O1DM=∠O2DA\angle O_1DM = \angle O_2DA.

Solution

Let us denote by QQ, RR and SS the midpoints of BCBC, ABAB and ACAC respectively. Then O3R⊥ABO_3R \perp AB, O1R⊥ABO_1R \perp AB, O3S⊥ACO_3S \perp AC, O2S⊥ACO_2S \perp AC, O3Q⊥BCO_3Q \perp BC and MQ⊥BCMQ \perp BC. Assuming ∠ABC=β\angle ABC = \beta and ∠BCA=γ\angle BCA = \gamma, we get ∠BO3O1=γ\angle BO_3O_1 = \gamma and ∠CO3O2=β\angle CO_3O_2 = \beta, as O3O_3 is the circumcenter of △ABC\triangle ABC.

Figure 1

Since BCBC is tangent to ω1\omega_1, A~B=β\tilde{A}B = \beta. So ∠BO1O3=β\angle BO_1O_3 = \beta. Similarly ∠CO3O2=γ\angle CO_3O_2 = \gamma. Hence ∠BO3O1=∠CO2O3=γ\angle BO_3O_1 = \angle CO_2O_3 = \gamma and ∠BO1O2=∠CO3O2=β\angle BO_1O_2 = \angle CO_3O_2 = \beta. Thus, ∠CO2O2∼∠BO1O3\angle CO_2O_2 \sim \angle BO_1O_3.

Let us denote the radii of ω1\omega_1 by r1r_1, the radii of ω2\omega_2 by r2r_2 and the radii of ω3\omega_3 (the circumcircle of △ABC\triangle ABC) by r3r_3. Then r3=CO3=BO3=AO3=ADr_3 = CO_3 = BO_3 = AO_3 = AD, r1=O1B=O1Ar_1 = O_1B = O_1A and r2=O2C=O2Ar_2 = O_2C = O_2A. Also ∠O1BO3=∠O1AO3\angle O_1BO_3 = \angle O_1AO_3 and ∠O2CO3=∠O2AO3\angle O_2CO_3 = \angle O_2AO_3. It follows that ∠O1AO3=∠O2AO3\angle O_1AO_3 = \angle O_2AO_3, which means ∠O1AD=∠O2AD\angle O_1AD = \angle O_2AD. From ∠CO3O2∼∠BO1O3\angle CO_3O_2 \sim \angle BO_1O_3, we have O1BO3B=CO3CO2\frac{O_1B}{O_3B} = \frac{CO_3}{CO_2}, i.e r1r3=r3r2\frac{r_1}{r_3} = \frac{r_3}{r_2}. Then AO1AD=ADAO2\frac{AO_1}{AD} = \frac{AD}{AO_2} holds. So ∠O1AD∼∠DAO2\angle O_1AD \sim \angle DAO_2. Hence

DO1DO2=AO1AD=r1r3(∗) \frac{DO_1}{DO_2} = \frac{AO_1}{AD} = \frac{r_1}{r_3} \quad (*)
r1r3=AO1AD=sin⁡∠ADO1sin⁡∠AO1D=sin⁡∠ADO1sin⁡∠ADO2(∗∗) \frac{r_1}{r_3} = \frac{AO_1}{AD} = \frac{\sin \angle ADO_1}{\sin \angle AO_1D} = \frac{\sin \angle ADO_1}{\sin \angle ADO_2} \quad (**)
Now we use the law of sines to △O2MD\triangle O_2MD and △DMO1\triangle DMO_1.
O2Msin⁡∠O2DM=DO2sin⁡∠O2MD,O1Msin⁡∠O1DM=DO1sin⁡∠O1MD \frac{O_2M}{\sin \angle O_2DM} = \frac{DO_2}{\sin \angle O_2MD}, \quad \frac{O_1M}{\sin \angle O_1DM} = \frac{DO_1}{\sin \angle O_1MD}
From thus, we'll get DO1DO2=sin⁡∠O2DMsin⁡∠O1DM\frac{DO_1}{DO_2} = \frac{\sin \angle O_2DM}{\sin \angle O_1DM}. Then from () and (*),
DO1DO2=r1r3=sin⁡∠ADO1sin⁡∠ADO2,sin⁡∠O2DMsin⁡∠O1DM=sin⁡∠ADO1sin⁡∠ADO2 \frac{DO_1}{DO_2} = \frac{r_1}{r_3} = \frac{\sin \angle ADO_1}{\sin \angle ADO_2}, \quad \frac{\sin \angle O_2DM}{\sin \angle O_1DM} = \frac{\sin \angle ADO_1}{\sin \angle ADO_2}
it is equivalent to
sin⁡(∠O1DO2−∠O1DM)sin⁡∠O1DM=sin⁡(∠O1DO2−∠ADO2)sin⁡∠ADO2 \frac{\sin(\angle O_1 DO_2 - \angle O_1 DM)}{\sin \angle O_1 DM} = \frac{\sin(\angle O_1 DO_2 - \angle ADO_2)}{\sin \angle ADO_2}
sin⁡∠O1DO2cos⁡∠O1DM−cos⁡∠O1DO2sin⁡∠O1DMsin⁡∠O1DM=sin⁡∠O1DO2cos⁡∠ADO2−cos⁡∠O1DO2sin⁡∠ADO2sin⁡∠ADO2 \frac{\sin \angle O_1 DO_2 \cos \angle O_1 DM - \cos \angle O_1 DO_2 \sin \angle O_1 DM}{\sin \angle O_1 DM} = \frac{\sin \angle O_1 DO_2 \cos \angle ADO_2 - \cos \angle O_1 DO_2 \sin \angle ADO_2}{\sin \angle ADO_2}
sin⁡∠O1DO2ctg⁡∠O1DM−cos⁡∠O1DO2=sin⁡∠O1DO2ctg⁡∠ADO2−cos⁡∠O1DO2 \sin \angle O_1 DO_2 \operatorname{ctg} \angle O_1 DM - \cos \angle O_1 DO_2 = \sin \angle O_1 DO_2 \operatorname{ctg} \angle ADO_2 - \cos \angle O_1 DO_2
Since sin⁡∠O1DO2≠0\sin \angle O_1 DO_2 \neq 0, we obtain ctg⁡∠O1DM=ctg⁡∠ADO2\operatorname{ctg} \angle O_1 DM = \operatorname{ctg} \angle ADO_2. Hence ∠O1DM=∠ADO2\angle O_1 DM = \angle ADO_2 (0∘<∠O1DM,∠ADO2<180∘0^\circ < \angle O_1 DM, \angle ADO_2 < 180^\circ).

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.