# Перпендикулярные плоскости

## Определение

$$\alpha \perp \beta \iff \angle(\alpha, \beta)=90^{\circ}$$.

## Свойства

1. $$\alpha\perp \beta,\~a=\alpha\cap \beta,\~b\subset \alpha,\~b\perp a \implies b\perp \beta$$.

## Признаки

1. $$\alpha\perp\beta \impliedby a\subset \alpha,\~a\perp \beta$$.
