Prove two lines are perpendicular
Source: XVII Sharygin Correspondence Round P2
March 2, 2021
geometry
Problem Statement
A perpendicular bisector to the side of triangle meets at points and respectively. Points are the circumcenters of triangles and respectively. Prove that .