Let be an isosceles triangle with the base . Points , and are chosen on the sides , and , respectively, such that . Let be the reflection of with respect to the midpoint of the segment .
Prove that the points , , and are cocyclic.
Solution
Denote by the center of the circumcircle of the triangle . Then
whence the quadrilateral is cyclic. The chords and are equal so . Thus lies on the bisector of the angle , which is the perpendicular bisector of the segment , therefore and lies on the circumcircle of the triangle .
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.