Maths Olympiad Prep

Library / /388 of 520

Geometry Difficulty 5.6 AIME, harder Prove it

II. (25 points) As shown in Figure 2, MM is a point inside the circle O\odot O with diameter ABAB, and the extensions of AMAM and BMBM intersect O\odot O at points CC and DD, respectively. A perpendicular line MNMN is drawn from point MM to ABAB at point NN. A tangent line is drawn from point CC to O\odot O and intersects MNMN at point EE. Connect DEDE. Prove: DEDE is a tangent to O\odot O.

Solution

As shown in Figure 7, connect OCO C, ODO D, OEO E, BCB C, OEO E, and let OEO E intersect O\odot O at point FF. Clearly,
OCE=ONE=90O,N,C,E are concyclic BOC=CEN. \begin{array}{l} \angle O C E=\angle O N E=90^{\circ} \\ \Rightarrow O, N, C, E \text { are concyclic } \\ \Rightarrow \angle B O C=\angle C E N . \end{array}

Thus, OBCEMC\triangle O B C \backsim \triangle E M C
OCBC=ECMC \Rightarrow \frac{O C}{B C}=\frac{E C}{M C} \text {. }

Also, OCE=BCM\angle O C E=\angle B C M, so OCEBCM\triangle O C E \backsim \triangle B C M
COE=CBMCOF=DOF. \begin{array}{l} \Rightarrow \angle C O E=\angle C B M \\ \Rightarrow \angle C O F=\angle D O F . \end{array}

It is easy to prove that OCEODE\triangle O C E \cong \triangle O D E
ODE=OCE=90 \Rightarrow \angle O D E=\angle O C E=90^{\circ} \text {. }

Therefore, DED E is the tangent to O\odot O.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.