Let be a triangle with is an obtuse angle. Denote as the internal angle bisector of triangle with and suppose that . The altitude of triangle intersects at . Let be the circumcenter of triangles . Suppose that meet at respectively. Prove that .
Solution
Denote as the projection of on and is the diameter of . It is easy to see that . We have
This implies that is the inscribed quadrilateral and . Hence, are collinear and .
Triangle is isosceles then is the angle bisector of . Note that is the angle bisector of . Then is the incenter of triangle .

So is the midpoint of minor of the circumcircle of , then are collinear.
We have
Based on the property of bisector in triangle, we have
Hence, . We have is the midpoint of also is the circumcenter of quadrilateral .
From this, we can conclude that is the angle bisector in triangle and
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.