已知平面PAB垂直平面ABC,平面PAC垂直平面ABC,求证PA垂直平面ABC