在正方形ABCD中,E、F分别是CD和AD上的点,∠EBF=45°,求证:EF=AF+CE