Maths Olympiad Prep

Library / /31 of 133

Geometry Difficulty 5.1 AIME, harder Prove it Saudi Arabia

Let ABC\triangle ABC be an acute triangle, with A^>B^C^\widehat{A} > \widehat{B} \geq \widehat{C}. Let DD, EE and FF be the tangency points between the incircle of the triangle and sides BCBC, CACA, ABAB, respectively. Let JJ be a point on (BD)(BD), KK a point on (DC)(DC), LL a point on (EC)(EC) and MM a point on (FB)(FB), such that
AF=FM=JD=DK=LE=EA AF = FM = JD = DK = LE = EA
Let PP be the intersection point between AJAJ and KMKM and let QQ be the intersection point between AKAK and JLJL. Prove that PJKQPJKQ is cyclic.

Solution

Let II be the incenter of triangle ABCABC. Because ID=IE=IFID = IE = IF, AF=FM=JD=DK=LE=EAAF = FM = JD = DK = LE = EA, and the angles at DD, EE, and FF are right, we have by Pythagoras IA=IM=IJ=IK=ILIA = IM = IJ = IK = IL. Therefore, the pentagon AMJKLAMJKL is cyclic.

Figure 1

On the other hand, AM=2AF=2EA=LAAM = 2AF = 2EA = LA. We deduce for the circumcircle of the pentagon AMJKLAMJKL that \overparenAM=\overparenLA\overparen{AM} = \overparen{LA}. This implies that QKP=QJP\measuredangle QKP = \measuredangle QJP, and therefore the quadrilateral PJKQPJKQ is cyclic.

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.