已知：边长为4的正方形ABCD，∠EAF的两边分别与射线CB、DC相交于点E、F，且∠EAF＝45°，连接EF．求证：EF＝BE+DF．

思路分析：