Si une droite AB est perpendiculaire à un plan MN et
que par cette droite on mène un plan quelconque PQ, ce plan sera perpendiculaire au premier.
Par le pied B de la perpendiculaire, menons dans le plan MN la droite CD perpendiculaire à l’intersection QR des deux plans. Les angles ABC, ABD, seront
droits ; mais ces angles plans correspondent aux angles diè-