:Soit dans un plan P deux droites d<sub>1</sub> et d<sub>2</sub> sécantes en A. Si une droite Δ est perpendiculaire en A à la fois à d<sub>1</sub> et d<sub>2</sub> alors Δ et perpendiculaire au plan P; c'est la perpendiculaire en A au plan P.
:Si une droite est perpendiculaire à un plan en un point A, alors elle est perpendiculaire à toutes les droites de ce plan qui passent par A; elle est orthogonale à toutes les droites du plan.
Si une droite Δ est perpendiculaire en A à la fois à d<sub>1</sub> et d<sub>2</sub> alors Δ et '''perpendiculaire''' au plan P; c'est la perpendiculaire en A au plan P.
Si une droite est perpendiculaire à un plan en un point A, alors elle est perpendiculaire à toutes les droites de ce plan qui passent par A; elle est '''orthogonale''' à toutes les droites du plan.
En raison de limitations techniques, la typographie souhaitable du titre, « : Orthogonalité dans l'espace Géométrie dans l'espace/Orthogonalité dans l'espace », n'a pu être restituée correctement ci-dessus.
Droite perpendiculaire à un plan
Soit dans un plan P deux droites d1 et d2 sécantes en A.
Si une droite Δ est perpendiculaire en A à la fois à d1 et d2 alors Δ et perpendiculaire au plan P; c'est la perpendiculaire en A au plan P.
Début d’un théorème
Théorème
Si une droite est perpendiculaire à un plan en un point A, alors elle est perpendiculaire à toutes les droites de ce plan qui passent par A; elle est orthogonale à toutes les droites du plan.
