已知:如图所示,E、F分别是正方形的边BC、DC上的点,且∠EAF=45°,求证:BE+DF=EF