Voir la source de Livre X des Éléments d'Euclide

{{Titre mis en forme|Livre X des ''Éléments'' d'Euclide}}
Le '''livre X des ''[[Éléments d'Euclide|Éléments]]'' d'[[Euclide]]''' est le plus volumineux des treize livres constituant les ''Éléments''. Euclide introduit d'abord les relations de [[commensurabilité (mathématiques)|commensurabilité]] et d'[[incommensurabilité]] entre deux grandeurs. Il poursuit ensuite avec les notions de grandeur ''exprimable'' et ''irrationnelle'' (à laquelle ne correspond pas qu'imparfaitement notre notion de [[nombre irrationnel]]), qui sont relatives à une droite de référence et définies par commensurabilité avec celle-ci. Après avori donné des propositions générales pour l'usage de ces nouvelles notions, Euclide consacre la majeure partie du livre à une classification de certaines grandeurs [[nombre irrationnel|irrationnelles]] en fonction de la façon dont elles peuvent être engendrées. Les opérations utilisées sont la [[moyenne géométrique]] entre deux grandeurs, qui correspond algébriquement à la  [[racine carrée]]<ref group=alpha>En effet la moyenne géométrique de deux nombres positifs <math>a</math> et  <math>b</math> vaut <math>\sqrt{ab}</math>.</ref>, la somme et la différence géométriques.

== Description ==
Le livre X des ''Éléments'', de loin le plus volumineux des 13, représente à lui seul à peu près le quart de l'ensemble<ref name="Vitrac11">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=11}}.</ref>. Dans l'édition Heiberg-Menge le livre X contient 4 définitions liminaires, 12 définitions introduites au fil de l'exposé en deux groupes de 6, et 115 propositions<ref name="Vitrac11" />. Des définitions apparaissent également dans l'énoncé de certaines propositions<ref name="Vitrac11"/>. Le présent article suit la traduction {{harvsp|Euclide|Vitrac|1998}} pour le contenu du livre X et la numérotation des définitions et propositions, et donc l'édition {{harvsp|Heiberg|Menge|1886}}<ref group="alpha">Dans l'édition {{harvsp|Euclide|Peyrard|1816}} (et 1819), le livre comporte 11 définitions liminaires, qui ne sont que les mêmes 4 définitions découpées, aux dépens de la syntaxe, de façon à n'avoir qu'un terme défini par définition ({{harvsp|Euclide|Vitrac|1998|p=27}} note 13). Pour les définitions voir  {{harvsp|Euclide|Vitrac|1998|p=25,27,34,37}} et {{harvsp|Euclide|Peyrard|1816|p=111-112}}. Il introduit les mêmes 12 définitions intermédiaires et contient 117 propositions. La numérotation des propositions est identique jusqu'à la proposition 9. Les propositions 10 et 11 sont inversées. Elle diverge à partir de la proposition 13 : la proposition 13 de Peyrard {{harv|Euclide|Peyrard|1816|p=146}} est renvoyée en appendice par Heiberg et Menge ({{harvsp|Euclide|Vitrac|1998|p=134}}, note 142). La proposition 13 de Heiberg et Menge correspond à la proposition 14 de Peyrard ({{harvsp|Euclide|Vitrac|1998|p=137}} et {{harvsp|Euclide|Peyrard|1816|p=146}}). Plus généralement, pour ''n'' de 13 à 115, la proposition numérotée ''n'' par  Heiberg et Menge devrait correspondre à celle numérotée ''n'' + 1 par Peyrard, qui de plus retient une proposition 117 supplémentaire (voir [[#Propositions suspectes]]). Cette correspondance est seulement indicative et ne préjuge pas d'éventuels choix distincts pour le texte original.</ref>.

=== Les définitions liminaires ===
==== Commensurabilité/incommensurabilité ====
La première définition introduit les notions  opposées de grandeurs ''[[commensurabilité (mathématiques)|commensurables]]''/''incommensurables''{{sfn|Euclide|Vitrac|1998|p=25}}{{,}}<ref>{{harvsp|Euclide|Peyrard|1816|p=11}}, numérotées 1 et 2.</ref>. Elle énonce que {{citation|on appelle grandeurs commensurables celles qui sont mesurées par la même mesure}}, {{citation|et incommensurables celles qui n'ont aucune commune mesure}}{{sfn|Euclide|Peyrard|1816|p=11}}.

En termes modernes, deux grandeurs ''a'' et ''b'' sont commensurables s'il existe une grandeur ''c'' appelée commune mesure telle que ''a'' et ''b'' soient des multiples entiers de ''c'', incommensurables sinon.

Deux grandeurs commensurables sont nécessairement de même genre<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=25}}.</ref>. Il est probable en fait que l'ensemble de la définition 1 est à comprendre pour des grandeurs homogènes, soit un raffinement de la définition 5 du [[livre V des Éléments d'Euclide|livre V]], mais Euclide ne l'explicite pas<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=25-26}}.</ref>.

Dans le cas particulier où les grandeurs considérées sont des droites, Euclide dit plus loin qu'elles sont commensurables en longueur<ref name="Vitrac27">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=27}}.</ref>. Un exemple de deux grandeurs incommensurables (que ne donne pas Euclide, qui n'accompagne pas ses définitions d'exemples) est celui de la diagonale et du côté d'un carré, ce que nous traduirions aujourd'hui par l'[[nombre irrationnel|irrationnalité]] de [[Racine carrée de deux|{{sqrt|2}}]].

Cependant, le carré construit sur ladite diagonale est double du carré construit sur ledit côté ; ces deux carrés sont donc commensurables. D'où la définition 2 qui introduit les notions opposées de ''commensurables en puissance''/''incommensurable en puissance'' : des droites sont commensurables en puissance lorsque leurs carrés sont mesurés par une même aire et incommensurables [en puissance] sinon{{sfn|Euclide|Vitrac|1998|p=27}}{{,}}<ref>{{harvsp|Euclide|Peyrard|1816|p=111-112}}, numérotées 3 et 4.</ref>. La commensurabilité en puissance n'est donc pas un cas particulier de commensurabilité au sens général de la définition 1<ref name="Vitrac27"/>.

Un exemple de deux grandeurs incommensurables en puissance est donné par le côté du [[pentagone (figure)|pentagone]] régulier et le rayon du cercle circonscrit à ce pentagone. Si ce rayon a pour longueur 1, le côté de ce pentagone a une longueur égale à <math>\sqrt{\frac{5-\sqrt{5}}{2}}</math>, et nous dirions aujourd'hui que le carré de ce nombre est irrationnel.

==== Exprimabilité/irrationnalité ====
Les notions de commensurabilité et d'incommensurabilité sont des notions absolues, qui portent sur deux grandeurs. Les notions introduites à la définition 3<ref name="PeyrardDef6-7">Dans la numérotation de {{harvsp|Euclide|Peyrard|1816|p=112}} cette définition 3 correspond aux définition 6 et 7.</ref>, sont ''relatives à une droite de référence'' arbitrairement choisie{{sfn|Euclide|Vitrac=|1998|p=43}}. Euclide après avoir introduit cette droite de référence, puis anticipé sur la suite du livre X à propos de l'existence d'une infinité de droites, soit commensurables, soit incommensurables en longueur seulement, soit incommensurables en longueur et en puissance, à cette droite de référence, introduit un nouveau couple de notions ''exprimable''/''irrationnel'' : {{citation|par rapport à une droite proposée [...] D'une part que la droite proposée soit appelée ''exprimable'' et celles [qui sont] commensurables avec elle, soit en longueur et en puissance, soit en puissance seulement ''exprimables'' ; d'autre part que celles [qui sont] incommensurables avec elles soient appelées ''irrationnelles''}}{{sfn|Euclide|Vitrac|1998|p=34}}. Dans la dernière partie de la définition, « incommensurable » est à prendre au sens d'« incommensurable en puissance » (et donc en longueur){{sfn|Euclide|Vitrac|1998|p=34}}.

Euclide utilise bien en grec deux termes de racines différentes pour exprimable/irrationnel<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=35-36}}.</ref>. Le terme grec que Vitrac traduit littéralement{{sfn|Caveing|1998|p=199}} par « exprimable » a été également traduit en « rationnel » par beaucoup d'auteurs, par exemple Peyrard<ref name="Vitrac35">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=35}}.</ref>. L'opposition ''droite exprimable''/''droite irrationnelle'' ne correspond pas, de toute façon à l'opposition moderne [[nombre rationnel]]/[[nombre irrationnel]]<ref name="Vitrac35"/>. Par exemple la diagonale d'un carré dont dont on prend un côté comme droite de référence est exprimable (car commensurable en puissance avec la droite de référence) et n'est donc pas irrationnelle au sens d'Euclide<ref name="Vitrac39">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=39}}.</ref>.

La définition 4<ref>Dans la numérotation de {{harvsp|Euclide|Peyrard|1816|p=112}} cette définition 4 correspond aux définitions 8, 9, 10 et 11.</ref> étend d'abord l'opposition exprimable/irrationnel aux surfaces : celles qui sont commensurables avec le carré de la droite de référence sont appelées ''exprimables'', et ''irrationnelles'' celles qui sont incommensurables avec celui-ci{{sfn|Euclide|Vitrac|1998|p=37}}. Euclide accompagne ces définitions d'une nouvelle définition de « droite irrationnelle » qui s'avère équivalente à celle de la définition 3<ref name="Vitrac39"/>.

Ainsi la droite diagonale du carré de côté pris comme droite de référence est exprimable, mais l'aire du rectangle construit sur cette diagonale et de même largeur que la droite de référence est irrationnelle<ref name="Vitrac39"/>.

=== Les propositions ===
Afin de rendre les notions plus compréhensibles, il nous arrivera d'adopter des notations algébriques modernes, qui bien entendu, ne sont absolument pas du fait d'Euclide.

Le corpus principal des propositions du livre X s'achève avec la proposition 111 et le porisme (ou corollaire) récapitulatif qui la suit, et qui énonce essentiellement que les 13 espèces d'irrationnelles introduites par Euclide sont bien toutes distinctes<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=64-65 et 67-68}}.</ref>. S'y ajoutent 4 propositions (prop.112-115) dont l'authenticité est discutée<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=68}}</ref>.

Le découpage des propositions qui suit est repris (hors certains intitulés) de {{harvsp|Euclide|Vitrac|1998|p=63-65}}.

==== Premières propositions (1 - 35) ====
===== Propositions préliminaires (1 - 18) =====
* Une application de l'[[axiome d'Archimède]]. La prop.1 énonce que deux grandeurs inégales étant proposées, si l'on retranche de la plus grande une partie plus grande que sa moitié, si l'on retranche du reste une partie plus grande que sa moitié, et si l'on fait toujours la même chose, il restera une certaine grandeur qui sera plus petite que la plus petite des grandeurs proposées. Cette propriété est utilisée dans le [[Livre XII des Éléments d'Euclide|Livre XII]] pour comparer des aires ou des volumes par la [[méthode d'exhaustion]], et est également largement utilisée par [[Archimède]] dans ses travaux.
* Caractérisation de l'incommensurabilité et [[algorithme d'Euclide]]. La prop.2 énonce que, deux grandeurs inégales étant proposées, et si la plus petite étant toujours retranchée de la plus grande, le reste ne mesure jamais le reste précédent, ces grandeurs seront incommensurables. Cette proposition caractérise les grandeurs incommensurables par le fait qu'une application de l'algorithme d'Euclide à ces grandeurs ne se termine pas. ''A contrario'', si les grandeurs sont commensurables, le même algorithme se termine et donne la mesure commune (prop.3). On peut itérer pour trouver la mesure commune de trois grandeurs (prop.4).
* Propriétés de la commensurabilité. Les prop.5 à 9 établissent la relation entre raison de grandeurs commensurables et raison entre entiers. La proposition 10 explique comment construire des droites incommensurables en longueur ou en puissance{{sfn|Euclide|Vitrac|1998|p=131-132}}{{,}}<ref>Les propositions 10 et 11 sont échangées dans {{harvsp|Euclide|Peyrard|1816}}, vis-à-vis de l'édition Heiberg-Menge. IL s'agit donc dans cette édition de la proposition 11 {{harv|Euclide|Peyrard|1816|p=142-143}}.</ref>. La proposition 11 énonce la compatibilité de la commensurabilité avec la proportionnalité{{sfn|Euclide|Vitrac|1998|p=131-132}}{{,}}<ref>Cette proposition est numérotée 10 dans {{harvsp|Euclide|Peyrard|1816|p=140-141}}.</ref>. La proposition 12 énonce la [[transitivité (mathématiques)|transitivité]] de la relation de commensurabilité{{sfn|Euclide|Vitrac|1998|p=132-133}}, et sa conséquence immédiate, la proposition 13, que l'incommensurabilité à une grandeur donnée est stable par commensurabilité{{sfn|Euclide|Vitrac|1998|p=134-135}}{{,}}<ref>Cette proposition est numérotée 14 dans {{harvsp|Euclide|Peyrard|1816|p=140-141}}.</ref>. Les propositions 15 et 16<ref>16 et 17 dans {{harvsp|Euclide|Peyrard|1816|p=153-154}}.</ref> explorent la compatibilité de la commensurabilité avec l'opération sur les grandeurs correspondant à l'[[addition]]<ref>{{harvsp|Euclide|Vitrac|1998|p=138-140}} parle de composition des grandeurs, composition introduite au livre V, voir {{harvsp|Euclide|Vitrac|1994|p=51}}.</ref>.

===== Début de la classification (19 - 28) =====
La prop.21 introduit une notion nouvelle, celle de grandeur médiale. Elle énonce essentiellement que le rectangle dont les côtés sont des droites exprimables, commensurables en puissance seulement, est irrationnel, le côté du carré d'aire égale à ce rectangle étant une droite irrationnelle appelée ''médiale''{{sfn|Euclide|Vitrac|1998|p=151}}{{,}}<ref>Proposition numérotée 22 dans {{harvsp|Euclide|Peyrard|1816|p=166}}.</ref>. Une médiale est donc la [[moyenne géométrique]] de deux droites exprimables et commensurables en puissance seulement<ref>Vitrac dans {{harvsp||Euclide|Vitrac|1998|p=55}}.</ref>.

Algébriquement, si on prend comme unité la longueur de la droite de référence, les deux côtés auront des longueurs de la forme {{math|''a''}} et {{math|''a''}}{{sqrt|''p''}}, {{math|''a''}} et {{math|''p''}} étant entiers. La médiale aura donc pour longueur {{math|''ap''{{exp|1/4}}}}.

La prop. 22, établit qu'un rectangle de côté une droite exprimable, et de même aire qu'un carré de côté une médiale a pour autre côté une droite exprimable incommensurable en longueur avec le premier côté (donc commensurable en puissance seulement{{sfn|Euclide|Vitrac|p=154}} (la définition de médiale n'en donne qu'un cas particulier). De telles aires seront également qualifiées de médiales : rectangle de côtés deux droites exprimables commensurables en puissance seulement, carré de côté une médiale, et plus généralement rectangle de côtés deux médiales commensurables en longueur (prop. 24){{sfn|Euclide|Vitrac|p=159|loc=prop. 24}}.

La prop. 23 donne la stabilité  de la classe des droites médiales par commensurabilité en longueur{{sfn|Euclide|Vitrac|1998|p=157}}. elle est suivie d'un porisme qui étend le résultat aux aires médiales  et donc, implicitement, à la commensurabilité en puissance pour les droites médiales{{sfn|Euclide|Vitrac|1998|p=158-159}}. Les prop. 25-28 donnent d'autres propriétés des médiales{{sfn|Euclide|Vitrac|1998|p=160-171}}.

===== Problèmes de construction (29 - 35) =====
Les prop.29 à 35 expliquent comment construire des longueurs de tel ou tel type (commensurables en longueur, commensurables en puissance, médiales, irrationnelles ...) selon certaines contraintes.

===== Classification de sommes de deux grandeurs (36-72) =====
Euclide va ensuite classifier certaines droites irrationnelles produites par somme<ref group="alpha" name="Somme">« Somme » est à prendre en un sens géométrique, Vitrac parle de « composition » ou d'« adjonction », pour les droites comme pour les aires.</ref>, en faisant intervenir, la nature de chacune des deux droites (exprimable, médiale ou irrationnelle), la commensurabilité entre ces deux droites (commensurables en puissance seulement ou incommensurables en puissance) et la nature de deux aires particulières (exprimable ou médiale), qui sont les composantes du carré de côté la somme des deux droites : l'aire somme de celles des carrés de côté chacune de ces deux droites et l'aire du rectangle contenu par ces deux droites<ref name="Vitrac56">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=56}}.</ref>. En particulier Euclide n'étudie pas de cas où l'une de ces aires est irrationnelle non médiale<ref name="Vitrac56"/>. En suivant cette contrainte (qu'Euclide n'explicite pas), et en éliminant également les cas qui ne produisent pas de nouvelle irrationnelle (ce qu'Euclide n'explicite pas non plus et qu'il n'étudie qu'en partie<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=57}}.</ref>), on aboutit à 6 espèces d'irrationnelles, qui sont celles étudiées par Euclide<ref>Vitrac détaille cette reconstitution des choix d'Euclide dans {{harvsp|Euclide|Vitrac|1998|p=54-58}}.</ref>{{,}}<ref group="alpha">La reconstitution de Vitrac est proche de celle que [[Pappus d'Alexandrie|Pappus]] a donné dans son commentaire au livre X {{harv|Euclide|Vitrac|1998|p=58-59}}, commentaire qui ne nous est parvenu que par une traduction en [[arabe]] ({{harvsp|Euclide|Vitrac|1998|p=V}}, préface de Caveing).</ref>.
[[File:MedialeBinomialeMoyenneGeometrique.svg|thumb|Si AB et BC (de même longueur que BE) sont des droites exprimables commensurables en puissance seulement :<br/> 
• BD est une médiale (moyenne géométrique de AB et BC) ;<br/>
• AC est une binomiale ;<br/>
• le rectangle AE est médial (de même aire que le carré sur BD).]]
* Aux prop.36-41, Euclide étudie donc 6 cas, par nature disjoints, et montre à chaque fois que les droites obtenues sont irrationnelles. Il les classe selon six espèces appelées ''binomiale''{{sfn|Euclide|Vitrac|1998|p=197|loc=prop.36}}, ''bimédiale première''{{sfn|Euclide|Vitrac|1998|p=200|loc=prop.37}}, ''bimédiale deuxième''{{sfn|Euclide|Vitrac|1998|p=201|loc=prop.38}}, ''majeure''{{sfn|Euclide|Vitrac|1998|p=204|loc=prop.39}}, ''[droite] pouvant [produire une aire composée d']une exprimable et [d']une médiale''{{sfn|Euclide|Vitrac|1998|p=205|loc=prop.40}}{{,}}<ref group="alpha" name="Somme"/>, ''[droite] pouvant [produire une aire composée de] deux médiales''{{sfn|Euclide|Vitrac|1998|p=206|loc=prop.41}}{{,}}<ref group="alpha" name="Somme"/>{{,}}<ref  group="alpha">Peyrard avait retenu pour traductions : ''droite de deux noms'', ''première de deux médiales'', ''seconde de deux médiales'', ''majeure'', ''celle qui peut une rationnelle et une médiale'', et ''celle qui peut deux médiales'' {{harv|Euclide|Peyrard|1816|p=205-212}}, prop.37-42.</ref>. Par exemple :
** une binomiale est somme de deux droites exprimables commensurables en puissance seulement (prop.36).
** Une majeure est somme de deux droites incommensurables en puissance, la somme de leurs carrés étant exprimable et l'aire rectangulaire produite par ces deux droites étant médiale (i.e. la droite moyenne géométrique de celles-ci, qui est côté d'un carré de même aire que l'aire rectangulaire produite, est médiale) (prop.39).
: En prenant pour la suite une droite de référence ''d'', et en utilisant des notations algébriques modernes, on a que :  
:* ({{math|{{sqrt|2}} + 1)''d''}} est une binomiale ;
:* <math  display="inline">\left(\sqrt{1+\frac{1}{\sqrt{2}}} +\sqrt{1-\frac{1}{\sqrt{2}}}\right)d</math> est une majeure.
* Les prop.42 à 47 donnent, pour chacune des irrationnelles introduite, l'unicité de la décomposition de celle-ci en somme de deux droites telles que données par la définition.
* Six nouvelles définitions apparaissent alors (sous l'intitulé « Deuxièmes définitions »), qui distinguent six types de binomiale{{sfn|Euclide|Vitrac|1998|p=231|loc=Deuxièmes définitions}}. Par exemple : 
** une binomiale première est une binomiale dont le carré du plus grand terme surpasse le carré du plus petit du carré d'une droite commensurable en longueur avec le plus grand terme, ce plus grand terme étant par ailleurs commensurable en longueur avec la droite ''d'' de référence. Avec des notations algébriques modernes (2 + {{sqrt|3}})''d'' est une  binomiale première.
** Une binomiale quatrième est une binomiale dont le carré du plus grand terme surpasse le carré du plus petit du carré d'une droite incommensurable en longueur avec le plus grand terme, ce plus grand terme étant par ailleurs commensurable avec la droite de référence ''d''. Avec des notations algébriques modernes (2 + {{sqrt|2}})''d'' est une binomiale quatrième.
* Les prop.54 à 65, permettent alors d'associer [[bijection|bijectivement]] les six classes d'irrationnelle définies par Euclide aux prop.35-41 avec ces six types de binomiale. Les énoncés d'Euclide sont purement géométriques, mais si on les traduit plus algébriquement, ils ont pour conséquence que l'on peut associer à chacun des six types de binomiales l'une des six classes d'irrationnelles introduites, par une opération géométrique apparentée à la [[racine carrée]] (prop.54-59), et réciproquement, que l'on peut associer à chacune des six classes d'irrationnelles, le type de binomiale correspondant (d'après les prop.54-59) par une opération apparentée au [[ carré (algèbre)|carré]] (prop.60 à 65). Ainsi :
** à une binomiale première correspond une binomiale, par une opération qui correspond à la racine carrée, ce qui s'interprète algébriquement :<br/> <math display="inline">\sqrt{2 + \sqrt{3}} = \sqrt{\frac{3}{2}} + \sqrt{\frac{1}{2}}</math> ;
** à une majeure correspond une binomiale quatrième par une opération apparentée au passage au carré, qui s'interprète algébriquement :<br/> <math  display="inline">\left(\sqrt{1+\frac{1}{\sqrt{2}}} +\sqrt{1-\frac{1}{\sqrt{2}}}\right)^2 = 2 + \sqrt{2}</math>.
* Les 5 propositions 66 à 70{{sfn|Euclide|Vitrac|1998|p=275-283}} assurent la stabilité par commensurabilité en longueur de chacune des 6 classes d'irrationnelles considérées, ainsi que des 6 sous-classes de binomiale<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=284}}.</ref>.
* Les deux propositions 71 et 72{{sfn|Euclide|Vitrac|1998|p=284-289}}, énoncent que l'on peut engendrer les 6 classes d'irrationnelles des prop. 36-41 par composition (au sens de somme) de deux aires (exprimable et médiale, ou médiales incommensurables).
* Suit un commentaire qui énonce et démontre que les 7 classes d'irrationnelles introduites jusque là sont bien distinctes{{sfn|Euclide|Vitrac|1998|p=289-290}}.

==== Classification de différences de deux grandeurs (73 - 111) ====
De la proposition 73 à la proposition 110, Euclide procède de même pour une droite produite par différence de deux autres droites<ref group="alpha">Il s'agit toujours d'opérations géométriques, Vitrac parle de « retranchement ».</ref>, en définissant 6 nouvelles classes d'irrationnelles. La structure est strictement parallèle à celle de la section précédente<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=64}}.</ref>. Plus précisément, pour chacune des prop. 36-70 (pour la somme), on passe à la proposition correspondante pour la différence, par ''n'' ↦ ''n'' + 37 (prop. 73-107)<ref name="Vitrac66">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=66}}.</ref>. Les trois propositions 108-110 correspondent aux deux propositions 71-72<ref name="Vitrac66"/>.

À la binomiale ou droite de deux noms (prop. 36), correspond, en prenant une différence à la place d'une somme, l'<nowiki/>''apotomé'' (prop. 73{{sfn|Euclide|Vitrac|1998|p=290}}), puis suivent l'<nowiki/>''apotomé première d'une médiale'', l'<nowiki/>''apotomé deuxième d'une médiale'', la ''mineure'', la droite ''produisant par adjonction d'une [aire] exprimable un tout médial'' et  la droite ''produisant par adjonction d'une [aire] médiale un tout médial''.

Par exemple, avec des notations algébriques modernes, ''d'' étant prise comme droite de référence, ({{sqrt|2}} – 1)''d'' est une apotomé.

Les apotomés sont elles-mêmes scindées, comme les binomiales et exactement de la même façon, en six types (« Troisièmes définitions »{{sfn|Euclide|Vitrac|1998|p=308}}). Euclide donne la même correspondance entre ces six types d'apotomé et les six classes de différences irrationnelles introduites, par des opérations correspondant algébriquement à la racine carrée et à l'élévation au carré voir section précédente).

Dans la prop.6 du [[Livre XIII des Éléments d'Euclide|Livre XIII]], Euclide prouve que les deux segments divisant un segment de référence en [[nombre d'or|extrême et moyenne raison]] sont des apotomés. Algébriquement, ils correspondent aux nombres <math>\frac{\sqrt{5}-1}{2}</math> et <math>\frac{3-\sqrt{5}}{2}</math>.

La proposition 111 établit que {{citation|Une apotomé n'est pas la même qu'une binomiale}}{{sfn|Euclide|Vitrac|1998|362}}, ce qui assure que les 13 classes d'irrationnelles introduites auparavant sont  toutes distinctes, comme l'énonce le porisme (ou corollaire) qui la suit{{sfn|Euclide|Vitrac|1998|p=364-365}}{{,}}{{sfn|Euclide|Peyrard|1816|p=401-403}}, et clôt la classification{{sfn|Euclide|Vitrac|1998|p=12}}.

=== Propositions suspectes ===
Une proposition 117, donnant l'incommensurabilité de la diagonale du carré à son côté (en termes modernes, l'irrationalité de {{sqrt|2}}), est démontrée dans certaines éditions et traductions<ref>Elle figure [https://gallica.bnf.fr/ark:/12148/bpt6k68013g/f516.image dans l'édition de 1632] de D. Henrion, et dans {{harvsp|Euclide|Peyrard|1816|p=416-417}}.</ref>. Elle n'a pas été retenue par Heiberg qui la relègue en appendice de son édition de 1886. Il y a plusieurs raisons de penser qu'elle n'est pas authentique, et qu'il s'agit même d'un ajout tardif<ref name="Vitrac412">Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=412}}.</ref> :
* au {{s-|IV}}, [[Pappus d'Alexandrie]] ne la mentionne pas<ref name="Vitrac412" /> ;
* elle est absente de toutes les traductions médiévales<ref name="Vitrac412" /> ;
* Vers 200, [[Alexandre d'Aphrodise]] propose une preuve de cette incommensurabilité dans un commentaire d'[[Aristote]], preuve qui s'appuie sur les  ''Éléments'' et les cite explicitement ; il se serait contenté d'un renvoi, si sa version contenait cette preuve<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=412-413}}.</ref>.

Il est en fait vraisemblable que cette proposition et sa démonstration ont été ajoutées pour servir de référence à [[Aristote]] qui mentionne une preuve de l'incommensurabilité de la diagonale et du côté par un raisonnement qui aboutit à une contradiction en termes de pairs et d'impairs<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=414}}.</ref>. Cependant même de ce point de vue elle est défectueuse, car si Aristote ne fait allusion qu'à la parité, la démonstration de la proposition 117, de même d'ailleurs que celle d'Alexandre, s'appuie en partie sur la notion de nombres premiers entre eux, là où des considérations de parité suffisent<ref>Vitrac dans {{harvsp|Euclide|Vitrac|1998|p=417}}.</ref>{{,}}<ref group="alpha">Pour un exemple de preuve (moderne) ne reposant que sur la parité, voir [[Racine_carrée_de_deux#Par_parité]].</ref>.

== Bibliographie ==
=== Éditions et traductions du livre X ===
* {{ouvrage|auteur1=Euclide |auteur2=Bernard Vitrac |responsabilité2=traduction, introduction, notes et commentaires |préface=[[Maurice Caveing]] |titre=Les Éléments |volume=3 |titre volume=livres X |année=1998 |lieu=Paris |éditeur=PUF |pages=432 |isbn=978-2130495864}} (traduction de l'édition {{harvsp|Heiberg|Menge|1886}}) ;
* * {{Ouvrage|lang=en|auteur1=Euclid |auteur2=[[Thomas L. Heath]] |responsabilité2=Traduction, introduction, commentaires |titre=The Thirteen Books of Euclid's Elements |numéro d'édition={{2e}}|année première édition=1908|année=1926|volume=3. Books X to XIII and Appendix|éditeur=Cambridge University Press |url=https://www.wilbourhall.org/index.html#euclid}} (traduction de l'édition {{harvsp|Heiberg|Menge|1886}}) ;
* {{Ouvrage|prénom1=Johan Ludvig |nom1= Heiberg |lien auteur1=Johan Ludvig Heiberg|responsabilité1=éd.|auteur2=Heinrich Menge|responsabilité2=éd. |titre=Euclidis Opera omnia |volume=3 |éditeur=Teubner|lieu=Leipzig|année=1886|url=https://www.wilbourhall.org/pdfs/HeibergEuclidVolume_3.pdf}} ;
* Les œuvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par [[Jean Itard (historien)|Jean Itard]], Éditions Albert Blanchard (1993) ;
* {{Ouvrage|titre=Les œuvres d'Euclide, en grec, en latin et en français |sous-titre=d'après un manuscrit très-ancien qui était resté inconnu jusqu'à nos jours|auteur1=Euclide|auteur2=François Peyrard |responsabilité2=Édition du texte grec, traduction |date=1816|volume=2|éditeur=M. Patris|lieu=Paris|url=https://archive.org/details/lesoeuvresdeucli02eucl/}}, {{nobr|livres VIII}} à X des ''Éléments'', la traduction en français a été rééditée en 1819 avec celle des autres livres (voir ouvrage précédent).

=== Autres ===
* {{Ouvrage|auteur=[[Maurice Caveing]]|titre=La constitution du type mathématique de l'idéalité dans la pensée grecque|volume=3|titre volume=L’irrationalité dans les Mathématiques grecques jusqu’à Euclide|éditeur=[[Presses universitaires du Septentrion]]|année=1998|pages totales=343|isbn=2-85939-539-3|bnf=36971590m|présentation en ligne={{Google Livres|ZycSoMNgL2YC}}}} ;
* {{ouvrage|auteur1=Euclide |auteur2=Bernard Vitrac |responsabilité2=traduction, introduction, notes et commentaires
|titre=Les Éléments |volume=2 |titre volume=livres V à IX
|année=1994 |lieu=Paris |éditeur=PUF |pages=572 |isbn=2-13-045568-9}} ;
* {{article|lang=en |issn = 0273-0979 |e-issn=1088-9485| volume = 9| numéro = 1| pages = 41–69| auteur = [[Wilbur Knorr]]|  titre = “La croix des mathématiciens”: The Euclidean theory of irrational lines| journal = Bulletin (New Series) of the American Mathematical Society| consulté le = 2024-11-22| date = 1983-07| url = https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-9/issue-1/La-croix-des-math%c3%a9maticiens--The-Euclidean-theory-of-irrational/bams/1183550975.full}} ;
* {{ouvrage|lang=en,de,ar| éditeur = Harvard University Press|auteur1=Pappus|lien auteur1=Pappus d'Alexandrie |auteur2=Abū ʿUthmān al-Dimishqī |responsabilité2=traduction du grec vers l'arabe |auteur3=William Thomson |responsabilité3=traduction de l'arabe vers l'anglais, introduction, commentaires |auteur4=Gustav Junge |responsabilité4=introduction, commentaires |titre=The Commentary Of Pappus On Book X of Euclid's Elements|consulté le=2024-11-22 |date=1930 |url=https://archive.org/details/commentaryofpapp033370mbp}}.

== Liens externes ==
* [https://gallica.bnf.fr/ark:/12148/bpt6k68013g.image.f414.pagination Les quinze livres des éléments géométriques d'Euclide] traduction de [[Denis Henrion|D. Henrion]], 1632, sur le site [[Gallica]] de la [[Bibliothèque nationale de France|BNF]]
*{{en}} [http://aleph0.clarku.edu/~djoyce/java/elements/bookX/bookX.html Euclid's Elements, Book X] adapté pour Internet par D. E. Joyce à partir de la traduction par [[Thomas Heath]] de l'édition {{harvsp|Heiberg|Menge|1886}}.

== Notes et références ==
=== Notes ===
{{references|group = alpha}}

=== Références ===
{{references}}

{{Palette|Éléments d'Euclide}}

{{portail|mathématiques|géométrie}}

[[Catégorie:Éléments d'Euclide|Livre, 10]]