MathDB
Angle Bisector Intersects Circumcircle

Source: 2012 IrMO Paper 2 Problem 2

February 16, 2018
geometryangle bisectorcircumcircle

Problem Statement

Consider a triangle ABCABC with ABAC|AB|\neq |AC|. The angle bisector of the angle CABCAB intersects the circumcircle of ABC\triangle ABC at two points AA and DD. The circle of center DD and radius DC|DC| intersects the line ACAC at two points CC and BB’. The line BBBB’ intersects the circumcircle of ABC\triangle ABC at BB and EE. Prove that BB’ is the orthocenter of AED\triangle AED.