VIII. - PLANS PERPENDICULAIRES

THÉORÈME

557. Lorsque deux plans IP et Q sont perpendiculaires l'un à l'autre, toute droite AB, menée dans le premier plan IP per^ pendiculai rement à l'intersection commune CD, est perpendi" culaire à Vautre plan Q [Jig* 3o3).

En effet, les deux plans P et Q étant perpendiculaires l'un à l'autre, l'angle plan correspondant à l'angle dièdre PCDQ doit être droit; or on forme cet angle plan ABE en élevant.