Livre I des Éléments d'Euclide

Les définitions

Y sont définis le point, la droite (Euclide appelle « ligne droite limitée », ou simplement « ligne droite » ce que nous appellerions segment de droite, mais les droites d'Euclide peuvent aussi se prolonger, c'est la demande 2, et ce indéfiniment, et donc être considérées comment potentiellement infinies^[3]), les angles, le cercle, le triangle équilatéral, le triangle rectangle, le carré, les parallèles… La plupart sont détaillées ci-dessous^[a].

1. Un point est ce dont il n'y a aucune partie^[4].
2. Une ligne est une longueur sans largeur.
3. Les limites d’une ligne sont des points^[5].
4. Une ligne droite est celle qui est également placée entre ses points^[6].
5. Une surface est ce qui a seulement longueur et largeur.
6. Les limites d’une surface sont des lignes^[7].
7. Une surface plane est celle qui est également placée entre ses droites^[6].
8. Un angle plan est l'inclinaison mutuelle de deux lignes qui se touchent dans un plan, et qui ne sont point placées dans la même direction.
9. Lorsque les lignes, qui comprennent ledit angle sont des droites, l'angle se nomme rectiligne.
10. Lorsqu'une droite tombant sur une droite fait deux angles de suite égaux entre eux, chacun des angles égaux est droit ; et la droite placée au-dessus est dite perpendiculaire à celle sur laquelle elle est placée.
11. L'angle obtus est celui qui est plus grand qu'un droit.
12. L'angle aigu est celui qui est plus petit qu'un droit.
13. Une frontière est ce qui est limite de quelque chose^[8].
14. Une figure est ce qui est compris par une seule ou par plusieurs frontières^[9],[8].
15. Un cercle est une figure plane, comprise par une seule ligne qu'on nomme circonférence, toutes les droites menées à la circonférence d'un des points placé dans cette figure étant égales entre elles.
16. Ce point se nomme le centre du cercle.
17. Un diamètre du cercle est une droite menée par le centre et terminée de part et d'autre par la circonférence du cercle : un diamètre partage le cercle en deux parties égales^[10].
18. Un demi-cercle est la figure comprise par le diamètre, et la portion de la circonférence sous-tendue par le diamètre^[11] ; le centre du demi-cercle est le même que celui du cercle^[12],[b].
19. Les figures rectilignes sont les figures contenues par des droites ; trilatères celles qui sont contenues par trois droites ; quadrilatères par quatre ; multilatères par plus de quatre^[12],[c].
20. Parmi les figures trilatères, le triangle équilatéral est celle qui a ses trois côtés égaux ; le triangle isocèle, celle qui a seulement deux côtés égaux ; le triangle scalène celle qui a ses trois côtés inégaux^[13].
21. De plus parmi les figures trilatères, le triangle rectangle est celle qui a un angle droit ; le triangle obtusangle, celle qui a un angle obtus ; le triangle acutangle celle qui a 3 angles aigus^[14].
22. Parmi les figures quadrilatères, le carré est celle qui est équilatérale et rectangulaire ; […]^[15],[d].
23. Des droites parallèles sont celles qui étant dans le même plan, et indéfiniment prolongées de part et d'autre, ne se rencontrent pas, ni d'un côté ni de l'autre^[16],[e].

La définition 22 introduit d'autres espèces de quadrilatères, toutes disjointes entre elles et du carré^[17],[18], avec un vocabulaire peu ou pas utilisé dans la suite^[19] qui n'a pas été reporté ici. Comme à ce stade les droites parallèles n'ont pas été définies, Euclide ne définit pas encore le parallélogramme, terme qui apparait pour la première fois à la proposition I.34 et qui, lui, est fréquemment utilisé dans les Éléments^[19],[20], mais sans le définir explicitement, probablement parce qu'il se comprend de lui-même : « quadrilatère formé de lignes droites parallèles »^[21]. Le terme regroupe toutes les espèces introduites à la définition 22 (carré, rectangle non carré, losange, …), hormis le trapèze qui, chez Euclide, est un quadrilatère qui n'est pas un parallélogramme (caractérisation a posteriori !), ce qui est plus général que notre trapèze actuel^[19].

Les demandes

L'édition Heiberg-Menge^[22] donne les 5 demandes, ou postulats (selon la traduction latine du terme grec), que l'on trouve dans la majorité des manuscrits^[1]. Certains en ajoutent une 6^e[1], qui est la 9^e notion commune de l'édition Heiberg-Menge, très certainement interpolée^[23],[f].

1. Qu'il soit demandé de mener une ligne droite de tout point à tout point^[24].
2. Et de prolonger continûment en ligne droite une ligne droite limitée^[25].
3. Et de décrire un cercle à partir de tout centre et au moyen de tout intervalle^[26].
4. Et que tous les angles droits soient égaux entre eux^[27].
5. Et que, si une droite, tombant sur deux droites, fait les angles intérieurs et du même côté plus petits que deux droits, les deux droites, indéfiniment prolongées, se rencontreront du côté où les angles sont plus petits que deux droits^[28].

• La 1^re demande n'explicite pas l'unicité de la droite menant d'un point à un point (c'est-à-dire pour nous un segment) mais celle-ci est utilisée ensuite^[29].
• La 2^de demande n'explicite pas plus l'unicité du prolongement à l'infini, alors que cette unicité est nécessaire pour la suite de l'exposé^[30]. Le problème avait été remarqué dès l'antiquité^[31].
• À la 3^e demande, « intervalle » se comprend comme séparant deux extrémités. Pratiquement Euclide « trace » un cercle de centre A passant par B (A et B extrémités de l'intervalle) quand A et B sont déjà sur la figure^[32].
• La 5^e demande, ou cinquième postulat, est la plus célèbre. On parle à son propos de postulat des parallèles^[33], de postulat d'Euclide, d'axiome d'Euclide, de postulatum, etc. Il possède de nombreux équivalents dont l'axiome des parallèles dit parfois axiome de Playfair^[g], qui énonce l'unicité d'une droite parallèle à une droite D donnée, passant par un point P extérieur à cette droite D, dans le plan contenant D et P.^[34]. Proclus signale déjà l'unicité de la parallèle dans Les commentaires sur le premier livre des Éléments d'Euclide à propos de la proposition I.31^[35], proposition I.31 qui elle-même donne l'existence d'une droite parallèle à D passant par P sans utiliser le cinquième postulat^[36].

La première édition imprimée en 1533 du texte grec des Éléments, l'édition princeps de Simon Grynée à Bâle, ne donne que les 3 premiers postulats ; les postulats 4 et 5 sont déplacés parmi les notions communes^[37]. Grynée s'est appuyé sur deux manuscrits, dont principalement un manuscrit du XV^e siècle conservé à la Biblioteca Marciana de Venise qui est le seul des manuscrits anciens connus à présenter cette particularité^[h],[37]. Il s'agit en réalité d'une modification du manuscrit en question, réalisée également au XV^e siècle, par remplacement d'un feuillet dont l'auteur, Georges Gémiste Pléthon, a été identifié^[38],[i].

Cette édition est la source principale des éditions ultérieures du texte grec jusqu'à et y compris celle de David Gregory en 1703^[39]. Aussi la modification se retrouve-t-elle dans un certain nombre de traductions et adaptations des Éléments jusqu'au XIX^e siècle^[40].

Les notions communes

La liste des notions communes, ou axiomes, varie selon les manuscrits, et ce dès l'Antiquité^[41]. Dans ses Commentaires, Proclus en retient 5, et ce sont celles distinguées par l'édition Heiberg^[42].

1. Les choses égales à une même chose sont aussi égales entre elles^[43].
2. Et si, à des choses égales, des choses égales sont ajoutées, les touts sont égaux^[43].
3. Et si, à partir de choses égales, des choses égales sont retranchées, les restes sont égaux^[43].

Toutes énoncent des propriétés de l'égalité ou de l'inégalité, et c'est d'ailleurs aussi le cas de 3 des 4 notions communes non retenues par Proclus, la dernière, de nature géométrique, étant quasi-certainement interpolée^[23],[f].

Les propositions

Ces propositions traitent des points suivant :

• Constructions élémentaires. Les trois premières propositions décrivent quelques constructions élémentaires : construction d'un triangle équilatéral de côté donné (prop.1), construction d'un cercle de centre donné et de rayon donné (prop.2), retrancher d'un segment CD donné un segment AB donné (prop.3).
• Les cas d'égalité des triangles sont traités dans les prop.4 (premier cas d'égalité des triangles : deux côtés et l'angle compris entre ces deux côtés, égaux dans les deux triangles), prop.7 et 8 (deuxième cas d'égalité des triangles : trois côtés de même longueur dans les deux triangles), prop.26 (troisième cas d'égalité des triangles : deux angles et un côté égaux).
• Le triangle isocèle : les prop.5 et 6 montrent qu'un triangle a deux côtés égaux si et seulement s'il a deux angles égaux.
• Constructions diverses. Un certain nombre de propositions exposent comment procéder à la construction d'objets géométrique : la bissectrice d'un angle (prop.9), le milieu d'un segment (prop.10), la perpendiculaire à une droite passant par un point donné, un triangle dont les longueurs des côtés sont données (prop.22), un angle égal à un angle donné (prop.23).
• Les angles. Les propositions 13 à 19 traitent des angles, par exemple : deux angles d'un triangle sont moindres que deux droits (prop.17) ; dans un triangle, un plus grand côté est opposé à un plus grand angle (prop.18) ; deux triangles ayant deux côtés égaux, la base de l'un est plus grand que la base de l'autre si et seulement si l'angle au sommet du premier est plus grand que l'angle au sommet de l'autre (prop.24 et 25).
• Inégalité triangulaire : la prop.20 démontre l'inégalité triangulaire

Ces 26 premières propositions ainsi que les deux suivantes, (qui sont les deux premières à utiliser la notion de parallèles), ne font pas appel au cinquième postulat d'Euclide sur les parallèles^[47]. La proposition 29 est la première à l'utiliser^[47], et toutes les propositions du livre I qui suivent, hormis la proposition 31, dépendent de ce postulat^[49].

• Propriétés des parallèles. Si une droite tombant sur deux droites fait des angles alternes égaux entre eux, ces deux droites seront parallèles (prop.27 et 28), et réciproquement, une droite tombant sur deux parallèles fait les angles alternes égaux entre eux (prop.29). Les droites parallèles à une même droite sont parallèles entre elles (prop.30). La prop.31 expose comment construire une parallèle à une droite donnée passant par un point donné.
• La proposition 31 permet de démontrer la proposition 32, à savoir que la somme des angles d'un triangle est égale à deux droits.
• Propriétés du parallélogramme. Les segments joignant les sommets de deux segments parallèles et de même longueur sont eux-mêmes parallèles et de même longueur (prop.33) ; les côtés et les angles opposés d'un parallélogramme sont égaux entre eux et une diagonale le partage en deux parties égales (prop.34) ; deux parallélogrammes, construits sur des bases de même longueur et entre les mêmes parallèles, ont même aire (prop.35 et 36).
• Propriétés des triangles. Deux triangles de même base ont même aire si et seulement s'ils ont même hauteur (prop.37 à 40). Cette aire est la moitié de celle du parallélogramme correspondant (prop.41).
• Les propositions 42 à 45 expliquent comment construire dans un angle (rectiligne) donné un parallélogramme d'aire égale à celle d'abord d'un triangle donné (propositions 42 et 44), puis plus généralement d'un polygone donné (proposition 45), en le décomposant en triangles. Si l'angle donné est droit, la proposition 45 fournit un rectangle, ce qui est la première étape vers la quadrature d'un aire polygonale quelconque, quadrature qui est achevée à la fin du livre II, proposition II.14^[50].
• Après avoir exposé comment construire un carré sur une droite donnée (proposition 46), Euclide termine le livre I par le théorème dit aujourd'hui Théorème de Pythagore (proposition 47) et sa réciproque (proposition 48) et leurs démonstrations.

La structure déductive du livre I est remarquablement linéaire^[51]. Certaines propositions intercalées dans le cours de l'exposé^[52] ne sont cependant pas utilisées au livre I, comme la proposition 6 qui n'est pas utilisée avant la proposition 4 du livre II^[53], ou la proposition 21 qui n'est pas utilisée avant la proposition 8 du livre III^[54].