Problem

Source: China Northern Mathematical Olympiad 2017

Tags: geometry, Spiral Similarity, Triangle



Let \(D\) be the midpoint of side \(BC\) of triangle \(ABC\). Let \(E, F\) be points on sides \(AB, AC\) respectively such that \(DE = DF\). Prove that \(AE + AF = BE + CF \iff \angle EDF = \angle BAC\).