Définition 4
Un plan
![$Q$](img17.gif)
est perpendiculaire à un plan
![$P$](img10.gif)
(
![$Q \perp P$](img35.gif)
), si il
existe une droite de
![$Q$](img17.gif)
orthogonale à
![$P$](img10.gif)
. (Dans ce cas on a
aussi
![$P \perp Q$](img36.gif)
).
Théorème 12
Si
![$P$](img10.gif)
et
![$P'$](img23.gif)
, deux plans sécants, sont perpendiculaires à un même
plan
![$Q$](img17.gif)
, alors leur intersection est orthogonale à
![$Q$](img17.gif)
.
Théorème 13
Si
![$P \perp Q$](img36.gif)
, toute droite de l'un, qui est orthogonale à leur
intersection, est orthogonale à l'autre. (voir la figure de la
définition précédente)