Problem:
Let be a triangle with . The incircle of triangle is tangent to side at and intersects the perpendicular bisector of segment at distinct points and . Lines and intersect line at and , respectively. Prove that, if , then .
Problem:
Let be a triangle with . The incircle of triangle is tangent to side at and intersects the perpendicular bisector of segment at distinct points and . Lines and intersect line at and , respectively. Prove that, if , then .
Solution:
Let be the extouch point on , let be the incenter, and the reflection of over . Note that , so . Now let be the reflection of across . The length condition implies is a harmonic bundle. We also know is the perpendicular bisector of , so the midpoint of lies on . But then , so , and is the midpoint of . Since are collinear, this means bisects .
Now consider projecting onto . and are taken to and , while is taken to the midpoint of . Thus, is taken to the point at infinity, so . Now since is the midpoint of , we see that , or , where is the height from and is the inradius. But , so , or , as desired.