OC = OE

28 GÉOMÉTRIE DANS l'eSPACE.

2° Prolongeons la perpendiculaire 01 d'une quantité I0'-= 01, et menons les droites O'C, O'D.

Les droites OC et O'C sont égales (i°) comme obliques s'écarlant également du pied de la perpendiculaire CI menée de C sur 00'; on a de même OD = O'D. Or le triangle ODO' donne

00'< OC 4- O'C < OD -f- O'D;

d'où, en prenant les moitiés,