MathDB
Hard excircle geo

Source: MEMO 2023 T6

August 25, 2023
geometry

Problem Statement

Let ABCABC be an acute triangle with AB<ACAB < AC. Let JJ be the center of the AA-excircle of ABCABC. Let DD be the projection of JJ on line BCBC. The internal bisectors of angles BDJBDJ and JDCJDC intersectlines BJBJ and JCJC at XX and YY, respectively. Segments XYXY and JDJD intersect at PP. Let QQ be the projection of AA on line BCBC. Prove that the internal angle bisector of QAPQAP is perpendicular to line XYXY.
Proposed by Dominik Burek, Poland