在β取一点C作CP⊥L 因为a//α,所以可以过a做θ面∥α交β于直线m
θ//a,β交θ,a于l,m 所以l//m
α⊥β 且cp⊥l,所以cp⊥α
θ//a 所以cp⊥θ
a在θ内 所以cp⊥a
l//m,a⊥l a⊥m
a⊥m cp⊥a m在内β,cp在β内
所以a⊥β何来P点？作CP⊥L于P