AD.BD=:CD«-CB

et cette transformation géométrique concorde précisément avec la transformation algébrique par laquelle nous résolvons actuellement l'équation (2), savoir :

on détermine CD(=: — \-œ\ à l'aide du théorème de Py-

thagore.

Le théorème d'Euclide (H, 6) comporte immédiatement la solution du même problème sous une autre forme que voici : déterminer deux segments (AD et BD) dont on donne la diflFérence et le rectangle (égal au carré 6'), problème qui n'est à son tour que la forme géométrique du suivant : déterminer deux quantités, connaissant leur différence et leur produit, et comme le problème se trouve également sous cette seconde forme chez les anciens {Data d'Euclide, 84), il importe fort peu que Ton ne rencontre aucune forme pour rendre l'équation

( 3 ) x^- ax^b^

d'une manière aussi directe que celle par laquelle les applications de surface rendent les équations (i) et (2).

Pour obtenir, dans notre langage algébrique, l'équation (2) ou l'équation (3), nous n'avons, en effet, qu'à transcrire Euclide (II, 6) à la manière moderne, en posant

BD z=x ou AD = X,

Nous voyons donc que les anciens ont traité toutes les formes de l'équation du second degré qui donnent des racines positives car, pour les autres, il n'en pouvait être question

4o LES MATHÉMATIQUES GRECQUES.

\u qu'ils n'avaient aucune idée des quantités négatives. Pour la solution géométrique que nous donnons ici, nous avons supposé que le terme connu, qui devait toujours être une surface pour Thomogénéilé, était donné sous la forme d'un carré : alors la solution a été obtenue au moyen du théorème dit de Pythagore, Ce théorème, dont les Égyptiens déjà connaissaient au moins des cas particuliers, fut attribué à Pythagore sans que, toutefois, on sache rien sur la façon dont il l'aurait démontré, mais il se peut que cette démonstration ait été faite à l'aide de triangles semblables : elle ne pouvait donc être exacte, avec la théorie alors connue des proportions, que si les côtés étaient commensurables, car on ne faisait que commencer à ce moment-là d'introduire les constructions géométriques universellement applicables, et c'est bien Euclide, comme il nous est expressément rapporté, qui doit être l'auteur original de la démonstration générale, au Livre I, 47> de son œuvre.

Euclide démontrant que le carré élevé sur un côté est égal au rectangle (c'est-à-dire au produit) de la projection de ce côté sur l'hypoténuse par l'hypoténuse entière, il est assez vraisemblable que, dans l'ancienne démonstration qu'il voulait remplacer, on se soit servi des théorèmes qui y correspondent sur les moyennes proportionnelles.

La démonstration, du reste, pouvait être également faite au moyen des opérations qui servirent à la solution des équations; il ressort nettement de \dijig. 3 que

a^ ^ b'^— {a -h by — lab,

différence qui est égale au carré de l'hypoténuse d'un triangle rectangle ayant pour côtés a et ^ : on le voit en construisant, aux quatre angles du carré (a 4- bY, des triangles de cette nature et tels qu'il reste un carré au milieu. Il nous faut peutêtre voir un signe de l'usage général de cette démonstration dans ce fait que Socrate (le Dialogue Ménon, de Platon) procède précisément ainsi pour persuader l'esclave de Ménon de la justesse du théorème dans le cas spécial où « = 6; mais, par rapport à une démonstration aussi simple, celle d'Euclide ne serait plus du tout un progrès. La variante que constitue cette explication possible nous prouve bien que nous n'avons.

ALGÈBRE GÉOMÉTRIQUE. t^l

sur les méthodes de démonstralion primitives, aucun renseignement solide pour guider nos recherches.

En ce qui concerne la transformation d'une figure en un carré, transformation dont on dut se servir, soit pour donner aux équations la forme admise ici, soit pour construire sans recourir au théorème de Pythagore la grandeur représentée dans la solution moderne par une racine carrée, on attribue expressément aux pythagoriciens la connaissance du problème :

Construire une figure qui soit égale à une figure donnée et semblable à une deuxième.

En tous cas, il ne peut avoir été question là que de figures rectilignes et, dans le cas spécial dont nous nous occupons, la deuxième figure est un carré, la forme plus générale du problème étant celle qui se trouve dans Euclide, VI, 25, où cet auteur doit Tavoir employée à ses applications de surface généralisées. Celui qui, postérieurement, attribua aux pythagoriciens la notion du problème ainsi conçu voulait donner à entendre par là que ces pythagoriciens avaient été en possession des données que suppose et qu'exige l'application des surfaces; mais l'application simple des surfaces n'exige, elle, que la transformation de la figure en un carré.

La transformation d'une figure rectiligne en un rectangle n'est pas embarrassante; en outre, Euclide nous montre comment on pouvait transformer un rectangle en un carré sans recourir aux moyennes proportionnelles et sans s'appuyer sur la théorie des proportions, incomplète avant Eudoxe : pour cela, dans son Livre II, ih, il ne s'appuie que sur l'Algèbre géométrique, car la construction repose, en effet, sur le théorème II, 5 (ou 6), précédemment mentionné, d'après lequel on représente un rectangle comme la différence de deux carrés. Le côté du carré, égal au rectangle, se construit ensuite à l'aide du théorème de Pylhagore.

. Cette transformation correspond à l'équation

'a — h ,^ et contient la solution de Véquation quadratique pure.

t\'l LES MATHÉMATIQUES GRECQUES.

On attribue aux pythagoriciens un emploi géométrique déterminé de l'application de surfaces : la construction du côté du pentagone (ou décagone) régulier. Cette construction dépend, on le sait, de Téquation

qui se transforme en

et l'on résout cette équation par application hyperbolique de surfaces. Pour résoudre ce problème, Euclide (II, 11) se sert exactement de la même transformation d'équation sous forme géométrique.

— Les théorèmes II, 5 et 6, ne servent pas exclusivement à résoudre les équations du second degré; ainsi nous avons déjà mentionné (p. 32) une application arithmétique qu'en fait Euclide dans son dixième Livre, et nous venons de dire comment, avec eux, on évite de recourir aux moyennes proportionnelles. Une autre preuve de ce fait que l'Algèbre géométrique dispense d'employer les proportions se rencontre chez Euclide (III, 35-37), dans les démonstrations des théorèmes sur la puissance d'un point par rapport à un cercle; les théorèmes II, 5 et 6, affirmaient (c/. les figures, p. 87 et 38) qu'étant donnés C, milieu de AB, et D, un point de AB ou de son prolongement,