IT H ^^G B

Prenons, au delà de AB par rapport à C, un point quelconque D; dëcrivons, du centre C, avec le rayon CD, le cercle EFG; partageons EG en deux parties égales au point H [pr. 10], et menons GH : cette ligne GH sera perpendiculaire sur AB.

Gar, en menant GE, GG, on a EH = HG, GH commun, et [déf. 15] EG== GG. Donc [pr. 8]

EHG = GHG.

Donc [déf. 10] GH est perpendiculaire sur AB.

Les angles adjacents ABD, ABG (Jig» i3), que forme une droite AB avec une autre droite GD, à laquelle elle se termine.

sont : 1° tous les deux droits, ou bien 2° leur somme est égale à deux angles droits.

DES ÉLÉMENTS D'BUGLIDE. 25

1° Si ces angles sont égaux entre eux, ils sont tous les deux droits [déf. 10].

2^ S41s sont inégaux, comme ABC, ABD, élevons sur DC, au

point B, la perpendiculaire BE [pr. 11]. Alors CBE, EBD seront

deux angles droits [déf. 10].

Puisque

CBE = CBA -h ABE,

on a, en ajoutant de part et d'autre EBD [ax. 2],

CBE -f- EBD = CBA -h ABE -+- EBD.

De même, puisque

ABD = DBE -h EBA,

on a, en ajoutant de part et d'autre CBA,

ABD + CBA= DBE + EBA+ CBA.

Par conséquent [ax. 1],

ABD + CBA= CBE-j- EBD

c'est-à-dire que l'on a

ABD + CBA= 2droits(*).

PROPOsrrioN i4.

Si en un point B d'une droite AB (fig* i4)) deux droites BC, BD font avec la première AB, et de côtés différents de AB, des

angles adjacents ABC, ABD, dont la somme soit égale à deux

( 1 ) On peut s'étonner qu'Ëaclide ait employé un si grand appareil de logique pour prouver que l'angle CBD, formé par les deux directions BD, BC, est égal à la somme de ses deux parties, égales ou inégales, et surtout qu'il ait donné aussi tard une proposition qui aurait dû venir une des premières de ce Livre, comme nous l'avons déjà fait remarquer dans la note sur la proposition 5, page 19.

angles droits^ ces deux droites BCj BD seront le prolongement V une de Vautre.

En effet, si BD n'est pas le prolongement de BC, soit BE ce prolongement. On aura alors [pr. 13]

GBA + ABE=i 2 droits.

Mais on a, par hypothèse,

CBA + ABD= adroits.

Donc [ax. 1 et 10]