做PM PN垂直于AB AD
以下向量符号省略
AP=AM+AN
EF=EP+EC
APxEF=(AM+AN)x(EP+EC)=AMXEP+AMXEC+ANXEP+ANXEC
=-绝对值(AM*AN)+绝对值(AN*EC)=0
故AP垂直于EF