Problem 3
Let be a triangle. Let and be the points in which the median and the angle bisector, respectively, at meet the side . Let and be the points in which the perpendicular at to meets and , respectively, and the point in which the perpendicular at to meets produced. Prove that is perpendicular to .
Step 1 of 3: Project the arc midpoint K onto the three sides via the Simson line
In plain words
The midpoint of arc ties the angle bisector to the midpoint of , and Simson's theorem links directly to the projections and on and .
Detailed analysis
Let the angle bisector meet the circumcircle of again at , which is the midpoint of the arc not containing . Since and is the midpoint of (), line is the perpendicular bisector of , so is the orthogonal projection of onto . Let and be the orthogonal projections of onto lines and ; by Simson's theorem, are collinear on the Simson line of with respect to .