Quand un plan FQ fait avec un même plan MN, du même

côté de celui-ci, deux angles adjacents égaux, ce plan PQ est perpendiculaire au plan MN et les angles dièdres QPAM, QAPN, sont les angles dièdres droits.

Les angles dièdres adjacents ou opposés par Tarête jouissent de propriétés analogues à celles des angles rectilignes adjacents ou opposés par le sommet.

Par exemple, la somme de deux angles dièdres adjacents est égale à deux droits.

Si un plan PQ est perpendiculaire au plan MN, réciproquement le plan MN est perpendiculaire au plan PQ.

Les angles dièdres opposés par l'arête sont égaux entre eux. Toutes ces propositions se démontrent comme les théorèmes analogues du 1*' livre. (V. les Exercices suivants.)

Mesure des angles dièdres.

259. Pour mesurer des angles dièdres, on s'appuie sur des propositions que nous allons exposer.