Prove that <EBF=<ECF
Source: Dutch IMO TST I Problem 4
July 17, 2014
geometrygeometric transformationreflectionangle bisectorgeometry proposed
Problem Statement
Let be a triangle with and let be its circumcenter. Let be the intersection of the bisector of with . Let be the orthogonal projection of to and let be the point on satisfying . Prove that .