Let be a triangle with . Let and be the points on the sides and , respectively, such that and . Let be the point in the plane such that the lines and are perpendicular to and , respectively. Prove that .
Asian Pacific Mathematics Olympiad
Solution
Let be the incenter of , and let the feet of the perpendiculars from to and to be and , respectively. (Without loss of generality, we may assume that is the longest side. Then lies on the line segment . Although may or may not lie inside , the proof below works for both cases. Note that is on the line perpendicular to passing through .) Let be the midpoint of , and let the feet of the perpendiculars from to and to be and , respectively. Then and are the midpoints of and , respectively.
The conditions on the points and yield the equations
From , we obtain
Since is the midpoint of , it follows that is the midpoint of . Similarly, is the midpoint of . Therefore, the perpendicular bisectors of and meet at , that is, is the circumcenter of . Since , lies on the same side of as the point and
We can compute as follows:
It follows from that
From this it follows that lies inside the circumcircle of the isosceles triangle because and lie on the same side of . However, as is the midpoint of , must lie outside the circumcircle of triangle and on the same side of as . Therefore