如果两个平面互相垂直，那么在一个平面内垂直于它们的交线的直线也垂直于另一个平面。符号表示为：如果α⊥β，α∩β=l，a?β，a⊥l，那么a⊥α。平面与平面垂直的定理：两个平面垂直，则一个平面内垂直于交线的直线与另一个平面垂直。