已知正方形ABCD中,角EAF=45°,求证:EF=BE DF.