平面α⊥平面β,P ∈α过点P作平面β的垂线a 求证a含于α