4. Свойства перпендикулярных плоскостей

Свойство 1: Если две плоскости перпендикулярны, то прямая, лежащая в одной из них и перпендикулярная линии их пересечения, перпендикулярна другой плоскости.

Формулировка: αβαβ=caαac ⇒ aβ.

Применение: Это свойство часто используется при доказательствах и построениях.

Свойство 2: Если две плоскости перпендикулярны и через точку одной из них проведена прямая, перпендикулярная другой плоскости, то эта прямая лежит в первой плоскости.

Формулировка: αβAαaβAa ⇒ aα.