ISL 2007 G1
In triangle , the angle bisector at vertex intersects the circumcircle and the perpendicular bisectors of sides and at points , and , respectively. The midpoints of and are and , respectively. Prove that triangles and have the same area. (Czech Republic)
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2007 Shortlist booklet, page 40.
Solutions
Official solution Solution 1 by the IMO Problem Selection Committee
The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).