正方形的性质;全等三角形的判定与性质.
分别过点E作EG⊥BC于点G,过点M作MP⊥CD于点P,设EF与MN相交于点O,MP与EF相交于点Q,根据正方形的性质可得EG=MP,对甲同学的说法,先利用“HL”证明Rt△EFG和Rt△MNP全等,根据全等三角形对应角相等可得∠MNP=∠EFG,再根据角的关系推出∠EQM=∠MNP,然后根据∠MNP+∠NMP=90°得到∠NMP+∠EQM=90°,从而得到∠MOQ=90°,根据垂直的定义,MN⊥EF;对乙同学的说法,先推出∠EQM=∠EFG,∠EQM=∠MNP,然后得到∠EFG=∠MNP,然后利用“角角边”证明△EFG和△MNP全等,根据全等三角形对应边相等可得EF=MN.
本题考查了正方形的性质,全等三角形的判定与性质,同角的余角相等的性质,作出辅助线,构造出全等三角形是解题的关键,通常情况下,求两边相等,或已知两边相等,都是想法把这两条线段转化为全等三角形的对应边进行求解.
几何综合题.