如图,E,F是正方形ABCD的边AB,AD上的点∠ECF=45° ,求证EF=DF+BE