Hard excircle geo
Source: MEMO 2023 T6
August 25, 2023
geometry
Problem Statement
Let be an acute triangle with . Let be the center of the -excircle of . Let be the projection of on line . The internal bisectors of angles and intersectlines and at and , respectively. Segments and intersect at . Let be the projection of on line . Prove that the internal angle bisector of is perpendicular to line .Proposed by Dominik Burek, Poland