Perpendicular bisector
Source: 2016 Korea Winter Camp 2nd Test #5
January 25, 2016
geometryperpendicular bisector
Problem Statement
Let there be an acute triangle with orthocenter . Let hit the circumcircle of at . Let be a point on , between and the foot of the perpendicular from to . Let . Now 's circumcircle hits at , 's circumcircle hits at , and 's circumcircle hits 's circumcircle at . Prove that is the perpendicular bisector of .