OC=:OE

2^ Prolongeons (^g^. 32 ) la perpendiculaire 01 d'une quan tilé IO'=OI, et menons les droites O'C, O'D.

Fig. 3a.

Les droites OC ei O'C sont égales (i") comme obliques s'écartant é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 (28, 31)

00'<0C -h O'C < OD -h O'D,

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