已知矩形ABCD所在平面外一点P,PA垂直平面ABCD,EF分别是AB、PC