如图,在正方形ABCD中,EF垂直MN,点E、F是EF与AB,CD的交点,M,N是MN与AD、BC的交点,说明EF=MN