正方形ABCD中,E M F N分别是AD AB BC CD 上的点,若EF垂直MN。求证:EF=MN