rechthoekige gelijkbenige driehoeken

Opgave - IrMO 1996 dag 2 vraag 1

$ABC$ is een willekeurige driehoek. $D$ en $E$ worden geconstrueerd zoals getoond zodat $ABD$ en $ACE$ rechthoekige gelijkbenige driehoeken zijn, en $F$ is het midden van $BC$. Toon aan dat $DEF$ een rechthoekige gelijkbenige driehoek is.