MathDB
collinear wanted, perpend. to angle bisector passing through incenter

Source: 2020 Dürer Math Competition Finals E+ 1. 4

November 30, 2020
geometrycollinearincenter

Problem Statement

Let ABCABC be a scalene triangle and its incentre II. Denote by FAF_A the intersection of the line BCBC and the perpendicular to the angle bisector at AA through II. Let us define points FBF_B and FCF_C in a similar manner. Prove that points FA,FBF_A, F_B and FCF_C are collinear.