Let be an acute-angled triangle with circumcircle . Let and be points on the segments and , respectively, such that . The perpendicular bisectors of the segments and intersect the small arcs and at points and respectively. Prove that . (Greece)
Solution
In the sequel, all the considered arcs are small arcs. Let be the midpoint of the . Then is the bisector of , hence, in the isosceles triangle . So, the statement of the problem is equivalent to . In order to prove this, let be the second intersection of with . Then the triangle is isosceles, therefore
yielding . In the same way, denoting by the second intersection of with , we get . This shows that .
!
Now gives , hence . In a similar way, we get . This yields
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.