Maths Olympiad Prep

Library / /7 of 13

Geometry Difficulty 5.9 AIME, harder Prove it Bulgaria

The inscribed circle in ABC\triangle ABC (ACBCAC \neq BC) is tangent to its sides ABAB, BCBC, and CACA at points DD, EE, and FF, respectively. Let PP be the foot of the perpendicular from DD to EFEF (PEFP \in EF). If the circles circumscribed about ABC\triangle ABC and EFC\triangle EFC intersect for the second time at point QQ, prove that PQC=90\angle PQC = 90^\circ.

(Stoyan Boev)

Solution

From the fact that CC lies on the circle circumscribed about FEQ\triangle FEQ and CE=CFCE = CF it follows that CQCQ is an exterior bisector of FQE\angle FQE and it remains to prove that QPQP is a bisector of FQE\angle FQE, i.e. QF:QE=FP:PEQF : QE = FP : PE. From QFC=QEC\angle QFC = \angle QEC and QAC=QBC\angle QAC = \angle QBC it follows that QFAQEB\triangle QFA \sim \triangle QEB, i.e.
QF:QE=AF:BE=AD:BD. QF : QE = AF : BE = AD : BD.
Let II be the center of the circle kk inscribed in ABC\triangle ABC and the line DPDP intersects kk for the second time at point RR. Then
REF=RDF=90DFE=90DIB=IBA \angle REF = \angle RDF = 90^\circ - \angle DFE = 90^\circ - \angle DIB = \angle IBA
and analogously RFE=IAB\angle RFE = \angle IAB, i.e. FERABI\triangle FER \sim \triangle ABI. But RPEFRP \perp EF, IDABID \perp AB, i.e. PP and DD are corresponding elements in similar triangles and FP:PE=AD:BDFP : PE = AD : BD, which completes the proof. \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.