在正方形ABCD中,∠MAN=45°,将∠MAN绕点A旋转,角的两边AM,AN分别交BC,CD为E,F两点,求证:EF=