如图,正方形ABCD,E为BC上一点,F为CD上一点,且∠EAF=45°,探索线段BE、DF和EF的关系.