MathDB
angle bisector wanted, AD=CD=CB, AB // CD (2010 Romania District VII P4)

Source:

May 19, 2020
geometryangle bisectorequal anglesequal segments

Problem Statement

We consider the quadrilateral ABCDABCD, with AD=CD=CBAD = CD = CB and ABCDAB \parallel CD. Points EE and FF belong to the segments CDCD and CBCB so that angles ADE=AEF\angle ADE = \angle AEF. Prove that: a) 4CFCB4CF \le CB , b) if 4CF=CB4CF = CB, then AEAE is the bisector of the angle DAF\angle DAF.