The external angle bisector of the angle of an acute-angled triangle meets the circumcircle of at point . The perpendicular from the orthocenter of to the line meets the line at point . The line meets the circumcircle of at point .
Prove that .
The external angle bisector of the angle of an acute-angled triangle meets the circumcircle of at point . The perpendicular from the orthocenter of to the line meets the line at point . The line meets the circumcircle of at point .
Prove that .
Let be the bisectrix of . Then and (as, by condition, ). Further,
Hence, is the bisectrix of .
Let meet the circumcircle of at . We have and, similarly, . Then the triangles and are equal, Hence, is the bisectrix of . Therefore, intersects the circumcircle at the middle of the arc , i.e. at the point . So, and . Thus the statement follows from the well-known
Lemma. The diagonals of the quadrilateral are perpendicular if and only if .