Given an obtuse isosceles triangle with and circumcenter . The point on is such that and on is such that . The circle with diameter meets at and the lines , meet at . If is the midpoint of and , meet at , show that is cyclic.
Solution
Let be the midpoint of (it is anyway the center of the important circle with diameter ). Then is the perpendicular bisector of (as ), triangle is isosceles by symmetry (as and are symmetric with respect to the midpoint of and hence with respect to , by the problem condition) and is the perpendicular bisector of , so , done!
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.