Let be a triangle with altitudes , and . Let and be two points on line such that ( is between and ) and ( is between and ). Assuming that the perpendicular bisector of intersects at and the perpendicular bisector of intersects at , prove that the midpoint of lies on line .
Solution
It is claimed that is the perpendicular bisector of . To show it, first a lemma is proved.
Lemma. Let be a point on the extension of side of triangle such that is between and , and . Let be the intersection point of external angle bisector of vertex in triangle and the perpendicular bisector of . Then lies on the perpendicular bisector of .
Proof. Let be a point on the extension of side of triangle such that is between and and . Since triangle is isosceles, the external angle bisector of is the perpendicular bisector of . Therefore, is the intersection point of perpendicular bisectors of and , which means is the circumcenter of triangle , so lies on the perpendicular bisector of . Since , this line is the perpendicular bisector of as well, which completes the proof.

Note that and are the external angle bisectors of triangle . Using the lemma for triangle and point on the extension of implies that lies on the perpendicular bisector of . By a similar argument, lies on it too, which means that is the perpendicular bisector of . On the other hand, since points , , and lie on a circle with diameter (), the midpoint of is the center of this circle and lies on the perpendicular bisector of . Therefore, the midpoint of lies on line .