Voir la source de Algèbre géométrique

{{paronyme|Géométrie algébrique}}
{{Voir homonymes|mef=[[Algèbre (homonymie)]] et notamment la structure mathématique d'[[algèbre géométrique (structure)]]}}
[[Image:Paul Tannery.jpg|vignette|upright=1.3|Le nom de [[Paul Tannery]] est généralement associé à l'expressions « algèbre géométrique ».]]

En [[mathématiques]], l’'''algèbre géométrique''' regroupe des méthodes [[géométrie|géométriques]], utilisées par les [[Mathématiques de la Grèce antique|Grecs de l'Antiquité]], pour établir des résultats maintenant classés dans la branche mathématique appelée [[algèbre]]. Ces techniques permettent la mise en évidence des propriétés élémentaires de la [[multiplication]], d’effectuer des calculs comme la somme des premiers nombres entiers, ou impairs. Elles permettent d’établir des résultats comme des [[identité remarquable|identités remarquables]] ou de résoudre une [[équation du second degré]]. L’algèbre géométrique fournit aussi des méthodes de résolution plus complexes, comme celles qui montrent l’existence de [[nombre irrationnel|nombres irrationnels]].

Si ces méthodes sont anciennes et correspondent à une vision des mathématiques qui n'est plus la nôtre, elles sont toujours utilisées dans l’enseignement, soit pour donner des preuves simples de certains résultats, soit pour développer une conscience intuitive de résultats qu'une présentation algébrique rendrait plus abstraits.

Le terme « algèbre géométrique » provient de l'ouvrage ''Histoire des mathématiques dans l'Antiquité et le Moyen Âge'' écrit en 1893 par le mathématicien danois [[Hieronymus Georg Zeuthen]], et traduit en français en [[1902]] par [[Jean Mascart]] avec des commentaires de l'historien [[Paul Tannery]]<ref>{{Ouvrage|langue=fr|auteur1=Hieronymus Zeuthen, Hieronymus Greorg Zeuthen|traducteur=Jean Mascart|langue originale=allemand|champ libre=sur l'édition de 1896 - publication originale en danois|titre=Histoire des mathématiques dans l'Antiquité et le Moyen Âge|titre original={{langue|de|Geschichte der Mathematik im Altertum und Mittelalter}}|lieu=Paris|éditeur=[[Gauthier-Villars]]|année=1902|année première édition=1893|sudoc=019638922}}</ref>. Il est popularisé l'année suivante par les frères Tannery, qui consacrent un chapitre sur l'« algèbre géométrique » dans les ''Notions de mathématiques'' du mathématicien [[Jules Tannery]]<ref>{{Chapitre|langue=fr|auteur1=Jules Tannery|lien auteur1=Jules Tannery|champ libre=l'ouvrage contient également une section « Notions historiques » rédigées par Paul Tannery, mais elles ne mentionnent pas explicitement l'« algèbre géométrique »|titre chapitre=Algèbre géométrique|numéro chapitre=2|titre ouvrage=Notions de mathématiques|lieu=Paris|éditeur=Delagrave|année=1903|passage=131-142|bnf=ark:/12148/cb31432142h|lire en ligne=https://gallica.bnf.fr/ark:/12148/bpt6k993940}}</ref>. L'idée qu'en retiennent la plupart des commentateurs consiste à rapprocher les propositions 1 à 10 du [[livre II des Éléments d'Euclide|livre II]] des [[Éléments (Euclide)|''Éléments'' d'Euclide]] d'une méthode algébrique pour déterminer les solutions positives d'une équation quadratique. Cette lecture diachronique des sources a par la suite fait l'objet de nombreuses discussions et controverses sur la signification de cette expression, en associant parfois hâtivement —surtout, mais pas seulement, dans la littérature francophone— le nom de Paul Tannery à ces développements<ref>{{Chapitre|langue=en|prénom1=Jens|nom1=Høyrup|titre chapitre=(Article II.5.) What is “Geometric Algebra”, and what has it been in Historiography?|titre ouvrage=Selected Essays on Pre- and Early Modern Mathematical Practice|éditeur=Springer International Publishing|date=2019|pages totales=591–631|isbn=978-3-030-19257-0|doi=10.1007/978-3-030-19258-7_22|lire en ligne=http://link.springer.com/10.1007/978-3-030-19258-7_22|consulté le=2024-09-10}}</ref>.

L'expression « algèbre géométrique » est aussi utilisée en [[mathématiques pures]], elle correspond alors à un concept moins élémentaire. Elle désigne une branche contemporaine des mathématiques consistant à associer une [[géométrie]] à une structure d'[[algèbre sur un anneau|algèbre]]. Cet aspect est traité dans l'article [[Algèbre géométrique (structure)]]. Les termes [[géométrie algébrique]] désignent une branche différente des mathématiques, constituée d'un savoir essentiellement acquis aux {{s2|XIX|e|XX|e}} et toujours d'actualité en [[recherche mathématique]].

== Propriétés de la multiplication ==
{{Article détaillé|Multiplication}}
=== Nombre entier positif ===
{{Article détaillé|Entier naturel}}
[[Fichier:Three-by-Four-Commutativity.jpg|vignette|redresse|gauche|4&nbsp;×&nbsp;3&nbsp;=&nbsp;3&nbsp;×&nbsp;4]]
On peut remarquer que 4&nbsp;×&nbsp;3 est égal à 3&nbsp;×&nbsp;4 et, de manière plus générale {{Citation|le produit de nombres entiers ne dépend pas de l’ordre des facteurs<ref>Cette citation est extraite du premier exemple d’usage de l’arithmétique géométrique de {{Harvsp|Zeuthen|1902|p=31}}.</ref>}}.

Pour se persuader de l’exactitude de ce résultat, on peut considérer des petits carrés, tous de même dimension, assemblés en rangées de 3. En accolant verticalement 4 rangées de 3, on obtient un rectangle de base 4 côtés de petits carrés et de hauteur 3. Ce rectangle, illustré sur la figure de gauche, contient 4&nbsp;×&nbsp;3&nbsp;=&nbsp;12 petits carrés. Appliquer un quart de tour au rectangle ne modifie pas le nombre de petits carrés le composant, ce qui montre que le résultat de 4&nbsp;×&nbsp;3 correspond au nombre de petits carrés composant le rectangle associé à l’opération 3&nbsp;×&nbsp;4. Ce résultat ne dépend pas des valeurs 3 et 4, on peut choisir deux nombres entiers quelconques que l’on peut noter ''a'' et ''b''. L’égalité qui s’écrit de la manière suivante traduit ce que l’on appelle la [[commutativité]] de la multiplication :
<center><math>a \times b = b\times a</math>.</center>
{{clr}}
[[Fichier:Three-by-Four-Distributivitivity.jpg|vignette|droite|La multiplication est [[distributivité|distributive]] par rapport à l'addition.]]
La commutativité de la multiplication n’est pas l’unique propriété s’illustrant à l’aide de la géométrie. La figure de droite peut se lire de deux manières différentes. Tout d’abord, le grand rectangle est la somme des aires des rectangles bleus et rouges. Le raisonnement précédent montre que son aire est égale à 9&nbsp;×&nbsp;3&nbsp;+&nbsp;9&nbsp;×&nbsp;4. On peut le voir aussi comme un unique rectangle, s'il l'on ne tient pas compte des couleurs, d’aire égale à 9&nbsp;×&nbsp;(3&nbsp;+&nbsp;4). Ces deux écritures correspondent donc au même nombre. Une fois encore, le résultat est vrai non seulement pour les nombres 9, 3 et 4, mais aussi pour n’importe quel ensemble de trois nombres, que l’on peut noter ''a'', ''b'' et ''c''. On obtient le résultat suivant, appelé [[distributivité]] de la multiplication par rapport à l’addition.
<center><math>a \times b + a\times c = a\times (b+c)</math>.</center>
{{clr}}
Ainsi, l'usage de la géométrie et plus spécifiquement le calcul des [[Aire (géométrie)|aires]] permet d'établir certaines propriétés de la multiplication. Ce principe est la base de l'algèbre géométrique<ref name="Quadrige 1994 p 231-233">{{Citation|Parmi les diverses échappatoires tentées, et réussies, par les mathématiciens grecs […] se place la partie de « l'algèbre géométrique »  (expression de Zeuthen) qu'est l'application des aires.}} {{Ouvrage|prénom=Paul-Henri|nom=Michel|prénom2=Jean|nom2=Itard|titre=La science antique et médiévale, des origines à 1450|éditeur=Quadrige|année=1994}}, [http://perso.univ-rennes1.fr/alain.herreman/docs_licence_ehm/Historiographie_texte_Michel-Itard.html {{p.|231-233}}].</ref>.

=== Fraction ===
{{Article détaillé|Fraction (mathématiques)}}
Pour faire de la géométrie, les nombres entiers ne suffisent pas toujours. Une longueur peut être égale à la moitié d'une autre. Les Grecs ont donc été amenés à établir les règles opératoires régissant les fractions<ref group="Note">Une véritable lecture des textes mathématiques d'avant Euclide n'est pas aussi simple. Pour les Grecs, les nombres sont toujours des entiers. L'équivalent chez eux de nos [[nombre rationnel|nombres rationnels]] correspondent chez eux à ce qu'ils appellent un logo, qui n'est pas un nombre mais une proportion.</ref>. Une fois encore le calcul des aires est utile. Pour illustrer cette approche, cherchons à additionner 1/6 et 4/9. Considérons pour cela un rectangle dont l’aire est égale à 1. On choisit deux quadrillages qui décomposent le rectangle en petits rectangles identiques. On choisit ces quadrillages compatibles, c'est-à-dire que la superposition des quadrillages est encore un quadrillage en petits rectangles tous identiques, comme l’illustre la figure ci-dessous :
[[Image:fraction_sum3.svg|centré]]
La première représentation du rectangle montre que la fraction 1/6 est représentée par un quadrillage découpant le rectangle en 6 petits rectangles, la superposition des quadrillages en crée 18 et 1/6&nbsp;=&nbsp;3/18. On obtient finalement les égalités :
<center><math>\frac16 + \frac 49 = \frac 3{18} + \frac 8{18} = \frac {11}{18}</math>.</center>

D'une manière générale, si ''a'', ''b'', ''c'', et ''d'' sont des nombres entiers tels que ni ''b'' ni ''d'' ne sont nuls, alors :
<center><math>\frac ab = \frac {d\cdot a}{d\cdot b}\quad \text{et}\quad \frac ab + \frac cd = \frac {a\cdot d + c\cdot b}{b\cdot d}</math>.</center>

L’article détaillé montre comment la démarche permet de déterminer toutes les règles opératoires des fractions.

== Arithmétique géométrique ==
[[Fichier:Algebre-geometrique-intro.jpg|vignette|Un changement d'échelle permet d'obtenir des longueurs entières.]]
À l’aube des mathématiques grecques et jusqu’au mathématicien [[Pythagore]], l’on pensait que toutes les longueurs pouvaient s’exprimer par ce que l’on appelle maintenant des [[nombre rationnel|fractions]], ce que Tannery exprime de la manière suivante : {{Citation|les Pythagoriciens sont partis de l’idée, naturelle à tout homme non instruit, que toute longueur est nécessairement commensurable à l’unité<ref>Paul Tannery  ''Mémoires scientifiques'', Paris-Toulouse, Privat, 1912, I, {{p.|268}}.</ref>.}}. Ces mathématiciens en conclurent que, pour étudier une figure géométrique, l'on pouvait toujours choisir une longueur unité telle que tous les segments représentés sur la figure aient des longueurs qui s’expriment comme des nombres entiers. La figure de droite illustre cette situation. Elle représente deux segments de longueur 4/3 et 3/2, si l'unité choisie est indiquée par la graduation bleue. L'unité de la graduation rouge est de longueur le sixième de la bleue, avec la graduation rouge, les longueurs sont entières et égales à 8 et 9.

Cette remarque et certaines figures géométriques permettent d’établir des résultats sur les nombres entiers, résultats qui entrent dans la branche mathématique appelée [[arithmétique]]. Zeuthen considère ces techniques comme de l’''arithmétique géométrique''. Il estime que c'est une branche de l’algèbre géométrique car les démarches sont analogues<ref>Plus précisément, Zeuthen considère que l’arithmétique géométrique est une ''introduction à l’algèbre géométrique'' : {{Harvsp|Zeuthen|1902|p=31}}.</ref>{{,}}<ref>Zeuthen n’est pas l’unique historien des sciences à considérer que l’arithmétique géométrique est une branche de l’algèbre géométrique : {{Douteux|date=17/08/2015|{{Lien|lang=de|Árpád Szabó}} utilise ce terme pour décrire les résultats arithmétiques connus des Babyloniens et démontrés géométriquement par les Grecs, cf. {{Ouvrage|langue=en|prénom1=Árpád|nom1=Szabó|titre=The Beginnings of Greek Mathematics|éditeur=Springer|année=1978|pages totales=358|isbn=978-90-277-0819-9|présentation en ligne={{Google Livres|mXYyG0N_TMAC|page=31}}|passage=31}}|Aucune trace de "geometric arithmetic" dans cette p. 31 ni dans tout ce livre}} (traduit de {{Ouvrage|lang=de|titre=Anfänge der griechischen Mathematik|éditeur=de Gruyter|année=1969|url={{Google Livres|dhj0CQAAQBAJ|page=35}}}} ; version française : {{Ouvrage|langue=fr|titre=Les débuts des mathématiques grecques|éditeur=J. Vrin|année=1977|pages totales=403|isbn=978-2-7116-0691-7}} ; à ne pas confondre avec {{Harvsp|Szabó|2000}}).</ref>{{,}}<ref>D’autres historiens utilisent le terme d’arithmo-géométrie pour désigner cette technique mathématique : Jean Itard, ''Les livres arithmétiques d'Euclide'', Hermann, 1961, {{p.|77}}.</ref>.

Pour faire de l'arithmétique géométrique les représentations sont de même nature que celle du paragraphe ''Nombre entier'', mais il est possible de les simplifier. Les Grecs avaient remarqué que tracer les rectangles était inutile. Les pastilles à l’intérieur des carrés, qui étaient alors des galets<ref>{{Douteux|date=25/8/2014|{{Harvsp|Burkert|1972|p=428}}.}}</ref>, suffisaient. La méthode consiste à représenter un nombre à l'aide d'un assemblage de pastilles selon une figure géométrique. L'association du nombre et de la figure est appelée un [[nombre figuré]]. Celle utilisée au paragraphe précédent pour représenter 12 est appelée '''nombre rectangle'''. Il existe plusieurs figures cataloguées<ref group="d">Charles-E. Jean, « [http://www.recreomath.qc.ca/dict_figure_nombre.htm nombre figuré] », sur ''récréomath''.</ref>.

[[Fichier:Computation of a triangular number.jpg|vignette|Les nombres figurés permettent le calcul d'une somme algébrique.]]
=== Somme des premiers nombres ===
{{Article détaillé|nombre triangulaire#Méthodes de calcul{{!}}Nombre triangulaire, § Méthodes de calcul}}
En accolant deux triangles égaux comme sur la figure ci-contre, on obtient un [[rectangle]] dont la longueur est d'une unité supérieure à sa largeur (son aire est appelée un [[nombre oblong]]). L'article détaillé montre qu'on en déduit la formule suivante<ref>C'est le premier exemple d'arithmétique géométrique de {{Harvsp|Zeuthen|1902|p=33}}.</ref> :

<center><math>1 + 2 + \cdots + n = \frac{n\times(n+1)}2</math>.</center>

=== Nombre carré ===
{{Article détaillé|Carré parfait}}
[[Fichier:Liste-des-carrés-parfaits.jpg|vignette|gauche|Les carrés peuvent se calculer à l'aide des nombres figurés.]] 
Un nombre carré est un nombre égal à un certain entier multiplié par lui-même. Par exemple, 9 est un nombre carré car 3&nbsp;×&nbsp;3&nbsp;=&nbsp;9. Il se présente de manière figurée comme un carré. Pour établir la liste des premiers carrés, l’arithmétique géométrique peut être utile. On suppose, par exemple, connue la liste jusqu’à 7&nbsp;×&nbsp;7&nbsp;=&nbsp;49. Pour trouver la valeur du carré suivant, de côté 8, on raisonne à l’aide de la figure de gauche. Le nombre 8&nbsp;×&nbsp;8 peut être vu comme la somme de 7&nbsp;×&nbsp;7 correspondant aux billes rouges, de 7 correspondant aux billes vertes et 8 correspondant aux billes bleues. De manière générale, on dispose de l’égalité<ref group="d">Cette présentation s’inspire de : Claudie Asselin-Missenard et [[André Deledicq]], « Les carrés de 1 à 25 », ''Jeu tests & quiz mathématiques'', Les éditions du Kangourou, 2010, {{p.|22}}.</ref> :
<center><math>(n+1)\times(n+1) = n\times n + n + (n+1)</math>.</center>
[[Fichier:Carré-impair.jpg|vignette|Les Grecs démontraient géométriquement que le carré d'un nombre impair est impair.]]
Établir la liste des premiers nombres carrés est un vieil exercice, déjà réalisé par les mésopotamiens. À cette époque, la numération était en [[Système sexagésimal|base 60]]. Réaliser des multiplications comme nous le faisons maintenant aurait supposé d’apprendre les tables de multiplication jusqu’à 60, exercice de mémorisation difficile et que l’on n'imposait pas aux écoliers mésopotamiens<ref>Pour plus de détails, voir : [[Christine Proust]], « [http://www.math.ens.fr/culturemath/histoire%20des%20maths/pdf/Calcul%20sexa_Proust.pdf Le calcul sexagésimal en Mésopotamie] », {{p.|20}}.</ref>. Les tables de carrés, qui existaient alors, étaient bien utiles. Par exemple, la multiplication de 15 par 29 donne<ref group="d">Cette présentation s’inspire de : Claudie Asselin-Missenard et [[André Deledicq]], « Les carrés de Babylone », ''Jeu tests & quiz mathématiques'', Les éditions du Kangourou, 2010, {{p.|24}}.</ref> :
<center><math>15\times29 = 15\times (15 + 14) = 15\times 15 + 14\times14 + 14 = 225 + 196 + 14 = 435</math>.</center>

Les Grecs héritèrent du savoir mésopotamien et ajoutèrent leur propre interprétation qui leur permit de trouver d’autres résultats. Ils avaient remarqué que, si le côté d'un nombre carré est pair, le nombre carré l'est aussi, car il se décompose en la somme de deux nombres rectangles égaux dont la base est égale à deux fois la hauteur. La logique géométrique permet de comprendre que si le côté est de longueur impair, l’aire l’est aussi. La figure de droite l’illustre sur l’exemple 15&nbsp;×&nbsp;15. La représentation du nombre carré montre qu’il est somme d’un carré, en rouge sur la figure, qui est pair (il est composé d’autant de pastilles claires que foncées), d’un nombre pair (les pastilles bleues, qui sont graphiquement divisées en deux parties égales) et d’une pastille verte, isolée. Ainsi 15&nbsp;×&nbsp;15 est la somme d’un nombre pair (les pastilles rouges et les bleues) et de 1, ce qui est un nombre impair<ref>De manière plus générale, les Pythagoriciens de -480 connaissaient probablement la « théorie du pair et de l'impair » et savaient déduire la parité d'un produit, connaissant la parité des facteurs : {{refconf|dat=août 2016|{{Article|lang=de|prénom=O.|nom=Becker|titre=Die Lehre von Geraden und Ungeraden im neunten Buch der euklidischen Elemente|revue=Quellen und Studien sur Geschichte der Mathematik, Astronomie und Physik|série=B|vol=3|année=1936|p.=533-553}}}}.</ref>.

=== Triplet pythagoricien ===
{{Article détaillé|Triplet pythagoricien}}
[[Fichier:Carré parfait et triplet pythagoricien.jpg|vignette|gauche|Certains nombres carrés permettent de construire des triplets pythagoriciens.]]
À l’aide de la figure permettant de calculer la liste des carrés, les Grecs définirent un nouveau nombre figuré, le [[Nombre gnomonique|nombre gnomon]]. Les pastilles bleues de la figure de gauche correspondent à un nombre gnomon : 9. Cette figure de gauche montre qu’un carré est formé d'une suite de nombres gnomons, correspondant à la suite des premiers nombres impairs<ref group="d">Gérard Villemin, « [http://villemin.gerard.free.fr/Wwwgvmm/Identite/Impair.htm#carcub Impairs, Carrés et Cubes] », sur ''Nombres - Curiosités, théorie et usages''.</ref>. Ce que l’on peut encore traduire par l’égalité :
<center><math>1 + 3 + \cdots + (2n-1) = n\times n</math>.</center>

Ce résultat permet de construire des [[Triplet pythagoricien|triplets pythagoriciens]] si, comme sur la figure de gauche, le dernier gnomon est un [[carré parfait]]. L’égalité issue de cette figure s’écrit :
<center><math>(1 + 3 + 5 + 7) + 3\times 3 = 5\times 5</math>.</center>

Or la somme des nombres entre parenthèses correspond à un nombre carré ; l’égalité s’écrit encore :
<center><math>4\times 4+ 3\times 3 = 5\times 5</math>.</center>

Cette observation permet de construire des séries de trois nombres ''a'', ''b'' et ''c'', vérifiant ''a''<sup>2</sup>&nbsp;+&nbsp;''b''<sup>2</sup>&nbsp;=&nbsp;''c''{{2}}, que l’on appelle triplet pythagoricien. À l'aide du [[théorème de Pythagore]], il devient possible de construire des [[triangle rectangle|triangles rectangles]] (à côtés entiers)<ref>Cette méthode est décrite dans {{Harvsp|Caveing|1998b|p=91}}.</ref>. Si, au lieu de choisir une largeur 1 pour le gnomon, on lui attribue une largeur quelconque, on peut trouver une méthode qui donne tous les triplets pythagoriciens. Elle est proposée dans le [[Livre X des Éléments d'Euclide|livre X des ''Éléments'' d'Euclide]]<ref>{{Harvsp|Zeuthen|1902|p=31}}.</ref>.

=== Somme des cubes ===
{{Voir|Théorème de Nicomaque}}
[[Image:Carré-d'un-nombre-triangulaire.jpg|vignette|redresse|Le carré du ''n''-ième nombre triangulaire est égal à la somme des ''n'' premiers cubes.]]
Les [[Nombre cubique|nombres cubiques]] sont construits comme les carrés, à la différence que cette fois-ci le nombre représente le volume et non la surface. Les quatre premiers nombres cubiques sont 1&nbsp;= &nbsp;1{{3}}, 8&nbsp;= &nbsp;2{{3}}, 27&nbsp;= &nbsp;3{{3}} et 64&nbsp;= &nbsp;4{{3}}. Le raisonnement suivant montre que la somme des premiers nombres cubiques est toujours un nombre carré.

Dans la figure ci-contre, le côté du plus grand carré a pour longueur le nombre triangulaire {{nobr|1=1 + 2 + 3 + 4 = 10.}} Ce carré est décomposé en une somme de gnomons dont la largeur vaut 1, puis 2, puis 3, puis 4. Calculons l'aire du dernier. Cette zone orange est composée d'un carré de côté 4 et de deux rectangles de largeur 4 et de longueur {{nobr|1=1 + 2 + 3 = 6.}} L'aire du gnomon est donc égale à {{nobr|1=2 × 4 × 6 + 4{{2}} = 3 × 4{{2}} + 4{{2}} = 4{{3}}.}}

Ce raisonnement est vrai pour tous les nombres gnomons de la figure : le raisonnement précédent montre que le ''n''-ième vaut
<center><math>2n\left(1+2+\cdots+(n-1)\right)+n^2=2n\frac{(n-1)n}2+n^2=n^3</math>.</center>

On en déduit que la somme des ''n'' premiers nombres cubiques est le carré du ''n''-ième [[nombre triangulaire]].

== Équation du second degré ==
=== Introduction par l'exemple ===
{{Article détaillé|Nombre d'or}}
[[Fichier:Calcul-de-phi.jpg|vignette|gauche|Calcul de la section d'or à l'aide d'un gnomon.]]
À l'époque de [[Pythagore]], il est probable que les Grecs savaient construire rigoureusement un [[Pentagone (figure)|pentagone]] régulier<ref name="Heath">{{Ouvrage|langue=en|prénom1=Thomas Little|nom1=Heath|lien auteur1=Thomas Heath|titre=A History of Greek Mathematics|volume=1|titre volume=From Thales to Euclid|éditeur=[[Cambridge University Press|CUP]]|année=2013|année première édition=1921|pages totales=468|isbn=978-1-108-06306-7|présentation en ligne={{Google Livres|J-kaAgAAQBAJ|page=160}}|passage=160}}.</ref>. A priori, cette construction semble ne concerner que la géométrie, et c'est ainsi que les Grecs le concevaient. Une lecture moderne indique que cette question est intimement liée à la résolution d'une question algébrique, à savoir la résolution d'un [[équation du second degré|problème du second degré]]<ref>Depuis l'origine, ces questions du second degré sont au cœur de l'algèbre géométrique : {{Harvsp|Zeuthen|1902|p=42-43}}.</ref>.
[[Fichier:Construction-du-nombre-d'or.jpg|vignette|Le théorème de Pythagore permet la construction de φ.]]
Construire cette figure suppose la connaissance des proportions du triangle [[Triangle isocèle|isocèle]] formé par deux côtés adjacents du pentagone. Si l'on choisit l'unité égale à la longueur d'un côté et si φ désigne la base du triangle, qui correspond à une diagonale du pentagone, la proportion s'exprime de la manière suivante :
<center><math>(1)\quad\frac\varphi1=\frac1{\varphi-1}\quad\text{ou}\quad(2)\quad\varphi^2-\varphi-1=0</math>.</center>

Du point de vue grec sous la forme (1), la question posée est géométrique, c'est celle de la détermination d'une proportion, qu'Euclide appelle ''d'extrême et de moyenne raison''. Du point de vue moderne et sous la forme (2), la question posée est algébrique, c'est celle de la résolution d'une équation du second degré ayant pour unique solution positive le [[nombre d'or]]. Il est possible qu'[[Hippase de Métaponte]], l'auteur probable de la construction<ref>{{Ouvrage|langue=fr|prénom1=Jean-Luc|nom1=Périllié|titre=Symmetria et rationalité harmonique|sous-titre=origine pythagoricienne de la notion grecque de symétrie|éditeur=[[L'Harmattan]]|année=2005|pages totales=282|isbn=978-2-7475-8787-7|passage=144}}.</ref>, ait utilisé une méthode importée de Babylone<ref>{{Harvsp|DahanPeiffer|p=74}}.</ref>, une fois encore à base d'un gnomon.

L'égalité φ{{2}}&nbsp;=&nbsp;φ&nbsp;+&nbsp;1 directement issue de l'égalité (1) se lit de la manière suivante : un carré de côté φ possède la même aire qu'un rectangle de base φ&nbsp;+&nbsp;1 et de hauteur 1, résultat représenté sur la figure de gauche. En retranchant au carré et au rectangle, l'aire d'un gnomon du hauteur φ et de largeur 1/2, on remarque qu'un carré de côté φ&nbsp;–&nbsp;1/2 possède une aire égale à la somme de celle d'un carré de côté 1 et de celle d'un carré de côté 1/2. Obtenir la longueur φ devient aisé avec le [[théorème de Pythagore]], elle est construite sur la figure de droite.

{{boîte déroulante début|align=left|titre=Démonstration de l'égalité (1)}}
[[Fichier:Golden triangle.jpg|droite]]
Soit ''ABC'' trois sommets consécutifs d'un pentagone régulier de côtés de longueur 1. Un polygone [[Ensemble convexe|convexe]] de ''n'' côtés a, pour valeur de la somme de ses angles, (''n''&nbsp;–&nbsp;2)&nbsp;×&nbsp;180°, soit pour un pentagone 540°. Comme celui étudié ici est régulier, l'angle ''ABC'' est de mesure 540°&nbsp;/&nbsp;5&nbsp;=&nbsp;108°. Les deux autres angles ''BCA'' et ''CAB'' sont égaux car le triangle est isocèle. Comme la somme des mesures des angles d'un triangle est égale à 180°, les deux autres angles ont pour mesure 36°. On obtient le triangle de la figure de droite.

Si l'on trace la droite passant par ''B'' et divisant l'angle ''ABC'' de 108° en deux angles comme sur la figure de droite, l'un de 36° et l'autre de 72°, on divise le triangle initial en deux triangles isocèles ''ABD'' et ''DBC''. Une analyse des angles montre que le triangle ''ABC'' est semblable au triangle ''ABD''. Il est alors possible d'appliquer le théorème de Thales en remarquant que ''AB''&nbsp;=&nbsp;1, ''AC''&nbsp;=&nbsp;''AD''&nbsp;+&nbsp;''DC''&nbsp;=&nbsp;φ et ''BC''&nbsp;=&nbsp;''CD''&nbsp;=&nbsp;1 car le triangle ''DBC'' est isocèle. Finalement : ''AD''&nbsp;=&nbsp;φ&nbsp;–&nbsp;1, et l'on obtient :
<center><math> \frac {AC}{BC} = \frac {AB}{AD} \quad\text{et}\quad \frac\varphi1=\frac1{\varphi-1}</math>.</center>
{{Boîte déroulante fin}}

=== Identité remarquable ===
{{Article détaillé|Identité remarquable}}
[[Image:Identité-remarquable-géométrie (1).jpg|vignette|droite|Certaines [[identité remarquable|identités remarquables]] se démontrent à l'aide de la [[géométrie plane]].]]
La résolution d'une équation du second degré, dans le cas général, se résout à l'aide de trois identités remarquables, développant les expressions (''a''&nbsp;+&nbsp;''b''){{2}}, (''a''&nbsp;–&nbsp;''b''){{2}} et (''a''&nbsp;+&nbsp;''b'')(''a''&nbsp;–&nbsp;''b'')<ref group="Note">Voir l'article [[Équation du second degré]].</ref>. Elles se démontrent à l'aide des propriétés algébriques de l'addition et de la multiplication. Pour les Grecs, ces résultats sont des vérités géométriques, qui se démontrent à l'aide d'un carré, en bleu sur la figure de droite et d'un gnomon, en vert et rouge.

Pour établir la formule suivante, on considère la figure de droite :
<center><math>(1)\quad (a + b)^2 = a^2 + 2ab + b^2</math>.</center>

La longueur bleue représente ''a'' et la rouge ''b''. L'expression (''a''&nbsp;+&nbsp;''b''){{2}} est égale à l'[[Superficie|aire]] du grand carré de côté ''a''&nbsp;+&nbsp;''b''. Il est possible de le décomposer en trois parties : la zone bleue, correspondant à un carré de côté ''a'' et d'aire ''a''{{2}}; la zone rouge, correspondant à un carré de côté ''b'' et d'aire ''b''{{2}} et la zone verte, correspondant à deux rectangles de longueur ''a'' et de largeur ''b''. Chaque rectangle de la zone verte est d'aire égale à ''ab'', la zone verte est d'aire 2''ab''. On retrouve bien l'identité remarquable (1).

On établit de même l'identité :
<center><math>(2)\quad (a - b)^2 = a^2 - 2ab + b^2</math>.</center>

Cette fois-ci, la longueur bleue désigne ''a''&nbsp;–&nbsp;''b'' et la rouge ''b''. L'expression (''a''&nbsp;–&nbsp;''b'') correspond maintenant à l'aire du carré bleu. L'aire du carré bleu peut être vue comme la différence entre le grand carré, maintenant de côté ''a'' et les deux zones vertes et la zone rouge. Le rectangle composé d'une zone verte et du carré rouge a pour aire ''a.b''. Si l'on retranche à l'aire du carré de côté ''a'' deux aires d'un rectangle de longueur ''a'' et de largeur ''b'', on trouve l'aire du carré bleu ôtée de celle du carré rouge, ce qui donne l'identité suivante, dont on déduit une égalité équivalente à (2) :
<center><math>a^2 - 2ab = (a - b)^2 - b^2</math>.</center>

L'identité (3) se démontre à l'aide de la même figure :
<center><math>(3)\quad a^2 - b^2 = (a + b)(a-b)</math>.</center>

On utilise les mêmes conventions que celles établissant l'identité (2). L'aire de la surface ''a''{{2}}&nbsp;–&nbsp;''b''{{2}} correspond à l'aire du grand carré ôtée de l'aire du carré rouge, c'est-à-dire à l'aire du carré bleu additionnée à l'aire des deux rectangles verts. Le rectangle composée de la zone bleue et d'une zone verte correspond à un rectangle d'aire ''a''(''a''&nbsp;–&nbsp;''b''). Si l'on déplace un des deux rectangles verts pour le positionner de long du deuxième rectangle vert de manière à former un nouveau rectangle, on trouve un rectangle de longueur (''a''&nbsp;+&nbsp;''b'')(''a''&nbsp;–&nbsp;''b''). Ce rectangle est d'aire égale à celle du grand carré ôtée de l'aire du carré rouge, ce qui démontre l'identité (3).

Ainsi, toutes les identités remarquables utilisées pour résoudre des équations du second degré s'interprètent et se démontrent de manière géométrique. En conséquence, toutes les équations du second degré peuvent se résoudre de manière géométrique. Cette lecture, démontrant l'équivalence du contenu mathématique des identités remarquables avec un savoir géométrique présent dans le [[Livre II des Éléments d'Euclide|livre II des ''Éléments'' d'Euclide]] est l'œuvre de Zeuthen<ref>{{Harvsp|Zeuthen|1902|p=36-44}}.</ref>.

=== Résolution d'une équation du second degré ===
On recherche à résoudre l'équation suivante<ref>Elle est équivalente à celle de {{Harvsp|Zeuthen|1902|p=39}}.</ref> :
<center><math>ax - x^2 = c\quad\text{avec}\quad a^2 \ge 4c</math>.</center>

La méthode s'inspire directement de calculs analogues à ceux permettant d'établir les identités remarquables. Elle est illustrée sur la figure ci-dessous.
[[Image:Equation quadratique (3).jpg|centré|redresse]]

Dans un premier temps, on construit un carré de côté ''a''/2. par hypothèse, ce carré est d'aire plus grande que ''c''. On retranche au carré, en bas à gauche un petit carré de telle manière que la surface rouge et violette soit d'aire exactement égale à ''c''.

Dans un deuxième temps, on remarque que la longueur ''x'' obtenue est aussi la hauteur du rectangle rouge de gauche. Il est donc possible de déplacer la zone violette sur la figure de droite et d'ajouter à gauche de cette figure un carré de côté ''x''. L'aire rouge et violette est, d'après la construction de la figure de gauche, égale à ''c''. Par construction, la figure de droite est d'aire égale à ''c''&nbsp;+&nbsp;''x''{{2}}. Cette aire est aussi égale à ''a.x'', car la figure est un rectangle de base ''a'' et de hauteur ''x'', ce qui donne la solution de l'équation. Ce mode de résolution provient directement du livre II des ''Éléments'' d'Euclide<ref>Voir les explications dans {{Harvsp|DahanPeiffer|p=60}}.</ref>.

== Irrationalité ==
{{Article détaillé|Nombre irrationnel}}
Les Grecs finirent par s'apercevoir que leur postulat était faux. Toutes les longueurs ne s'expriment pas comme une fraction de deux nombres entiers. Une question, naturelle pour un pythagoricien, est la détermination de la fraction de nombres entiers décrivant la proportion entre une diagonale et son côté, pour un pentagone ou un carré. Ce rapport n'est pas une fraction de nombre entier. Les méthodes de l'algèbre géométrique sont adaptées pour appréhender cette question. En termes modernes, la question est algébrique car elle correspond à la nature d'une solution d'une équation du second degré<ref>Cette association entre l'algèbre géométrique et l'étude de l'irrationalité est fréquente. Walter Burkert indique {{Citation étrangère|langue=en|The conquest of the irrational in Greek mathematics, and along with it the development of « geometrical algebra » ...}} : {{Harvsp|Burkert|1972|p=465}}.</ref>.

Les Pythagoriciens développaient le culte du secret à propos de leurs savoirs, il est en conséquence difficile de connaître précisément quand, par qui et avec quelles méthodes la découverte puis la démonstration ont été faites<ref>[[Walter Burkert]], un spécialiste de Pythagore et de son école, précise : {{Citation étrangère|langue=en|1=The only certainty about the discovery of irrationality is that [[Théodore de Cyrène|Theodorus of Cyrene]] proved that √n (for n = 3, ... 17 and not a perfect square) is irrational.}} {{Douteux|date=25/8/2014|dans {{Harvsp|Burkert|1972|p=439}}}}.</ref>. Plusieurs hypothèses sont imaginées et, à ce jour, aucune ne fait l'unanimité<ref>L'objet de {{Harvsp|Caveing|1998b}} est de passer en revue ces différentes hypothèses.</ref>.

=== Une découverte à l'aide du pentagone ? ===
[[Fichier:Incommensurability of the golden ratio.jpg|vignette|redresse|Une méthode babylonienne met en évidence le caractère irrationnel de φ.]]
L'historien [[Kurt von Fritz]] émet l'hypothèse suivante<ref>{{en}} Kurt von Fritz, « The Discovery of Incommensurability by Hippasus of Metapontum », ''[[Annals of Mathematics|Ann. of Math. (2)]]'', vol. 46, n° 2, 1945, {{p.|242-264}} {{DOI|10.2307/1969021}}.</ref> : Hippase, après avoir trouvé comment construire le pentagone, aurait cherché à déterminer la section d'extrême et de moyenne raison, c'est-à-dire le rapport entre une diagonale et un côté d'un pentagone régulier. Il imagine<ref>La méthode est décrite dans {{Harvsp|Caveing|1998b|p=99-119}}.</ref> que cette section est une fraction ''n''/''m'' de deux nombres entiers. Une procédure pour trouver ces valeurs ''n'' et ''m'' consiste à construire un rectangle de base ''n'' et de hauteur ''m''. On cherche à emplir ce rectangle de carrés de côté le plus grand possible. La première valeur du côté est ''m'' et on peut placer un unique carré, en rouge sur la figure.

Après avoir placé le carré rouge, la zone restante est un carré de côté ''m'' et ''n''&nbsp;–&nbsp;''m''. En multipliant par ''n''/''m'', on remarque que le carré est homothétique à un carré de hauteur ''m'' et de base ''n''. Ce résultat est une conséquence de l'égalité 1/(φ&nbsp;–&nbsp;1)&nbsp;=&nbsp;φ. On en déduit que l'on peut ensuite placer un unique carré, en bleu foncé sur la figure et de côté ''n''&nbsp;–&nbsp;''m''. On en déduit surtout que la procédure ne s'arrête jamais !

Cette procédure, connue depuis les babyloniens sur le calcul du rapport entre la diagonale et le côté d'un carré<ref>Cet algorithme est décrit dans l'article : Benoît Rittaud, « [http://www.bibnum.education.fr/files/RITTAUD_YBC7289.pdf À un mathématicien inconnu !] », sur ''[[Bibnum]]''.</ref>, permet de donner une suite de fractions qui approxime de mieux en mieux la fraction φ<ref group="Note">Voir l'article [[Fraction continue]].</ref>. On obtient : 1, puis 2, 3/2, 5/3, 8/5, 13/8, 21/13, 34/21 ..., c'est-à-dire des fractions de plus en plus proches de φ, avec des numérateurs et des dénominateurs qui ne cessent de croître. Ce comportement n'a aucun sens, les dénominateurs ne devraient jamais dépasser ''m''. Les carrés rouge puis bleus ont nécessairement des côtés entiers. L'historien [[Maurice Caveing]] en conclut qu'il est raisonnable de penser que ces observations ont permis la réalisation d'une ''révélation stupéfiante'' : le fait que toutes les grandeurs ne sont pas des fractions<ref name="Maurice Caveing">{{Harvsp|Caveing|1998b|p=117}}.</ref>{{,}}<ref group="Note">Les historiens n'ont pas déterminé si la ''découverte'' provient d'une analyse de la diagonale du carré ou celle du pentagone. Ils ont encore moins déterminé le raisonnement à l'origine de cette découverte. Caveing subodore que la première découverte a eu lieu sur la suite associée au raisonnement présenté dans ce paragraphe.</ref>.

=== Des fins possibles de la démonstration ===
[[Fichier:Incommensurability of the golden ratio (2).jpg|vignette|Une descente infinie montre que φ est irrationnel.]]
Il existe d'autres manières de conclure à partir de la construction précédente. On suppose toujours que φ est un nombre rationnel, noté ''n''/''m'', et on construit un pentagone régulier de côté ''m'' et de diagonale ''n''. La figure de droite montre comment construire un nouveau pentagone, de côté ''n''&nbsp;–&nbsp;''m'' et de diagonale ''m'', le côté et la diagonale du nouveau pentagone sont toujours des entiers, mais cette fois-ci plus petits. L'on peut ainsi continuer indéfiniment. La suite des côtés forment alors une liste d'entiers positifs strictement décroissante et infinie, ce qui est impossible. Un tel raisonnement s'appelle en mathématique une [[descente infinie]].

Il existe aussi une manière plus rapide et plutôt plus simple de conclure. Avec les mêmes hypothèses, on choisit, pour valeur de ''n''/''m'', une représentation irréductible, c'est-à-dire que ''m'' est la plus petite valeur que doit prendre le côté du pentagone pour que le diamètre soit de longueur entière. Le pentagone en rouge de la figure de droite montre qu'il est possible de construire un pentagone de côté ''n''&nbsp;–&nbsp;''m'' et de diagonale entière. Cette contradiction permet de conclure.

Il existe un consensus relativement vaste chez les historiens pour admettre qu'Hippase n'a pas pu terminer la démonstration. Par exemple, pour la descente infinie, Caveing remarque que : {{Citation|Ce qui manque à la démonstration c'est seulement l'[[axiome d'Archimède]], ou un lemme équivalent, qu'au témoignage d'Archimède lui-même on n'a pas le droit de faire remonter plus haut qu'[[Eudoxe de Cnide]]<ref>Maurice Caveing, « [http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1979_num_32_2_1618 À propos des débuts des mathématiques grecques. Réflexions sur l'ouvrage de A. Szabo] », ''Revue d'histoire des sciences'', vol 32, 1979, {{p.|168}}.</ref>}}. Ainsi, Caveing pense qu'à la période d'Hippase, aucune ''découverte scientifique fructueuse''<ref name="Maurice Caveing"/> n'était possible.

=== Racine carrée de deux ===
{{Article détaillé|Racine carrée de 2}}
[[Fichier:Double d'un carré parfait.jpg|vignette|gauche|redresse|Le double d'un nombre carré n'est jamais un nombre carré.]]
[[Fichier:File-Double d'un carré parfait(2).jpg|vignette|Le résultat précédent permet de déduire que la diagonale d'un carré de côté 1 est irrationnelle.]]

La logique présentée pour le pentagone s'applique aussi pour la diagonale du carré. On en retrouve des traces dans les livres d'Euclide. La preuve par la descente infinie se trouve dans le [[livre X des Éléments d'Euclide|livre X]], à la proposition 117. La démonstration que la fraction continue d'un nombre rationnel est finie se trouve dans le [[livre VII des Éléments d'Euclide|livre VII]]. Pour ce cas particulier, cet algorithme porte maintenant le nom d'[[algorithme d'Euclide]]<ref group="Note">La descente infinie est présentée dans l'article détaillé, la démonstration du caractère fini d'une fraction continue d'un nombre rationnel est démontré dans l'article [[Fraction continue]].</ref>. Il existe aussi une démonstration différente, encore présente chez Euclide, et citée par [[Aristote]] {{Citation|Ils prouvent que le diamètre du carré est incommensurable au côté en montrant que, si l'on admet qu'il lui est commensurable, un nombre impair serait égal à un pair<ref name=AnalPos>Aristote, ''[[Analytiques postérieurs]]'' I, 23.</ref>.}} L'historien [[Oskar Becker]] montre que ce raisonnement<ref>{{Ouvrage|langue=allemand|prénom1=Julius|nom1=Stenzel|prénom2=Otto|nom2=Toeplitz|titre=Quellen und Studien Zur Geschichte der Mathematik, Astronomie und Physik|tome=3|passage=533-553|éditeur=Springer Berlin / Heidelberg|date=1934}}.</ref> est fondé sur un savoir archaïque<ref group="Note">Une pièce écrite en -480 par [[Épicharme]] semble faire référence à une connaissance du principe du pair et de l'impair.</ref> des Grecs en matière d'arithmétique géométrique, elle est peut-être très ancienne. La méthode consiste à démontrer que {{Citation|Le double d'un nombre carré n'est jamais un nombre carré}}.

Une reconstitution de la possible démonstration archaïque, à base arithmétique géométrique, s'appuie sur la figure de gauche. Elle procède encore par l'absurde. On considère le plus petit nombre carré de côté ''a'' somme de deux nombres carrés de côté ''b''. Le nombre carré de côté ''a'' est pair et donc ''a'' l'est aussi<ref group="Note">Une démonstration, fondée sur l'arithmétique géométrique, est proposée au [[#Nombre carré|paragraphe sur les nombres carrés]].</ref>. Le côté ''b'' est impair, sinon, en choisissant une unité deux fois plus grande on trouverait une nouvelle valeur deux fois plus petite que ''a'', dont le carré est la somme de deux carrés. Par ailleurs, un carré de côté ''b'' possède la même aire qu'un rectangle de hauteur ''a'' et deux fois plus grande que sa base (en bleu sur la figure). Un tel rectangle est composé de deux nombres carrés, il est donc pair et le carré de côté ''b'' l'est aussi, ainsi que ''b''. Le côté ''b'' est un nombre à la fois pair et impair. Cette contradiction montre que ''b'' n'existe pas et termine la démonstration.

Une fois cette proposition démontrée, l'irrationalité de la [[racine carrée de deux]] s'obtient en appliquant le [[théorème de Pythagore]] à la figure de droite. S'il existait une unité telle que tous les côtés du triangle rectangle isocèle de la figure soient des nombres entiers, le résultat précédent serait faux.

=== Conséquence ===
{{Article détaillé|Théorème de Thalès}}
[[Image:Thales theorem 1.svg|vignette|Le [[théorème de Thalès]] permet de généraliser la démonstration précédente.]]
Une conséquence de l'existence d'irrationnels est que les démonstrations des propriétés établies sur les fractions d'entiers en début d'article ne traitent pas le cas général. Cependant, l'usage de l'algèbre géométrique et une approche différente permet encore de démontrer qu'une fraction ''b''/''c'' est égale à (''a.b'')/(''a.c'') si ''a'', ''b'', ''c'' sont trois [[nombre réel|nombres réels]] positifs tels que ''a'' et ''c'' soient non nuls.

Pour montrer ce résultat, on considère deux droites (noires sur la figure de droite) ayant comme intersection un unique point ''A''. On définit les points ''B'' et ''C'' tels que la distance ''AB'' soit égale à ''b'' et ''AC'' à ''c''. Les points ''B'' et ''C'' sont chacun sur une des droites, comme indiqué sur la figure. Le point ''D'' (resp. ''E'') se situe sur la droite ''AB'' (resp. ''AC'') et la distance ''AD'' (resp. ''AE'') est égale à ''a.b'' (resp. ''a.c''). Le théorème de Thalès indique que les droites rouges sont parallèles et que :
<center><math>\frac bc = \frac {a\cdot b}{a\cdot c}</math>.</center>

On peut ré-établir de la sorte toutes les lois régissant les quatre opérations sur les nombres quelconques. Ce travail est réalisé dans le [[livre VI des Éléments d'Euclide|livre VI des ''Éléments'' d'Euclide]], qui pour cette raison est considéré comme de l'algèbre géométrique<ref>La référence suivante contient la citation : {{Citation|On désigne sous le nom d’algèbre géométrique grecque, toute une série de problèmes qui figurent dans le livre deux et le livre six des Éléments d’Euclide, qui sont exprimés et résolus géométriquement […]}} : Eliane Cousquer, « [http://leuven.pagesperso-orange.fr/cousquer-proportions.pdf De la théorie des proportions à la théorie des nombres réels] », ''Laboratoire LAMIA'', 1995, {{p.|8}}.</ref>.

Toutes les démonstrations proposées dans cet article utilisent le principe de la mesure d'une ou de plusieurs aires. Cette règle est une caractéristique de l'algèbre géométrique<ref name="Quadrige 1994 p 231-233"/> et cette démonstration n'est pas une exception. La démonstration d'Euclide du théorème de Thalès se fonde sur le même principe<ref group="Note">La démonstration d'Euclide est proposée dans l'article détaillé.</ref>.

Si les démonstrations ou illustrations précédentes sont toujours employées, de par leur simplicité et leur aspect intuitif, une construction rigoureuse des règles opératoires en algèbre, comme réalisée dans le livre VI, ne deviennent ni simples ni intuitifs.

== Histoire des sciences ==
=== Difficultés ===
Les concepts mathématiques grecs ne sont pas adaptés à un [[langage algébrique]]. Cette remarque est particulièrement vraie pour les périodes précoces, comme celle pythagoricienne. Un nombre est une collection de plusieurs unités (''un'' n'est pas un nombre), il correspond chez nous à un entier positif strictement supérieur à un. Un ratio n'est pas un nombre, mais une comparaison de deux grandeurs. La notion de ratio prend un sens à l'aide de la proportion. Quatre grandeurs ''a'', ''b'', ''c'' et ''d'' sont en ''proportion'' si le ratio ''a'':''b'' est égal au ratio ''c'':''d''<ref>{{Ouvrage|langue=en|prénom1=Wilbur Richard|nom1=Knorr|titre=The Evolution of the Euclidean Elements|sous-titre=A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry|éditeur=Springer|année=1974|pages totales=374|isbn=978-90-277-0509-9|passage=15}}.</ref>. L'unité est une [[grandeur physique]] élémentaire, comme une longueur ou une aire qui, associée à des nombres ou des ratios, permet d'exprimer les grandeurs présentes dans une figure géométrique<ref>[[Aristote]], ''Métaphysique'', 1052b, {{p.|20-28}}.</ref>. Dans les mathématiques hellénistiques, il n'existe pas véritablement de multiplication interne<ref>{{Citation|Signalons toutefois que la théorie grecque des rapports présente un point faible,à  savoir que leur ensemble n'est muni que d'une structure de groupe et non pas d'une structure de corps. Ce groupe, il est vrai, est complété par quelques applications de l'ensemble sur lui-même, "inversion", "composition", "séparation", qui sont, au fond, les transformations de base de notre groupe modulaire.}} {{Harvsp|Michel|Itard|1994|p=231-233}}.</ref>. La multiplication de deux longueurs donne l'aire d'une figure plane, la multiplication de deux nombres ''a'' et ''b'' correspond plus à l'addition itérée ''a'' fois du nombre ''b'' qu'à une véritable multiplication. La différence entre leurs concepts et notre formalisme complexifie la compréhension des mathématiques grecques. En conséquence, la présentation des idées mathématiques contenues dans cet article est, pour des raisons de simplicité de compréhension, fort loin d'un véritable traité d'époque, comme on le trouve chez [[Euclide de Mégare]]. Par exemple, l'usage du symbole '''1''' dans la détermination de la section d'extrême et moyenne raison ne ferait pas sens pour un Grec.

La deuxième difficulté provient de la rareté des sources avant [[Platon]]. Les {{-s2-|V|e|IV|e}} sont presque vides en termes de traités mathématiques. Le savoir des historiens provient de sources postérieures de plusieurs siècles et pas toujours fiables<ref>Voir à ce sujet le paragraphe intitulé ''On the interpretation of sources'' : {{Harvsp|Knorr|1974|p=5}}.</ref>, d'études précises sur la signification exacte de certains mots, que l'on retrouve aussi dans des textes non mathématiques<ref>Toute la partie I de cette référence est une glose sur le sens exact du mot grec ''dynamis'', qui permet d'attribuer un rôle aux [[École éléatique|Éléates]] : {{Harvsp|Szabó|1978|p=31}}.</ref>, d'analyses archéologiques<ref>Ici, l'auteur reprend une vieille analyse de Heath pour évaluer le savoir d'Hippase sur le pentagone : {{Harvsp|Périllié|2005|p=147}}.</ref> ou encore d'étude des importations d'autres civilisations<ref>C'est ce que fait largement l'auteur dans son premier chapitre ''La percée des Ioniens'' : {{Harvsp|Caveing|1998a|p=31-75}}.</ref>. À l'aide de ces différentes indications, les historiens reconstruisent les démonstrations possibles et les placent dans leurs époques et leurs écoles respectives. Si, au fil du temps, l'ensemble des indices finit par donner une image cohérente et consensuelle dans les grandes lignes, de nombreux points de divergences, même sur des questions importantes, sont encore présents entre les différents spécialistes.

=== Usages du terme ===
Dans son livre de 1902, Zeuthen présente le concept d'algèbre géométrique essentiellement pour décrire le livre II d'Euclide et remarquer qu'il est équivalent à la résolution d'une équation quadratique. Il ne prend pas particulièrement de précautions oratoires ; il prête à Euclide la volonté de : {{Citation|transporter, aux équations numériquement données, la solution générale trouvée pour les équations quadratiques<ref>{{Harvsp|Zeuthen|1902|p=43}}.</ref>}}. [[Paul Tannery|Tannery]] est convaincu de la véracité des témoignages, nombreux même si souvent tardifs et peu fiables, attribuant la découverte des irrationnels à l'époque de Pythagore<ref group="Note">C'est souvent à Pythagore lui-même que les témoignages attribuent la découverte des irrationnels.</ref>. Il pense que ce ''véritable scandale logique''<ref>Paul Tannery, ''Pour L'Histoire de La Science Hellène'', BiblioBazaar, rééd. 2008 {{ISBN|978-0559304156}}, {{p.|251}}.</ref> est à l'origine du ''miracle mathématique'' grec que sont les ''Éléments'' d'Euclide. Or, cette découverte ne peut avoir lieu que dans la mesure où la maîtrise des questions du second degré est suffisante. Ces questions relevant du domaine algébrique, le concept de Zeuthen lui semble fécond, et il l'adopte dès l'année suivante<ref>{{Harvsp|Tannery|1903|loc=chap. II, § 189}}.</ref>. Pour Tannery, ce qui a limité les Grecs dans la démarche n'est pas tant l'absence d'une pensée algébrique qu'un vocabulaire adapté, qu'ils ne possédaient pas : {{Citation|Ce qui manque aux mathématiciens grecs, ce sont moins les méthodes […] que les formules propres à l'exposition des méthodes<ref>Citation reprise de {{article|lang=en|prénom=Michael S.|nom=Mahoney|titre=Another look at Greek geometrical analysis|revue=[[Archive for History of Exact Sciences|Arch. Hist. Exact Sci.]]|vol=5|année=1968|p.=18-348}}.</ref>}}.

Si, à l'image de [[Thomas Heath|Heath]]<ref>{{Harvsp|Heath|2013|p=153}}.</ref>, cette idée est souvent adoptée par les historiens de l'époque, elle suscite une première polémique dans les années 1920<ref name="Vitrac">Bernard Vitrac, ''[http://publicationslist.org/data/bernard.vitrac/ref-27/%E2%80%9CAlg%C3%A8bre%E2%80%9D%20grecque,%20Ayene%20Miras.pdf Peut-on parler d'algèbre dans les mathématiques grecques anciennes ?]'' CNRS, UMR 8567, Centre Louis Gernet, {{p.|3}}.</ref>. La forme des mathématiques grecques est géométrique, en extraire une finalité algébrique n'est pas du goût de tous et Jacob Klein s'exprime ainsi : {{Citation|De plus, la plupart des histoires classiques tentent d'appréhender les mathématiques grecques à l'aide du symbolisme moderne, comme si ce dernier était ''extrinsèque'' au contenu mathématique, qui pourrait être habillé sous n'importe quelle forme<ref>Traduction libre de la citation : {{Citation étrangère|lang=en|Moreover, most of the standard histories attempt to grasp Greek mathematics itself with the aid of modern symbolism, as if the latter were an altogether external ''form'' which may be tailored to any desirable ''content''.}} Jacob Klein, ''Greek mathematical thought and the origin of algebra'', Dover Publications (traduction de 1992 d'un livre de 1934) {{ISBN|978-0486272894}}, {{p.|5}}.</ref>.}}. Parler d'équations chez Euclide, comme le fait Zeuthen, laisse penser que les Grecs disposaient déjà d'une inconnue sur lequel ils pouvaient opérer algébriquement, à l'image d'Al-Khawarizmi<ref group="Note">Pour cette question, voir l'article [[Théorie des équations (histoire des sciences)|Théorie des équations]].</ref>. Or, une telle démarche n'existe pas avant Diophante<ref>{{Article|auteur=[[Luis Radford]]|url=http://archimede.mat.ulaval.ca/amq/archives/1991/4/1991-4-part17.pdf|titre=Diophante et l'algèbre pré-symbolique|revue=Bulletin AMQ|année=1991}}.</ref>.

[[Otto Neugebauer]] apporte, dans les années 1940, des arguments en faveur de la thèse de Zeuthen et Tannery. Ses études sur d'autres cultures mathématiques montrent que les Grecs de l'époque de Pythagore ont importé des techniques mésopotamiennes<ref name="Neugebauer">{{Harvsp|Neugebauer|1969|p=145-176}}.</ref>. Ce savoir se fonde sur des méthodes et des procédures de calcul (appartenant à la même famille que les fractions continues) permettant d'approximer des racines ou encore des méthodes de résolution de questions du second degré. Cette culture est ''algébrique'', au sens où elle se fonde sur des équivalents d'algorithmes (le mot sera inventé plus tard) dont l'objectif est calculatoire. À l'image de la construction de la section d'extrême et de moyenne raison, de nombreux travaux de l'école de Pythagore sont des traductions de résultats mésopotamiens dans le langage géométrique ionien. Le concept d'''algèbre géométrique'' s'étend à cette branche de savoir, maintenant couverte par l'algèbre et qui se démontre chez les Grecs à l'aide de la mesure des aires<ref name=Itard>{{Harvsp|Michel|Itard|1994|p=231-233}}.</ref>. On y trouve la théorie des proportions, présente dans les livres V et VI qui décrivent des résultats maintenant contenus dans les axiomes d'un [[corps commutatif]], des méthodes de résolution et d'analyse de la nature d'une solution d'une question de degré 2 présentes dans le livre II, ou encore l'application de l'algorithme d'Euclide à des proportions, dans le livre X, pour démontrer leur incommensurabilité. Elle contient aussi des démonstrations, déjà archaïques à l'époque d'Euclide, comme la théorie du pair et de l'impair.

Jusque dans les années 1970, les historiens n'hésitent plus à s'appuyer sur le concept de Zeuthen et Tannery, même si certains comme [[Wilbur Knorr]]<ref>{{Harvsp|Knorr|1974|p=11}}.</ref> utilisent des précautions oratoires. La polémique est alors relancée. [[Sabetai Unguru]]<ref>{{en}} S. Unguru, « On the need to rewrite the history of Greek mathematics », ''Arch. Hist. Exact Sci.'', vol. 15, 1975, {{p.|67-114}}.</ref> remarque l'existence d'un schéma ordinaire, présent chez les Chinois, les Indiens, les Arabes ou encore les Européens, qui démarrent tous par de la géométrie pour atteindre, après un certain degré d'abstraction, une formalisation plus algébrique. Le schéma chez les Grecs serait alors inverse; à partir d'une conception d'orientation algébrique, héritée des Mésopotamiens, ils se seraient dirigés vers un système géométrique. Unguru n'imagine pas ce schéma réaliste. Cette position, qui imposerait selon lui une réécriture profonde de l'histoire des mathématiques grecques, est suivie par d'autres historiens comme Szabó<ref name="Szabó">L'appendice 3 de {{Harvsp|Szabó|2000}} est entièrement consacré à ce concept.</ref>.

La réplique est fournie par plusieurs spécialistes dont [[Bartel Leendert van der Waerden|van der Waerden]]<ref name="Waerden">[[Bartel Leendert van der Waerden]], « Defence of a "Shocking" Point of View », ''Arch. Hist. Exact Sci.'', vol. 15, n° 3, 1976, {{p.|199-210}}.</ref> qui estime que Szabó attache une importance trop forte au formalisme, que le propre des méthodes pythagoriciennes exposées ici est leur nature calculatoire et algorithmique et qu'elles sont bien héritées des Babyloniens. [[Michael Sean Mahoney]]<ref name="Mahoney">{{Harvsp|Mahoney|1968}}.</ref>, qui partage l'opinion de van der Waerden, remarque que les mathématiciens fondateurs de l'algèbre, comme [[Al-Khawarizmi]] ou [[François Viète|Viète]], s'inspirent largement des textes d'Euclide pour bâtir leurs théories.

Malgré la polémique, de nombreux spécialistes comme Burkert<ref>{{Harvsp|Burkert|1972|p=463}}.</ref>, Itard<ref name="Itard"/> ou Caveing<ref>On en trouve 11 occurrences dans {{Harvsp|Caveing|1998a|p=19}}.</ref> font usage du concept. Si des historiens généralistes l'utilisent aussi pour des ouvrages de vulgarisation, l'expression est souvent attachée à une mise en garde comme : {{Citation|Le terme d'algèbre pour une époque où la recherche de l'[[inconnue (mathématiques)|inconnue]] n'est pas encore explicite, et encore moins l'étude des "équations", doit être utilisé avec prudence<ref name="DahanPeiffer">{{Harvsp|DahanPeiffer|p=77}}.</ref>}}. L'usage du terme d'algèbre pour des mathématiques anciennes n'est pas tombé en désuétude<ref>Voir par exemple {{Hoyrup}}, {{p.|278}}.</ref>. Si l'usage de l'expression ''algèbre géométrique'' dépasse parfois en histoire des sciences le contexte grec<ref>Adof P. Youschkevitch, « Les mathématiques arabes (VIIIè-XVè siècles) », ''Revue d'histoire des sciences'', vol 30, 1977, {{p.|372}}.</ref>, le cas est suffisamment rare pour mériter d'être noté.

=== Héritage ===
[[Image:Ybc7289-bw.jpg|vignette|redresse|La tablette YBC 7289 montre la connaissance d'un algorithme pour extraire la racine de 2.]]
Si l'histoire de l'algèbre géométrique commence avec Pythagore, comme l'indique Maurice Caveing : {{Citation|il y a des raisons de penser que la mathématique grecque n'est pas née, comme la fille de Métis, tout armée de la tête de Zeus<ref>{{Harvsp|Caveing|1998a|p=19}}.</ref>}}. Pour cet auteur, l'école pythagoricienne hérite à la fois de l'école [[ionie]]nne avec les travaux de [[Thalès|Thalès de Milet]] et du patrimoine [[Mathématiques dans l'Égypte antique|égyptien]] et [[Mathématiques babyloniennes|mésopotamien]]. Les travaux de l'école de Thalès modifient déjà l'orientation des mathématiques grecques. Elle introduit la notion de preuve. Elles n'étaient surement pas aussi sophistiquées que celles que l'on trouve chez Euclide, cependant cette spécificité grecque est déjà présente, les différenciant de leurs prédécesseurs. Une deuxième spécificité des mathématiques ioniennes est son inclinaison à la géométrie. Les résultats prêtés à cette école sont, par exemple, le fait qu'un triangle isocèle possède deux angles égaux ou qu'un triangle de base le diamètre d'un cercle et dont le dernier sommet est situé sur le cercle est rectangle<ref>{{Harvsp|Caveing|1998a|p=33-75}}.</ref>.

À la différence des Ioniens, la culture mésopotamienne est, à défaut d'être qualifiée d'algébrique, algorithmique<ref group="Note">Ce qui est encore un anachronisme car ce terme provient d'Al-Khawarizmi, un perse qui n'apparaît que plus de mille ans plus tard</ref>. Les différentes tablettes qui nous sont parvenues montrent une mathématique sous forme de problèmes à résoudre. Celle notée ''[[BM 13901]]'', qui contient 24 questions du second degré, laisse penser à une aide géométrique pour guider dans l'algorithme utilisé<ref name="Proust">[[Christine Proust]] ''[http://www.math.ens.fr/culturemath/histoire%20des%20maths/pdf/chrono_mesopotamie.pdf Mathématiques en Mésopotamie]'' Site CultureMath (ENS Ulm - DESCO) (2006)</ref>. La tablette ''[[YBC 7289]]'' montre la connaissance du résultat de l'algorithme décrit dans cet article pour la découverte de l'irrationalité de la section d'extrême et de moyenne raison, mais cette fois-ci appliqué à la diagonale d'un carré<ref>Benoît Rittaud ''[http://www.bibnum.education.fr/files/RITTAUD_YBC7289.pdf À un mathématicien inconnu !]'' Bibnum</ref>. Tous les ingrédients pour découvrir l'irrationalité sont présents.

=== École pythagoricienne ===
L'école pythagoricienne cultive le culte du secret, à propos de son savoir. Il est donc difficile d'en connaître exactement la teneur, de dater précisément et d'associer un nom aux différents progrès. C'est néanmoins à cette école que l'on doit la naissance de l'algèbre géométrique grecque. Cette école hérite du savoir babylonien<ref name="Neugebauer" />, ainsi que de l'orientation vers la géométrie et les démonstrations des Ioniens. Cette fusion des savoirs apporte un résultat nouveau : l'algèbre géométrique qui, à cette époque, se limite encore largement à de l'arithmétique géométrique.
[[Fichier:Pythagore square(2).jpg|vignette|gauche|Une démonstration élémentaire d'un cas particulier du [[théorème de Pythagore]].]]
La science mésopotamienne apporte la puissance du calcul. Elle permet en géométrie un progrès que n'avaient probablement jamais réalisé les Égyptiens ou les Mésopotamiens. Un exemple est donné par les premières démonstrations partielles du [[théorème de Pythagore]], que l'on attribue généralement à cette époque<ref>Aucune certitude n'existe sur la nature de la démonstration de l'époque de Pythagore, deux hypothèses sont émises et celle présentée ici est l'une des deux. Les deux hypothèses supposent néanmoins les côtés commensurables : Éliane Cousquer '[http://ddata.over-blog.com/xxxyyy/2/78/40/05/histoire_des_maths/pythagore.pdf Le théorème de Pythagore]'</ref>. Elle ne s'applique que dans le cas où les côtés sont commensurables — c'est-à-dire où le triangle correspond à triplet pythagoricien — et utilise un quadrillage typique de l'arithmétique géométrique, illustré sur la figure de gauche. Dans cet exemple on cherche à trouver l'aire du carré en divers bleus, de côté l'hypoténuse d'un triangle rectangle, dont les autres côtés sont de longueurs 3 et 4. Le regroupement deux à deux des triangles intérieurs au carré bleu permet de conclure<ref>{{Harvsp|Caveing|1998b|p=91}}.</ref>.

La puissance de la démarche les amène à l'appliquer dans des cas de longueurs incommensurables, sans nécessairement avoir conscience d'une possible incommensurabilité. La construction du pentagone impose la détermination de la section d'extrême et de moyenne raison, qui correspond à une question du deuxième degré. Les procédures calculatoires mésopotamiennes sont à même de venir à bout de cette difficulté. Cette construction est probablement réalisée à l'époque de Pythagore. Elle illustre l'orientation grecque, le résultat n'est pas une fraction approchant la valeur recherchée, mais une construction géométrique exacte<ref name="Heath" />.

La plus importante découverte souvent attribuée aux pythagoriciens et à l'algèbre géométrique est celle des incommensurables<ref group="Note">Si cette idée d'attribution aux pythagoriciens est partagée par Tannery, Zeuthen, Heath, Becker, Fritz, Szabó, {{Lien|lang=it|Paul-Henri Michel|texte=Michel}} ou Caveing, d'autres comme Neugebauer imaginent une découverte plus tardive et d'autres encore, comme Burkert, ne se prononcent pas.</ref>. Les éléments étaient déjà presque présents chez les Babyloniens, qui pourtant n'en ont jamais parlé. C'est probablement une attitude plus spéculative et moins pragmatique chez les Grecs qui fait la différence. Les Mésopotamiens concevaient néanmoins aussi les mathématiques comme une spéculation, comme le montre la tablette illustrée au paragraphe précédent. Elle donne la racine de deux avec une précision de cinq décimales, ce qui n'a aucun intérêt pratique au vu de leur technologie. Cependant les Mésopotamiens ont choisi une numération à [[notation positionnelle]], un peu à l'image de notre notation décimale. Si cette notation est plus pratique pour les sciences de l'ingénieur, elle est moins adaptée que l'écriture fractionnaire des Grecs pour un travail théorique sur l'irrationalité. Une valeur dont la notation positionnelle ne se termine pas, comme 0,11111..., ne signifie en rien un caractère irrationnel<ref>Les informations de ce paragraphe sur les pythagoriciens sont extraites de {{Harvsp|Burkert|1972|p=428}}.</ref>.

=== De Pythagore à Euclide ===
L'école de Pythagore fournit un savoir encore loin de celui que l'on trouve, en matière d'algèbre géométrique, dans les ''Éléments'' d'Euclide. Pour atteindre ce but, on peut ranger les difficultés en trois catégories.

La première série de difficultés est d'ordre logique. La découverte des irrationnels montre l'existence de suites dont le comportement ne semble faire guère de sens. Celle donnée en exemple dans l'article n'est pas la plus étudiée, les Grecs lui préfèrent celle associée à la diagonale du carré. Elle s'obtient par un processus plus simple<ref>{{Harvsp|Szabó|2000|p=153}}.</ref> et dispose des mêmes propriétés. Cette suite de proportions semble difficilement compatible avec l'hypothèse que tout couple de longueurs est commensurable. Si elle s'approche de plus en plus de la proportion recherchée, elle ne l'atteint jamais. Beaucoup ont vu dans le [[Paradoxe d'Achille et de la tortue]] une étude logique issue d'une réflexion sur les suites issues du calcul des incommensurables, c'est-à-dire une suite qui s'approche infiniment de sa cible, sans jamais la toucher<ref>Cette idée est exprimée tout d'abord par Tannery, longuement développé par Szabó et est expliquée dans J.-L. Périllié, ''[http://www.cndp.fr/RevueCPhil/91/00902911.pdf La découverte des incommensurables et le vertige de l'infini]'', transcription d’une conférence qui a eu lieu le 16 mai 2001 à Grenoble, {{p.|19-21}}.</ref>. L'absence de fondement logique suffisant aurait conduit [[Zénon d'Élée]] à condamner le raisonnement pythagoricien. Pour trancher de manière fiable ce ''scandale logique'', pour reprendre l'expression de Tannery, il a fallu bâtir une logique consistante. À l'époque d'Aristote, le travail était fait. Ses ''[[Organon#Les traités composant l'Organon|Analytiques]]'' exposent clairement comment articuler un [[raisonnement par l'absurde]] sans risque d'erreur. Cet auteur utilise plusieurs fois l'exemple du fait que la diagonale d'un carré n'est pas commensurable avec son côté<ref name=AnalPos/>.

La deuxième série de difficultés concerne la modification du cadre conceptuel, imposée par les incommensurables. À l'époque de Pythagore, le théorème qui porte son nom est une égalité entre des nombres — toujours entiers chez les Grecs —; chez Euclide, ce théorème est une égalité entre des aires, qui n'ont cette fois-ci aucune raison de pouvoir être représentés par des nombres<ref>Un exposé est disponible sur le site : Éliane Cousquer '[http://ddata.over-blog.com/xxxyyy/2/78/40/05/histoire_des_maths/pythagore.pdf Le théorème de Pythagore]'</ref>. Cette modification impose une reconstruction totale de la mathématique, la démonstration du théorème de Thalès doit aussi être revue ainsi que toutes les démonstrations qui doivent maintenant quitter leur gangue commensurable et ne peuvent plus s'appuyer sur une logique fondée sur l'arithmétique géométrique. Maîtriser les incommensurables suppose aussi une arithmétique plus forte, pour mener à bien le raisonnement présenté pour la découverte des irrationnels. Chez Euclide, le raisonnement qui montre que dans le cas de grandeurs commensurables l'algorithme s'arrête, est devenu rigoureux. Il a néanmoins quitté son origine d'arithmétique géométrique, cet algorithme ne fournit plus l'unité de la figure (c'est-à-dire la plus grande unité qui permet d'exprimer les deux longueurs comme des multiples de l'unité) mais le [[plus grand commun diviseur]] entre deux nombres. L'historien [[Jean Itard (historien)|Jean Itard]] s'exprime ainsi à propos de la [[théorie des nombres]] chez Euclide : {{Citation|Elle est à peu près totalement dégagée de l'arithmo-géométrie, de la numération pratique et de la logistique, mais reste étroitement liée à la théorie des rapports<ref>Jean Itard, ''Les livres arithmétiques'' d'Euclide, Hermann, 1961, {{p.|77}}.</ref>}}.

Enfin, la troisième série de difficultés consiste à développer les outils permettant de comprendre le comportement asymptotique de l'étrange suite des origines de la découverte. D'une manière ou d'une autre, elle impose une certaine maîtrise du phénomène de [[Limite (mathématiques)|limite]], qui est alors traitée par l'[[Méthode d'exhaustion|exhaustion]]. Le livre V des ''Éléments'' permet de construire un univers admettant les incommensurables et les phénomènes de convergence, tout en conservant les propriétés algébriques exprimées maintenant sous forme d'axiomes comme la distributivité de la multiplication par rapport à l'addition dans le corps des [[nombre réel|réels]]<ref>L'analyse est proposée dans {{Ouvrage|langue=fr|prénom1=Jean-Louis|nom1=Gardies|titre=L'Héritage épistémologique d'Eudoxe de Cnide|sous-titre=un essai de reconstitution|éditeur=[[Librairie philosophique J. Vrin|Vrin]]|année=2000|pages totales=156|isbn=978-2-7116-0977-2|passage=67-79}}.</ref>. Ce travail n'est pas sans conséquences, il impose ce qui deviendra l'[[axiome d'Archimède]] et permettra de fonder solidement l'argument de la descente infinie<ref name="Gardies">L'analyse est proposée dans {{Harvsp|Gardies|2000|p=79}}.</ref>.

=== L'algèbre géométrique chez Euclide ===
Deux siècles séparent Pythagore et Euclide. À certains égards, la finalité n'a pas évolué. On y trouve toujours les méthodes prouvant les propriétés algébriques des proportions, comme la distributivité présente dans les livres V et VI, les procédures de résolution de questions du second degré et l'usage de l'[[anthyphérèse]] — équivalent à une [[fraction continue]] — au livre X pour établir l'incommensurabilité de certaines proportions. À d'autres égards, la théorie est métamorphosée. Elle s'appuie sur une logique axiomatisée<ref group="Note">Ce n'est qu'au {{XIXe siècle}} que les failles de l'édifice logique seront mises en évidence.</ref>, la théorie des proportions prend en compte les incommensurables et l'arithmétique utilisée n'a plus grand chose à voir avec celle de Pythagore. En conséquence, toutes les pistes de démonstrations présentées dans cet article sont explorées rigoureusement avec succès et les paradoxes n'en sont plus. Si l'arithmétique géométrique de Pythagore découvre les incommensurables, l'algèbre géométrique d'Euclide les maîtrise. Le grand absent reste le nombre qui se limite encore aux entiers. Eudoxe ne peut pas définir l'''axiome d'Archimède'', tel que nous l'imaginons aujourd'hui. Cet axiome dépend de la grandeur considérée et le mathématicien ne traite finalement que le cas des aires<ref name="Gardies"/>

Si les fondamentaux introduits à l'époque de Pythagore restent empreints de l'origine mésopotamienne, la finalité est modifiée. Un algorithme comme l'anthyphérèse ne sert plus à approximer une proportion, mais à établir la propriété d'incommensurabilité. Le mépris des calculs pour les Grecs est notoire, Hérodote est arrêté par une division par 48<ref>{{Harvsp|Zeuthen|1902|p=46}}.</ref>. Pour Szabó, cette modification de finalité n'est pas le plus important. Il n'existe aucun formalisme algébrique chez les Grecs et le fait que l'objet principal d'étude soit une proportion et non pas un nombre n'est guère un facteur favorable. Cette absence de formalisme algébrique est la preuve d'une orientation géométrique, loin des préoccupations et des idées d'un précurseur en algèbre comme Diophante. Chez Euclide, l'idée d'équation n'apparaît pas et ne peut apparaître. Opérer sur une [[inconnue (mathématiques)|inconnue]] et non plus uniquement des nombres, n'est ici guère envisageable<ref>Voir à ce sujet {{Harvsp|Radford|1991}}.</ref>. Pourtant, l'équation et son inconnue sont souvent considérées comme l'acte de naissance de l'algèbre<ref name = "Szabó" />.

Pour van der Waerden, le propre de l'algèbre est la mise en évidence et l'usage d'une structure. Le travail d'Eudoxe consiste à assurer l'existence d'un monde aux propriétés algébriques, comme la distributivité ou la commutativité d'une multiplication de proportions, tout en respectant une relation d'ordre. Cette question est fondamentalement algébrique et le fait qu'Eudoxe trouve un résultat équivalent aux coupures de Dedekind<ref>Jean-Louis Gardies, [http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1984_num_37_2_1996 Eudoxe et Dedekind], ''Revue d'histoire des sciences'', vol. 37, n° 37-2, 1984, {{p.|111-125}}.</ref> n'est pas le fruit du hasard, ils cherchent tous deux à résoudre la même question, indépendamment du vêtement ou du formalisme choisi et la matière mathématique reste la même. De même, Le livre II établit les propriétés couramment appelées identités remarquables. Elles sont valables dans tous les anneaux commutatifs et donc celui des proportions géométriques des Grecs<ref group="Note">En toute rigueur, il faudrait ajouter les proportions négatives pour obtenir une structure d'anneau, ce que ne faisaient pas les Grecs.</ref> Le fait de travailler dans une structure à vocation géométrique ne modifie en rien leur nature algébrique. L'usage chez les Grecs de l'anthyphérèse a pour objectif une classification des incommensurables. Cette idée, qui sera poussée beaucoup plus loin dans la [[théorie de Galois]], est aussi une question algébrique. En conclusion et pour van der Waerden, si la finalité et le formalisme sont géométriques, la nature même de l'algèbre géométrique reste inchangée depuis la Mésopotamie<ref name="Waerden" />.

Pour les fondateurs de l'[[algèbre arabe]] et européenne, l'algèbre géométrique s'avère indispensable. La logique de la résolution d'une équation par [[Al-Khawarizmi]] n'est possible que dans la mesure où les propriétés algébriques de l'ensemble dont sont issus les coefficients du [[polynôme]] sont établies. Dans son traité ''[[Abrégé du calcul par la restauration et la comparaison]]'', Al-Khawarizmi s'appuie sur Euclide pour établir la pertinence de la démarche, tout comme son disciple [[Abu Kamil]]<ref>{{Harvsp|DahanPeiffer|p=85-86}}.</ref>. Le livre V est le seul à proposer une construction algébrique suffisamment solide pour représenter la structure des [[nombre réel|nombres réels]] positifs. Euclide, ne disposant pas de manière pour exprimer les incommensurables, développe dans un langage géométrique un équivalent des identités remarquables — au sens de van der Waerden — de manière générique. Cette généricité est indispensable pour les premiers algébristes arabes qui ne disposent pas de paramètre et doivent se contenter d'illustrer leurs principes sur des exemples. Au {{XVIe siècle}} en Europe, [[François Viète|Viète]] comble cette lacune et développe le concept du paramètre, généralisant l'algèbre et autorisant l'expression de résultats plus puissants, comme les [[relations entre coefficients et racines]]<ref>Elles sont exprimées pour la première fois par [[Jacques Peletier du Mans]] en 1554 : IREM de Rennes ''[http://www.irem.univ-rennes1.fr/ressources/docs_themes/histoire/brochures/FMPH/FMPH1-ch11.pdf François Viète]'' Chap 11.8 p. 164</ref>. Pour Viète, la construction de l'algèbre géométrique reste indispensable<ref>{{Harvsp|DahanPeiffer|p=110}}.</ref>. Ainsi, pendant près de 2000 ans, l'algèbre géométrique est un outil incontournable pour les algébristes européens et arabes. Cet élément convainc Mahoney du caractère algébrique de la théorie<ref name="Mahoney" />.

== Annexes ==

=== Bibliographie ===
* {{Ouvrage|prénom=Hieronymus Georg|nom=Zeuthen|titre=Histoire des mathématiques dans l'antiquité et le moyen âge|éditeur=[[Gauthier-Villars]]|année=1902|url=https://gallica.bnf.fr/ark:/12148/bpt6k994301.image.f47.tableDesMatieres}}{{Commentaire biblio|Zeuthen lance le concept d'algèbre géométrique dans cette référence. Vis-à-vis d'une conception contemporaine de l'histoire des sciences, il est daté. Il prête par exemple aux Grecs la capacité de résoudre des équations, ce que les spécialistes de notre époque ne font plus.}}
* {{Ouvrage|prénom=Paul|nom=Tannery|titre=Notions de mathématiques|éditeur=Delagrave|lieu=Paris|année=1903|url=https://gallica.bnf.fr/ark:/12148/bpt6k993940/CadresFenetre?O=NUMM-99394&M=tdm}}{{Commentaire biblio|Tannery lance véritablement le concept en lui accordant un rôle et une importance historique.}}
* {{en}} Thomas Heath, ''The Thirteen Books of Euclid's Elements, Books 1 and 2'', Cambridge, 1926{{Commentaire biblio|L'édition des livres d'Euclide commentés par Heath est l'une des références sur le sujet.}}
* {{Ouvrage|langue=en|prénom1=Otto|nom1=Neugebauer|titre=The Exact Sciences in Antiquity|éditeur=[[Dover Publications|Dover]]|année=1969|pages totales=240|isbn=978-0-486-22332-2}}{{Commentaire biblio|Cette référence étudie l'influence des Mésopotamiens sur les Grecs.}}
* {{Ouvrage|langue=en|auteur1=[[Walter Burkert]]|titre=Lore and Science in Ancient Pythagoreanism|éditeur=[[Harvard University Press]]|année=1972|pages totales=535|isbn=978-0-674-53918-1|présentation en ligne={{Google Livres|0qqp4Vk1zG0C}}}}{{Commentaire biblio|Ce livre est la référence principale utilisée dans l'article pour la période pythagoricienne.}}
* {{DahanPeiffer}}
* {{Euclide Vitrac}} (1990-2001) {{ISBN|978-2130432401}}{{Commentaire biblio|Ce livre est l'une des éditions française de référence sur Euclide. Aux pages 366-376 on trouve une description de la polémique autour du concept d'algèbre géométrique.}}
* {{Ouvrage|langue=fr|prénom1=Maurice|nom1=Caveing|titre=La figure et le nombre|sous-titre=recherches sur les premières mathématiques des Grecs|éditeur=[[Éditions du Septentrion]]|année=1998a|pages totales=424|isbn=978-2-85939-494-3|présentation en ligne={{Google Livres|T6CSoU9bMF8C}}}}{{Commentaire biblio|Ce traité d'histoire des mathématiques grecs de la période hellénistique fait fréquemment référence au concept de l'article.}}
* {{Ouvrage|langue=fr|prénom1=Maurice|nom1=Caveing|titre=L'irrationalité dans les mathématiques grecques jusqu'à Euclide|éditeur=Éditions du Septentrion|année=1998b|pages totales=343|isbn=978-2-85939-539-1|isbn10=2859395393}}
* {{Ouvrage|langue=fr|prénom1=Árpád|nom1=Szabó|titre=L'aube des mathématiques grecques|éditeur=Vrin|année=2000|pages totales=367|isbn=978-2-7116-1279-6|présentation en ligne={{Google Livres|dinTO2RzDJMC}}}}{{Commentaire biblio|Árpád Szabó est l'un des contestataires du concept. Il explicite les raisons de son opinion dans un appendice de ce livre.}}
*{{en}} Bartel L. van der Waerden, ''Geometry and Algebra in Ancient Civilizations'' (1983, rééd. Springer 2002) réédition {{ISBN|978-3540121596}}{{Commentaire biblio|Van der Waerden est à la fois un célèbre historien des mathématiques antiques, mais aussi un algébriste ayant résolu le [[Problèmes de Hilbert#Quinzième problème|quinzième problème de Hilbert]].}}

=== Notes ===
{{Références|groupe=Note}}

=== Références ===
'''Références didactiques :'''
{{Références|groupe=d|colonnes=2}}
'''Références universitaires :'''
{{Références|colonnes=2}}

=== Article connexe ===
[[Preuve sans mots]]
=== Lien externe ===
{{Lien web|lang=en|auteur=Luigi Borzacchini|url=http://www.dm.uniba.it/~psiche/bas2/node4.html|titre=Geometric algebra|site=Dipartimento di Matematica, [[Université de Bari|Università degli studi di Bari]]}}

{{Portail|algèbre|géométrie}}

[[Catégorie:Domaine de la géométrie]]
[[Catégorie:Équation polynomiale]]
[[Catégorie:Algèbre géométrique| ]]