KöMaL 2026 C1911

Let $F$ denote the midpoint of the side $BC$ of triangle $ABC$. We construct isosceles right triangles $BAD$ and $ACE$ on sides $AB$ and $AC$ pointing outwards such that $AB$ and $AC$ are the hypotenuses. Prove that $EDF$ is an isosceles right triangle.