Let be a triangle. is the foot of the internal bisector of the angle . The perpendicular from to the tangent ( belongs to ) to the circumscribed circle of intersects the altitude at the point ( belongs to ). If is the midpoint of and is the circumcenter of , intersects at and intersects at , prove that is perpendicular to .
Solution
Let be the midpoint of and the intersection of and . Then is the midpoint of . As is perpendicular to , being the intersection point of and , and as is perpendicular to , we get that is parallel to , and so the angles and are equal. Indeed, because . Moreover, and hence . As a consequence, triangles and are congruent.
In particular angle equals to angle , that is, is isosceles and point is the orthocenter of . So, is perpendicular to , and the intersection point of and is the midpoint of , say . The four points are collinear. We will apply the Ceva theorem in the triangle with the cevians and . We get
(Observe that cuts in its midpoint) So, is parallel to , and from this is perpendicular to , as claimed.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.