Maths Olympiad Prep

Library / China National Team Selection Test /2 of 46

China National Team Selection Test

Geometry Difficulty 7.6 National Olympiad, round 2 Prove it China

Suppose that OO and II are the centres of the circumcircle and incircle of △ABC\triangle ABC with radius RR and rr, respectively. PP is the midpoint of arc BACBAC. Let QPQP be the diameter of OO. Let PIPI intersect BCBC at point DD, and let the circumcircle of △AID\triangle AID intersect the extended line of PAPA at point FF. Let point EE be on PDPD such that DE=DQDE = DQ. Prove that, if ∠AEF=∠APE\angle AEF = \angle APE, then sin⁡2∠BAC=2rR\sin^2 \angle BAC = \frac{2r}{R}.

(posed by Xiong Bin)

Solution

PF2=AF⋅PF+PA⋅PF=EF2+PI⋅PD.1◯ \begin{aligned} PF^2 &= AF \cdot PF + PA \cdot PF \\ &= EF^2 + PI \cdot PD. \end{aligned} \qquad \textcircled{1}
Since PQPQ is the diameter of circle OO and point II is on AQAQ, we see that AI⊥APAI \perp AP. Consequently,
∠IDF=∠IAP=90∘. \angle IDF = \angle IAP = 90^{\circ}.
Thus, we have
PF2−EF2=PD2−ED2. PF^2 - EF^2 = PD^2 - ED^2.
Combining ①, we have
PI⋅PD=PD2−ED2. PI \cdot PD = PD^2 - ED^2.
Thus
QD2=ED2=PD2−PI⋅PD=ID⋅PD. QD^2 = ED^2 = PD^2 - PI \cdot PD = ID \cdot PD.
Consequently, we have
△QID∼△PQD.② \triangle QID \sim \triangle PQD. \qquad ②
Since PQPQ is the diameter of circle OO, we see that BP⊥BQBP \perp BQ. Suppose that PQPQ is the perpendicular bisector of BCBC at point MM. Note that II is the incentre of △ABC\triangle ABC. We have QI2=QB2=QM⋅QPQI^2 = QB^2 = QM \cdot QP. Thus,
△QMI∼△QIP.③ \triangle QMI \sim \triangle QIP. \qquad ③
By ② and ③, we see that ∠IQD=∠QPD=∠QPI=∠QIM\angle IQD = \angle QPD = \angle QPI = \angle QIM. Hence, MI∥QDMI \parallel QD. Let IK⊥BCIK \perp BC be at KK. Then IK∥PMIK \parallel PM; thus,
PMIK=PDID=PQMQ. \frac{PM}{IK} = \frac{PD}{ID} = \frac{PQ}{MQ}.
By the Circle-Power Theorem and the Sine Theorem, we know that
PQ⋅IK=PM⋅MQ=BM⋅MC=(12BC)2=(Rsin⁡∠BAC)2, \begin{aligned} PQ \cdot IK &= PM \cdot MQ = BM \cdot MC \\ &= \left(\frac{1}{2}BC\right)^2 = (R \sin \angle BAC)^2, \end{aligned}
thus, sin⁡2∠BAC=PQ⋅IKR2=2R⋅rR2=2rR\sin^2 \angle BAC = \frac{PQ \cdot IK}{R^2} = \frac{2R \cdot r}{R^2} = \frac{2r}{R}.
□\square

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.