⑴定义(反证法)

⑵判定定理:

⑶b⊥α，a∥ba⊥α （线面垂直性质定理）

⑷α∥β，a⊥βa⊥α（面面平行性质定理）

⑸α⊥β，α∩β=l，a⊥l，a β a⊥α（面面垂直性质定理）