平面与平面垂直的性质定理

自然语言：两个平面垂直，则一个平面内垂直于交线的直线与另一个平面垂直．

图形语言：如图所示．

符号语言：α⊥β，α∩β=CD，AB⊂α，AB⊥CD ⇒AB⊥β．