Given is the square $ABCD$. Point $E$ lies on the diagonal $AC$, where $AE> EC$. On the side $AB$, a different point from $B$ has been selected for which $EF = DE$. Prove that $\angle DEF = 90^o$.
Source:
Tags: geometry, right angle, square
Given is the square $ABCD$. Point $E$ lies on the diagonal $AC$, where $AE> EC$. On the side $AB$, a different point from $B$ has been selected for which $EF = DE$. Prove that $\angle DEF = 90^o$.
