Problem

Source: 2021 Portugal p3

Tags: geometry, equal segments, equal angles



Let $ABC$ be a triangle such that $AB = AC$. Let $D$ be a point in $[BC]$ and $E$ a point in $[AD]$ such that $\angle BE D = \angle BAC = 2 \angle DEC$. Shows that $DB = 2CD$.