初中正方形证明题E,F为正方形ABCD两边BC,CD上的点,角EAF=45°,求证,EF=BE+DF