一道正方形证明题,如图,已知正方形ABCD,∠EAF=45°,求证:EF=BE+DF.