如图,正方形ABCD内有两条相交线段MN.EF,小明认为若MN=EF,则MN垂直于EF,小亮认为若MN垂直于EF,则MN