Problem 6
Let be the altitudes of an acute triangle . The incircle of touches at , respectively. Reflect the lines in the lines , respectively. Prove that the three reflected lines form a triangle whose vertices lie on the incircle.
Step 3 of 5: Compute intersections
Detailed analysis
Substitute the tangent and altitude equations into the reflection map; cyclic permutation gives the three pairwise intersections.