Maths Olympiad Prep

Track / Stage 6 / 29 of 400 #1029 of 1964

Problem 1029

National olympiad, first round
Geometry Difficulty 6.0 Prove it

1. As shown in the figure, ABC\triangle ABC is inscribed in circle OO, DD is a point on arc BCBC, DUABDU \perp AB at UU, DVACDV \perp AC at VV, DKUVDK \| UV intersects circle OO at KK, E,FE, F are points on AB,ACAB, AC respectively, and EFUVEF \| 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.

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=90AVU=90AFE\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 SLDKEFS L \parallel D K \parallel E F, hence SEFLFE\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 SEFDBC\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:
sinQEFsinAEQ×sinEASsinFAS×sinQFAsinQFE=1sinMBEsinBME×sinEASsinFAS×sinCMFsinMCF=1MEBE×ESFS×CFMF=1MEBE×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 TBETCF\triangle T B E \sim \triangle T C F, so MEMF=EL×TEFL×TF=EL×BEFL×CFMEBE×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 and solution reproduced as published; topic, difficulty and ordering added by this site.