Question:
$ABC$ is a right angle triangle at $A$. $AD$ is the altitude through A; E is a point on AC such that $AE=CD$. F is a poibnt on AB such that $AF=BD$. Prove that $BE=CF$.
Challenge And Thrill Of Pre-College Mathematics - Exercise 3.5
My attempt:
I prepared this diagram:
on GeoGebra. Even after trying a lot, I can't progress at all in this question. Can someone please help me out with some hints or anything?
Thanks!

It's enough to show that $$|BD|^2 + |AC|^2 \stackrel{\color{red}{?}}{=} |CD|^2 + |AB|^2$$
Rearranging we get
$$|AC|^2 - |CD|^2 = |AD|^2 = |AB|^2 - |BD|^2$$
which ends the proof.
I hope this helps $\ddot\smile$