正方形ABCD的边BC,CD上取E,F两点使∠EAF=45°,求证EF=BE+DF