Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /100 of 395

Saudi Arabian Mathematical Competitions

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 AM = LA\text{AM = 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,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.