Geometry with angle bisector and perpendicular bisectors
Source: ARO Regional stage 2023 11.8
February 16, 2023
geometryperpendicular bisectorRussia
Problem Statement
Given is a triangle with circumcenter . Points are chosen on the angle bisector of such that . If are the circumcenters of , prove that either the line coincides with or is cyclic.