Let be an acute triangle in which . Let be the midpoint of the side and consider an arbitrary point of the line segment . Let be a point of the line segment and consider the point of the line such that lines and are parallel. If the orthocenter, , of the triangle lies at the intersection point of lines and , prove that the angle bisectors of and meet on the line .
Solution
Let be the orthogonal projection of onto , the intersection point of the lines and , and let be the intersection point of the lines and . We prove that , , , hence .
Let and be the reflections across the point , of the points and , respectively. It is well known that is the antipode of on the circumcircle of triangle and, as , point also lies on the circumcircle of . Thus, points all lie on the reflection of this circle across , i.e. the quadrilateral is cyclic. It follows that , which means that the quadrilateral is cyclic. We obtain that , which means that lines and are parallel. If is between and , then is between and , and is between and (where is the intersection point of the lines and ), hence can not be parallel to . Similarly in the case when is between and . It follows that it is necessary to have , and then , .
As is cyclic, we have , and therefore . But since is the midpoint of , triangles and have the same area surface, i.e. , hence , or , which means . The converse of the Angle Bisector Theorem proves the conclusion.
