V. - DROITE ET PLAN PERPENDICULAIRES

DÉFINITIONS

512. On dit qu'une droite et un plan sont perpendiculaires l'un à l'autre, lorsque cette droite est perpendiculaire (496) à toutes les droites du plan.

513. Il résulte de cette définition que deux droites parallèles ont leurs plans perpendiculaires communs. En d'autres termes, si une droite AB est perpendiculaire à un plan P, toute