Matemática · Geometria plana

A figura representa um quadrado ABCD de lado 1. O ponto F está em $\overline{BC}$,  $\overline{BF}$ mede $\sqrt{5}/4$

, o ponto E está em $\overline{CD}$ e $\overline{AF}$ é bissetriz do ângulo $B\widehat{A}E$. Nessas condições, o segmento $\overline{DE}$ mede