已知，如图所示，正方形ABCD，E、M、F、N分别是AD、AB、BC、CD上的点，若EF⊥MN，求证：EF=MN.