Spain Mathematical Olympiad 2007, Problem 3
Source: 2007 Spain Mathematical Olympiad
June 14, 2017
geometry
Problem Statement
is the circumcenter of triangle . The bisector from intersects the opposite side in point . Prove that the following is satisfied: