Conditional geometry
Source: JBMO 2023 Problem 4
June 26, 2023
geometrycircumcircleCircumcenter
Problem Statement
Let be an acute triangle with circumcenter . Let be the foot of the altitude from to and let be the midpoint of . The points and are the circumcenters of triangles and , respectively. If , prove that points , , and are concyclic.Marin Hristov and Bozhidar Dimitrov, Bulgaria