OC = OE

20 Prolongeons la perpendiculaire 01 d’une quantité 10' = 01, et menons les droites O'C, O'D.

Les droites OC et 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 (39)

00' < OC -f- O'C < OD H- O'D, d’où, eu prenant les moitiés,

Si l’on considérait deux obliques OD et OE situées de côtés différents par rapport à la perpendiculaire 01, on commencerait par prendre sur IA une longueur IC égale à IE; les obliques OC et OE seraient alors égales comme s’écartant également du pied de la perpendiculaire. Or, si IE est moindre que ID, IC le sera aussi; et, d’après l’alinéa précédent, l’oblique OC sera moindre que l’oblique OD. On aura donc encore