ABD = ABE

ce qui est impossible [ax.9]. Par conséquent, BE ne peut être en ligne droite avecBC^ et le même raisonnement s'appliquera pareillement à toute autre droite différente de BD. Donc BC et BD sont le prolongement Tune de Tautre (") .

Si deux droites AB, CD (flg. i5) se coupent mutuellement y elles forment des angles opposés par le sommet égaux deux à deux, savoir CEA=DEB, et CEB = AED.

Fig. Ib.

On a, en effet [pr. i3],

CEA-hAED=2dr.5

et AED-l-DEB=2dr,

Donc |ax. i et 10]

CEA-f-AED=AED-hDEB;

par suite, en ôtant de part et d'autre AED [ax. 3],

CEA = DEB.

On démontrerait de même que CEB=AED.

(a) On peut f^ire sqr cette propositioo la même remarque que sur la précédente.

DES ÉLÉMENTS D'BUCLIDE. 2&

Si ron prolonge un côté BC d'tin triangle ABC (fig. i6), l'angle extérieur ACD est plus grand que chacun des angles intérieurs non adjacents CBk, BAC.

Partageons AC en deux parties égales au point E [pr. lo] ; joignons BE, et prolongeons cette droite d'une quantité EF=EB [pr. 3, note]. Joignons CF.

Puisque Ton a

AE=EC, BE=EF, et AEB=FEC[pr. iS],

il en résulte [pr. 4]

BAE=ECF.

Mais on a [ax. 9] ACD > ECF.

Par conséquent, ACD > BAE.

De même, en partageant BC en deux parties égales, et prolongeant AC vers G, on démontrera que BCG, c'est-à-dire ACD [pr. i5], est plus grand queCBA. '

Dans tout triangle ABC (ûg. 17), la somme de deux angles quelconqves ABC, ACB est moindre que deux angles droits. Prolongeons BC ver$ D. On a (pr, i6]