Circumcircle geometry
Source: Sharygin geometry olympiad 2015, grade 10, Final Round, Problem 6
July 17, 2018
geometrycircumcircleperpendicular bisector
Problem Statement
Let and be the orthocenter and the circumcenter of triangle . The circumcircle of triangle meets the perpendicular bisector of at point . Points and are defined similarly. Prove that lines , and concur.