已知：平面α⊥β,α∩β＝l,m∈α且m⊥l
求证：l⊥β
证明：令m∩l=A,过点A在平面β内作直线n⊥l
∵m⊥l,n⊥l,α⊥β
∴由两平面垂直的定义,有m⊥n
又m⊥l,n,l∈β
∴由线面垂直的判定定理,l⊥β