MathDB
PAMO 2017 Shortlist: Angle bisector in a square

Source: 2017 Pan-African Shortlist - G1

May 5, 2019
geometrysquareangle bisector

Problem Statement

We consider a square ABCDABCD and a point EE on the segment CDCD. The bisector of EAB\angle EAB cuts the segment BCBC in FF. Prove that BF+DE=AEBF + DE = AE.