Maths Olympiad Prep

Library / /1 of 28

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 sin2BAC=2rR\sin^2 \angle BAC = \frac{2r}{R}.

(posed by Xiong Bin)

Solution

PF2=AFPF+PAPF=EF2+PIPD.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 AIAPAI \perp AP. Consequently,
IDF=IAP=90. \angle IDF = \angle IAP = 90^{\circ}.
Thus, we have
PF2EF2=PD2ED2. PF^2 - EF^2 = PD^2 - ED^2.
Combining ①, we have
PIPD=PD2ED2. PI \cdot PD = PD^2 - ED^2.
Thus
QD2=ED2=PD2PIPD=IDPD. QD^2 = ED^2 = PD^2 - PI \cdot PD = ID \cdot PD.
Consequently, we have
QIDPQD. \triangle QID \sim \triangle PQD. \qquad ②
Since PQPQ is the diameter of circle OO, we see that BPBQBP \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=QMQPQI^2 = QB^2 = QM \cdot QP. Thus,
QMIQIP. \triangle QMI \sim \triangle QIP. \qquad ③
By ② and ③, we see that IQD=QPD=QPI=QIM\angle IQD = \angle QPD = \angle QPI = \angle QIM. Hence, MIQDMI \parallel QD. Let IKBCIK \perp BC be at KK. Then IKPMIK \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
PQIK=PMMQ=BMMC=(12BC)2=(RsinBAC)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, sin2BAC=PQIKR2=2RrR2=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.