正方形ABCD中,EF=MN.求证:EF⊥MN