如图,正方形ABCD,E为BC上一点,F为CD上一点,且∠EAF=45°,证明:EF=BE+DF