LES LMENTS

DE

GOMTRIE

D'EUCLIDE,
traduits littralement, et suivis d'un Trait du
Cercle,
du Cylindre, du Cne et de la Sphre;
de la mesure des Surfaces et des Solides ; avec des
Notes ;
Par F. PEYRARD,
Bibliothcaire
de l'cole Polytechnique.
OUVRAGE APPROUV PAR L'INSTITUT
NATIONAL.
Et nova sunt semper.
OVIDE,...

A PARIS,
CHEZ F. LOUIS, LIBRAIRE, RUE
DE SAVOIE, N 12.

LMENTS
DE
GOMTRIE
D'EUCLIDE.

1. Le point est ce qui n'a aucune partie.

2. La ligne est une longueur sans largeur.
3. Les extrmits d'une ligne sont des points.
4. La ligne droite est celle qui est galement place entre ses points.
5. Une superficie est ce qui a longueur et largeur seulement.
6. Les extrmits d'une superficie sont des lignes.
7. Une superficie plane est celle qui est galement place entre ses lignes droites.
8. Un angle plan est l'inclinaison mutuelle de deux lignes qui se louchent dans un plan et qui ne sont point places dans
la mme direction.
9. Lorsque des lignes droites comprennent un angle, l'angle s'appelle rectiligne.

10. Lorsqu'une droite tombant sur une droite fait les angles de suite gaux entre eux, chacun des angles gaux est droit.
La droite tombante est dite perpendiculaire sur celle sur laquelle elle tombe.
11. L'angle obtus est celui qui est plus grand que l'angle droit.
12. L'angle aigu est celui qui est plus petit que l'angle droit.
13. On appelle terme ou limite ce qui est l'extrmit de quelque chose.
14. On appelle figure ce qui est compris entre une ou plusieurs limites.
15. Le cercle est une figure plane comprise dans une seule ligne qu'on appelle circonfrence ; toutes les droites menes
la circonfrence d'un seul point de ceux qui sont placs dans la figure, sont gales entre elles.
16. Ce point se nomme le centre du cercle.
17. Le diamtre du cercle est une droite mene par le centre et termine de part et d'autre par la circonfrence du cercle
; le diamtre partage le cercle en deux parties gales.
18. Un demi-cercle est une figure comprise entre le diamtre et la portion de la circonfrence qui est sous-tendue par le
diamtre.
19. Un segment de cercle est une portion du cercle comprise entre une droite et la circonfrence du cercle.
20. Les figures rectilignes sont celles qui sont termines par des droites.
21. On appelle trilatres ou triangles les figures termines par trois droites.
22. Quadrilatres, celles qui sont termines par quatre.
23. Multilatres, celles qui sont termines par plus de quatre droites.
24. Parmi les figures trilatres, celle qui est termine par trois cts gaux se nomme triangle quilatral.
25 Celle qui a seulement deux cts gaux se nomme triangle isocle.
26. Celle dont tous les cts sont ingaux se nomme triangle scalne.
27. Parmi les figures trilatres, celle qui a un angle droit se nomme triangle rectangle.
28, Celle qui a un angle obtus se nomme triangle amblygone ou triangle obtusangle.
29. Celle qui a ses trois angles aigus, triangle oxygone ou triangle acutangle.
30. Parmi les figures quadrilatres, celle qui a ses cts gaux et ses angles droits, se nomme carr.
31. Celle qui a ses angles droits, mais qui n'a pas ses cts gaux, se nomme carr oblong ou rectangle.
32. Celle qui a ses cts gaux, mais qui n'a pas ses angles droits, se, nomme rhombe.
33. Celle dont les cts et les angles opposs sont gaux, mais dont tous les cts ne sont pas gaux et dont les angles
ne sont pas droits, se nomme rhombode.

34. Les autres quadrilatres, ceux-l excepts, se nomment trapzes.

35. Enfin, les parallles sont des droites qui, tant places sur un mme plan, et qui tant prolonges de part et d'autre
l'infini, ne se rencontrent nulle part.

1. Conduire une droite d'un point quelconque un point quelconque.

2. Prolonger continuellement, selon sa di rection, une droite finie.
3. D'un point quelconque et avec un inter valle quelconque dcrire une circonfrence de cercle.
Notions communes ou axiomes.
1. Les quantits qui sont gales aune mme quantit sont gales entre elles.
2. Si des quantits gales on ajoute des quantits gales, les tous seront gaux.
3. Si de quantits gales on retranche des quantits gales, les restes seront gaux.
4. Si des quantits ingales on ajoute des quantits gales, les tous seront ingaux.
5. Si de quantits ingales on retranche des quantits gales, les restes seront ingaux.
6. Les quantits qui sont doubles d'une mme quantit sont gales entre elles.
7. Les quantits qui sont les moitis d'une mme quantit sont gales entre elles.
8. Les choses qui se conviennent mutuellement sont gales entre elles.
9. Le tout est plus grand que sa partie.
10. Tous les angles droits sont gaux.
11. Si une droite tombant sur deux droites fait les angles intrieurs du mme ct plus petits que deux droits, les deux
droites prolonges l'infini se rencontreront du ct o les angles sont plus petits que deux droits.
12. Deux droites ne renferment point un espace.

Sur une droite donne et finie, construire un triangle quilatral.

Soit AB (fig. 1) la droite donne et finie : il faut construire sur la droite AB un triangle quilatral.
Du centre A et avec un intervalle AB, dcrivez la circonfrence BCD (dem. 3); ensuite du centre B et avec l'intervalle
BA dcrivez la circonfrence ACE, et du point C, o les circonfrences se coupent mutuellement, conduisez aux points A,
B, les droites CA, CB (dem. 1).
Car puisque le point A est le centre du cercle CDB, la droite AC sera gale la droite AB (df. 15); de plus, puisque le
point B est le centre du cercle CAE, la droite BC sera gale la droite BA; mais il a t dmontr que la droite CA tait
gale la droite AB : donc chacune des droites CA, CB est gale la droite AB ; or les quantits qui sont gales une
mme quantit sont gales entre elles ; donc la droite CA est gale la droite CB : donc les trois droites CA, AB, BC sont
gales entre elles.
Donc le triangle ABC (df. 24) est quilatral, et de plus il est construit sur la ligne donne et finie AB; ce qu'il fallait
faire.

D'un point donn conduire une droite gale une droite donne.

Soit A (fig. 2) le point donn et BC la droite donne : il faut conduire du point A une droite gale la droite BC.
Conduisez du point A au point B la droite AB (dem. 1) ; sur cette droite construisez le triangle quilatral DAB (prop.
1), et prolongez les droites AE, BF dans la direction des cts DA, DB ; du centre B et avec l'intervalle BC, dcrivez la
circonfrence CGH (dem. 5); et du centre D et avec l'intervalle DG dcrivez ensuite la circonfrence GKL.
En effet, puisque le point B est le centre du cercle CGH, la droite BG sera gale la droite BG (df. 15) ; de plus,
puisque le point D est le centre du cercle GKL, la droite DL sera gale la droite DG ; mais la droite DA est gale la
droite DB : donc la droite AL sera gale la droite BG (axiome 3) ; mais il a t dmontr que la droite BC est gale la
droite BG : donc les droites AL, BC sont gales chacune la droite BG. Mais les quantits qui sont gales une mme
quantit sont gales entre elles : donc la droite AL est gale la droite BC.
Donc du point donn B on a conduit une droite AL gale la ligne donne BC; ce qu'il fallait faire.

Deux droites ingales tant donnes, retrancher de la plus grande une droite gale la plus petite.

Soient AB et C (fig. 3) les deux droites ingales donnes dont la plus grande soit AB : il faut de la plus grande AB
retrancher une droite qui soit gale la plus petite C.
Du point A conduisez une droite AD gale la droite C (prop. 2), et du centre A et avec un intervalle AD dcrivez la
circonfrence DEF (dem. 3).
Puisque le point A est le centre du cercle DEF, la droite AE sera gale la droite AD ; mais la droite C est gale la
droite AD : donc les deux droites AE, C sont gales chacune la droite AD : donc la droite AE est gale la droite C.
Donc les deux droites ingales AB, C ayant t donnes, il a t retranch de la plus grande AB une droite AE gale
la plus petite C ; ce qu'il fallait faire.

Si deux cts d'un triangle sont gaux deux cts d'un autre triangle chacun chacun, et si langle compris entre les
cts gaux est gal dans les deux triangles, la base de l'un sera gale la base de l'autre; ces deux triangles seront gaux,
et les autres angles compris entre les cts gaux de ces deux triangles seront aussi gaux entre eux.

Soient les deux triangles ABC, DEF (fig. 4) dont les deux cts AB, AC sont gaux aux deux cts DE, DF chacun
chacun, savoir, le ct AB gal au ct DE, et le ct AC au ct DF ; que l'angle BAC soit aussi gal l'angle EDF : je dis
que la base BC est gale la base EF, que le triangle ABC est gal au triangle DEF, et que les autres angles compris entre
les cts gaux de ces deux triangles sont aussi gaux chacun chacun; l'angle ABC gal l'angle DEF, et l'angle ACB gal
l'angle DFE.
Car si le triangle ABC est appliqu sur le triangle DEF, le point A tant pos sur le point D, la droite AB sur la droite
DE, le point B tombera sur le point E, parce que la droite AB est gale la droite DE ; mais la droite AB s'appliquant
exactement sur la droite DE, la droite AG s'appliquera de mme exactement sur la droite DF, parce que l'angle BAC est
gal l'angle EDF ; le point C tombera sur le point F, parce que la ligne AC est gale la ligne DF ; mais le point B tombe
sur le point E : donc la base BC est gale la base EF, car si le point B tombant sur le point E, et le point C sur le point F, la
base BG ne s'applique pas exactement sur la base EF, il faut ncessairement que deux lignes droites comprennent un espace,
ce qui est impossible (axiome 12) ; donc la base BC s'appliquera exactement sur la base EF, et lui sera gale ; donc aussi le
triangle entier ABC s'appliquera exactement sur le triangle entier DEF et lui sera gale. Par consquent les autres angles de
l'un des triangles s'appliqueront exactement sur les autres angles de l'autre triangle et seront par consquent gaux aussi
entre eux ; c'est--dire l'angle ABC sera gal l'angle DEF, et l'angle ACB gal l'angle DFE.
Donc si deux cts d'un triangle sont gaux deux cts d'un autre triangle chacun chacun, et si langle compris entre
les cts gaux est gal dans les deux triangles, la base de l'un sera gale la base de l'autre ; ces deux triangles seront
gaux, et les autres angles compris entre les cts gaux des deux triangles seront aussi gaux entre eux ; ce qu'il fallait
dmontrer.

Dans les triangles isocles les angles placs sur la base sont gaux entre eux et les cts gaux tant prolongs, les
angles placs au-dessous de la base seront aussi gaux entre eux.

Soit le triangle isocle ABC (fig. 5) dont le ct AB est gal au ct AC; prolongez les droites AB, AC, vers D et vers
E (dem. 2) : je dis que l'angle ABC est gal l'angle ACB et que l'angle CBD est encore gal l'angle BCE.
Car prenons sur la droite BD un point quelconque F, et de la droite AE retranchons la droite AG gale la droite AF,
qui est plus petite que la droite AE (prop. 3), et conduisons les droites FC et GB.
Puisque la droite AF est gale la droite AG et la droite AB la droite AC, les deux droites FA, CA seront gales aux
deux droites GA, BA chacune chacune ; mais ces droites comprennent l'angle commun FAG: donc (prop. 4) la base FC
sera gale la base GB ; le triangle AFG sera gal au triangle AGB et les autres angles compris entre les cts gaux de ces
deux triangles seront aussi gaux entre eux, c'est--dire, l'angle ACF gal l'angle ABG, et l'angle AFC l'angle AGB ;
mais comme la droite AF est gale la droite AG et la droite AB la droite AC, la droite BF galera la droite CG (axiome
5), mais il a t dmontr que la droite FC est gale la droite GB : donc les deux droites BF, FC sont gales aux droites
CG, GB chacune chacune; mais l'angle BFC est gal l'angle CGB et la droite BC est la base commune de ces deux
triangles : donc le triangle BFC sera gal au triangle CGB et les autres angles compris entre les cts gaux de ces deux
triangles seront aussi gaux chacun chacun (prop. 4) donc l'angle FBC est gal l'angle GCB, et l'angle BCF gal aussi
l'angle CBG. Mais comme il a t dmontr que l'angle total ABG tait gal l'angle total ACF et que l'angle CBG tait
aussi gal l'angle BCF, l'angle restant ABC (axiome 3) et l'angle restant ACB placs sur la base seront gaux. Il a t
dmontr aussi que les angles FBC et GCB placs au-dessous de la base taient aussi gaux.
Donc dans les triangles isocles les angles placs sur la base sont gaux entre eux, et les cts gaux tant prolongs,
les angles placs au-dessous de la base seront aussi gaux entre eux; ce qu'il fallait dmontrer.

Si deux angles d'un triangle sont gaux entre eux, les cts opposs ces angles gaux seront aussi gaux entre eux.

Soit le triangle ABC (fig. 6) ayant l'angle ABC gal l'angle ACB : je dis que le ct AC est gal au ct AB.
Car si le ct AC n'est pas gal au ct AB, l'un d'eux sera plus grand que l'autre. Soit AB le plus grand ; retranchez de
AB qui est le plus grand ct (prop. 3) la droite DB gal au plus petit ct AC, et menez la droite DC.
Puisque la droite DB est gale la droite AC, et que la droite BG est le ct commun, les deux droites DB, BC sont,
gales aux deux droites AC, CB chacune chacune ; mais l'angle DBC est gal l'angle ACB : donc la base DC est gale
la base AB et le triangle ABC gal au triangle DCB ; c'est--dire que le plus grand est gal au plus petit : ce qui est absurde.
Donc la droite AB n'est pas plus grande que la droite AG, donc elle lui est gale.
Donc si deux angles d'un triangle sont gaux entre eux, les cts opposs aux angles gaux seront aussi gaux entre eux
; ce qu'il fallait dmontrer.

Ayant conduit par les extrmits d'une droite deux droites qui se rencontrent, il est impossible de mener des mmes
extrmits deux autres droites qui leur soient gales chacune chacune, si le point o se rencontrent les deux dernires
droites est plac du mme ct et sil n'est pas le mme que celui o se rencontrent les deux premires.

Supposons qu'il soit possible de conduire par les extrmits A, B de la droite AB (fig. 7), deux droites AD, DB gales
chacune chacune deux autres droites AC, CB conduites aussi par les mmes extrmits A, B et se rencontrant au point C
qui est plac du mme ct et qui n'est pas le mme que celui o se rencontrent les deux droites AD, DB, de manire que les
deux droites CA, DA partant de la mme extrmit A soient gales entre elles, et que les deux droites CB, DB partant de la
mme extrmit B soient aussi gales entre elles ; conduisez la droite CD.

Puis donc que la droite AC est gale la droite AD, l'angle ACD est gal l'angle ADG (prop. 5) ; d'o il suit que
langle ADC est plus grand que l'angle DCB, et que l'angle CDB est beaucoup plus grand que DCB; de plus puisque la
droite CB est gale la droite DB, l'angle CDB sera gal l'angle DCB; mais il a t dmontr qu'il est beaucoup plus
grand, ce qui est impossible.
Donc ayant conduit par les extrmits d'une droite deux droites qui se rencontrent, il est impossible de conduire par les
mmes extrmits deux autres droites qui leur soient gales chacune chacune, lorsque le point o se rencontrent ces deux
dernires droites est plac du mme ct et quil n'est pas le mme que celui o se rencontrent les deux premires ; ce qu'il
fallait dmontrer.

Si deux cts d'un triangle sont gaux deux cts d'un autre triangle, chacun chacun, et si la base de l'un est gale
la base de l'autre, langle compris entre les cts gaux est gal dans les deux triangles.

Soient les deux triangles ABC, DEF (fig. 8) ayant les deux cts AB, AC gaux aux cts DE, DF, chacun chacun,
c'est--dire le ct AB gal au ct DE, et le ct, AG gal au ct DF ; que la base BC soit aussi gale la base EF; je dis
que l'angle BAC est gal l'angle EDF.
Car si le triangle ABC est appliqu sur le triangle DEF, le point B sur le point E, et la droite BC sur la droite EF, le
point C tombera sur le point F, parce que la droite BC est gale la droite EF. La droite BC s'appliquant exactement sur la
droite EF, les droites BA, AC s'appliqueront exactement sur les droites DE, DF : car si la base BC s'appliquant exactement
sur la base EF, les cts BA, AC ne s'appliquaient pas exactement sur les cts DE, DF, et prenaient une autre position
comme EG, GF, il serait possible, aprs avoir conduit par les extrmits d'une droite deux droites qui se rencontrent, de
mener par les mmes extrmits deux autres droites qui leur seraient gales chacune chacune, lors mme que le point o
se rencontraient les deux dernires serait plac du mme ct et ne serait pas le mme que celui o se rencontrent les deux
premires ; mais cela est impossible (prop. 7) : donc la base BC s'appliquant exactement sur la base EF, il est impossible
que les cts AB, AC ne s'appliquent pas exactement sur les cts ED, DF : donc ils s'appliquent exactement les uns sur les

autres : donc l'angle BAC s'applique exactement sur l'angle EDF : donc il lui est gal.
Si donc deux cts d'un triangle sont gaux deux cts d'un autre triangle, chacun chacun, et si la base de l'un est
gale la base de l'autre, langle compris entre les cts gaux est gal dans les deux triangles ; ce qu'il fallait dmontrer.

Partager un angle rectiligne donn en deux parties gales.

Soit BAC (fig. 9) l'angle rectiligne donn: il faut le partager en deux parties gales.
Prenez sur la droite AB un point quelconque D, retranchez de la droite AC la droite AE gale la droite AD (prop. 3),
conduisez la droite DE, sur la droite DE construisez le triangle quilatral DEF (prop. 1), et conduisez la droite AF : je dis
que langle BAC est partag en deux parties gales par la droite AF.
Puisque la droite AD est gale la droite AE et que la droite AF est commune, les deux droites DA, AF seront gales
aux deux droites EA, AF, chacune chacune ; mais la base DF est gale la base EF : donc l'angle DAF est gal l'angle
EAF (prop. 8) : donc l'angle rectiligne donn BAC est partag en deux parties gales par la ligne AF ; ce qu'il fallait faire.

Partager une droite donne et finie en deux parties gales.

Soit AB (fig. 10) la droite donne et finie : il faut partager cette droite AB en deux parties gales.
Construisez sur cette ligne un triangle quilatral ABC (prop. 1), et partagez l'angle ACB en deux parties gales (prop.
9) ; je dis que la droite AB est partage en deux parties gales au point D.
Car puisque la droite AC est gale la droite CB, et que la droite CD est commune, les deux droites AC, CD sont
gales aux deux droites BC, CD, chacune chacune ; mais l'angle ACD est gal l'angle BCD : donc la base AD est gale
la base BD (prop. 4).
Donc la droite donne et finie AB est partage en deux parties gales au point D ; ce qu'il fallait faire.

Sur une droite donne et d'un point donn dans cette ligne, conduire une droite qui fasse deux angles droits avec la
droite donne.

Soit AB (fig. 11) la droite donne et C le point donn dans cette droite : il faut par le, point C conduire sur la droite AB
une droite qui fasse deux angles droits.
Prenez dans la ligne AC un point quelconque D, faites CE gale CD (prop. 3), construisez sur la droite DE un triangle
quilatral FDE (prop. 1), et menez la droite FG : je dis que la droite CF, conduite par le point C, sur la droite donne AB,
fait deux angles droits avec elle.
Car puisque la droite CD est gale la droite CE et que la droite FC est commune, les deux droites DC, CF sont gales

aux deux droites EC, CF, chacune chacune; mais la base DF est gale la base EF : donc l'angle DCF est gal l'angle
ECF (prop. 8). Or ces deux angles sont de suite ; mais quand une droite fait avec une autre les angles de suite gaux entre
eux, chacun des angles gaux est droit (df. 10) : donc chacun des angles DCF, FCE est droit.
Donc la droite FC, conduite par le point G sur la droite AB, fait deux angles droits avec la droite AB ; ce qu'il fallait
faire.

Sur une droite donne et indfinie et d'un point plac hors d'elle, mener une perpendiculaire.

Soit AB (fig. 12) la droite donne et indfinie, et C le point donn plac hors de cette droite : il faut sur cette droite
donne et indfinie AB, conduire du point donn C, pris hors de cette droite, une droite perpendiculaire.
Prenez de l'autre ct de la droite AB un point quelconque D, et du centre C et avec un intervalle CD dcrivez une
circonfrence EFG (dem. 3), partagez la droite EG en deux parties gales au point H (prop. 10), et conduisez les droites CG,
CH, CE : je dis que sur la droite indfinie AB et du point donn C plac hors de cette droite on a men une perpendiculaire
CH.
Car puisque la droite GH est gale la droite HE, et que la droite CH est commune, les deux droites GH, HC sont
gales aux deux droites EH, HC, chacune chacune ; mais la base CG est aussi gale la base CE (df. 15) : donc l'angle
GHG est gal l'angle EHC (prop. 8). Or ces deux angles sont de suite ; mais lorsqu'une droite tombant sur une droite fait
avec elle les angles de suite gaux entre eux, chacun de ces angles est droit, et la droite tombante est dite perpendiculaire
celle sur laquelle elle tombe.
Donc on a conduit une perpendiculaire CH sur la droite indfinie AB, du point donn C, qui est plac hors de cette
droite ; ce qu'il fallait faire.

Si une droite place sur une autre droite fait des angles, elle fera avec elle ou deux angles droits ou deux angles gaux
deux angles droits.

Qu'une droite quelconque AB (fig. 13) place sur une droite DC fasse les angles CBA, ABD : je dis que les angles
CBA, ABD ou seront droits ou gaux deux droits.
Car si l'angle CBA est gal l'angle ABD, ces deux angles seront droits (df. 10). Si le contraire arrive, du point B
conduisez la droite BE de manire qu'elle fasse deux angles droits avec la droite DC (prop. 11). Puisque l'angle CBE est
gal aux deux angles CBA, ABE, si on ajoute un angle commun EBD, les angles CBE, EBD seront gaux aux trois angles
CBA, ABE, EBD. De plus, comme l'angle DBA est gal aux deux angles DBE, EBA, si on ajoute un angle commun ABC,
les angles DBA, ABC seront gaux aux trois angles DBE, EBA, ABC ; or il a t dmontr que les angles CBE, EBD sont
aussi gaux ces trois angles : donc puisque les choses qui sont gales une mme chose sont gales entre elles, les angles
CBE, EBD seront gaux aux angles DBA, ABC; mais les angles CBE, EBD sont deux angles droits ; donc les angles DBA,
ABC sont gaux deux angles droits.
Donc si une droite place sur une autre droite forme des angles, elle fera ou deux angles droits ou deux angles gaux
deux droits; ce qu'il fallait dmontrer.

Si dans un point quelconque d'une ligne droite, deux droites places de diffrents cts font avec elle deux angles de
suite gaux deux droits, ces deux droites seront dans la mme direction, c'est--dire qu'elles ne formeront qu'une seule et
mme droite.

Que dans un point B (fig. 14) de la ligne droite B les deux droites BC, BD places de diffrents cts fassent avec elle
les angles de suite ABC, ABD gaux deux droits : je dis que la droite BD est dans la direction de la droite CB.
Car si la droite BD n'est point dans la direction de la droite BC, supposons que la droite BE soit dans la direction de la
droite BC (dem. 2).
Puis donc que la droite AB est place sur la droite CBE, les angles ABC, ABE seront gaux deux droits (prop. 13) ;
mais les angles ABC, ABD sont gaux deux droits par supposition : donc les angles CBA, ABE sont gaux, aux angles
CBA, ABD. Otez l'angle commun ABC, l'angle restant ABE sera gal l'angle restant ABD, c'est--dire que le plus petit
sera gal au plus, grand ; ce qui est impossible. La droite BE n'est donc pas dans la direction de la droite BC. Nous
dmontrerons de la mme manire qu'il n'y en a point d'autre qui soit dans la direction de BC, si ce n'est BD. Donc la droite
CB est dans la direction BD.
Donc si dans un point quelconque d'une ligne droite, deux droites places de diffrents cts font avec elle deux angles
de suite gaux deux droits, ces deux droits seront dans la mme direction ; ce qu'il fallait dmontrer.

Si deux droites se coupent mutuellement, elles font les angles au sommet gaux entre eux.

Que les deux droites AB, CD (fig. 15) se coupent mutuellement au point E : je dis que l'angle AEC est gal l'angle
DEB, et l'angle CEB gal l'angle AED,
Car puisque la droite AE est place sur la droite CD, faisant les deux angles CEA, AED, les angles CEA, AED sont
gaux deux droits (prop. 15). De plus, puisque la droite DE est place sur la droite AB ; faisant les deux angles AED,
DEB, les angles AED, DEB sont gaux deux droits (prop. 13). Mais il a t dmontr que les angles CEA, AED sont
gaux deux droits : donc les angles CE A, AED sont gaux aux angles AED, DEB. Retranchez l'angle commun AED,
l'angle restant CEA galera l'angle restant BED. On dmontrera de la mme manire que les angles CEB, DEA sont gaux
entre eux.
Donc si deux droites se coupent mutuellement, elles feront les angles au sommet gaux entre eux ; ce qu'il fallait
dmontrer.

De l il suit manifestement que quel que soit le nombre des lignes qui se coupent en un point, les angles au point de
section sont gaux quatre angles droits.

Ayant prolong un ct d'un triangle quelconque, l'angle extrieur est plus grand que chacun des angles intrieurs et
opposs.

Soit le triangle ABC (fig. 16), prolongez le ct BC jusqu'en D : je dis que l'angle extrieur ACD est plus grand que
chacun des angles intrieurs et opposs CBA, BAC.
Partagez la droite AC en deux parties gales en E (prop. 10) ; et aprs avoir conduit la droite BE, prolongez-la vers le

point F, faites la droite EF gale la droite BE (prop. 3), conduisez la droite FG et prolongez AC jusqu'en G.
Puisque la droite AE est gale la droite EC et la droite BE gale aussi la droite EF, les deux droites AE, EB seront
gales aux deux droites CE, EF ; chacune chacune ; l'angle AEB est gal l'angle FEC (prop. 15), puisqu'ils sont opposs
au sommet ; donc la base AB est gale la base FC (prop. 4) ; le triangle ABE est gal au triangle FEC, et les angles
opposs des cts gaux sont gaux chacun chacun : donc l'angle BAE est gal l'angle ECF (ax. 9) ; mais l'angle ECD
est plus grand que l'angle ECF : donc l'angle ACD est plus grand que langle BAE. Si on partage le ct BC en deux parties
gales, on dmontrera de la mme manire que l'angle BCG, c'est-si-dire l'angle ACD (prop. 15), est plus grand que l'angle
ABC.
Donc, ayant prolong un ct d'un triangle quelconque, l'angle extrieur est plus grand que chacun des angles intrieurs
et opposs ; ce qu'il fallait dmontrer.

Deux angles d'un triangle quelconque, de quelque manire qu'ils soient pris, sont moindres que deux droits.

Soit le triangle ABC (fig. 17) : je dis que deux angles du triangle ABC, de quelque manire qu'ils soient pris, sont
moindres que deux droits. Prolongez la droite BC jusqu'en D (dem. 2). L'angle extrieur ACD du triangle ABC est plus
grand que l'angle intrieur et oppos ABC (prop. 16). Donc si nous ajoutons un angle commun ACB, les angles ACD, ACB
seront plus grands que les angles ABC, BCA; mais les angles ACD, ACB sont gaux deux droits. (prop. 13) : donc les
angles ABC, BCA sont moindres que deux droits. On dmontrera de la mme manire que les angles BAC, ACB sont aussi
moindres que deux droits; on dmontrera encore la mme chose par rapport aux angles CAB, ABC.
Donc deux angles d'un triangle quelconque, de quelque manire qu'ils soient pris, sont moindres que deux angles droits,
ce qu'il fallait dmontrer.

Dans tout triangle, un plus grand ct est oppos un plus grand angle.

Soit le triangle ABC (fig. 18) ayant le ct AC plus grand que le ct AB : je dis que l'angle ABC est plus grand que
l'angle BCA.
Puisque le ct AC est plus grand que le ct AB, faites la droite AD gale au ct AB (prop. 3), et conduisez la ligne
BD.
L'angle ADB, qui est un angle extrieur du triangle BDC, est plus grand que l'angle intrieur et oppos DCB (prop. 16);
mais l'angle ADB est gal l'angle ABD (prop. 5), parce que le ct AB est gal au ct AD : donc l'angle ABD est plus
grand que langle ACB : donc l'angle ABC est beaucoup plus grand que l'angle ACB.
Donc dans un triangle quelconque, un plus grand ct est oppos un plus grand angle, ce qu'il fallait dmontrer.

Dans tout triangle, un plus grand angle est oppos un plus grand cot.

Soit le triangle ABC (fig. 19) ayant l'angle ABC plus grand que l'angle BCA : je dis que le ct AC est plus grand que
le ct AB.
Car s'il n'est pas plus grand, le ct AC est gal au ct AB, ou bien il est plus petit. Or le ct AC n'est pas gal au ct

AB, car alors l'angle ABC serait gal l'angle ACB (prop. 5) ; or l'angle ABC n'est point gal l'angle ACB : donc le ct
AC ne sera pas gal au ct AB. Le ct AC n'est pas plus petit que le ct AB, car alors l'angle ABC serait plus petit que
l'angle ACB (prop. 18); or l'angle ABC n'est pas plus petit que l'angle ACB ; donc le ct AC ne sera pas plus petit que le
ct AB. Mais il a t dmontr qu'il ne lui est pas gal : donc le ct AC est plus grand que le ct AB.
Donc dans un triangle quelconque, un plus grand angle est oppos un plus grand ct ; ce qu'il fallait dmontrer.

Deux cots d'un triangle quelconque, de quelque manire qu'ils soient pris sont plus grands que le ct restant.

Car soit le triangle ABC (fig. 20) : je dis que deux cts du triangle ABC, de quelque manire qu'ils soient pris, sont
plus grands que le ct restant ; c'est--dire que les cts BA, AC sont plus grands que le ct BC ; les cts AB, BC plus
grands que le ct AC, et les cts BC, CA plus grands que le ct AB.
Prolongez le ct AB vers le point D, faites la droite DA gale la droite CA (prop. 3), et conduisez la droite DC.
Puisque la droite DA est gale la droite AC, l'angle ADC sera gal l'angle ACD (prop. 5) ; mais l'angle BCD est
plus grand que l'angle ACD (ax. 9) ; donc l'angle BCD est plus grand que langle ADC : donc, puisque dans le triangle
DCB, l'angle BCD est plus grand que l'angle BDC, et qu'un plus grand ct est oppos un plus grand angle (prop. 19), le
ct DB sera plus grand que le ct BC ; mais la droite DB est gale aux cts AB, AC; donc les cts AB, AC sont plus
grands que le ct BC. Nous dmontrerons de la mme manire que les cts AB, BC sont plus grands que le ct CA, et
les cts BC, CA plus grands que le ct AB.
Donc deux cts d'un triangle quelconque, de quelque manire qu'ils soient pris, sont plus grands que le ct restant ; ce
qu'il fallait dmontrer.

Si des extrmits d'un ct d'un triangle on mne deux droites qui se rencontrent dans ce triangle, ces deux droites
seront plus courtes que les deux autres cots du triangle, mais elles comprendront un angle plus grand.

Des extrmits B, C (fig. 21) du ct BC, menez en dedans du triangle ABC les deux droites BD, DC : je dis que les
droites BD, DC seront plus petites que les deux autres cts BA, AC du triangle ABC, et quelles comprendront un angle
BDC plus grand que l'angle BAC.
Prolongez la droite BD jusqu'au point E.
Puisque deux cts d'un triangle quelconque sont plus grands que le ct restant (prop. 20), les deux cts AB, AE du
triangle ABE sont plus grands que le ct BE. Donc si nous ajoutons une droite commune EC, les cts BA, AG seront plus
grands que les droites BE, EG. De plus, puisque les deux cts CE, ED du triangle CED sont plus grands que le ct CD, si
nous ajoutons une droite commune DB, les droites CE, EB seront plus grandes que les droites CD, DB ; mais on a dmontr
que les cts BA, AC sont plus grands que les droites BE, EC : donc les cts BA, AC sont beaucoup plus grands que les
cts BD, DC.
Mais comme un angle extrieur d'un triangle quelconque est plus grand qu'un des angles intrieurs et opposs (prop.
16), l'angle BDC, qui est un angle extrieur du triangle CDE, est plus grand que l'angle CED. Par la mme raison l'angle
CEB, qui est un angle extrieur du triangle ABE, est plus grand que l'angle BAC ; mais il a t dmontr que l'angle BDG
est plus grand que l'angle CEB : donc l'angle BDC est beaucoup plus grand que l'angle BAC.
Donc si des extrmits d'un ct d'un triangle quelconque on mne deux droites qui se rencontrent dans ce triangle, ces
deux droites seront plus petites que les deux autres cts du triangle, et elles comprendront un plus grand angle ; ce qu'il
fallait dmontrer.

Avec trois droites gales trois droites donnes construire un triangle ; il faut que deux de ces trois droites, de quelque
manire qu'elles soient prises, soient plus grandes que la troisime.

Soient donnes les trois droites A, B, C (fig. 22), dont deux, de quelque manire qu'on les prenne, soient plus grandes
que la troisime ; c'est--dire les droites A, B plus grandes que la droite C, les droites A et C plus grandes que B, et enfin les
droites B et C plus grandes que A : il faut avec trois droites gales aux droites A, B, C construire un triangle.
Supposons la droite DE termine en D et indfinie vers E ; faites la droite DF gale la droite A (prop. 3), la droite FG
gale la droite B et la droite GH gale la droite C ; ensuite du centre F et avec l'intervalle FD, dcrivez la circonfrence
DKL (dem. 5), du centre G avec l'intervalle GH dcrivez la circonfrence KLH, et conduisez les droites KF, KG : je dis que
le triangle KFG est construit avec trois droites gales aux droites A, B, C.
Car puisque le point F est le centre du cercle DKL, la droite FK est gale la droite FD (df. 15) ; mais la droite FD est
gale la droite A : donc la droite KF gale la droite A. De plus, puisque le point G est le centre du cercle LKH, la droite
GH est gale la droite GR; mais la droite GH est gale la droite C : donc la droite KG gale la droite C ; or la droite KG
est gale la droite B : donc les trois droites KF, FG, GK galent les trois droites A, B, C. Donc le triangle KFG a t
construit avec trois droites KF, FG, GK qui sont gales aux trois droites donnes A, B, C ; ce qu'il fallait faire.

Sur une droite donne et un point donn dans cette droite, construire un angle gal un angle donn.

Soit AB (fig. 23) la droite donne et A le point donn dans cette droite; que DCE soit l'angle donn : il faut sur la droite
donne AB et au point donn A construire un angle rectiligne gal l'angle rectiligne donn DCE.
Soient pris dans Tune et l'autre ligne CD, CE deux points quelconque D, E ; conduisez la droite DE, et avec trois
droites gales aux droites CD, DE, CE, construisez le triangle AFG (prop. 22), de manire que la droite CD soit gale la
droite AF, la droite CE gale la droite AG, et la droite DE gale la droite FG.
Puisque les deux droites DC, CE sont gales aux deux droites FA, AG, chacune chacune, et que la base DE est gale
la base FG, l'angle DCE sera gal l'angle FAG (prop. 8).
Donc l'angle rectiligne FAG a t construit gal l'angle rectiligne DCE sur la droite donne AB, et au point donn A
dans cette droite.

Si deux triangles ont deux cts gaux deux cts, chacun chacun, et si l'un des angles compris entre ces cts
gaux est plus grand que l'autre, la base de l'un de ces triangles sera aussi plus grande que la base de l'autre.

Soient les deux triangles ABC, DEF (fig. 24) dont les deux cts AB, AC sont gaux aux deux cts. DE, DF, chacun
chacun, c'est--dire le ct AB gal au ct DE et le ct AG au ct DF ; que l'angle BAC soit plus grand que l'angle EDF
: je dis que la bas BC est plus grande que la base EF.
Car puisque l'angle BAC est plus grand que l'angle EDF, construisez sur la droite DE et au point D un angle EDG gal
l'angle BAC (prop. 25) ; faites la droite DG gale l'une ou l'autre des droites AC, DF (prop. 3), et conduisez les droites
GE, FG.
Puisque la droite AB est gale la droite DE, et la droite AC gale la droite DG, les deux droites BA, AC seront
gales aux deux droites ED, DG, chacune chacune ; mais l'angle BAC est gal par construction l'angle EDG: donc la
base BC sera gale la base EG (prop. 4). De plus, puisque la droite DG est gale la droite DF, et l'angle DFG sera gal
l'angle DGF (prop. 5), donc l'angle DFG sera plus grand que l'angle EGF : donc l'angle EFG sera beaucoup plus grand que
l'angle EGF ; mais puisque l'angle EFG du triangle EFG est plus grand que l'angle EGF, et qu'un angle plus grand est
oppos un ct plus grand (prop. 19), le ct EG est plus grand que le ct EF; mais le ct EG est gal au ct BC par
construction : donc le ct BC est plus grand que le ct EF.
Donc si deux triangles ont deux cts gaux deux cts, chacun chacun, et si l'un des angles compris entre ces cts
gaux est plus grand que l'autre, la base de l'un de ces triangles sera plus grande que la base de l'autre.

Si deux triangles ont deux cts gaux chacun chacun, et si la base de l'un est plus grande que la base de l'autre, ils
auront aussi les angles compris entre les cts gaux plus grands l'un que l'autre.

Soient ABC, DEF (fig. 25) deux triangles qui aient les deux cts AB, AC gaux aux deux cts DE, DF, chacun
chacun, c'est--dire le ct AB gal au ct DE, et le ct AC gal au ct DF; que la base BC soit plus grande que la base

EF : je dis que l'angle BAC est plus grand que EDF.

Car si l'angle BAC n'est pas plus grand que l'angle EDF, il lui est gal, ou il est plus petit ; or l'angle BAC n'est pas gal
l'angle EDF, car alors la base B C serait gale la base EF (prop. 4) ; niais elle ne lui est pas gale ; donc l'angle BAC
n'est pas gal l'angle EDF. L'angle BAC n'est pas plus petit que l'angle EDF, car s'il tait plus petit, la base BC serait plus
petite que la base EF (prop. 24) ; or elle nest pas plus petite : donc l'angle BAC n'est pas plus petit que l'angle EDF. Mais il
a t dmontr qu'il ne lui est pas gal : donc l'angle BAC est plus grand que l'angle EDF.
Donc si deux triangles ont deux cts gaux, chacun chacun, et si la base de l'un est plus grande que la base de l'autre,
ils auront aussi les angles compris entre les cts gaux plus grands l'un que l'autre ; ce qu'il fallait dmontrer.

Si deux triangles ont deux angles gaux, chacun chacun, s'ils ont de plus un cot gal un ct, ou celui qui est
adjacent aux angles gaux ou celui qui est oppos un des angles gaux, ils auront les autres cts gaux, chacun
chacun, et le troisime angle de l'un sera encore gal au troisime angle de lautre.

Soient ABC, DEF (fig. 26) deux triangles qui aient les deux angles ABC, BCA gaux aux deux angles DEF, EFD,
chacun chacun, c'est--dire l'angle ABC gal l'angle DEF et l'angle BCA gal l'angle EFD ; que ces deux triangles
aient aussi un ct gal un ct, et d'abord celui qui est adjacent aux angles gaux, c'est--dire le ct BC gal au ct EF :
je dis qu'ils auront les autres cts gaux aux autres cts, chacun chacun, c'est--dire le ct AB gal au ct DE, et le
ct AC gal au ct DF; je dis de plus que l'angle BAC sera encore gal l'angle EDF.
Car si le ct AB n'est pas gal au ct DE, l'un de ces cts sera plus grand que l'autre. Soit AB le plus grand ct ;
faites la droite GB gale au ct DE (prop. 3), et conduisez la droite GC.
Puisque le ct BG est gal au ct DE, et le ct BC gal au ct EF, les deux cts BG, BC sont gaux aux deux
cts DE, EF, chacun chacun ; mais l'angle GBC est gal l'angle DEF : donc la base GC est gale la base DF (prop. 4);
le triangle GCB est gal au triangle DEF, et les autres angles qui sont opposs des cts gaux sont aussi gaux entre eux :

donc l'angle GCB est gal l'angle DFE ; mais l'angle DFE est suppos gal l'angle BCA : donc l'angle BCG est gal
l'angle BCA, c'est--dire que le plus petit est gal au plus grand, ce qui est impossible : donc les cts AB et DE ne sont pas
ingaux : donc ils sont gaux ; ruais le ct BG est gal au ct EF : donc les deux cts AB, BC sont gaux aux deux cts
DE, EF, chacun chacun; mais l'angle ABC est gal l'angle DEF : donc la base AC est gale la base DF (prop. 4), et le
troisime angle BAC est gal au troisime angle EDF.
Supposons prsent que les cts qui sont opposs aux angles gaux soient gaux, c'est--dire le ct AB gal au ct
DE : je dis que les autres cts de l'un de ces triangles sont encore gaux aux autres cts de l'autre triangle; c'est--dire que
le ct AC sera gal au ct DF, le ct BC gal au ct EF, et le troisime BAC gal aussi au troisime angle EDF.
Car si le ct BC n'est pas gal au ct EF, l'un de ces cts sera plus grand que l'autre. Supposons s'il est possible que
BC soit le plus grand ; faites BH gal au ct EF (prop. 3), et conduisez la droite AH.
Puisque le ct BH est gal au ct EF et le ct AB gal au ct DE, les deux cts AB, BH seront gaux aux deux
cts DE, EF, chacun chacun ; mais ces cts comprennent des angles gaux : donc la base AH est gale la base DF
(prop. 4) 5 le triangle ABH est gal au triangle DEF, et les autres angles qui sont opposs des cts gaux seront aussi
gaux, chacun chacun : donc l'angle BHA est gal l'angle EFD; mais par supposition l'angle EFD est gal l'angle BGA
: donc l'angle BHA est gal l'angle BCA, c'est--dire que l'angle extrieur BHA du triangle ACH est gal l'angle BCA
intrieur et oppos ; ce qui est impossible (prop. 16) : donc les cts BG et EF ne sont pas ingaux : donc ils sont gaux.
Mais le ct AB est gal au ct DE : donc les deux cts AB, BC sont gaux aux deux cts DE, EF, chacun chacun ;
mais ces cts comprennent des angles gaux : donc la base AC est gale la base DF (prop. 4) ; le triangle ABC est gal
au triangle DEF, et le troisime angle BAC gal aussi un troisime angle EDF.
Donc si deux triangles ont deux angles gaux, chacun chacun, et un ct quelconque gal un ct, ou celui qui est
adjacent aux angles gaux, ou celui qui est oppos un des angles gaux, les autres cts sont gaux aux autres cts,
chacun chacun, et ces deux triangles auront un troisime angle gal un troisime angle ; ce qu'il fallait dmontrer.

Si une droite tombant sur deux autres droites fait les angles alternes gaux entre eux, ces deux droites seront
parallles.

Que la droite EF (fig. 27) tombant sur les deux droites AB, CD fasse les angles alternes AEF, EFD gaux entre eux : je
dis que la droite AB est parallle la droite CD.
Car si elle ne lui est pas parallle, les droites AB, CD tant prolonges se rencontreront ou du ct BD ou du ct AC.
Prolongez ces droites, et supposons qu'elles se rencontrent du ct BD au point G.
L'angle AEF, qui est hors du triangle EGF, est plus grand que l'angle intrieur et oppos EFG (prop. 16) ; mais par
supposition il lui est gal, ce qui est impossible : donc les droites AB, CD prolonges du ct BD ne se rencontreront point.
On dmontrerait de la mme manire qu'elles ne se rencontreront pas non plus du ct AC ; or les droites qui ne se
rencontrent d'aucun ct sont parallles (df. 25) : donc la droite AB est parallle la droite CD.
Donc si une droite tombant sur deux autres droites fait les angles alternes gaux entre eux, ces deux droites seront
parallles ; ce qu'il fallait dmontrer.

Si une droite tombant sur deux autres droites fait un angle extrieur gal un angle intrieur oppos et plac du mme
ct, ou bien si elle fait les angles intrieurs et placs du mme ct gaux deux droits, ces deux droites seront parallles.

Que la droite EF (fig. 28) tombant sur les deux droites AB, CD fasse l'angle extrieur EGB gal l'angle intrieur
oppos et plac du mme ct GHD, ou bien les angles intrieurs et placs du mme ct BGH, GHD gaux deux droits :
je dis que la droite AB est parallle la droite CD.
Car puisque l'angle EGB est gal l'angle GHD, et que l'angle EGB est gal l'angle AGH (prop. 15), l'angle AGH
sera gal l'angle GHD; mais ces angles sont alternes: donc la droite AB est parallle la droite CD (prop. 27).
De plus, puisque les angles BGH, GHD sont gaux deux droits, et que les angles AGH, BGH sont encore gaux
deux droits (prop. 13), les angles AGH, BGH seront gaux aux angles BGH, GHD. Donc si nous retranchons l'angle
commun BGH, l'angle restant AGH sera gal l'angle restant GHD; mais ces deux angles sont alternes : donc la droite AB
est parallle la droite CD (prop. 27).
Donc si une droite tombant sur deux autres droites fait un angle extrieur gal un angle intrieur oppos et plac du
mme ct, ou si elle fait les angles intrieurs et placs du mme ct gaux deux droits, ces droites seront parallles ; ce
qu'il fallait dmontrer.

Si une droite tombe sur deux parallles, les angles alternes sont gaux entre eux, l'angle extrieur est gal l'angle
intrieur oppos et plac du mme ct, et les angles intrieurs placs du mme ct sont gaux deux droits.

Si la droite EF (fig. 28) tombe sur les parallles AB, CD, je dis que les angles alternes AGH, GHD seront gaux entre
eux, l'angle extrieur EGB sera gal l'angle intrieur oppos et plac du mme ct GHD, et les angles intrieurs et placs
du mme ct BGH, GHD seront gaux deux droits.
Car si l'angle AGH n'est pas gal l'angle GHD, l'un de ces angles sera plus grand. Que l'angle AGH soit le plus grand;
puisque l'angle AGH est plus grand que l'angle GHD, si on leur ajoute un angle commun BGH, les angles AGH, BGH
seront plus grands que les angles BGH, GHD ; mais les angles AGH, BGH sont gaux deux droits (prop. 13) : donc les
angles BGH, GHD sont moindres que deux droits ; mais deux droites tant prolonges l'infini du ct o les angles
intrieurs sont plus petits que deux droits se rencontrent entre elles (ax. 11) : donc les droites AB, CD prolonges l'infini
se rencontreront ; mais elles ne se rencontreront pas puisqu'elles sont parallles : donc les angles AGH, GHD n sont point
ingaux, donc ils sont gaux. Mais l'angle AGH est gal l'angle EGB (prop. 15) : donc l'angle EGB sera gal l'angle
GHD. Donc si nous ajoutons un angle commun BGH, les angles EGB, BGH seront gaux aux angles BGH, GHD ; mais les
angles EGB, BGH sont gaux deux droits (prop. 13) : donc les angles BGH, GHD sont gaux deux droits.
Donc si une droite tombe sur deux parallles, les angles alternes sont gaux entre eux, l'angle, extrieur est gal
l'angle intrieur oppos et plac du mme ct, et les angles intrieurs placs du mme ct sont gaux deux droits ; ce
qu'il fallait dmontrer.

Les droites qui sont parallles une mme droite sont parallles entre elles.

Que chacune des droites AB, CD (fig. 29) soit parallle la droite EF : je dis que la droite AB est parallle la droite
CD.
Conduisez sur ces droites la droite GK.
Puisque la droite GK tombe sur les parallles AB, EF, l'angle AGH est gal l'angle GHF (prop. 27). De plus puisque
la droite GK tombe sur les parallles EF, CD, l'angle GHF est gal l'angle GKD (prop. 28). Or il a t dmontr que
langle AGK est gal l'angle GHF : donc l'angle AGK est gal l'angle GKD; mais ces angles sont alternes : donc la
droite AB est parallle la droite CD (prop. 29).
Donc les droites qui sont parallles une mme droite sont parallles entre elles ; ce qu'il fallait dmontrer.

Par un point donn conduire une droite parallle une droite donne.

Soit A (fig. 30) le point donn et BC la droite donne : il faut par le point A conduire une droite parallle la droite BC.
Prenez sur la droite BC un point quelconque t), et menez AD ; construisez sur la droite DA et en tin point A un angle
DAE gal l'angle ADC, et prolongez la droite AF dans la direction de EA.
Puisque la droite AD tombant sur les deux droites BC, EF fait les angles alterns EAD, ADC gaux entre eux, la droite

BC sera parallle la droite EF (prop. 27).

Donc par le point donn A, la droite EAF a t mene parallle la droite donne BC, ce qu'il fallait faire.

Ayant prolong un ct d'un triangle quelconque, l'angle extrieur est gal aux deux angles intrieurs et opposs, et les
trois angles intrieurs du triangle sont gaux deux droits.

Soit le triangle ABC (fig. 31) ; prolongez le ct BC vers D : je dis que langle extrieur ACD est gal aux deux angles
intrieurs et opposs CAB, ABC, et que les trois angles intrieurs ABC, BCA, CAB sont gaux deux droits.
Menez par le point C la droite CE parallle la droite AB (prop. 21),
Puisque la droite CE est parallle la droite AB et que la droite AC tombe sur ces deux droites, les angles alternes
BAC, ACE sont gaux entre eux (prop. 29). De plus, puisque la droite AB est parallle la droite CE et que la droite BD
tombe sur ces deux droites, l'angle extrieur ECD est gal l'angle intrieur et oppos ABC. Or il a t dmontr que l'angle
ACE est gal l'angle BAC : donc l'angle extrieur total ACD est gal aux deux angles extrieurs et opposs BAC, ABC.
Donc si on ajoute un angle commun ACB, les angles ACD, ACB seront gaux aux trois angles ACB, BCA, CAB; mais
les angles ACD, ACB sont gaux deux droits (prop. 13) : donc les angles ACB, CBA, CAB sont gaux deux droits.
Donc, ayant prolong un ct de tout triangle, l'angle extrieur est gal aux deux angles intrieurs et opposs, et les
trois angles intrieurs du triangle sont gaux deux droits; ce qu'il fallait dmontrer.

Les droites qui joignent des mmes cts des droites gales et parallles sont elles-mmes gales et parallles.

Soient AB, CD (fig. 32) deux droites gales et parallles ; joignez-les des mmes cts par les droites AC, BD : je dis
que les droites AC, BD sont aussi gales et parallles.
Menez la droite BC.
Puisque la droite AB est parallle la droite CD et que la droite BC tombe sur ces deux droites, les angles alternes
ABC, BCD sont gaux (prop. 29). De plus, puisque la droite AB est gale la droite CD et que la droite BC est commune
aux deux triangles BCA, BDC, les deux droites AB, BC sont gales aux deux droites CD, BC; mais l'angle ABC est gal
l'angle BCD : donc la base AC est gale la base BD, le triangle ABC est gal au triangle BCD, et les autres angles qui sont
opposs des cts gaux sont gaux, chacun chacun : donc l'angle ACB est gal l'angle CBD. Donc puisque la ligne
droite BC tombant sur deux droites AC, BD fait les angles alternes gaux entre eux, la droite AC est parallle la droite BD
et lui est gale (prop. 27).
Donc les droites qui joignent des mmes cts deux droites gales et parallles, sont elles-mmes gales et parallles ;
ce qu'il fallait dmontrer.

Les cts et les angles opposs des paralllogrammes sont gaux, et la diagonale les partage en deux parties gales.

Soit ACDB (fig. 32) un paralllogramme et BC sa diagonale : je dis que les cts et les angles opposs du
paralllogramme ACDB sont gaux, et que sa diagonale BC le partage en deux parties gales.
Car puisque la droite AB est parallle la droite CD et que la droite BC tombe sur ces deux droites, les angles alternes

ABC, BCD seront gaux entre eux (prop. 29). De plus, puisque la droite AC est parallle la droite BD et que la droite BC
tombe sur ces deux droites, les angles alternes ACB, CBD sont gaux entre eux ; donc les deux triangles ABC, CBD ont
deux angles ABC, BCA gaux aux deux angles BCD, CBD, chacun chacun, ils ont de plus un ct commun BC adjacent
des angles gaux: donc ils auront les autres cts gaux aux autres cts, chacun chacun (prop. 26), et le troisime angle
gal au troisime angle : donc le ct AB est gal au ct CD, et l'angle BAC gal l'angle BDC. Puisque langle ABC est
gal l'angle BCD, et l'angle CBD gal l'angle ACB, l'angle total ABD sera gal l'angle total ACD: Mais il a t
dmontr que l'angle BAC est gal langle BDC.
Donc les cts et les angles opposs des paralllogrammes sont gaux entre eux.
Je dis de plus que la diagonale partage les paralllogrammes en deux parties gales. Car puisque la droite AB est gale
la droite CD et que la droite BC est commune aux deux triangles, les deux droites AB, BC seront gales aux droites DC,
CB, chacune chacune ; mais l'angle ABC est gal l'angle BCD : donc la base AC est gale la base BC (prop. 4), et le
triangle ABC gal au triangle BCD.
Donc la diagonale BC partage le paralllogramme ACDB en deux parties gales ; ce qu'il fallait dmontrer.

Les paralllogrammes qui sont construits sur la mme base et entre les mmes parallles sont gaux entre eux.

Soient les paralllogrammes ABCD, EBCF (fig. 33) construits sur la mme base BC et entre les mmes parallles AF,
BC : je dis que le paralllogramme ABCD est gal au paralllogramme EBCF.
Car puisque ABCD est un paralllogramme, la droite AD est gale la droite B C (prop. 34), et par la mme raison la
droite EF est aussi gale la droite B C : donc la droite AD est gale la droite EF : donc, si on ajoute une droite commune
DE, la droite totale AE sera galer la droite totale DF (axiome 2) ; mais la droite AB est gale la droite DC : donc les deux
droites EA, AB sont gales aux deux droites FD, DC, chacune chacune ; mais l'angle extrieur F'DC est gal l'angle
intrieur EAB (prop. 29) : donc la base EB est gale la base FC (prop. 4), et le triangle EAB gal au triangle FDC ; donc
si lon retranche la partie commune DGE, le trapze restant ABGD sera gal au trapze restant EGCF. Donc si on leur
ajoute le triangle commun GBC, le paralllogramme total ABCD sera gal au paralllogramme total EBCF.

Donc les paralllogrammes construits sur les mmes bases et entre les mmes parallles sont gaux entre eux ; ce qu'il
fallait dmontrer.

Les paralllogrammes construits sur des bases gales et entre les mmes parallles sont gaux entre eux.

Soient les paralllogrammes ABCD, EFGH (fig. 34) construits sur des bases gales BC, FG et entre les mmes
parallles AH, BG : je dis que le paralllogramme ABCD est gal au paralllogramme EFGH.
Conduisez les droites BE, CH.
Puisque la droite BC est gale la droite FG et la droite FG gale la droite EH, la droite BC sera gale la droite EH ;
mais les droites BC, EH sont parallles et joignent les droites BE, CH ; or les droites qui joignent des mmes cts deux
droites gales et parallles, sont gales et parallles (prop. 33) : donc les droites EB, CH sont gales, et parallles : donc
EBCH est un paralllogramme, et ce paralllogramme est gal au paralllogramme ABCD (prop. 35) ; car il a la mme base
BC que lui, et il est construit entre les mmes parallles. Par la mme raison le paralllogramme EFGH est gal au
paralllogramme EBCH ; donc le paralllogramme ABCD est gal au paralllogramme EFGH.
Donc les paralllogrammes construits sur des bases gales et entre les mmes parallles, sont gaux ; ce qu'il fallait
dmontrer.

Les triangles construits sur la mme base et entre les mmes parallles sont gaux.

Soient les triangles ABC, DEC (fig. 35) construits sur la mme base BC et entre les mmes parallles AD, BC, je dis
que le triangle ABC est gal au triangle DBC,
Prolongez de part et d'autre la droite AD vers les points E, F, et par le point B conduisez une droite BE parallle la
droite CA (prop. 31), et par le point C conduisez aussi une droite CF parallle BD.
Les figures EBCA, DBCF sont des paralllogrammes, et le paralllogramme EBCA est gal au paralllogramme DBCF
(prop. 35) ; car ils sont construits l'un et l'autre sur la mme base et entre les mmes parallles ; mais le triangle ABC est la
moiti du paralllogramme EBCA; car la diagonale AB le partage en deux parties gales; le triangle DBC est la moiti du
paralllogramme DBCF, car la diagonale DC la partage en deux parties gales (prop. 34) ; mais, les moitis des quantits
gales sont gales; entre elles ; donc le triangle ABC est gal au triangle DBC.
Donc les triangles construits sur la mme base et entre les mmes parallles sont gaux entre eux; ce qu'il fallait
dmontrer.

Les triangles construits sur des bases gales et entre les mmes parallles sont gaux entre eux.

Soient les triangles ABC, DEF (fig. 36) construits sur des bases gales BC, EF et entre les mmes parallles BF, AD :
je dis que le triangle ABC est gal au triangle DEF.
Car prolongez de part et d'autre la droite AD vers les points G, H; par le point B conduisez la droite BG parallle la

droite CA (prop. 31), et par le point F conduisez aussi la droite FH parallle la droite DE.
Les figures GBCA, DEFH sont des paralllogrammes ; mais les paralllogrammes GBCA, DEFH sont gaux entre eux
(prop. 36), car ils sont construits sur des bases gales et entre les mmes parallles. Or le triangle ABC est la moiti du
paralllogramme GBCA, car la diagonale AB le partage en deux parties gales (prop. 34); le triangle EFD est la moiti du
paralllogramme DEFH, car la diagonale DF le partage en deux parties gales ; mais les moitis des quantits gales sont
gales entre elles : donc le triangle ABC est gale au triangle DEF.
Donc les triangles construits sur des bases gales et entre les mmes parallles sont gaux entre eux ; ce qu'il fallait
dmontrer.

Les triangles gaux qui sont construits sur la mme base et qui sont placs du mme ct sont compris entre les mmes
parallles.

Soient les deux triangles gaux ABC, DBC (fig. 37) construits sur la mme base BC et placs du mme ct : je dis que
ces deux triangles sont compris entre les mmes parallles.
Conduisez la droite AD : je dis que la droite AD est parallle la droite BC.
Car si la droite AD n'est pas parallle la droite BC, conduisez par le point A une droite AE parallle la droite BC
(prop. 31); conduisez ensuite la droite EC.
Le triangle ABC est gal au triangle EBC (prop. 37), car ces deux triangles sont construits sur la mme base BC, et
compris entre les mmes parallles BC, AE. Mais par hypothse le triangle ABC est gal au triangle DBC: donc le triangle
EBC est gal au triangle DBC, c'est -dire que le plus grand est gal au plus petit, ce qui ne peut se faire : donc la droite AE
n'est point parallle la droite BC. Nous dmontrerons de mme que toute autre droite, except AD, ne peut tre parallle
BG : donc la droite AD est parallle la droite BC.
Donc les triangles gaux qui sont construits sur la mme base et qui sont placs du mme ct sont compris entre les
mmes parallles ; ce qu'il fallait dmontrer.

Les triangles gaux qui sont construits sur des bases gales et qui sont placs du mme ct sont compris entre les
mmes parallles.

Soient les triangles gaux ABC, CDE (fig. 38) construits sur des bases gales. BC, CE et placs du mme ct : je dis
qu'ils sont compris; entre les mmes parallles. Conduisez la droite AD: je dis que la droite AD est parallle la droite BE.
Car si la droite AD n'est pas parallle la droite BE, conduisez par le point A la droite AF parallle la droite BC, et
conduisez ensuite la droite FE.
Le triangle ABC est gal au triangle FCE (prop. 38) ; car ces deux triangles sont construits sur des bases gales et
compris entre les mmes parallles BE, AF ; mais le triangle ABC est gal au triangle DCE : donc le triangle DCE est gal
au triangle FCE, c'est--dire que le plus grand est gal au plus petit, ce qui ne peut tre : donc la droite AF n'est point
parallle la droite BE. Nous dmontrerons de la mme manire que toute autre droite, except AD, ne peut tre parallle
BF : donc la droite AD est parallle la droite BE.
Donc les triangles gaux qui sont construits sur des bases gales et qui sont placs du mme ct sont compris entre les
mmes parallles ; ce qu'il fallait dmontrer.

Si un paralllogramme et un triangle ont la mme: base et sont compris entre les mmes parallles, le paralllogramme
est double du triangle.

En effet, que le paralllogramme ABCD et le triangle EBC (fig. 39) aient la mme base et soient compris l'un et l'autre
entre les mmes parallles BC, AE ; je dis que le paralllogramme ABCD est double du triangle BEC.
Conduisez la droite AC. Le triangle ABC est gal au triangle EBC (prop. 37), car ces deux triangles, sont construits sur
la mme base BC et compris entre les mmes parallles BC, AE ; mais le paralllogramme ABCD est double du triangle
ABC, car la diagonale AC partage ce paralllogramme en deux parties gales (prop. 34) : donc le paralllogramme ABCD
est aussi double du triangle EBC.
Donc si un paralllogramme et un triangle ont la mme base et sont compris entre les mmes parallles, le
paralllogramme sera double du triangle ; ce qu'il fallait dmontrer.

Construire dans un angle donn, un paralllogramme gal un triangle donn.

Soit ABC (fig. 40) le triangle donn et D l'angle donn : il faut construire un paralllogramme qui soit gal au triangle
ABC dans un angle gal l'angle donn D.
Partagez la droite BC en deux parties gales au point E et conduisez la droite AE ; sur la droite EC et au point E
construisez un angle CEF gal l'angle D (prop. 23), par le point A conduisez une droite AG parallle la droite EC (prop.
31), et par le point C conduisez aussi une droite CG parallle la droite FE : la figure FECG sera un paralllogramme.

Puisque la droite BE est gale la droite EC, le triangle ABE sera gal au triangle AEG (prop. 38), car ces deux
triangles sont construits sur des bases gales BE, EC, et compris entre les mmes parallles BC, AG : donc le triangle ABC
est double du triangle AEC ; mais le paralllogramme FECG est double du triangle AEC, car ils ont la mme base et ils sont
compris entre les mmes parallles : donc le paralllogramme FECG est gal au triangle ABC (ax. 6), et il a un angle gal
l'angle D.
Donc le paralllogramme FECG a t construit gal au triangle ABC dans un angle CEF gal l'angle donn D ; ce
qu'il fallait faire.

Dans tout paralllogramme, les complments des paralllogrammes qui sont autour de la diagonale sont gaux entre
eux.

Soit le paralllogramme ABCD (fig. 41) dont AC est la diagonale autour de laquelle sont les paralllogrammes EH, FG,
et les paralllogrammes BK, KD qu'on appelle complments : je dis que le complment BK est gal au complment KD.
Car puisque la figure ABCD est un paralllogramme dont la droite AC est la diagonale, le triangle ABC est gal au
triangle ADC (prop. 34). De plus, puisque la figure EKHA est un paralllogramme dont la droite AK est la diagonale, le
triangle AEK est gal au triangle AHK; le triangle KFG est gal au triangle EGC, par la mme raison : donc puisque le
triangle AEK est gal au triangle AHK, et que le triangle KFC est aussi gal au triangle KGC, le triangle AEK, runi avec
le triangle KGC, est gal au triangle AHK runi avec le triangle KFC; mais le triangle total ABC est gal au triangle total
ADC : donc les restes BK, KD, qu'on appelle complments, sont gaux entre eux (axiome 3).
Donc dans tout paralllogramme, les complments des paralllogrammes qui sont autour de la diagonale sont gaux
entre eux; ce qu'il fallait dmontrer.

Sur une droite donne et dans un angle donn, construire un paralllogramme qui soit gal un triangle donn.

Soient donns la droite AB (fig. 42), le triangle C et l'angle D : il faut sur la droite AB et dans un angle gal l'angle D,
construire un paralllogramme gal au triangle donn C.
Construisez un paralllogramme BEFG gal au triangle C ; dans un angle EBG gal l'angle D (prop. 42); placez la
droite BE dans la direction de la droite AB; prolongez la droite FG vers H ; et par le point A conduisez la droite AH
parallle la droite BG ou la droite EF (prop. 31), et menez la droite GB. Puisque la droite HF tombe sur les parallles
AH, EF, les angles AHF, HFE sont gaux deux angles droits (prop. 29) : donc les angles BHG, GFE sont moindres que
deux angles droits; mais les droites qui sont prolonges l'infini du cot o les angles intrieurs sont moindres que deux
angles droits se rencontrent (ax. 11) : donc les droites HB, FE se rencontreront tant prolonges ; que ces deux droites
soient pro longes (dem. 2), et supposons qu'elles se rencontrent en K; par le point K conduisez la droite KL parallle la
droite EA ou la droite FH (prop. 31), et prolongez les droites AH, GB vers les points L, M.
La figure HLKF est un paralllogramme dont HK est la diagonale ; autour de la diagonale, HK sont les
paralllogrammes AG, ME, et les paralllogrammes LB, BF, qu'on nomme complments: donc le paralllogramme LB est
gal au paralllogramme BF (prop. 43); mais le paralllogramme BF est gal au triangle C ; donc le paralllogramme LB
sera gal au triangle C ; et puisque l'angle GBE est gal l'angle ABM (prop. 15) et que l'angle GBE est gal l'angle D,
langle ABM sera gal l'angle D.
Donc sur la droite donne AB et dans un angle ABM gal l'angle D, le paralllogramme LB a t construit gal au
triangle donn C ; ce qu'il fallait faire.

Construire, dans un angle donn, un paralllogramme qui soit gal une figure rectiligne donne.

Soit ABCD (fig. 43) la figure rectiligne donne et E l'angle donn : il faut, dans un angle gal l'angle E, construire un
paralllogramme qui soit gal la figure ABCD.
Conduisez la droite DB, et construisez dans l'angle HKF gal l'angle E, un paralllogramme FH qui soit gal au
triangle ADB, et sur la droite GH construisez ensuite dans langle GHM gal l'angle E, un paralllogramme GM qui soit
gal au triangle DBC.
Puisque l'angle E est gal chacun des angles HKF, GHM, l'angle GHM sera gal, l'angle HKF : donc si nous leur
ajoutons l'angle commun KHG, les angles FKH, KHG seront gaux aux angles KHG, GHM. Mais les angles FKH, KHG
sont gaux deux angles droits (prop. 29) : donc les angles KHG, GHM seront gaux deux angles droits. Mais puisque les
deux droites KH, HM, places de diffrents cts, font sur la droite GH et au point H de cette droite, deux angles de suite
gaux deux droits, la droite KH est dans la direction de la droite HM (prop. 14) ; et puisque la droite HG tombe sur les
parallles KM, PG, les angles alternes MHG, HGF sont gaux (prop. 29) ; donc si nous leur ajoutons l'angle commun HGL,
les angles MHG, HGL seront gaux aux angles HGF, HGL. Mais les angles MHG, HGL sont gaux deux angles droits
(prop. 29) ; donc les angles HGF, HGL seront aussi gaux deux angles droits ; donc la droite FG est dans la direction de la
droite GL; et puisque la droite KF est gale et parallle la droite HG, et que la droite HG est aussi gale et parallle la
droite ML, la droite KF sera gale et parallle la droite ML (ax. 1 et prop. 30). Mais ces deux droites sont jointes
ensemble par les droites RM, FL : donc les droites KM, FL sont gales et parallles (prop. 33) : donc la figure KFLM est un
paralllogramme ; mais comme le triangle ABD est gal au paralllogramme HF, et que le triangle ABC est gal au
paralllogramme GM, la figure totale ABCD sera gale au paralllogramme total KFLM.
Donc le paralllogramme KFLM a t construit gal la figure rectiligne ABCD, dans langle FKM gal langle
donn E ; ce qu'il fallait faire.

Dcrire un carr sur une droite donne.

Soit AB (fig. 44) la droite donne : il faut dcrire un carr sur cette droite.
Du point A, donn dans la droite AB, conduisez une droite AC perpendiculaire sur la droite AB (prop. 11) ; faites la
droite AD gale la droite AB (prop. 31); par le point D conduisez la droite DE parallle la droite AB (prop. 31), et par le
point B conduisez aussi une droite BE parallle la droite AD.
La figure ADEB est un, paralllogramme : donc la droite AB est gale la droite DE, et la droite AD gale la droite
BE; mais la droite AB est gale la droite AD : donc les quatre droites BA, AD, DE, EB sont gales entre elles : donc le
paralllogramme ADEB, est quilatral. Je dis de plus, qu'il est rectangle, car puisque la droite AD tombe sur les parallles
AB, DE, les angles BAD, ADE sont gaux deux droits (prop. 29) ; mais l'angle BAD est droit par construction; donc
l'angle ADE est droit aussi. Mais les cts et angles opposs des paralllogrammes sont gaux (prop. 34) ; donc chacun des
angles opposs ABE, BED est droit, et par consquent le paralllogramme ADEB est rectangle ; mais nous avons dmontr
qu'il tait quilatral.
Donc le paralllogramme ADEB est un carr dcrit sur la droite AB ; ce qu'il fallait faire.

Dans les triangles rectangles, le carr dcrit sur le ct oppos l'angle droit est gal aux carrs construits sur les
cts oui comprennent l'angle droit.

Soit ABC (fig. 45) un triangle rectangle dont l'angle droit est BAC : je dis que le carr construit sur le cot BC est gal
aux carrs construits sur les cts BA, AC.
Construisez le carr BDEC sur le ct BC; construisez aussi les deux carrs GB, HC sur les cts BA, AC, et par le
point A conduisez une droite AL parallle l'une ou l'autre des droites BD, CE, conduisez ensuite les droites
Puisque chacun des angles BAC, BAG est droit et que les deux droites AC, AG, places de part et d'autre de la droite
BA, font au point A, avec la droite AB, deux angles de suite gaux deux angles droits, la droite CA est dans la direction
de la droite AG : la droite AB est dans la direction de la droite AH, par la mme raison; et puisque l'angle DBC est gal
l'angle FBA (axiome 10), tant droits l'un et l'autre, si nous leur ajoutons un angle commun ABC, l'angle total DBA sera
gal l'angle total FBC ; mais les deux droites DB, BA tant gales aux deux droites CB, BF, chacune chacune, et l'angle
DBA gal l'angle FBC, la base AD sera gale la base FC, et le triangle ABD gal au triangle FBC (prop. 4). Or le
paralllogramme BL est double du triangle ABD (prop. 41) car ils ont la mme base BD et sont compris entre les mmes
parallles BD, AL. Le carr GB est aussi double du triangle FBC, car ils ont la mme base FB et sont compris entre les
mmes parallles FB, GC, mais les quantits qui sont doubles de quantits gales sont gales entre elles : donc le
paralllogramme BL est gal au carr GB.
Ayant conduit les droites AE, BK, nous dmontrerons de la mme manire que le paralllogramme CL est gal au carr
HC : donc le carr total BDEC est gal aux deux carrs GB, HC ; mais le carr BDEC est construit sur le ct BC, et les
carrs GB, HC sont construits sur les cts BA, AC : donc le carr BE, construit sur le ct BC, est gal aux carrs
construits sur les cts BA, AC.
Donc dans les triangles rectangles, le carr construit sur le ct oppos l'angle droit est gal aux deux carrs construits
sur les cts qui comprennent l'angle droit ; ce qu'il fallait dmontrer.

Si le carr qui est construit sur un des cts d'un triangle est gal aux carrs construits sur les autres cts du triangle,
l'angle compris entre ces deux derniers cts est droit.

Que le carr construit sur un ct BC (fig. 46) d'un triangle ABC, soit gal aux carrs construits sur les deux autres
cts BA, AC : je dis que l'angle BAC est droit.
Conduisez du point A une droite AD perpendiculaire sur la droite AC (prop. 11) ; faites la droite AD gale la droite
BA, et conduisez la droite DC.
Car puisque la droite DA est gale la droite AB, le carr construit sur DA sera gal au carr construit sur AB. Donc si
nous ajoutons un carr commun, celui qui est construit sur AC, les carrs construits sur DA, AC seront gaux aux carrs
construits sur BA, AC. Mais le carr construit sur DC est gal aux carrs construits sur DA, AC (prop. 47) car l'angle DAC
est droit. Or le carr construit sur BG est suppos gal aux carrs construits sur BA, AC : donc le carr construit sur DC est
gal celui qui est construit sur BC : donc le ct DC est gal au ct CB ; et comme le ct AD est gal au ct AB et que
le ct AC est commun, les deux cts AD, AC sont gaux aux deux cts BA, BC, chacun chacun; mais la base DC est
gale la base CB ; donc l'angle DAC est gal l'angle BAC (prop. 8) ; mais l'angle DAC est droit : donc l'angle BAC est
droit aussi.
Donc si le carr construit sur un ct d'un triangle est gal aux carrs construits sur les deux autres cts, l'angle
compris par ces deux derniers cts sera droit ; ce qu'il fallait dmontrer.

FIN DU PREMIER LIVRE.

Dans la suite nous dirons une droite au lieu de dire une ligne droite.

On nomme aujourd'hui trapze un quadrilatre dont deux de ses cts seulement sont parallles, et les autres
quadrilatres, except le trapze et les quadrilatres dont parle Euclide, se nomment ordinairement quadrilatres simplement
dits.
Ou postulats.

Dans quelques manuscrits les axiomes IO et ils se trouvent placs parmi les demandes.