We have a square and the following information:
1) $E \in [AB]$, $E$ an arbitrary point
2) $[AC] \cap [DE]= \{P\}$ and
3)$FP \perp ED$, where $F \in BC$ .
We have to prove that the measure of the angle $\angle EDF = 45^{\circ}$.
Thanks a lot !