高中立体几何在四棱锥P-ABCD中,底面ABCD是矩形,侧棱PA垂直于底面,EF分别是AB、PC的中点,求证:EF//平