PAR
Gaston DARBOUX
(') Pour bien se rendre compte des progrès que la Géométrie a faits au cours du siècle qui vient de finir, il importe de jeter un coup d'oeil rapide sur l'état des Sciences mathématiques au commencement du xix" siècle. On sait que, dans la dernière période de sa vie, T.agrange, fatigué des recherches d'Analyse et de Mécanique, qui lui assurent pourtant une gloire immortelle, avait négligé les Mathématiques pour la Chimie qui, d'après lui, devenait facile comme l'Algèbre, pour la Physique, pour les spéculations philosophiques. Cet état d'esprit de Lagrange, nous le retrouvons presque toujours à certains moments de la vie des plus grands savants. Les idées nouvelles qui leur sont apparues dans la période féconde de la jeunesse et qu'ils ont introduites dans le domaine commun leur ont donné tout ce qu'ils pouvaient en attendre; ils ont rempli leur tâche et éprouvent le besoin de tourner vers des sujets tout nouveaux l'activité de leur esprit. Ce besoin, il faut le reconnaître, devait se manifester avec une force toute particulière à l'époque de Lagrange. A ce moment, en efl'ct, le programme des recherches ouvertes aux géomètres par la découverte du Calcul in-
(') Bien que M. de ^lontessiis ait déjà fait quelques emprunts à cette étude, nous croyons devoir la reproduire intégralement, à cause de la grande lumière qu'elle projette sur le développement de la géométrie depuis un siècle.
INOTE DE l'EdITÎELR.
finilésimal paraissait bien près tlèlre épuisé. Des équations diiTércntielies plus ou moins compliquées à intéj.'rer, quelques chapitres à ajouter au Calcul intégral, et il semblait qu'on allait toucher aux bornes mêmes de la Science. Laplace achevait l'explication du système du monde et jetait les bases de la Physique moléculaire. Des voies nouvelles s'ouvraient pour les sciences expérimentales et préparaient l'étonnant développement qu'elles ont reçu au cours du siècle qui vient de iinir. Ampère. Poisson, Fourier et Cauchy luimême, le créateur de la théorie des imaginaires, se préoccupaient avant tout d'étudier l'application des méthodes analytiques à la Mécanique, à la Physique moléculaire et semblaient croire qu'en dehors de ce nouveau domaine, qu'ils avaient hâte de parcourir» les cadres de la Théorie et de la Science étaient délinilivement fixés.
La Géométrie moderne, c'est un titre que nous devons revendiquer pour elle, est venue, dès la fin du wai"^ siècle, contribuer dans une large mesure au renouvellement de la Science mathématique tout entière, en offrant aux recherches ime voie nouvelle et féconde, et surtout en nous montrant, par des succès éclatants, que les méthodes générales ne sont pas toutes dans la Science et que, même dans le sujet le plus simple, il y a beaucoup à faire pour un esprit ingénieux et inventif. Les belles démonstrations géométriques de Iluyghens, de NeAvton et de Clairaut étaient oubliées ou négligées. Les idées géniales introduites par Desargues et Pascal étaient restées sans développement et paraissaient être tombées sur un sol stérile. Carnot, par VEssai sur les transversales et la Géomélrie de position, Monge surtout, par la création de la Géométrie descriptive et par ses belles théories sur la génération des surfaces, sont venus renouer une chaîne qui paraissait brisée. (Jràce à eux, les conceptions des inventeurs de la (iéométrie analytique. Descartes et Fermât, ont repris auprès du Calcul infinitésimal de Leibniz et de NcAvton la place qu'on leur avait laissé perdre et qu'elles n'auraient jamais dû cesser d'occuper. Avec sa Géométrie, disait Lagrange en parlant de Monge, ce diable d'homme se rendra immortel. Et, en eiTct, non seulement la Géométrie descriptive a permis de coordonner et de perfectionner les procédés employés dans tous les arts, « oi"! la précision de la forme est une condition de succès et d'excellence j)our le travail et ses pro-
DÉVELOPPEMENT DES METHODES GÉOAlÉTRrQUES 235
diiits » ; mais elle est apparue comme la traduction graphique d'une Géoniclrie générale et purement rationnelle, dont de nombreuses et importantes recherches ont démontre l'heureuse fécondité. A côté de la Géométrie descriptive nous ne devons pas d'ailleurs oublier de placer cet autre chef-d'œuvre qui a nom Y Application (Je ranalyse à la Géoniclrie ; nous ne devons pas oublier non plus que c'est à Monge que sont dues la notion des lignes de courbure et l'élégante intégration de l'équation différentielle de ces lignes pour le cas do l'ellipsoïde, que Lagrange, dit-on, lui enviait. Il faut insister sur ce caractère de l'ensemble de l'OEuvre de Monge. Le rénovateur de la Géométrie moderne nous a montré, dès le début, ses successeurs l'ont peut-être oublié, que l'alliance de la Géométrie et de l'Analyse est utile et féconde, que cette alliance est peut-être une condition de succès pour l'une et pour l'autre.
A l'école de Monge se formèrent de nombreux géomètres : Hachette, Brianchon, Chappuis, Binot, Lancret, Dupin, Malus, Gaultier de Tours, Poncelet, Ghasles, etc. Parmi eux, Poncelet se place au premier rang. Négligeant tout ce qui, dans les travaux de Monge, se rattache à l'Analyse de Descartes ou concerne la Géométrie infinitésimale, il s'attacha exclusivement à développer les germes contenus dans les recherches purement géométriques de son illustre devancier. Fait prisonnier par les Russes en i8i3 au passage du Dnieper et interné à Saratoff, Poncelet employa les loisirs que lui laissait sa captivité à la démonstration des principes qu'il a développés dans le Traité des propriétés projectives des^Jigures, paru en 1822, et dans les grands Mémoires sur les polaires réciproques et sur les moyennes harmoniques, c[ui remontent à peu près à la même époque. C'est donc à Saratoff qu'est née, on peut le dire, la Géométrie moderne. Renouant la chaîne interrompue depuis Pascal et Desargues, Poncelet introduisit à la fois l'homologie et les polaires réciproques, mettant ainsi en évidence, dès le début, les idées fécondes sur lesquelles la Science a évolué Jpendant 5o ans.
Présentées en opposition avec la Géométrie analj^ticjue, les méthodes de Poncelet ne furent pas favorablement accueillies 'par les
analystes français. Mais telles étaient Jour importance et leur nouveauté qu'elles ne tardèrent j);is à susciter, de divers cotés, les rccherclies les plus approfondies. Poncelct avait élé seul à découvrir les principes ; plusieurs iréomètres. au contraire, apparurent presque en même temps pour les étudier sur toutes leurs faces et pour en déduire les résultats essentiels qui y étaient implicitement contenus.
A cette époque, Gergonne dirigeait avec éclat un Recueil périodique qui a aujourd'hui pour l'histoiie de la Géométrie un prix inestimable. Les Aniui/cs <lc Mnllirnuilif/ncs, publiées à Nîmes de 1810 à iS'Ai, ont élé pendant [)lus de quinze ans le seul journaldu inonde entier exclusivement consacré aux recherches de mathématiques. (Jergonne, qui nous a laissé à bien des égards un excellent modèle du directeur de journaux scientifiques, avait les défauts de ses qualités ; il collaborait, souvent contre leur gré, avec les auteurs des Mémoires qui lui étaient envoyés, remaniait leur rédaction et leur faisait dire quelquefois plus ou moins qu ils n'auraient voulu. Quoi qu'il en soit, il fui vivomcnl frappé de l'originalité et de la portée des découvertes de Poncelct. On connaissait déjà en Géométrie quelques méthodes simples de transformation des figures; on avait même employé l'homologic dans le plan, mais sans l'étendre à l'espace, comme le fit Poncclel, ni surtout sans en connaître la puissance et la fécondité. D'ailleurs toutes ces transformations étaient ponclncllcs. c'est-à-dire qu'elles faisaient correspondre un point à im point. En introduisant les polaires réciproques, Poncelct faisait au plus haut degré œuvre d'inventeur; car il donnait le premier exemple d'une transformation dans laquelle à un point corrrespondait autre chose qu'un point. Toute méthode de transformation permet de multiplier le nombre de théorèmes, mais celle des polaires réciproques avait l'avantage de faire correspondre à une proposition une autre proposition d'aspect tout difïérent. Il y avait là un fait essentiellement nouveau. Pour le mettre en évidence, Gergonne inventa le système, qui depuis a eu tant de succès, des Mémoires écrits sur doubles colonnes, avec les propositions corrélatives en regard ; et il eut l'idée de substituer aux démonstrations de Poncelct, qui exigeaient l'intermédiaire d'une courbe ou d'une surface du second ordre, le fameux principe de daalilc, dont la signification, un peu vague
d'abord^ fut suffisamment cclaircie par les discussions qui s'établirent à ce sujet entre Gergonne, Poncelct et Plûcker.
Bobillier, Chasles. Steiner, Lame, Sturm et bien d'autres que j'oublie étaient, en même temps que Plûcker et Poncelet, les collaborateurs assidus des Aiiiki/cs de Malhc/iialif/iics. Gcrgonne, devenu recteur de l'Académie de Montpellier, dut interrompre, en i83i, la publication de son journal. Mais le succès qu'il avait obtenu, le goût des rechercbes qu'il avait contribué à développer avaient commencé à porter leur fruit. Quételet venait de créer en Belgique la Correspondance mathématique et physique. Crelle, dès 1826, faisait paraître à Berlin les premières feuilles de son célèbre journal, où il publiait les Mémoires d'Abel, de Jacobi, de Steiner. Un grand nombre d'Ouvrages séparés allaient aussi paraître, où les principes de la Géométrie moderne devaient être magistralement exposés et développés.
C'est d'abord en 1827 le Calcul harycentrique de Mubius, œuvre vraiment originale, remarquable par la profondeur des conceptions, la netteté et la rigueur de l'exposition; puis en 1828 les Analylisch-tjeometrische Entunckelumjen de Pliicker dont la seconde partie parut en i83i et qui furent bientôt suivis du System der analytischen Géométrie du même auteur, publié à Berlin en i835. En i832, Steiner faisait paraître à Berlin son grand ouvrage : Systematische Entwickclung der Abhiingigkeit der geometrischen Gestalten von einander, et, l'année suivante, les Geometrische Constructionen ausgefiihrt mittelst der geraden Linie und eincs feslen Kreises, où se trouvait confirmée par les exemples les plus élégants une proposition de Poncelet relative à l'emploi d'un seul cercle pour les constructions géométriques. Enfin, en i83o, Cliasles envoyait à l'Académie de Bruxelles, qui, beureusement inspirée, avait mis au concours une étude des principes de la Géométrie moderne, son célèbre Aperçu historique sur Forigine et le développement des méthodes en Géométrie, suivi du ^Mémoire sur deux principes généraux de la Science : la dualité et l'homographie,. qui fut publié seulement en 1837.
Le temps nous manquerait pour apprécier dignement ces beaux Ouvrages et pour faire ici la part de cbacun d'eux. A quoi d'ailleurs pourrait nous conduire une telle étude, sinon à une vérification nouvelle des lois générales du développement de la Science'. Quand"
les temps sont miirs, quand ics principes fondamentaux ont clé reconnus et énoncés, rien n'airéle la marche des idées ; les mêmes découvertes, ou des découvertes à peu près équivalentes, se produisent à [icu près au même instant, et dans les lieux les plus divers. Sans entreprendre une discussion de ce genre qui pourrait d'ailleurs paraître inutile ou devenir irritante, il importe cependant que nous fassions ressortir une différence fondamentale entre les tendances des grands géomètres qui, vers i83o, vinrent donner à la Géométrie un essor inconnu jusque-là.
Les uns, comme Chasles et Steiner, qui consacrèrent leur vie entière aux recherches de pure Géométrie, opposèrent ce qu'ils ap[)elaient la synllicsc à Wtnalyse et, adoptant dans l'ensemble sinon dans le détail les tendances de Poncelet, ils se proposèrent de constituer une doctrine indépendante, rivale de l'analyse de Descartes.
Poncelet n'avait pu se contenter des ressources insuffisantes fournies par la méthode des projections ; pour atteindre les imaginaires, il avait dû imaginer ce fameux priHcipc de conliiiuilc qui a donné naissance à de si longues discussions entre lui et Cauchy . Convenablement énoncé, ce [)rinci[)e est excellent et peut rendre de grands services. Poncelet lui faisait du tort en se refusant à le présenter comme une simple conséquence de l'Analyse ; etCauchy, d'autre part, ne voulait pas reconnaître que ses propres objections, applicables sans doute à certaines figures transcendantes, demeuraient sans force dans les applications faites par l'auteur du Tniilc des propriclcs projcclivcs. Quelque opinion que l'on se fasse au sujet d'une telle discussion, elle montra thi moins de la manière la plus claire que le système géométrique de Poncelet rej)osait sur une base analytique et nous savons du reste, par la publication malencontreuse des cahiers de Saratoff, que c'est à l'aide de l'analyse de Descartes qu'ont été établis les principes qui servent de base au Traité des propriclcs prop'divcs.
Moins ancien que Poncelet, qui d'ailleurs abandonna la Géométrie pour la ^lécanique où ses traAaux ont eu une iniluence prépondérante, Chasles, pour qui fut créée en iS'iy une chaire de
Géomclrie supérieure à la Faculié des Sciences de Paris, s'efforça de consliluer une doctrine géométrique entièrement indépendante et autonome. Il l'a exposée dans deux ouvrages de haute importance, le Traité de Gcomêlric supérieure, qui date de 1802, et le Trailé des sections coniques, malheureusement inachevé et dont la première partie seule a paru en i865.
Dans la préface du premier de ces ouvrages, il indique très nettement les trois points fondamentaux qui permettent à la nouvelle doctrine de participer aux avantages de 1 analyse et lui paraissent marquer un progrès dans la culture de la science. Ce sont :
1" L'introduction du principe des signes, qui simplifie à la fois les énoncés et les démonstrations, et donne à l'analyse des transversales de Carnot toute la portée dont elle est susceptible;
2° L'introduction des imaginaires, qiii supplée au principe de continuité et fournit des démonstrations aussi générales que celles de la géométrie analytique ;
3° La démonstration simultanée des propositions qui sont corrélatives, c'est-à-dire qui se correspondent en vertu du principe de dualité.
Chasles étudie bien dans son Ouvrage l'homographie et la corrélation ; mais il écarte systématiquement dans son exposition l'emploi des transformations des figures, lesquelles, pense-t-il, ne peuvent suppléer à des démonstrations directes parce qu'elles masquent l'origine et la véritable nature des propriétés obtenues par leur moyen. Il y a du vrai dans ce jugement, mais la marche même de la science nous permet de le trouver trop sévère. S'il arrive souvent que, employées sans discernement, les transformations multiplient inutilement le nombre des théorèmes, il ne faut pas méconnaître qu'elles nous aident souvent aussi à mieux connaître la nature des propositions mêmes auxquelles elles ont été appliquées. N'est-ce pas l'emploi de la projection de Poncelet qui a conduit à la distinction si féconde entre les propriétés projectives et les propriétés métriques, qui nous a fait aussi connaître la haute importance de ce rapport anharmonique, dont la propriété essentielle se trouve déjà dans Pappus, et dont le rôle fondamental n'a commencé à apparaître après quinze siècles que dans les recherches de la géométrie moderne ?
L'introduction du principe des signes n'était pas aussi nouvelle
o/jO IIISïOinE DES MATHEMATIQUES
que le croyait Chasles au moment où il écrivait son Traite de Gcoinélrie snpcrieiirc. Déjà M<)hiiis, dans son Calcul liaryccntrirjue, avait donné suite à un ilcsiilcraliim de Carnet, et employé les signes de la manière la plus large et la plus précise, en définissant pour la première fois le signe d'un segment et même celui d'une aire. Il a réussi plus tard à étendre l'usage des signes à des longueurs qui ne sofât pas portées sur la même droite et à des angles qui ne sont [)as formés autour d'un même point. D^iilieurs Grassmann, dont l'esprit a tant d'analogie avec celui de Mobius, avait du nécessairement employer le princi[)e des signes dans les définitions qui servent de base à sa méthode si originale d'étude des propriétés de l'étendue.
Le second caractère que Chasles assigne à son système de géométrie, c'est l'emploi des imaginaires. Ici sa méthode était réellement nouvelle et il a su l'ilhistrer [)ar des c\om[)les de haut intérêt. On admirera toujours les belles théories qu'il nous a laissées sur les surfaces homofocalcs du second degré, où toutes les propriétés connues et d'autres nouvelles, aussi variées qu'élégantes, dérivent de ce principe général qu'elles sont inscrites dans une même développable circonscrite au cercle de l'infini. Mais Chasles n'a introduit les imaginaires que par leurs fonctions symétriques et n'auraiî pu, par conséquent, définir le rapport anharmonique de quatre éléments lorsque ceux-ci cessent d'être réels en tout ou en partie. Si Chasles avait pu établir la notion du ra[)port anharmonique d'éléments imaginaires, une formule qu'il donne dans la Gcomélrie supérieure (p. ii8 de la nouvelle édition) lui aurait immédiatement fourni celte belle définition de l'angle comme logarithme d'un rapport anharmonique qui a permis à Laguerre, notre confrère regretté, de résoudre d'une manière complète le prohlème, si longtemps cherché, de la transformation des relations qui contiennent à la fois des angles et des segments dans l'homographie et la corrélation.
Comme Chasles, Steiner, le grand et le profond géomètre, a suivi la voie de la géométrie pure ; mais il a négligé de nous donner un exposé complet des méthodes sur lesquelles il s'appuyait. On peut toutefois les caractériser en disant qu'elles reposent sur l'introduction de ces formes géométriques élémentaires, que Désargues avait déjà considérées, sur le développemenl qu'il a su
DEVELOPPEMENT DES METHODES GEOMETniQUES 241
donner à la théorie des polaires de Bobillier, et enfin sur la construction des courbes et des surfaces de degrés supérieurs, à l'aide de faisceaux ou de réseaux de courbes ou de surfaces d'ordres moindres. A défaut des recherches récentes, l'Analyse suffirait à montrer que le champ ainsi embrassé a l'étendue même de celui dans lequel nous introduit sans elTort l'analyse de Descartes.
Pendant que Chasies, Steiner, et plus tard, comme nous le verrOiAs, v. Staudt, s'attachaient à constituer une doctrine rivale de l'Analyse et dressaient en quelque sorte autel contre autel, Geigonne, Bohillier, Sturm, Plûcker surtout, perfectionnaient la géométrie de Descartes et constituaient un système analytique en quelque sorte adéquat aux découvertes des géomètres. C'est à Bobillier et à Plûcker que nous devons la méthode dite des notations abrégées. Bobillier lui a consacré quelques pages vraiment neuves dans les derniers volumes des Annales de Gergonne. Pliicker a commencé à la développer dans son premier Ouvrage, bientôt suivi d'une série de travaux oii sont établies d'une manière pleinement consciente les bases de la géométrie analytique moderne. C'est à lui que nous devons les coordonnées tangcntielles, les coordonnées trilinéaires, employées avec des équations homogènes, et enfin l'emploi des formes canoniques dont la validité se reconnaît par la méthode, si trompeuse quelquefois mais si féconde, dite de V é numération des constantes. Toutes ces heureuses acquisitions allaient infuser un sang nouveau à l'analyse de Descartes et la mettre en mesure de donner leur pleine signification aux conceptions dont la géométrie dite synthétique n'avait pu se nmdre complètement maîtresse. Pliicker, auquel il est sans doute équitable d'adjoindre Bobillier, enlevé par une mort prématurée, doit être regardé comme le véritable initiateur de ces méthodes de l'Analyse moderne où l'emploi des coordonnées homogènes permet de traiter simultanément, et sans que le lecteur s'en aperçoive [pour ainsi dire, en même temps qu'une figure, toutes celles qui s'en déduisent par l'homographie et la corrélation.
R. B, — Tome II. i j
•2^2 UISTOIRE DES M VT1IÊMA.TIQUES
A partir de ce moment s'ouvre une période brillante pour les recherches frcométriques de toute nature. Les analystes interprètent tous leurs résultats (>t se préoccupent de les traduire par des constructions. Les g-éomètres s'attachent à découvrir dans ciiaquc question quelque princi[)(' général, le plus souvent indémontrable sans le secours de l'analyse, pour en falvr découler sans effort une foule de conséquences particulières, solidement reliées les unes aux autres et au principe d'où elles dérivent. Otto liesse, brillant disciple de Jacobi, développe d'une manière admirable cette méthode des homogènes à latpiclit' PliicLer peut-être n'avait pas su donner toute sa valeur. Boolc découvre dans les polaires de Bobillier la première notion du covariant ; la théorie des formes se crée par les travaux de Cayley, de Sylvester, d'Ilermite, de Brioschi. Plus tard, Aronhold, Clebsch et Gordan et d'autres géomètres encore vivants lui fournissent ses notations définitives, établissent le théorème fondamental relatif à la limitation du nombre des formes covariantes et achèvent ainsi de lui donner toute son ampleur.
La théorie des surfaces du second ordre, édifiée principalement par l'école de Monge, s'enrichit d'une foule de propriétés élégantes, établies principalement par 0. liesse, qui doit trouver plus tard en Paul Serret un digne émule et un continuateur.
Les propriétés des polaires des courbes algébriques sont développées par Pliicker et surtout par Steiner. L'étude déjà ancienne des courbes du troisième ordre est rajeunie et enrichie d'une foule d'éléments nouveaux. Steiner, le premier, 'étudie par la Géométrie pure les tangentes doubles des courbes du quatrième ordre, et liesse, après lui, applique les méthodes de l'algèbre à cette belle question, ainsi qu'à celle des points d'inllexion du troisième ordre.
La notion de classe introduite par Gergonne, l'étude d'un paradoxe en partie élucidé par Poncelet et relatif aux degrés respectifs de deux courbes polaires réciproques l'une de l'autre, donnent naissance aux recherches de Pliïcker relatives aux singularités dites ordinaires des courbes planes algébriques. Les célèbres formules auxquelles Pliicker est ainsi conduit sont plus tard étendues par Cayley et par d'autres géomètres aux courbes algébriques, par
Cayley encore et par Salmon aux surfaces algébriques. Les singularités d'ordre supérieur sont à leur tour abordées par les géomètres ; contrairement à une opinion alors très répandue, Halpben démontre que chacune de ces singularités ne peut être considérée comme équivalente à un certain groupe de singularités ordinaires et ses recherches closent pour un temps cette difficile et importante question.
L'Analyse et la Géométrie, Steiner, Cayley, Salmon Cremona se rencontrent dans l'étude des surfaces du troisième ordre ; et conformément aux prévisions de Steiner, cette théorie devient aussi simple et aussi facile que celle des surfaces du second ordre.
Les surfaces réglées algébriques, si importantes pour les applications, sont étudiées par Chasles, par Cayley dont on retrouve l'influence et la trace dans toutes les recherches mathématiques, par Cremona, Salmon, La Gournerie ; elles le seront plus tard par Plûcker dans un travail sur lequel nous aurons à revenir.
L'étude de la surface générale du quatrième ordre paraît être trop difficile encore ; mais celle des surfaces particulières de cet ordre avec points multiples ou lignes multiples est commencée, avec Plûcker pour la surface des ondes, avec Steiner, Kummer, Cayley, Moutard, Laguerre, Cremona et bien d'autres chercheurs. Quant à la théorie des courbes gauches algébriques, enrichie dans ses parties élémentaires, elle reçoit enfin, par les travaux d'Halphen et de Nœther qu'il nous est impossible de séparer ici, les plus notables accroissements. Une théorie nouvelle de grand avenir naît avec les travaux de Chasles, de Clebsch et de Cremona ; elle concerne l'élude de toutes les courbes algébriques qui peuvent être tracées sur une surface déterminée.
L'homographie et la corrélation, ces deux méthodes de transformation qui ont été l'origine lointaine de toutes les recherches précédentes, en reçoivent à leur tour un accroissement inattendu : elles ne sont pas les seules qui fassent correspondre un seul élément à un seul élément, comme aurait pu le montrer une transformation particulière brièvement signalée par Poncelet dans le Traité des propriétés projectives. Pliicker définit la transformation par rayons vecteurs réciproques ou inversion dont Sir W. Thomson et Liouville ne tardent pas à montrer toute l'importance, tant pour la Physique mathématique que pour la Géométrie. Un
contemporain de Mobius et de Pluckcr, Magnus, croit avoir trouvé la transformation la plus génc'rale qui fasse correspondre un point à un point, mais les recherches de Cremona nous apprennent que la transformation de Magnus n'est que le premier terme d'une série de transformations blrationnelles que le grand géomètre italien nous apprend à déterminer méthodiquement, au moins pour les fleures de la Géométrie plane. Les transformations de Cremona conserveront longtemps un grand intérêt, bien que des recherches ultérieures nous aient appris qu'elles se ramènent toujours à une série d'applications successives de la transformation de Magnus.
Tous les travaux que nous venons d'énumérer, d'autres sur lesquels nous reviendrons plus loin, trouvent leur origine et, en quelque sorte, leur premier moteur dans les conce[)tions de la Géométrie moderne; mais le moment est venu d'indiquer rapidement une autre source de grands progrès pour les études de Géométrie. La théorie des fonctions elliptiques de Legendre, trop négligée par les géomètres français, est développée et agrandie par Abel et Jacobi. Avec ces grands géomètres, bientôt suivis de Riemann et de Weierstrass, la théorie des fonctions abéhennes que, plus tard, l'Algèbre essaiera de suivre a\ec ses seules ressources, vient apporter à la Géométrie des courbes et des surfaces une contribution dont l'importance ne cessera de grandir.
Déjà Jacobi avait employé l'analyse des fonctions elliptiques à la démonstration des célèbres théorèmes de Poncelet sur les polygones inscrits et circonscrits, inaugurant ainsi un chapitre qui s'est enrichi depuis d'une foule de résultats élégants ; il avait obtenu aussi, par des méthodes se rattachant à la Géométrie, l'intégration des équations abéliennes.
Mais c'est Clebsch qui, le premier, montra dans une longue série de travaux toute l'importance de la notion de fjenre d'une courbe, due à Abel et à Riemann, en développant une foule de résultats et de solutions élégantes que l'emploi des intégrales abéliennes paraissait, tant il était simple, rattacher à leur véritable point de départ. L'étude des points d'inflexion des courbes du troisième ordre, celle des tangentes doubles des courbes du quatrième ordre et, en
DIÎVFXOPPEMENT DES METHODES GEOMETRIQUES 243
général, la théorie de rosculation sur laquelle s'étalent si souvent exercés les anciens et les modernes, furent rattachées au beau problème de la division des fonctions elliptiques et des fonctions abélienncs.
Dans un de ses Mémoires, Glebsch avait étudié les courbes rationnelles ou de genre zéro ; cela le conduisit, vers la fin de sa vie trop courte, à envisager ce qu'on peut appeler aussi les suriaces rationnelles, celles qui peuvent être simplement représentées par un plan. Il y avait là un vaste champ de recherches, ouvert déjà pour les cas élémentaires par Chasles, et dans lequel Glebsch fut suivi par Cremona et beaucoup d'autres savants. C'est à cette occasion que Cremona, généralisant ses recherches de Géométrie plane, fit connaître non plus la totalité des transformations birationnelles de l'espace, mais quelques-unes des plus intéressantes parmi ces transformations. L'extension de la notion de genre aux surfaces algébriques est déjà commencée ; déjà aussi des travaux de haute valeur ont montré que la théorie des Intégrales simples ou multiples de différentielles algébriques trouvera, dans l'étude des surfaces comme dans celle des courbes, un champ étendu d'applications importantes ; mais ce n'est pas au rapporteur de la Géométrie qu'il convient d'insister sur ce sujet.
YII
Pendant que se constituaient ainsi les méthodes mixtes don.t nous venons d'indiquer les principales applications, les géomètres purs ne restaient pas inactifs. Poinsot, le créateur delà théorie des couples, développait, par une méthode purement géométrique, « celle, disait-il, où l'on ne perd de vue, à aucun moment, l'objet de la recherche », la théorie de la rotation d'un corps solide que les recherches de d'Alembert, d'Euler et de Lagrange semblaient avoir épuisée ; Chasles apportait une contribution précieuse à la Cinématique par ses beaux théorèmes sur le déplacement d'un corps solide, qui ont été étendus depuis par d'autres méthodes élégantes au cas où le mouvement a des degrés divers de liberté. Il faisait connaître ces belles propositions sur l'attraction en général, qui figurent sans désavantage à côté de celles de Green et de Gauss. Chasles et Steincr se rencontraient dans l'étude de l'attraction des
2'l6 HISTOIRE DES MATHÉMATIQUES
ellipsoïdes et montraient ainsi une fois de plus cpie la Géométrie a sa i)lacc marquée dans les questions les plus hautes du calcul intégral.
Steiner ne dédaignait pas de s'occuper en même temps des parties élémentaires de la Géométrie. Ses recherches sur les contacts des cercles et des coniques, sur les problèmes isopérimétriques, sur les surfaces parallèles, sur le centre de gravité de courbure excitaient l'admiration de tous jiar leur simplicité et leur profondeur.
Chasles introduisait son princi[)e de correspondance entre deux objets variables qui a donné naissance à tant d'applications ; mais ici l'analyse reprenait sa place pour étudier le principe dans son essence, le préciser et le généraliser. Il en fut de même en ce qui concernait la fameuse théorie des caractérisliques et les nombreuses recherches de de Jonquières, de Chasles, de Cremona, d'autres encore qui devaient fournir les bases d'une branche nouvelle de la Science, la (Jconu'Irie cniimcrative. Pendant plusieurs années, le célèbre postulat de Chasles fut admis sans aucune objection ; une foule de géomètres crurent l'avoir établi d'une manière irréfutable. .Mais, comme disait alors Zeuthen, il est bien difficile de reconnaître si, dans les démonstrations de ce genre, il ne subsiste pas toujours quelque point faible que leur auteur n'a point aperçu; et, en effet, Halphen, après des essais infructueux, venait couronnnor définitivement toutes ces recherches en indiquant nettement dans quels cas on peut admettre le postulat de Chasles et dans quels cas il faut le rejeter.
Tels sont les principaux travaux qui ont remis en honneur la synthèse géométrique et lui ont assuré, au cours du siècle dernier, la place qui lui revient dans la recherche mathémali'pie. De nombreux et illustres travailleurs ont [)ris part à ce grand mouvement géométrique, mais il faut reconnaître qu'il eut comme chefs et comme conducteurs Chasles et Steiner. Tel était l'éclat jeté par leurs merveilleuses découvertes qu'elles ont rejeté dans l'ombre, au moins d'une manière momentanée, les publications d'autres géomètres modestes, moins préoccupés peut-être de trouver des applications brillantes, propres à faire aimer la Géométrie, que de
DEVEI.OrPEMENT DES METHODES GEOMETRIQUES 1L\']
constituer cette science elle-même sur une base absolument solide. Leurs travaux ont reçu peut-être une récompense plus tardive, mais leur influence croît chaque jour ; elle s'accroîtra sans doute encore. Les passer sous silence serait sans doute négliger un des principaux facteurs qui joueront leur rôle dans les recberches futures. C'est surtout à v. Staudl que nous faisons allusion en ce moment. Ses travaux géométriques ont été exposés dans deux Ouvrages de grand intérêt : la Cicomelric dcr Lagc, parue en lS^'], et les De il rage ziir Gcoinclric dcr Lage, publiées en i85G, c'est-àdire quatre ans après la Géométrie supérieure.
Ghasles, nous l'avons vu, s'était préoccupé de constituer un corps de doctrine indépendant de l'analyse de Descartes et il n'y avait pas complètement réussi. Nous avons indiqué déjà un des reproches que l'on peut adresser à ce système : les éléments imaginaires n'y sont définis que par leurs fonctions symétriques, ce qui les exclut nécessairement d'une foule de recherches. D'autre part, l'emploi constant du rapport anharmonique, des transversales et do l'involulion, qui exige des transformations analytiques fréquentes, donne à la Géométrie supérieure un caractère presque exclusivement métrique qui l'éloigné notablement des méthodes de Poncelet. Revenant à ces méthodes, v. Staudt s'attacha à constituer une géométrie affranchie de toute relation métrique et reposant exclusivement sur les rapports de situation. C'est dans cet esprit cju'a été conçu son premier Ouvrage, la Géométrie dcr Lagc de 1847. L'auteur y prend pour point de départ les propriétés harmoniques du quadrilatère complet et celles des triangles homologiques, démontrées uniquement par des considérations de géométrie à trois dimensions, analogues à celles dont a fait un si fréquent usage l'Ecole de Monge.
Dans cette première partie de son œuvre, v. Staudt a négligé entièrement les éléments imaginaires. C'est seulement dans les Beitrage, son second Ouvrage, qu'il est parvenu, par une extension très originale de la méthode de Chasles, à définir géométriquement un élément imaginaire isolé et à le distinguer de son conjugué. Cette extension, bien que rigoureuse, est pénible et très abstraite. On peut la définir en substance comme il suit : deux points imaginaires conjugués peuvent toujours être considérés comme les points doubles d'une involution sur une droite réelle ; et de même
qu'on passe d'une imaginaire à sa conjuirucc par le cliangement de /en — i, de même on distinguera les deux points imaginaires en faisant correspondre à chacun l'un des deux sensdilTérents que l'on peut attribuer à la droite. Il y a là quelque chose d'un peu artificiel ; le drveloppement de la théorie élevée sur de telles bases est nécessairement compliqué. Par des méthodes purement projectives, V. Staudt établit toute une méthode de calcul des rapport* anharmoniques des éléments imaginaires les i)lus généraux. Comme toute géométrie, la géométrie pvojcclive emploie la notion de l'ordre et l'ordre engendre le nombre ; on ne saurait donc s'étonner que V. Staudt ait pu constituer sa méthode de calcul ; mais il faut admirer l'ingéniosité qu'il a du déployer pour y parvenir. Malgré les elTorts des géomètres distingués qui ont essayé d'en sinq)lifier l'exposition, nous craignons que cette partie de la géométrie de Y. Staudt. pas plus que la géométrie d'ailleurs si intéressante du profond penseur Grassmann, ne puisse prévaloir contre les méthodes analytiques qui ont conquis aujourd'hui la faveur presque universelle. La vie est courte, les géomètres connaissent et pratiquent aussi le principe de la moindre action. Malgré ces craintes qui ne doivent décourager personne, il nous paraît que, sous la forme première qui lui a été donnée par v. Staudt, la géométrie projcclive doit devenir la compagne nécessaire de la géométrie descriptive, qu'elle est appelée à renouveler celte géométrie dans son esprit, ses procédés et ses applications. C'est ce qui a déjà été compris dans plusieurs pays, et notamment en Italie oii le grand géomètre Cremona n'avait pas dédaigné d'écrire, pour les écoles, un Traité élémentaire de Géométrie projectivc.
Dans les articles qui précèdent, nous avons essayé de suivre et de faire apparaître nettement les conséquences les plus lointaines des méthodes de Monge et de Poncelct. En créant les coordonnées tangentiellcs et les coordonnées homogènes, Phickcr avait [)aru épuiser tout ce que pouvaient fournir à l'analyse la méthode des projections et celle des polaires réciproques. 11 lui restait, vers la fin de sa vie, à revenir sur ses premières rechercbes pour leur donner une extension qui devait élargir dans des proportions inattendues le domaine de la Géométrie.
DÉVELOPI'EMEXr DES MÉTHODES GEOMETRIQUES 249
Précédée par des recherches innomhrables sur les systèmes de hgnes droites, dues à Poinsot, Mobius, Ghasles, Dupin, Malus, Hamllton, Kummer, Transon, surtout à Cayley qui a introduit le premier la notion des coordonnées de la droite, recherches qui ont leur origine, soit dans la statique et la cinématique, soit dans l'optique géométrique, la géométrie de la ligne droite de Pliicker sera toujours regardée comme la partie de son œuvre où l'on rencontra les idées les plus neuves et les plus intéressantes. Que Pliicker ait constitué le premier une étude méthodique de la ligne droite, cela est déjà important, mais cela n'est rien à côté de ce qu'il -a découvert. On dit quelquefois que le principe de dualité met en évidence ce fait que le plan, aussi bien que le point, peut être considéré comme un élément de l'espace. Gela est vrai; mais, en ajoutant la ligne droite comme élément possible de l'espace au plan et au point, Pliicker a été conduit à reconnaître que n'importe quelle courbe, n'importe quelle surface peuvent aussi être considérées comme éléments de l'espace, et ainsi est née une Géométrie nouvelle qui a déjà inspiré un grand nombre de travaux, qui en suscitera plus encore à l'avenir. Une belle découverte dont nous parleronsplus loin a déjà rattaché la géométrie des sphères à celle des lignes droites et permis d'introduire la notion des coordonnées d'une sphère. La théorie des systèmes de cercles est déjà commencée; elle se développera sans doute quand on voudra étudier la représentation, que nous devons à Laguerre, d'un point imaginaire dans l'espace par un cercle orienté.
Mais avant d'exposer le développement de ces idées nouvelles qui ont vivifié les méthodes infinitésimales de Monge, il faut que nous revenions en arrière pour reprendre l'histoire des branches de la Géométrie que nous avons négligées jusqu'à présent.
Parmi les travaux de l'École de Monge, nous nous sommesbornés jusqu'ici à considérer ceux qui se rattachent à la Géométrie y^/n'e ; mais quelques-uns des disciples de Monge s'attachèrent surtout à développer les notions nouvelles de géométrie infinitésimale apportées par leur maître sur les courbes à double courbure, sur les lignes de courbure, sur la génération des surfaces, notion»
200 HISTOIKE DES MATHEMATIQUES
qui sonl exposées au moins en partie dans r.l/)/>//ca//o/j de /'ana/y.sv à la Gconiclrie. Parmi eux, nous devons citer Lancret, auteur de beaux travaux sur les courbes gauches et surtout Charles Dupin, le seul peut-être qui ait suivi toutes les voies ouvertes par Plonge.
Entre autres travaux, on doit à Dupin deux ouvrages que Monge n'aurait pas hésité à signer : les Dcccliippcmcnls fie (i corn et rie /3H/Y, parus en iSi3, cl ]cs A pplicallons de Géométrie et de Mécliaiii(pie, qui datent de 1822. C'est là qu'on trouve cette notion de l'indicatrice qui devait renouveler, après Euler et Meunier, toute la théorie de la courbure, celle des tangentes conjuguées, des lignes asymptotiques qui ont pris une place si importante dans les recherches récentes. Nous ne saurions oublier la détermination de la surface dont toutes les lignes de courhurc sont des cercles, ni surtout le Mémoire sur les systèmes triples de surfaces orthogonales où se trouve, en même temps que la découverte du système triple formé de surfaces du second degré, le célèbre théorème auquel le nom de Dupin demeurera attaché.
Sous l'influence de ces travaux et de la renaissance des méthodes synthétiques, la géométrie des infiniment petits reprenait dans toutes les recherches la place que Lagrange avait voulu lui arracher pour toujours. Chose singulière, les méthodes géométriques ainsi restaurées allaient recevoir la plus vive impulsion à la suite de la puhlication d'un Mémoire qui, au premier abord tout au moins, paraît se rattacher à la plus pure analyse ; nous voulons parler de l'écrit célèbre de Gauss : Disquisitioncs générales circa superficies ciirras qui fut présenté en 1S27 à la Société de Gœttingue et dont l'apparition marque, on peut le dire, une date décisive dans l'histoire de la Géométrie infinitésimale.
A partir de ce moment, la méthode infinitésimale prit en France un essor jusque-là inconnu. Frenct, Bertrand, Molins, J.-A. Scrret, Bouquet, Puiseux, Ossian Bonnet, Paul Serret développèrent la théorie des courbes gauches. Liouville, Chasles, Minding se joignirent à eux pour poursuivre l'étude méthodique du i\Iémoire de Gauss. L'intégration faite par.Tacobi de l'équation diirércntielle des lignes géodésiques de l'ellipsoïde suscita un grand nombre de recherches. En même temps, les problèmes étudiés dans VAppliralion de FAnalyse de Monge, furent largement développés. La détermination de toutes les surfaces ayant leurs lignes de courbure
DÉVELOPPEMENT DES METHODES GEOMETRIQUES o5l
planes ou spliériques vint compléter, de la manière la plus licureuse, quelques-uns des résultats partiels déjà obtenus par Monge. A ce moment, un géomètre des plus pénétrants, suivant le jugement de Jacobi, Gabriel Lamé, qui, comme Charles Sturm^ avait commencé par la Géométrie pure et avait déjà apporté à cette science les contributions les plus intéressantes par un petit Ouvrage publié en iSijetpar des Mémoires insérés dans les Aitiialcs de Gergonne, utilisait les résultats obtenus par Dupin et Binet sur le système des surfaces homofocales du second degré et. s'élevant à la notion des coordonnées curvilignes de l'espace, il devenait le créateur de toute une théorie nouvelle destinée à recevoir dans la Physique mathématique les applications les plus variées.
Ici encore, dans cette branche infinitésimale de la Géométrie, ■on retrouve les deux tendances que nous avons signalées à propos de la Géométrie des quantités finies. Les uns, au nombre desquels il faut placer J. Bertrand et 0. Bonnet, veulent constituer une méthode autonome qui repose directement sur l'emploi des infiniment petits. Le grand Traité de Calcul différentiel, de Bertrand, contient plusieurs Chapitres sur la théorie des courbes et des surfaces qui sont, en quelque sor'«3, l'illustration de cette conception. Les autres suivent les voies analytiques usuelles en s'attachant seulement à bien reconnaître et à mettre en évidence les éléments qui doivent figurer au premier plan. Ainsi fait Lamé en introduisant sa théorie des paramètres différentiels. Ainsi fait Beltrami en étendant avec beaucoup d'ingéniosité l'emploi de ces invariants différentiels au cas de deux variables indépendantes, c'est-à-dire à l'étude des surfaces.
Il semble qu'aujourd'hui on se rallie à une méthode mixte dont l'origine se trouve dans les travaux de Ribaucour, sous le nom de périmorphie. On conserve les axes rectangulaires de la Géométrie analytique, mais en les rendant mobiles et en les rattachant de la manière qui paraît la plus commode au système que l'on veut étudier. Ainsi disparaissent la plupart des objections que l'on a adressées à la méthode des coordonnées. On réunit les avantages de ce que l'on appelle quelquefois la Géométrie intrinsèque à ceux
qui résultent de l'emploi de lanalyse régulière. Cette analyse d'ailleurs n'est nullement abandonnée ; les complications de calcul qu'elle entraîne presque toujours, dans ses applications à l'étude des surfaces et des coordonnées rectilignes, disparaissent le plus souvent si l'on emploie les notions sur les invariants et les covariants des formes quadratiques de diil'érentielles que nous devons aux recherches de Lipschitz et de Ghristoffel, inspirées par les études de lliemann sur la (jéuniélric non euclidienne.
Les résultats de tant de travaux ne se sont pas fait attendre. La notion de la courbure géodésiqiie que Gauss possédait déjà, mais sans l'avoir publiée, a été donnée par Bonnet et Liouville, la théorie des surfaces dont les rayons de courbure sont l'oncllons l'un de l'autre, inaugurée en Allemagne par deux propositions qui figureraient sans désavantage dans le Mémoire de Gauss, a été enrichie par Ribaucour, Halphen, S. Lie et par d'autres, d'une foule de propositions. Parmi ces propositions, les unes concernent ces surfaces envisagées d'une manière générale ; d'autres s'appliquent aux cas particuliers où la relation entre les rayons de courbure prend une forme particulièrement simple : aux surfaces minima, par exemple, et aussi aux surfaces à courbure constante, positive ou négative.
Les surfaces minima ont été l'objet de travaux qui font de leur étude le chapitre le plus attrayant de la Géométrie infinitésimale. L'intégration de leur équation aux dérivées partielles constitue une des plus belles découvertes de Monge ; mais, par suite de l'imperfection de la théorie des imaginaires, le grand géomètre n'avait i)u tirer de ses formules aucun mode de génération de ces surfaces, m même aucune surface particulière. Nous ne reviendrons pas ici sur l'historique détaillé que nous avons présenté dans nos Leçons sur la théorie des surfaces ; mais il convient de rappeler les recherches fondamentales de Bonnet qui nous ont donné, en particulier, la notion des surfaces assoriées à une surface donnée, les formules de ^^ eierstrass qui établissent un lien étroit entre les surfaces minima et les fonctions d'une variable complexe, les recherches de Lie par lesquelles il a été établi que les formules mêmes de Monge peuvent
aujourd'hui servir de base à une étude fructueuse des surfaces minima. En cherchant à déterminer les surfaces minima de classes ou de degrés les plus petits, on a été conduit à la notion des surfaces minima doubles qui relève de VAnalysis silus.
Trois problèmes d'inégale importance ont été étudiés dans cette théorie.
Le premier, relatif à la détermination des surfaces minima inscrites suivant un contour donné à une développabic également donnée, a été résolu par des formules célèbres qui ont conduit à un grand noudore de propositions. Par exemple, toute droite tracée sur une telle surface est un axe de symétrie.
Le second, posé par S. Lie, concerne la détermination de toutes les surfaces minima algébriques inscrites dans une développable algébrique, sans que la courbe de contact soit donnée. Il a été aussi entièrement élucidé.
Le troisième et le plus difficile est celui que les physiciens résolvent par l'expérience, en plongeant un contour fermé dans une solution de glycérine. Il concerne la détermination de la surface minima passant par un contour donné.
La solution de ce problème dépasse évidemment les ressources de la Géométrie. Grâce aux ressources de l'Analyse la plus haute, il a pu être résolu pour des contours particuliers dans le Mémoire célèbre de Riemann et dans les recherches profondes qui ont suivi ou accompagné ce Mémoire. Pour le contour le plus général, son €tude a été brillamment commencée, elle sera continuée par nos successeurs.
Après les surfaces minima, les surfaces à courbure constante devaient attirer l'attention des géomètres. Une remarque inoénieuse de Bonnet rattache les unes aux autres les surfaces dont l'une ou l'autre des deux courbures, courbure moyenne ou courbure totale €st constante. Bour avait annoncé que l'équation aux dérivées partielles des surfaces à courbure constante pouvait être complètement intégrée. Ce résultat n'a pu être retrouvé ; il paraît même plus que douteux si l'on se reporte à une recherche où S. Lie a essayé en vain d'appliquer une méthode générale d'intégration des équations aux dérivées partielles à l'équation particulière des surfaces à courbure constante. Mais, s'il est impossible dedétermineren termesfinis toutes ces surfaces, on a pu du raoinsen obtenir quelques-unes, ca-
254 histoire: des matiié.matiqles
ractérisées par des propriétés spéciales, telles que celle d'avoir leurs li;.'nes de courbure planes ou sphériques ; et l'on a montré, en employant une méthode qui réussit dans beaucoup d'autres problèmes, que l'on peut faire dériver de toute surface à courbure constante une infinité d'autres surfaces de même nature, par des opérations nettement définies qui n'exigent que des quadratures.
La théorie de la déformation des surfaces dans le sens de Gauss a été aussi beaucoup enrichie. On doit à Mindinget à Hour l'étude délaillée de celte déformation spéciale des surfaces réglées qui laisse rectilignes les génératrices. Si l'on n'a pu, comme nous venons de le dire, déterminer les surfaces applicables sur la sphère, on s'est attaqué avec plus de succès à d'au 1res surfaces du second degré et, en particulier, au paraboloïdc de révolution. L'étude systématique de la déformation des surfaces générales du second degré est déjà entamée ; elle est de celles qui donneront prochainement les résultats les plus importants.
La théorie de la déformation infiniment petite constitue aujourd'hui un des chapitres les [)liis achevés de la Géométrie. Elle est la prcmièie application un peu élendue d'une méthode générale qui parait avoir beaucoup d'avenir.
Étant donné un système d'équations différentielles ou aux dérivées partielles, propre à déterminer un certain nombre d'inconnues, il convient de lui associer un système d'équations que nous avons api)elé syslhne auxiliaire et qui détermine les systèmes de solutions infiniment voisins d'un système donné quelconque de solutions. Le svstèmc auxiliaire étant nécessairement linéaire, son emploi dans toutes les recherches fournit de précieuses lumières sur les propriétés du système proposé et sur la possibilité d'en obtenir l'intégration.
La théorie des lignes de courbure et des lignes asymptotiques a été notablement élendue. Non seulement on a pu déterminer ces deux séries de lignes pour des surfaces particulières telles que les surfaces lélraédrales de Lamé ; mais aussi, en développant les résultats de Muutard relatifs à ime classe particulière d'équations linéaires aux dérivées partielles du second ordre, on a pu généraliser tout ce qui avait été obtenu pour les surfoces à lignes de courbures planes ou sphériques, en déterminant complètement toutes les classes de surfaces pour lesquelles on peut résoudre le problème
do la reprcscnhilioii sphcriqite. On a résolu de même le problème corrélatif relatif aux liyncs asymptotiqucs en faisant connaître toutes les surfaces dont on peut déterminer en termes finis la déformation infiniment petite. Il y a là un vaste champ de recherches dont, l'exploration est à peine commencée.
L'étude infinitésimale des congruences rectilignes, déjà commencée depuis longtemps par Dupin, Bertrand, Ilamilton, Kummer, est venue se mêler à toutes ces recherches. Ribaucour, qui y a pris une part prépondérante, a étudié des classes particulières de congruences rectiligncs et, en particulier, les congrue-aces dites isoli-opes, qui interviennent de la manière la plus heureuse dans l'étude des surfaces minima.
Les systèmes triples orthogonaux dont Lamé avait fait usage en Physique mathématique sont devenus l'objet de recherches systématiques. Cayley le premier a formé l'équation aux dérivées partielles du troisième ordre dont on avait ftiit dépendre la solution générale de ce problème. Le système des surfaces homofocales du second degré a été généralisé et a donné naissance à cette théorie des cyclides générales dans laquelle on peut employer à la fois les ressources de la Géométrie métrique, de la Géométrie projectiveet de la Géométrie infinitésimale. On a fait connaître beaucoup d'autres systèmes orthogonaux. Parmi eux il convient de signaler les systèmes cycliques de Ribaucour, pour lesquels une des trois familles admet des cercles pour trajectoires orthogonales, et les systèmes plus généraux pour lesquels ces trajectoires orthogonales sont simplement des courbes planes. L'emploi systématique des imaginaires, qu'il faut bien se garder d'exclure de la Géométrie, a permis de rattacher toutes ces déterminations à l'étude de la déformation finie d'une surface particulière.
Parmi les méthodes qui ont permis d'établir tous ces résultats, il convient de noter l'emploi systématique des équations linéaires aux dérivées partielles du second ordre et des systèmes formés de telles équations. Les recherches les plus récentes montrent que cet emploi est appelé à renouveler la plupart des théories.
La Géométrie infinitésimale ne pouvait négliger l'étude des deux problèmes fondamentaux que lui posait le calcul des variations.
Le problème du plus court chemin sur une surface a été l'objet des magistrales études de Jacobi et d'Ossian Bonnet. On a pour-
256 niSTOIRE DES MATHÉMATIQUES
suivi l'clude des lignes géodcsiques, on a appris à les déterminer pour de nouvelles surfaces. La théorie des ensembles est venue pcmiellre de suivre ces lignes dans leur cours sur une surface donnée. La solution d'un problème relatif à la représentation de deux surfaces l'une sur l'autre a beaucoup accru l'intérêt des découvertes de Jacobi et de Liouville relatives à une classe particulière de surfaces dont on sait déterminer les lignes géodésiqucs. Les résultats qui concernent ce cas particulier ont conduit à l'examen d'une question nouvelle : rechercher tous les problèmes de calcul des variations dont la solution est fournie par les courbes satisfaisant à une équation différentielle donnée.
Enfin, les méthodes de Jacobi ont été étendues à l'espace à trois dimensions et appliquées à la solution d'une question qui présentait les plus grandes difficultés : l'étude des propriétés de minimum appartenant à la surface minima passant par un contour -donné.
Parmi les inventeurs qui ont contribué au développement de la Géométrie infinitésimale, Soplius Lie se distingue par plusieurs découvertes capitales qui le placent au premier rang. 11 n'était pas de ceux qui laissent paraître dès l'enfance les aptitudes les plus caractérisées et, au moment de quitter l'Université de Christiania en i865, il hésitait encore entre la Philologie et les Mathématiques. Ce sont les travaux de Pliicker qui lui donnèrent pour la première fois pleine consciencd de sa véritable vocation. Il publia en i86g un premier travail sur l'interprétation des imaginaires en Géométrie et, dès 1870, il était en possession des idées directrices de toute sa carrière.
J'ai eu à cette époque le plaisir de le voir souvent, de l'entretenir à Paris, où. il était venu avec son ami F. Klein. Un cours de M. Sylow suivi par Lie lui avait révélé toute l'importance de la théorie des substitutions ; les deux amis étudiaient cette théorie dans le grand Traité de C. Jordan; ils avaient pleine conscience du rôle important qu'elle était appelée à jouor dans tant de branches des Sciences mathématiques où elle n'avait pas encore été appliquée. Ils ont eu l'un et l'autre la bonne fortune de contri-
DÉVKLOPPEMEM- DKS Ml'zTHODES GÉOMÉnUQUES 2J7
buer par leurs travaux 5 imprimer aux éludes malhémaliques la direction qui leur avait paru la meilleure.
Dès 1870, Sophus Lie présentait à l'Académie des Sciences de Paris une découverte extrêmement intéressante. Rien ne ressemble moins à une sphère qu'une ligne droite, et cependant Lie avait imaginé une transformation singulière qui faisait correspondre une sphère à une droite et permettait, par suite, de rattacher toute proposition relative à des droites à une proposition relative à des sphères et vice versa. Dans cette méthode si curieuse de transformation, chaque propriété relative aux lignes de courbure d'une surface fournit une [)roposition relative aux lignes asymptotiques de la surfcice transformée. Le nom de Lie demeurera attaché à ces relations si cachées qui rattachent l'une à l'autre la ligne droite et la sphère, ces deux éléments essentiels et fondamentaux de la recherche géométrique. Il les a développées dans un Mémoire rempli d'idées neuves qui a paru en 1872.
Les travaux qui suivirent ce brillant début de Lie confirmèrent pleinement les espérances qu'il avait fait naître. La conception de Plûcker relative à la génération de l'espace par des lignes droites, par des courbes ou des surfaces arbitrairement choisies, ouvre à la théorie des formes algébriques un champ qui n'a pas encore été exploré, que Glebsch a commencé à peine à reconnaître et à déhmiter. Mais, du côté de la Géométrie infinitésimale, cette conception a été mise en pleine valeur par Sophus Lie. Le grand géomètre norvégien a su d'abord y trouver la notion des congruences et des complexes de courbes, et ensuite celle des trans- Jormations de contact dont il avait trouvé, pour le cas du plan, le premier germe dans Plûcker. L'étude de ces transformations l'a conduit à perfectionner, en même temps que M. Mayer, les méthodes d'intégration que Jacobi avait instituées pour les équations aux dérivées partielles du premier ordre ; mais surtout elle jette la lumière la plus éclatante sur les parties les plus difficiles et les plus obscures des théories relatives aux équations aux dérivées partielles d'ordre supérieur. Elle a permis à Lie, en particulier, d'indiquer tous les cas dans lesquels la méthode des caractéristiques de Monge est pleinement applicable aux équations du second ordre à deux variables indépendantes.
En continuant l'étude de ces transformations spéciales, Lie fut
U. B — Tome H. m
25S nisroiiu: i)F.< ma rni':MArii,»Li:s
conchiit à construire progressivement sa magisUale llicorie des grou[)es continus de transformations et à mettre en évidence le rùli» si important que la notion de groupe joue en Géométrie. Parmi les éléments essentiels de ses recherches, il convient de signaler les transformations infinitésimales dont l'idée lui appartient exclusivement.
Trois grands Ouvrages publiés sous sa direction par d'habiles et dévoués collaborateurs contiennent l'essentiel de ses travaux el leurs applications à la théorie de l'intégration, à celle des unités complexes et à la Géométrie non euclidienne.
Me voici arrivé par une voie indirecte à cette Géométrie non euclidienne dont l'étude prend dans les recherches des géomètres une place qui grandit chaque jour. Si j'étais seul à vous entretenir de Géométrie, je prendrais [)laisir à vous rappeler tout ce qui a été fait sur ce sujet depuis Euclide, ou du moins depuis Legendre, jusqu'à nos jours. Envisagée successivement par les plus grands géomètres du dernier siècle, la question s'est progressivement élargie. C'est par le célebvo, poslulatuni relatif aux parallèles que l'on a commencé ; c'est par l'ensemble des axiomes géométriques que l'on finit.
Les Eléments d'Euclide, qui ont résisté au travail de tant de sièclçs, auront du moins l'honneur de [)rovoquer, avant de finir, une longue suite de travaux admirablement enchaînés qui contribueront, de la manière la plus efficace, au progrès des Mathématiques, en même temps qu'ils fourniront aux philosophes les points de départ les plus précis et les plus solides pour l'étude de l'origine et de la formation de nos connaissances. Je suis assuré d'avance que mon distingué collaborateur n'oubliera pas, parmi les problèmes du temps présent, celui-ci, qui est le plus important peut-être, et dont il s'est occupé avec tant de succès ; et je lui laisse le soin de le développer avec toute l'ampleur qu'il mérite assurément.
Je viens de parler des éléments de la Géométrie. Ils ont reçu de[)uis cent ans des accroissements qu'il convient de ne [las oublier. La tliéorie des polyèdres s'est enrichie dcr- belles découvertes de
DKVELOPPEMENT DES METHODES GEOMETRIQUES 269
Poinsot sur les polyèdres étoiles et de celles de Mobius sur les polyèdres à une seule face. Les méthodes de transformation ont élargi l'exposition. On peut dire aujourd'hui que le premier Livre contient la théorie de la translation et de la symétrie, que le deuxième équivaut à la théorie de la rotation et du déplacement, que le troisième repose sur l'homothétie et l'inversion.
Mais il faut bien reconnaître que c'est grâce h. l'Analyse que les Eléments se sont enrichis de leurs plus belles propositions. C'est à l'Analyse la plus haute que nous devons l'inscription des polygones réguliers de 17 côtés et des polygones analogues. C'est à elle que nous devons les démonstrations si longtemps cherchées de l'impossibililé de la quadrature du cercle, de l'impossibilité de certaines constructions géométriques à l'aide de la règle et du compas. C'est à elle enfin que nous devons les premières démonstrations rigoureuses des propriétés de maximum et de minimum de la sphère. Il appartiendra à la Géométrie d'intervenir sur ce terrain où l'Analyse l'a précédée.
Que seront les éléments de la Géométrie au cours du siècle qui vient de commencer? Y aura-t-il un seul Livre élémentaire de Géométrie? C'est peut-être l'Amérique, avec ses écoles affranchies de tout programme et de toute tradition, qui nous donnera les meilleures solutions de cette importante et difficile question. On a quelquefois appelé v. Staudt, VEiidide du x\x^ siècle ; je préférerais l'appeler ÏEuc/ide de la Géométrie projective ; mais cette Géométrie, quelque intéressante qu'elle puisse être, est-elle appelée à fournir la base unique des futurs éléments ?
Le moment est venu de clore ce trop long exposé et cependant il y a une foule de recherches intéressantes que j'ai été pour ainsi dire contraint de négliger. J'aurais aimé à vous entretenir de ces Géométries à un nombre quelconque de dimensions dont la notion remonte aux premiers temps de l'Algèbre, mais dont l'étude systématique n'a été commencée que depuis 60 ans par Cayley et par Cauchy. Ce genre de recherches a trouvé laveur dans votre pays, et je n'ai pas besoin de rappeler que notre illustre président, après s'être montré le digne continuateur de Laplace et de Le Verrier,
2Go mSTOlRE DES M VTllÉMATlQL ES
dans un espace qu'il considère avec nous comme étant ilouc da 3 dimensions, n'a pas dédaigné de publier, dans V American Journal, des considérations d'un vif intérêt sur les géométries à n dimensions. Une seule objection pouvait être ftùte aux éludes de ce genre et avait déjà été formulée par Poisson : l'absence de toute base réelle, de tout snhslralnni permettant de présenter, sous des aspects visibles et en quelque sorte palpables, les résultats obtenus. L'extension des méthodes de la Géométrie descriptive, et surtout l'emploi des conceptions de Pliicker sur la génération de l'espace, contribueront à enlever à cette objection beaucoup de sa valeur.
J'aurais voulu vous parler aussi de la méthode des équipollences, dont nous trouvons le germe dans les œuvres posthumes de (îauss, des (juatcrnions d'Ilamilton, des méthodes de Grassmann et en général des systèmes d'unités complexes, de VAita/ysis siltis, si intimement reliée à la théorie des fonctions, de la Géonu'trie dite cinémalifjue, de la théorie des abaques, de la Géométrographie, des applications de la Géométrie à la Philosophie naturelle ou aux Arts. Mais je craindrais, si je m'étendais outre mesure, que quelque analyste, comme il y en a eu autrefois, n'accusât la Géométrie de vouloir tout accaparer.
Mon admiration pour l'Analyse, devenue si féconde et si puissante à notre époque, ne me permettrait pas de concevoir une telle pensée. Mais, si quelque reproche de ce genre pouvait être aujourd'hui formulé, ce n'est pas à la Géométrie, c'est à l'Analyse Cju'il conviendrait, je crois, de l'adresser. Le cercle dans lequel paraissaient renfermées les études mathématiques au conuuencement du xix*" siècle a été brisé de tous côtés. Les problèmes anciens se présentent à nous sous une forme renouvelée, des problèmes nouveaux se posent, dont l'étude occupe des légions de travailleurs. Le nombre de ceux qui cultivent la Géométrie pure est devenu prodigieusement restreint. Il y a là un danger contre lequel il importe de se prémunir. N'oublions pas que, si l'Analyse a acquis des moyens d'investigation qui lui faisaient défaul autrofois, elle les doit en' grande partie aux conceptions introduilos par les Géomètres. 11 ne faut pas que la Géométrie demeure en quelque sorte ensevelie dans son triomphe. C'est à son école que nous avons appris, que nos successeurs auront à apprendre, à ne jamais se fier aveuglément aux méthodes trop générales, à envisager
les qucslions en elles-mêmes et à trouver, dans les conditions particulières à chaque problème, soit un chemin direct vers une solution facile, soit le moyen d'appliquer d'.une manière appropriée les procédés généraux que toute science doit rassembler. Ainsi que le dit Chasles au commencement de V Aperçu historique : u Les doctrines de la pure Géométrie offrent souvent, et dans une foule de questions, celte voie simple et naturelle qui, pénétrant jusqu'à l'origine des vérités, met à nu la chaîne mystérieuse qui les unit entre elles et les fait connaître individuellement de la manière la plus lumineuse et la plus complète. »
Cultivons donc la Géométrie, qui a ses avantages propres, sans vouloir, sur tous les points, l'égaler à sa rivale. Au reste, si nous étions tentés de la négliger, elle ne tarderait pas à trouver dans les applications des Mathématiques, comme elle l'a déjà fait une [)i(Mnièrc fois, les moyens de renaître et de se développer de nouveau. Elle est comme le Géant Antée qui reprenait ses forces en touchant la terre.