Maths Olympiad Prep

Track / Stage 6 / 65 of 400 #1065 of 1964

Problem 1065

National Olympiad, first round
Geometry Difficulty 6.0 Prove it

As shown in the figure, △ABC\triangle ABC is inscribed in circle OO, DD is a point on arc BCBC, DU⊥ABDU \perp AB at UU, DV⊥ACDV \perp AC at VV, DK∥UVDK \| UV intersects circle OO at KK, E,FE, F are points on AB,ACAB, AC respectively, and EF∥UVEF \| UV. Construct the circumcircle of △AEF\triangle AEF, circle PP, which intersects circle OO at point TT, TKTK intersects EFEF at MM, construct the isogonal conjugate point NN of MM with respect to △ABC\triangle ABC, prove: D,N,OD, N, O are collinear. (If P,QP, Q are two points inside triangle ABCABC, and if ∠PAB=∠QAC\angle PAB = \angle QAC, ∠PBC=∠QBA\angle PBC = \angle QBA, ∠PCB=∠QCA\angle PCB = \angle QCA, then P,QP, Q are called the isogonal conjugates of △ABC\triangle ABC)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

1, Proof: As shown in the figure, connect AD\mathrm{AD} intersecting circle P\mathrm{P} at S\mathrm{S}. We know that
∠UAD=∠EAS=∠BCD\angle U A D = \angle E A S = \angle B C D. It is also easy to see that A,U,D,VA, U, D, V are concyclic, so ∠UAD=∠UVD=90∘−∠AVU=90∘−∠AFE\angle U A D = \angle U V D = 90^{\circ} - \angle A V U = 90^{\circ} - \angle A F E. Therefore, ∠EAS+∠AEF=90∘\angle E A S + \angle A E F = 90^{\circ}, which means ASAS is the diameter of circle PP, i.e., A,P,S,DA, P, S, D are collinear.
Let TK\mathrm{TK} intersect circle P\mathrm{P} at L\mathrm{L}, then ∠TLS=∠TAS=∠TKD\angle T L S = \angle T A S = \angle T K D, so SL∥DK∥EFS L \parallel D K \parallel E F, hence △SEF≅△LFE\triangle S E F \cong \triangle L F E.

Also, ∠SEF=∠DAF=∠DBC\angle S E F = \angle D A F = \angle D B C, ∠SFE=∠DAB=∠DCB\angle S F E = \angle D A B = \angle D C B, so △SEF∼△DBC\triangle S E F \sim \triangle D B C. Take point Q\mathrm{Q} such that
∠QEF=∠NBC\angle Q E F = \angle N B C, ∠QFE=∠NCB\angle Q F E = \angle N C B, then quadrilateral QESF\mathrm{QESF} is similar to quadrilateral NBDC\mathrm{NBDC}. By the similarity correspondence,
we only need to prove that P,Q, S\mathrm{P}, \mathrm{Q}, \mathrm{~S} are collinear. Note that M,N\mathrm{M}, \mathrm{N} are a pair of isogonal conjugates, so
∠QEF=∠MBE\angle Q E F = \angle M B E, ∠QFE=∠MCF\angle Q F E = \angle M C F, thus ∠QEA=∠BME\angle Q E A = \angle B M E, ∠QFA=∠CMF\angle Q F A = \angle C M F.
According to the trigonometric form of Ceva's theorem, to prove that P,Q, S\mathrm{P}, \mathrm{Q}, \mathrm{~S} are collinear, we only need to prove:
sin⁡∠QEFsin⁡∠AEQ×sin⁡∠EASsin⁡∠FAS×sin⁡∠QFAsin⁡∠QFE=1⇔sin⁡∠MBEsin⁡∠BME×sin⁡∠EASsin⁡∠FAS×sin⁡∠CMFsin⁡∠MCF=1⇔MEBE×ESFS×CFMF=1⇔MEBE×FLEL×CFMF=1 \begin{aligned} & \frac{\sin \angle Q E F}{\sin \angle A E Q} \times \frac{\sin \angle E A S}{\sin \angle F A S} \times \frac{\sin \angle Q F A}{\sin \angle Q F E} = 1 \\ \Leftrightarrow & \frac{\sin \angle M B E}{\sin \angle B M E} \times \frac{\sin \angle E A S}{\sin \angle F A S} \times \frac{\sin \angle C M F}{\sin \angle M C F} = 1 \\ \Leftrightarrow & \frac{M E}{B E} \times \frac{E S}{F S} \times \frac{C F}{M F} = 1 \\ \Leftrightarrow & \frac{M E}{B E} \times \frac{F L}{E L} \times \frac{C F}{M F} = 1 \end{aligned}

In fact, note that ∠TBE=∠TCF\angle T B E = \angle T C F, ∠TEA=∠TFA\angle T E A = \angle T F A, then △TBE∼△TCF\triangle T B E \sim \triangle T C F, so MEMF=EL×TEFL×TF=EL×BEFL×CF⇒MEBE×FLEL×CFMF=1\frac{M E}{M F} = \frac{E L \times T E}{F L \times T F} = \frac{E L \times B E}{F L \times C F} \Rightarrow \frac{M E}{B E} \times \frac{F L}{E L} \times \frac{C F}{M F} = 1, hence the proposition is proved.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.