Angle Bisector Intersects Circumcircle
Source: 2012 IrMO Paper 2 Problem 2
February 16, 2018
geometryangle bisectorcircumcircle
Problem Statement
Consider a triangle with . The angle bisector of the angle intersects the circumcircle of at two points and . The circle of center and radius intersects the line at two points and . The line intersects the circumcircle of at and . Prove that is the orthocenter of .