MathDB
equal lengths ,tangents and angle bisectors

Source: Nigerian Mathematics olympiad round 2 2021 problem 5

February 15, 2021
geometrycyclic quadrilateralcircumcircleangle bisector

Problem Statement

let ABCDABCD be a cyclic quadrilateral with EE,an interior point such that AB=AD=AE=BCAB=AD=AE=BC. Let DEDE meet the circumcircle of BECBEC again at FF. Suppose a common tangent to the circumcircle of BECBEC and DECDEC touch the circles at FF and GG respectively. Show that GEGE is the external angle bisector of angle BEFBEF