证明：
取AB中点D,连结PD,则
结合PA=PB有PD⊥AB,
（以下为向量运算）
AB·MN=AB·(1/4BA-1/2(BP+BC))=1/2AB·(1/2BA-BP)=1/2AB·PD=0,
即AB⊥MN,得证