UDI

L^abbé De Gua^ dans un excellent ouvrage intitulé : Usages de Vanorlyse de Descartes (in- 12^ 1740), donna les moyens de déterminer les tangentes, les asymptotes et les points singuliers (multiples, conjugués, d'inflexion et de rebroussement), des courbes de tous les degrés, et fit voir, le premier, par les principes de la perspective, que plusieurs de ces points peuvent se trouver à l'infini; ce qui lui donna l'explication à priori d'une analogie singulière entre les différentes espèces de points et les différentes espèces de branches infinies, hyperboliques ou paraboliques , que peuvent présenter les courbes ; analogie à laquelle le calcul l'avait déjà conduit.

Le but que s'était proposé cet habile géomètre, était de démontrer que l'analyse de Descartes pouvait être employée avec autant de succès que le calcul différentiel, dans la plupart des recherches relatives aux courbes géométriques. Il ne reconnaissait l'utilité de l'analyse infinitésimale que pour la solution des problèmes de calcul intégral, et de ceux qui concernent les courbes mécaniques. Ce sont en effet les seuls pour lesquels il parait impossible de s'en passer, et ce sont même les seuls que Newton ait résolus par cette voie.

Euler, dans son Introductio in analysin infinitorum (2 vol. in-4^, 1748), exposa les principes généraux de la théorie analytique des courbes géométriques, avec cette généralité et cette clarté qui caractérisent les écrits de ce grand géomètre; et, étendant ce genre de recherches à la Géométrie à trois dimensions , discuta pour la première fois l'équation à trois variables, qui renferme les surfaces du second degré.

Dans le même temps Cramer donna, sous le titre : Introduction à F analyse des lignes courbes algébriques (in-4o, 1750), un traité spécial, le plus complet, et encore aujourd'hui le plus estimé, sur cette vaste et importante branche de la Géométrie.

Peu après, parut le Traité des courbes algébriques (in-12, 1756) de Dionis du Séjour et Goudin, où se trouvaient résolus par l'analyse seule de Descartes, et avec clarté et précision, les problèmes sur les affections des courbes, leurs tangentes, asymptotes, rayons de courbure, etc.

On a encore de Goudin un Traité des propriétés communes à toutes les courbes^ qui a pour objet de transformer une équation quelconque d'une courbe, en une autre qui ait des coordonnées différentes. C'est une suite de formules, à trois et à quatre variables, dont chacune exprime une propriété différente des courbes en général ^

Nous citerons enfin Waring, qui, dans plusieurs écrits, a porté plus wàWHfi, loin que ses prédécesseurs ses découvertes dans la théorie des courbes ^. i7S4.i798.

Ce sont là, je crois, les derniers perfectionnemens notables que la science des courbes dut à la Géométrie des Anciens et à l'analyse de Descartes.

§11. Les progrès dans les autres parties de la science de Fétendue, ont été moins marqués et moins satisfaisans pendant l'intervalle de temps que nous venons de parcourir, que ceux qu'elle a faits dans la théorie générale des courbes géométriques. Cependant, les coniques ont continué d'être étudiées; et de nouveaux efforts pour donner l'intelligence et ranimer le goût de la Géométrie ancienne, ont été faits par des mathématiciens d'un grand nom, tels que Halley, Stewart, Simson, etc. : quelques questions particulières ont encore été traitées , de loin en loin, par les célèbres analystes Euler, Lambert, Lagrange, Fuss, etc., dans les courts instans de loisir que leur laissaient leurs recherches de prédilection. Mais ces travaux, propres à entretenir la connaissance des doctrines anciennes, ne nous paraissent pas en avoir fait naître de nouvelles; et les véritables progrès de la Géométrie pure ne datent que du commencement de ce siècle.

1 On y trouve , en particulier, quarante-cinq équations différentes de Tellipse , en prenant soit le centre , soit le foyer, pour origine des coordonnées.

Cet intéressant ouvrage de Goudin a eu 3 éditions, dont la dernière est de 1803; on a joint à celle*ci , comme aux deux premières , un mémoire sur les éclipses de soleil , et un précis sur les courbes algébriques, et, de plus qu'aux deux premières, un mémoire sur les usages de Fellipse dans la trigonométrie.

^ Outre plusieurs mémoires , écrits en anglais dans les Transactions pkihsophiqueê , de 1763 à 1791, Waring a donné sur les courbes géométriques les deux traités intitulés : Miscellanea analyiica de œquationibus algehraicis et curvarum proprietatibus , in4<*, 176â; et Proprietates geometricarutn curvarum , in 4^, 177â.

ToM. XL 20

Géométrie «ppiiquÂ^ Maîs, la Géométiie s'est acquis^ à l'époque qui nous occupe , un siques. autre titre à notre admiration^ par ses applications aux phénomènes

physiques^ et par les grandes découvertes auxquelles elle a conduit Newton, Maclaurin, Stewart, Lambert, dans le système du monde. A aucune époque, cette Géométrie appliquée n'a jeté un aussi vif éclat; malheureusement, il a été de peu de durée, et nous devons convenir que, de nos jours, cette science est à peu près inconnue. Le calcul infinitésimal s'est emparé exclusivement de toutes les questions auxquelles elle avait été propre entre les mains de Newton et de ses disciples.

Procès de uGëomé- $ \^. Rcvenous à la Géométrie théorique, et essayons de nous rendre compte, par l'analyse des principaux ouvrages des géomètres qui l'ont cultivée pour elle-même, ou qui s'en sont servis comme d'un instrument dans l'étude des phénomènes physiques, de la nature et de l'étendue des recherches qui ont pu contribuer aux progrès de cette science. HALLEY, Le célèbre astronome Halley, d'une grande érudition et très-versé

1656-1742. dang la Géométrie de l'école grecque, lui éleva un magnifique monument par &QS traductions, plus fidèle» que les^précédentes, de plusieurs ouvrages principaux des géomètres anciens. On distingue surtout sa superbe édition du traité des coniques d'Apollonius, oii se trouve restitué, avec un grand talent, le 8^ livre dont le texte jusqu'à ce jour n'a point encore été retrouvé. A. la suite, sont les deux livres de Serenus sur les sections du cône et du cylindre.

On doit encore à Halley, la traduction, sur un manuscrit arabe, du traité De sectione rationis , jusqu'alors inconnu; et la divination du traité De sectione spatii, rétabli sur les indications de Pappus.

L'objet de ces deux ouvrages était, comme on sait, de mener par un point pris au dehors de deux droites , une transversale qui fît sur les deux droites, à partir de deux points fixes, deux segmens, dont le rapport dans le premier cas, et le produit dans le second cas, était donné.

Chacune de ces deux questions admet généralement deux solutions.

et^ par conséquent ^ condoirait en analyse à une équation du second degré* Il est intéressant de voir avec quel art Apollonius résout la première par une moyenne proportionnelle. Ses considérations géométriques correspondent à l'opération que nous ferions pour chasser le second terme d'une équation du second degré.

Dans Testime que Newton portait à la Géométrie ancienne^ il dis^ tinguait particulièrement ce traité d'Apollonius, a Plus d'une fois ^ nous )) dit le savant Pemberton ^ je lui ai entendu approuver Fentreprise » de Hugues d'Omérique, de rétablir l'ancienne analyse, et faire de )) grands éloges du livre d'Apollonius De sectione rationis^ ce livre )) nous développant mieux la nature de cette analyse qu'aucun autre » ouvrage de l'antiquité. »

La traduction de Halley est enrichie de plusieurs scholies, qui embrassent dans des constructions générales et très-élégantes, le grand nombre de cas que comporte la question, et qu'Apollonius traite minutieusement, comme autant de formules que le géomètre doit toujours avoir sous sa main dans la résolution des problèmes. Dans un de ces scholies, on voit que le cas le plus général se réduit à mener, par un point donné, deux tangentes à une parabole déterminée suffisamment par les données de la question. Remarque heureuse, qui se prête à une discussion facile et lumineuse des cas particuliers du problème, et qui a conduit Halley à la connaissance de diverses propriétés de la parabole concernant ses tangentes, telles que celle-ci : Quand un quadrilatère est circonscrit à une parabole, toute tangente à cette courbe divise deux côtés opposés du quadrilatère en segtnens proportionnels. Ces diverses propositions ne sont que des cas particuliers de la proposition générale que nous avons appelée propriété anharmonique des tangentes d'une conique. {Voir la Note XVI.)

Halley ne savait pas un mot d'arabe, quand son amour de la Géométrie ancienne lui fit entreprendre la traduction du manuscrit de la

* Fiew ofiir Isaao Newton's philosophy^ in4«, 17â8; tradait en français en 1755 , sous le titre d'ÉUmenê de la philosophie Newtonienne.

section de raison. Dans sa préface^ il fait Fhistoire de ce manuscrit enfoui depuis de longues années dans la bibliothèque Bodleïenne. U déplore la perte d'une infinité d'autres ouTrages de l'école grecque; et ne doute pas que beaucoup ne nous seraient rendus^ si l'on Toulait se donner la peine de les rechercher. Il adresse à ce sujet une prière à tous les sayans qui peuTcnt aToir accès dans les bibliothèques de manuscrits. Nous nous faisons un deyoir de rapporter ici^ et le sentiment^ et les Tœux du célèbre Halley^ qui doiTcnt avoir une si imposante autorité au* près de toutes personnes éclairées et en position de rendre, de quelque manière que ce soit , quelques services aux sciences mathématiques.

Une édition des sphériques de Menelaus, en trois livres, revue sur un manuscrit hébreu, avait été préparée par Halley. Mais elle ne vit le jour qu'en 1758, par les soins de son ami le docteur Costard, auteur d'une histoire de l'astronomie.

Halley joignait à une profonde connaissance de la Géométrie ancienne une parfaite intelligence de la méthode de Descartes. Il en fit usage particulièrement pour perfectionner la construction des équations des troisième et quatrième degrés, par le moyen d'une parabole quelconque donnée et d'un cercle \

Les éditions qu'il a données des ouvrages d'Apollonius, de Serenus et de Menelaus, sont très-recherchées des amateurs de la Géométrie ^ et suffiraient seules pour assurer à Halley une place distinguée parmi les savans qui ont contribué aux progrès des mathématiques, si ses travaux en astronomie ne l'avaient placé à côté des hommes les plus célèbres d'une époque qui a réuni les noms de Dominique Gassini, deHuygens et de Nev?ton.

§ 13. Quoique Newton et Maclaurin, dont nous avons déjà fait connaitre les belles recherches sur la théorie des courbes géométriques, n'aient pas écrit spécialement sur la Géométrie des Anciens, ils portè-

J Transactions philosophiques, année 1687, n^ 188.

^ Tous ces ouvrages sont très-rares, surtout le traité De seciione rationis, qui est encore aujourd'hui le seul livre où l'on trouve , avec une traduction plus exacte que celle de Commandin , le texte grec de toute la préface du 7« livre des CoUectiotu mathématiques de Pappus.

rent une telle estime à cette méthode qu'ils s'en servirent presque exclusiTement dans leurs recherches physico-mathématiques. Nous avons donc encore à jeter un coup d'œil sur les travaux de ces deux grands géomètres.

Nous citerons de Newton son Arithmétique universelle, et son grand ouvrage des Principes.

V Arithmétique universelle^ modèle parfait de l'application de la méthode de Descartes à la résolution des problèmes de Géométrie et à la construction des racines des équations^ présentait une foule de questions variées se rapportant à toutes les parties des mathématiques. Cet ouvrage est trop peu lu de nos jours ^ parce qu'on oublie sans doute que son illustre auteur^ en en faisant le texte de ses leçons à l'université de Cambridge^ l'avait jugé propre à initier ses élèves dans la science et dans l'art du géomètre.

S 14. Le premier livre des Principes contient un grand nombre de propositions diverses de pure Géométrie. On y remarque particulièrement de belles propriétés des coniques^ et les problèmes sur la construction d'une conique assujettie à passer par des points et à toucher des droites , ou à avoir l'un de ses foyers en un point donné. Ces recherches^ nouvelles alors pour la plupart^ étaient des préliminaires qui suffirent à Newton pour soumettre à sa loi de la gravitation universelle tous les phénomènes du ciel^ et pour déduire de ce principe unique l'explication^ à priori, et le calcul de tous les mouvemens des corps célestes. C'est là le plus bel hommage rendu aux recherches des géomètres de l'antiquité sur les coniques , depuis que Kepler y avait puisé la découverte des véritables formes des orbites planétaires.

Le peu d'usage que l'on fait maintenant des propositions de Géométrie^ et des nombreuses propriétés des coniques^ par lesquelles il faut passer pour traiter par la méthode de Newton les grandes questions du système du monde ^ a contribué^ indépendamment des avantages que présentait^ sous d'autres rapports^ la voie analytique^ à faire abandonner cette première méthode que l'on a jugée longue et pénible , et qu'on a regardée comme ne promettant rien ou presque rien pour l'ave-

nir. Et ce jugement a acquis chaque jour d'autant plus d'autorité que l'analyse^ cultivée excIûsiTement^ a fait des progrès continus qui per«mettent de simplifier et de perfectionner^ de plus en plus^ les premières méthodes analytiques que l'on a substituées à celle de Newton. Celle--ci au contraire^ ayant cessé d'être cultivée^ est restée dans l'état où elle était en sortant des mains de son illustre auteur. Et l'on ne songe pas^ quand on la met en parallèle avec l'autre^ à prendre celle-ci à son origine^ et à citer les premiers essais des analystes pour couTertir les beaux résultats de Newton en une analyse d'abord pénible et sans élégance, mais qui, depuis, s'est perfectionnée de jour en jour par les efforts continus des plus célèbres géomètres. Pourquoi donc, aumoins^ ne pas tenir compte des perfectionnemens que la méthode géométrique^ qui peut devenir si souvent intuitive^ eut reçus aussi y si elle n'avait pas été abandonnée complètement ?

Un examen attentif des cLiverses propositions de pure Géométrie , dont il est fait usage dans les Principes de Newton, donnera une idée de ce qu'auraient pu être ces perfectionnemens. En effet, on reconnaît que ces diverses propositions, qui paraissent différentes entre elles ^ et dont chacune a sa démonstration particulière, peuvent pourtant se rattacher toutes à deitt ou trois propriétés principales des coniques , dont elles ne sont que des cas particuliers, ou des conséquences faciles. Aujourd'hui donc, un commentaire nouveau des Principes de Newton^ fait dans l'esprit et dans les formes de la Géométrie 'moderne^ abrégerait et faciliterait singulièrement la lecture de cet ouvrage immortel.

S 15. Nous allons voir que les propositions de Newton peuvent dériver^ comme nous venons de le dire, de deux ou trois seulement des propriétés les plus générales des coniques.

Dans les propositions 19 , 20 et 21 ^ sont résolus tous les problèmes sur la construction d'une conique dont un foyer est donné, et qui doit toucher des droites et passer par des points. Or les solutions de toutes ces questions se déduisent aujourd'hui immédiatement des questions analogues sur le cercle assujetti à trois conditions, soit parla théorie des figures homologiques^ comme l'a montré M. Poncelet, soit par les

transformations polaires^ comme nous l'aTons fait. (Annales de mathématiques ^ tom. XVIII.)

Leslemmes 17, 18 et 19, sont la propriété du quadrilatère inscrit aux coniques, ou théorème ad quatuor lineas des Anciens. Nous ayons fait voir que ce théorème se déduit avec une extrême facilité de la proposition que nous avons appelée propriété anharmonique des points d'une conique; et celle-ci se démontre d'une manière intuitive, sans qu'il soit besoin de faire usage d'aucune propriété des coniques. (Voir la Note XV- )

Les lemmes 20 et 21 , concernent la génération des coniques par l'intersection de deux droites qui tournent autour de deux pôles fixes.

Dans le premier^ les deux droites mobiles aboutissent respectivement aux points oà des transversales, parallèles entre elles, rencontrent deux droites fixes. C'est le théorème que nous avons énoncé en parlant des coniques de De Witt, et dont nous avons signalé un cas particulier dans un ouvrage de Cavalleri.

Si les transversales, au lieu d'être parallèles, concouraient en un point, ce serait dans toute sa généralité le théorème de Maclaurin et de Braikenridge^ que nous avons cité, comme étant, sous un autre énoncé, le théorème de l'hexagone de Pascal, et qui se déduit immédiatement, comme nous l'avons fait voir (même Note), de la propriété anharmonique des points d'une conique.

Dans le second lemme, les deux droites mobiles sont deux cotés de deux angles de grandeur constante, dont les deux autres côtés se croisent sur une droite fixe. C'est la description organique des coniques, qiii a été reproduite par Newton dans son Ênumération des lignes du troisième ordre , et dans son Arithmétique universelle. Nous avons montré (même Note) que ce mode de description , dont les démonstrations qu'on en a données ont toujours été assez longues, se déduit avec une facilité extrême, comme le précédent, de la même propriété anharmonique.

Les lemmes 23, 24 et 25, et leurs corollaires, sont des cas particuliers de la propriété générale du quadrilatère circonscrit à une conique ,

160 HISTOffiE DE LA GÉOMÉTRIE.

analogue à celle du quadrilatère inscrit^ et que nous ayons appelée propriété anharmonique des tangentes d'une conique. {Voir la Note XVI).

Le corollaire 3 du lemme 25 prouve cette belle proposition^ démontrée depuis de bien des manières^ savoir que : a dans tout quadrilatère circon- » scrit à une conique^ la droite qui joint les points milieux des deux )) diagonales passe par le centre de la courbe. »

Beaucoup d'autres propositions sont des problèmes sur la description des coniques assujetties à cinq conditions^ de passer par des points et de toucher des droites. Toutes ces questions se résolvent aujourd'hui^ comme on sait^ avec une grande facilité.

Le lemme 22 sert à changer les figures en d'autres figures du même genre. Dans les propositions suivantes^ Newton s'en sert pour transformer des lignes concourantes^ en des lignes parallèles^ et faciliter la solution de quelques problèmes. Nous avons parlé de cette méthode dans notre troisième Époque ; et nous avons fait voir qu'elle n'était autre qu'une des pratiques de la perspective. Cette remarque nous parait propre à en faciliter l'intelligence.

5 16. Dans toutes ces propositions préliminaires^ et dans leurs corollaires^ Nev?ton a borné ses recherches à ce qui lui était strictement nécessaire pour sa grande entreprise. Mais on voit^ par la nature de ces propositions^ que s'il eût eu en vue l'accroissement et le perfectionnement de la théorie des coniques^ elles l'eussent conduit facilement^ par des généralisations naturelles de ses premiers résultats^ aux propriétés les plus générales de ces courbes.

Il ne lui aurait point échappé, non plus^ que sa méthode peur la transformation des figures^ s'appliquait naturellement aux figures à trois dimensions; et^ depuis près d'un siècle et demi^ nous saurions^ ce que l'on n'a fait que dans ces derniers temps , transformer la sphère^ par exemple, en une surface quelconque du second degré ^ comme on transforme par la perspective, depuis Desargues et Pascal, le cercle en une conique, pour découvrir et démontrer les propriétés de cette courbe.

Toutes ces généralisations n'entraient point dans le but de Newton.

Mais elles n'auraient pu échapper aux géomètres qui auraient médité sur la partie purement géométrique du livre des Principes; et cette circonstance prouve combien peu les doctrines géométriques ont été cultivées depuis lors.

§ 17. C'est dans l'ouvrage de Nev^ton qu'a paru pour la première fois la rectification des épicycloïdes. Il n'avait encore rien été écrit sur ces courbes célèbres^ quoi qu'il paraisse, au rapport deLeibnitz^ que^ 10 ans auparavant^ Roemer les avait déjà imaginées; et méme^ d'après De La Hire, que la première découverte de ces courbes et de leur usage pour la confection des roues dentées, remonte à Desargues ^ dont le génie ^ aujourd'hui mieux apprécié, était à la hauteur d'une aussi grande et aussi utile invention. C'est quelques années après que l'ouvrage de Newton avait paru, que De La Hire donna son Traité géométrique des épicycloïdes.

§ 18. Nous citerons encore, du livre desPrtncipes, les fameuses ovales, imaginées par Descartes pour réunir en un seul point, par la réfraction^ les rayons de lumière émanés d'un autre point, comme font l'ellipse et l'hyperbole à l'égard des rayons de lumière parallèles entre eux*. NevHon fait voir, d'une manière très-simple, que ces courbes sont le heu d'un point dont les distances à deux circonférences de cercles sont entre elles dans un rapport constant. C'est aussi ce qu'avait montré la construction géométrique de ces courbes donnée par Descartes, et ce que Huygens avait conclu immédiatement, et sans démonstration, de son système ondulatoire,. dans son Traité de la lumière.

Nous ferons ici^ à ce sujet, une observation qui se rapporte à la Géométrie de Descartes, mais que nous n'avons point trouvé l'occasion de placer plus tôt : c'est que la construction géométrique de ses ovales, qui était suffisante pour l'apphcation spéciale que le célèbre philosophe fit de ces courbes à la dioptrique, n'était pas propre à les lui faire connaître complètement. Et Roberval, qui avait donné aussi, peu de temps

1 Cette propriété des coniques , qai repose sar la relation entre le foyer et la directrice, est due aussi a Desoartes , qui Ta démontrée dans sa Dioptrique.

ToM. XL 21

aprëis^ la construction de ces ôTales et discuté leurs formes^ niHuygens^ ni Newton n'en ont point eu non plus une connaissance complète^ sous le point de yue géométrique. En effets une de ces OTales n'est point à elle seule le lieu exprimé par la propriété démontrée par Newton^ ou par l'équation du quatrième degré trouvée par Descartes; mais ce lieu doit toujours être l'ensemble de deux ovales conjtîguées^ inséparables l'une de l'autre dans leur expression analytique.

Cette remarque a échappé à Descartes ^ dans sa Géométrie comme dans sa Dioptrique^ et ensuite aux célèbres géomètres que nous venons de nommer. Elle pouvait bien être omise dans la Dioptrique^ mais elle eût dû, ce me semble^ être faite dans la Géométrie. Il est résulté de son omission que Tune des formes des courbes en question a échappé à l'analyse de Descartes; c'est le cas où les deux ovales conjuguées ont un point commun et forment une courbe unique ayant un point double; on trouve que cette courbe est celle qu'on appelle le limaçon de Pascal. Il résulté de là^ que cette courbe remarquable^ qui est tout à la fois^ comme on sait^ une épicycloïde et une conchoîde du cercle^ jouit de cette" autre propriété^ qu'on ne lui avait pas encore reconnue > d'avoir deua foyers, comme les ovales de Descartes.

Dans ces derniers temps ^ ces ovales ont reparu sur la scène gécnnétrique. Le célèbre astronome J. Herschel les a appelées lignes aplanëtiques \ à cause de leur usage en optique. M. Quetelet leur a découvert de singulières et curieuses propriétés que nous ferons connaître dans la Note XXL HACLAURiN. $19. Maclauriu partagea le goût de NevFton pour la Géométrie

pure^ et sut l'appliquer aussi avec la plus grande habileté aux recherches philosophiques. Son Traité des fiuwions , où il se proposait^ en établissant le lien et les rapports entre les méthodes d'Archimède et celle de Newton, de démontrer celle-ci avec toute la rigueur de l'école grecque, présente une foule de démonstrations synthétiques dans des questions diverses de mécanique et de haute Géométrie, où l'analyse

' Sans aberration.

n'eût été ni plus facile , ni plus expéditive. Tout le monde sait avec quelle élégance et quelle facilité il résolut^ par cette voie^ la grande question de la figure de la terre ^ qui suffirait seule pour rendre son nom immortel.

Il fallait connaître l'attraction d'un ellipsoïde de rétolution sur des points situés à sa surface ou dans son intérieur. Maclaurin sut tirer de quelques propriétés des coniques^ toutes les ressources suffisantes pour la solution de cette question qui a toujours passé auprès des plus célèbres analystes pour l'une des plus difficiles. Le jugement porté par l'illustre Lagrange à ce sujet ^ fera mieux apprécier que tout ce que nous pourrions en dire y le mérite du travail et de la méthode de Maclaurin. Après avoir dit qu'il est des questions où la méthode géométrique des Anciens a des avantages sur l'analyse^ Lagrange ajoute : (( Le problème où il s'agit de déterminer l'attraction qu'un sphéroïde )) elliptique exerce sur un point quelconque placé à sa surface ou dans )) son intérieur est de cette espèce. M. Maclaurin^ quia^ le premier^ )) résolu ce problème dans son excellente pièce sur le flux et le reflux » de la mer, couronnée par l'Académie des sciences de Paris, en 1 740, )) a suivi une méthode purement géométrique, et fondée uniquement )) sur quelques propriétés de l'ellipse et des sphéroïdes elliptiques ; et )) il faut avouer que cette partie de l'ouvrage de M. Maclaurin est un )) chef-d'œuvre de Géométrie ^ qu'on peut comparer à tout ce qu'Ar- )) chimède nous a laissé de plus beau et de plus ingénieux. Comme )) M. Maclaurin avait une sorte de prédilection pour la méthode des » Anciens, il n'est pas étonnant qu'il Tait employée dans la solution )) du problème dont nous venons de parler; mais il l'est extrêmement, )) ce me semble, qu'un problème aussi important que celui-là n'ait » pas été résolu depuis d'une manière directe et analytique, surtout )) dans ces derniers temps où l'analyse est devenue d'un usage si com- » mun et si général. On ne peut, je crois, en attribuer la cause quWx » difficultés de calcul que la solution de cette question doit renfermer,

)) lorsqu'on l'envisage sous un point de vue purement analytique

» Je me propose, dans ce mémoire, de faire voir que loin que le pro-

» blême dont û s'agit se refuse à l'analyse, il peut être résolu par ce )) moyen d'une manière, sinon plus simple, du moins plus directe et » plus générale que par la voie de la synthèse, etc. *. »

Cette plus grande généralité consistait à calculer Tattraction dans un ellipsoïde à trois axes inégaux, au lieu d'un ellipsoïde de réTolution, comme avait fait Maclaurin. Mais déjà, D'Alembert s'était proposé cette extension, et l'avait obtenue par de pures considérations de Géométrie, en suivant pas à pas la marche tracée par Maclaurin \

$ 20. Il est une autre partie du travail de Maclaurin, dont Lagrange ne parle pas encore dans son premier mémoire que nous venons de citer, et qui conservait à la méthode géométrique un véritable avantage sur l'analyse; c'était le fameux théorème des ellipsoïdes dont les sections principales sont décrites des mêmes foyers. Il consiste en ce que les attractions de deux tels ellipsoïdes, sur un même point situé au dehors de leurs surfaces, s'exercent suivant la même direction, et sont proportionnelles aux masses des deux corps. Maclaurin n'avait démontré que le cas particulier le plus simple de ce beau théorème, celui où le point attiré est sur l'un des axes principaux des deux ellipsoïdes (Art. 653 du Traité des fluxions). Mais, ce cas particulier présentait d'assez grandes difficultés pour que les efforts de d' Alembert, qui y appliquait l'analyse, ne conduisissent ce grand géomètre qu'à supposer

^ Mémoires de V Académie de Berlin ^ ann. 1773.

2 Opuscules mathématiques y tom. VI, pag. 165; ann. 1773,

Avant de savoir qae d*AIenibert , en suivant les traces de Maclaurin , ëtait parvenu par de pures considérations de Géométrie , a une formule d'intégrale simple , pour Tattraction d'un ellipsoïde à trois axes inégaux sur un point situé a sa surface ou dans son intérieur , nous avions cherché à donner cette même extension à la théorie de Maclaurin ; et , en adoptant le mode de décomposition du solide en cônes élémentaires , qui a été employé par Lagrange , nous sommes parvenu , par la Géométrie seule , a la formule de quadrature que Ton obtient en analyse. Notre procédé consiste à remplacer par des considérations géométriques ^ la première intégration que Ton effectue en analyse; et cela se fait en remarquant qne cette intégration correspond , en Géométrie , a l'évaluation de l'aire d*une ellipse , qui est la projection , sur un des trois plans principaux de l'ellipsoïde , de l'intersection de cette Borface par celle d'un cône de réTolution autour d'un axe perpendiculaire a ce plan princi* pal ; ce cône ayant même centre que l'ellipsoïde.

faux le théorème de Maclaurin^ ; et pour que Lagrange^ qui le démontra quelque temps après ^ bornât sa démonstration au cas particulier en question'. D'AJembert^ pour réparer son erreur^ en donna aussi trois démonstrations; mais^ comme Lagrange^ sans aller au delà de Maclaurin^. C'est M. Legendre qui^ peu de temps après^ fit faire un pas à cette question^ en démontrant le théorème pour le cas oii le point attiré est dans l'un des plans principaux des ellipsoïdes^ et qui^ dès lors soupçoima toute sa généralité \ qu'il démontra en effets quelques années après^ dans un mémoire d'analyse^ qu'on peut regarder comme un chef-d'œuvre de difficulté Taincue; mémoire fort beau et très-profond^ et qui serait plus riche encore en résultats intéressans^ si M. Legendre avait donné la signification géométrique de plusieurs des nombreuses formules par lesquelles il lui faut passer^ pour arriver à la conclusion du théorème en question ^.

Depuis^ on a trouvé diverses autres démonstrations du théorème de M. Legendre^ dont une que nous pouvons citer ici comme rentrant dans la méthode synthétique. C'est celle qui dérive du beau théorème do M. Ivory^ par lequel on ramène le calcul de l'attraction sur des points extérieurs à celui des attractions sur des points intérieurs à l'ellipsoïde. Les différentes démonstrations qu'on a données de ce théorème s'écartent peu de celle même de son célèbre auteur , et l'on y fait usage de quelques transformations de formules analytiques. Il est peut- être à désirer^ pour faire entrer ce théorème dans la théorie géométrique de l'attraction des ellipsoïdes^ à laquelle il appartient par sa nature^ d'en avoir une démonstration plus synthétique que les premières^ c'est-àdire^ tout-à-fait indépendante des formules de l'analyse.

La question de l'attraction des ellipsoïdes^ restreinte au simple calcol de cette attraction^ est maintenant résolue aussi complètement que le permettent les bornes de l'analyse, puisqu'elle se réduit à une

1 Opuêouleê mathématiques, toiii. VI , pag. 242.

^ Mémoires de l'Académie de Berlin , ann. 1774 et 177K.

' Opuscules mathématiques, tom. VII, pag. 102; ann. 1780.

* Mémoires des savons étramgers, tom. X.

' Mémoires de l'Académie des sciences, ann. 1788.

formule de quadratures elliptiques^ qu'on ne sait pas intégrer en termes finis. Mais^ cette grande question , enyisagée sous d'autres points de vue, est loin d'être épuisée, et donnera lieu encore certainement à bien des recherches et à de belles découvertes \ Les travaux tout récens de deux célèbres analystes de France et de Koenisberg, MM. Poisson et Jacobi, sont une preuve qu'il restait encore beaucoup à faire, et appelleront de nouvelles méditations sur cette matière d'un si haut intérêt. § 21. Le problème de l'attraction des ellipsoïdes, considéré indépendamment de son application à plusieurs questions de la philosophie naturelle , appartient à la Géométrie , et la solution qu'en a donnée Maclaurin est un des morceaux les plus propres à ranimer le goût et l'intelligence de cette Géométrie pure et intuitive, si méconnue depuis bientôt un siècle. Nous espérons que, par cette raison, ou^ nous pardonnera d'être entré à ce sujet dans quelques détails, qui nous ont éloigné de la direction que nous aurions du suivre dans l'examen des travaux géométriques de Maclaurin : ce sera rentrer dans

' Par exemple , quoiqu'on ne sache pas déterminer d*une manière absolue 9 ni en grandeur ni en direction, Fattraction d*un ellipsoïde sur différens points , ne pourrait-on pas trouver certains rapports entre ces attractions , ou entre leurs directions ?

Mais 9 sans imaginer de nouyelles questions , qui se présenteraient en foule à l'esprit j il en est une qui , ce me semble , s'est offerte d'elle-même , et dont il ne parait pas qu'aucun des géomètres qui ont écrit sur cette matière , se soit occupé* On sait que la formule relatire à l'attraction sur un point extérieur contient un coefficient, qui n'est pas connu à priori, mais qui dépend d'une équation du troisième degré , parfaitement déterminée ; l'expression géométrique de ce coefficient est connue ; c'est un des axes principaux de Tellipsoîde qui passe par le point attiré , et qui a ses sections principales décrites des mêmes foyers que éelles de l'ellipsoïde attirant. Mais cette équation du troisième degré est ua fait d'analyse , que l'on ne pouvait prévoir à priori d'après la nature de la question , et que l'on n*a point encore expli* que. Il annonce que le problème de l'attraction d'un ellipsoïde dérive d'une autre question , d'un énoncé plus général , et qui admet généralement trois solutions. Dans deux de ces solutions, les deux hyperboloîdes à une et à deux nappes , que l'on peut faire passer par le point attiré, de manière que leurs sections principales soient décrites des mêmes foyers que celles de l'ellipsoïde donné , feront la même fonction que l'ellipsoïde qui passe par ce point fait a l'égard de la première solution qui résout la question même de l'attraction.

Il n'est pas rare de rencontrer de pareils faits d'analyse ; mais il est toujours intéressant d'en savoir l'origine et la signification. Alors seulement une question peut être regardée comme résolue complètement.

fflSTOIRE DE LA GÉOMÉTRIE. 167

cette direction que d'indiquer maintenant sur quelles propriétés des coniques ce géomètre a^ait établi sa solution.

Une seule suffit pour le calcul de l'attraction sur des points situés à la surface^ ou dans l'intérieur de l'ellipsoïde^ la Toici :

(( Étant données deux ellipses semblables^ semblablement placées » et concentriques ; par un des sommets de la plus petite^ on lui )) mène sa tangente qui rencontre l'autre ellipse en deux points;

» Par l'un de ces points^ on mène dans cette seconde ellipse deux » cordes quelconques^ mais également inclinées sur la tangente en^ )) question;

» Par le sommet de la première ellipse^ on mène dans cette courbe y> deux cordes parallèles à celles de Tautre ellipse;

» La somme de ces deux cordes est égale à celle des deux autres » cordes. »

Maclaurin démontre ce théorème dans le cercle^ par la Géométrie élémentaire ; et ensuite , en projetant les deux ellipses sur un plan parallèle à la tangente en question^ et convenablement incliné pour que les ellipses deviennent en projection des cercles^ il en conclut le théorème énoncé ^

S 22. Le calcul de l'attraction sur les points extérieurs à l'ellipsoïde^ n'était pas aussi facile ; Maclaurin se servit, pour y parvenir, des deux propositions suivantes, dont il n'énonça que la première , mais dont on aperçoit la seconde dans le cours de la démonstration de cette première :

« lo Quand deux ellipses sont décrites des mêmes foyers, si, par » un point, pris sur un de leurs axes principaux, on mène deux trans-- » versales, de manière que les cosinus des angles qu'elles feront avec » l'autre axe soient proportionnels respectivement aux diamètres des

1 C'est le seul théorème qui servit à Maclaurin pour démontrer cette importante proposition , admise par Newton sans preuve ,. savoir qa'ww masse fluide homogène, toumatU autour d'elle* même, devaii prendre la figure d'un ellipsoïde de révolution, dans l'hypothèse de l'attraction en raison inverse du carré des dietances. Et cette voie parut si belle à Glairaut j qu'il abandonna , dans sa Théorie de la figure de la terre, sa méthode analytique, pour suivre celle de Maclaurin.

168 fflSTOIRE DE LA GÉOMÉTRIE,

)) deux coniques^ dirigés suivant cet axe^ les parties des deux transver- » sales^ comprises entre les deux courbes respectivement^ seront pro- )) portionnelies aux diamètres dirigés suivant leur premier axe.

» 2^ Quand deux ellipses sont décrites des mêmes foyers^ si l'on » mène deux diamètres quelconques^ aboutissans à deux points cor- )) respondans des deux courbes^ la différence de leurs carrés sera con- » stante. »

Nous appelons points correspondans ^ ceux dont les distances à chacun des axes principaux sont proportionnelles aux diamètres des deux ellipses^ perpendiculaires à ces axes respectivement.

La première de ces deux propositions suffit à Maclaurin pour démontrer que les attractions que deux ellipsoïdes de révolution^ décrits des mêmes foyers^ exercent sur un même point pris sur le prolongement de l'axe de révolution , sont entre elles comme les masses des deux corps. De là^ il conclut^ au moyen de la seconde proposition^ que ce théorème a lieu aussi à l'égard des points situés sur le plan de Téquateur des deux sphéroïdes^ au dehors de leurs surfaces. Ensuite^ il remarque que sa démonstration de ce second théorème s'applique aux ellipsoïdes à trois axes inégaux, dont les sections principales sont décrites des mêmes foyers, quand le point attiré est sur le prolongement d'un de leurs axes; d'où résulte le célèbre théorème dont nous avons parlé.

D'Alembert, et ensuite Lagrange et Legendre, avaient pensé que Maclaurin n'avait fait qu'énoncer son théorème, sans en donner la démonstration ; c'était une erreur de la part de ces trois illustres géomètres, car cette démonstration est identiquement la même que celle du cas qui avait précédé, et l'auteur dès lors devait se borner, comme il a fait, à ces seuls mots : F on prouvera de la même manière^ etc.; et ne pas répéter des raisonnemens qu'il venait de faire quelques lignes plus haut, et auxquels il n'y avait à changer, ni ajouter , ou retrancher aucun mot \

* La niëprise des trois grands géomètres que je viens de nommer n'a peut-être pas été aperçue , quoiqu'on se soit tant occupé , depuis , de la question de l'attraction des ellipsoïdes. Je n'en fais la remarque ici , que parce qu'elle nous offre une preuve bien certaine de l'abandon

S 23. Les deux propriétés des ellipses décrites des mêmes foyers^ que nous avons énoncées ci-dessus^ sont dues àMaclaurin; ce sont probablement les premières que l'on ait doimées sur les coniques biconfocales; de même que son théorème sur l'attraction des ellipsoïdes dont les sections principales sont décrites des mêmes foyers, offre la première circonstance où il ait été question de deux tels ellipsoïdes. Ces surfaces se sont présentées, depuis quelques années, dans d'autres questions particulières; et elles nous paraissent devoir jouer désormais un rêle important dans la théorie générale des surfaces du second degré. Elles jouissent d'un grand nombre de propriétés qui n'ont point encore été remarquées, et dont nous parlerons dans une des Notes relatives à notre cinquième Époque.

§ 24. C'est en considérant l'ellipse comme section oblique d'un cylindre à base circulaire, que Maclaurin démontre les propriétés de

où est tombée la Gëomëtrie, dans la seconde moitié da siècle dernier, et du peu de justice qu'il y aurait aujourd'hui à l'accuser d'impuissance , puisque , loin de la soumettre à de nouveaux essais , on n'a pas même approfondi la nature et l'esprit des belles méthodes qui ont conduit Newton et Maclaurin à leurs grandes découvertes. On a préféré , au contraire y après avoir traduit ces méthodes en analyse, faire honneur à celle-ci des grands travaux de Newton , que ce philosophe aurait revêtus ensuite de la forme géométrique. Supposition gratuite , qui montre qu'on méconnaît le caractère de fécondité de la Géométrie , et la facilité extrême de ses déductions naturelles, et souvent même intuitives, dans les questions où elle peut avoir un premier accès. Mais sans entrer en discussion , sur la nature et les moyens de cette méthode qui demanderait un défenseur habile, il nous suffit de rappeler que, pour attribuer à la méthode analytique les découvertes de Newton , on est obligé de convenir que ce géomètre j en suivant cette voie, aurait fait usage du calcul des variations , dont l'invention est due à l'illustre Lagrange. Ëstil possible d'admettre que le grand Newton , d'un esprit si réfléchi et d'une vue si sûre et si étendue, aurait méconnu assez le caractère et l'immense importance d'une telle découverte, pour la passer sous silence , et dédaigner de s'en servir ensuite dans la lutte si pénible et si passionnée qu'il soutint contre Leibnitz? Autant valait qu'il ne produisit pas même son calcul des fluxions. Au reste, en attribuant a l'analyse les découvertes de Newton, on devrait, pour être conséquent et pouvoir en conclure l'impuissance de la méthode géométrique, en dire autant des travaux de Maclaurin, de Stewart, et même de la célèbre formule de Lambert, proclamée par Lagrange lui-même, la plus belle et la plus importante découverte de toute la théorie des comètes , quoiqu'elle ait dû le jour a de simples considérations de Géométrie.

Laissons donc à la Géométrie ses œuvres. L'analyse a déjà d'assez brillans trophées, elle est assez riche d'avenir, pour applaudir franchement aux anciens succès de sa sœur ainée.

ToM. XL 22

cette courbe^ en les faisant dériyer de celles du cercle. Il ne s'est pas borné aux propositions que nous avons citées; mais ayant trouvé cette méthode fort expéditive^ il voulut la pousser plus loin que n'avait fait le marquis de Lhopital y qui l'avait déjà enseignée à la suite de son traité analytique des sections coniques (liv. YI). En quelques pages seulement ^ Maclaurin démontra^ avec une simplicité extrême^ les principales propriétés de l'ellipse. On y remarque une démonstration naturelle^ et qui surpasse en brièveté celles de Newton, pour le problème des forces centrales dans l'ellipse, le point attirant étant placé d'une manière quelconque dans le plan de la courbe : on y voit immédiatement que l'attraction est en raison directe de la distance, quand le point attirant est au centre de l'ellipse ; et en raison inverse du carré de cette distance, quand le point attirant est au foyer de la courbe.

Le Traité des flumonè de Maclaurin pourrait donner lieu à beaucoup d'autres remarques concernant l'histoire et les progrès de la Géométrie; mais nous avons déjà dépassé les limites que nous prescrivait la destination de cet écrit; nous arrêterons donc ici notre aperçu sur les travaux de ce grand géomètre.

§ 25. Robert Simson, que nous avons déjà eu plusieurs fois l'occasion de citer, est un des géomètres du siècle dernier qui ont le plus approfondi la Géométrie ancienne, et qui ont le plus. contribué à en répandre la connaissance. On lui doit un Traité des sections coniques en cinq livres, écrit dans le style rigoureux d'Apollonius, que l'on commençait à abandonner pour suivre exclusivement la méthode analytique. Cet ouvrage était le premier qui contînt les deux célèbres théorèmes de Desargues et de Pascal. On y trouve aussi le théorème ad quatuor lineas / mais celui-ci avait déjà paru dans un traité des coniques de Milnes ', qui l'avait emprunté des Principes de Newton.

1 Sectionum conicarum elementa nova tnethodo demonstrata ; Oxonii 1702. Cet ouvrage, imité da grand traité de De La Hire , comme Tautear l'avoue dans sa préface , eut un grand succès et plusieurs éditions. On y considérait les coniques comme sections d'un cône à base circulaire , par un plan toutà-fait arbitraire, sans se servir du triangle par l'axe. Mais la méthode nous y parait moins heureuse que celle de De La Hire , en ce qu'elle consiste à démontrer d'abord en

Cette circonstance^ que l'ouvrage de Simson contenait les trois théorèmes principaux que nous venons de citer ^ était la seule qui pût lui donner quelque avantage sur le grand traité de De La Hire ; car^ sous le rapport de la méthode^ celui-ci nous paraît lui être à plusieurs ég-crrds infiniment supérieur; il avait été un perfectionnement notable de 1« méthode des Anciens^ et celui de Simson faisait sous ce rapport nu jpas rétrograde.

EIn effets Simson^ à l'instar de De La Hire dans son petit traité de

167 S, et du marquis de Lhopital en suite ^ considère les coniques sur

'^ ]>lan^ en les définissant chacune par une propriété spécifique et par-

'^^^ilière. Pour la parabole, c'est l'égalité des distances de chaque point

"^ la courbe au foyer et à la directrice; pour l'ellipse^ c'est la somme

^^^^stante, et pour l'hyperbole, la différence^ des distances de chaque

*^^^*it de la courbe aux deux foyers. De ces modes de description des

4:i^i^ courbes, Simson déduit les propriétés principales de chacune

^Vjes, et montre ensuite que ces courbes sont les mêmes que celles

0^' Apollonius formait dans le cône oblique, en se servant du triangle

par l'axe.

Ce n'est qu'après avoir traité ainsi en particulier des trois sectioni» coniques, dans les trois premiers livres de son ouvrage, que Simson les considère, dans les deux livres suivans, toutes trois ensemble, d'une manière générale, et démontre un grand nombre de leurs propriétés communes.

Le théorème ad quatuor lineas est la vingt-huitième proposition du livre quatre; l'hexagramme de Pascal est la quarante-septième du livre cinq; et le théorème de Desargues est démontré dans les propositions 12 et 49 du même livre. Simson n'a pas connu les rapports intimes

particulier certaines propriétés de Thyperbole , qui servent de fondement pour passer à celles de l'ellipse.

Les démonstrations, du reste, sont purement synthétiques, et d*une grande simplicité; quoique les proportions, sans cesse répétées, sous la forme ancienne , qu*il serait plus commode et plus rationnel de remplacer par celle d'une égalité de rapports, en rendent aujourdliui la lecture fatigante.

qui lient ces trois théorèmes entre eux^ et qui n'en font^ pour ainsi dire^ que des expressions différentes d'une seule et unique propriété générale des coniques ; mais il a su apercevoir toute la fécondité des deux derniers , car il a fait voir que toute la théorie des pôles se déduit de l'un, et après avoir tiré de l'autre six corollaires, il ajoute qu'ils contiennent des démonstrations générales de plusieurs propositions du premier livre des Principes de Newton.

Il est à regretter que Sirason n'ait pas mis à profit cet aperçu heureux , pour comprendre sous un seul énoncé général , et dans une seule démonstration, une foule de propositions partielles et restreintes, dont il avait donné auparavant autant de démonstrations différentes. C'était la seule manière de simplifier la théorie des coniques, d'en faciliter et d'en étendre la connaissance et les usages, et de lui préparer de nouvelles acquisitions.

§ 26. Nous ne ferons que mentionner ici le célèbre Traité des porismes^ où Simson a fait connattre la nature de ces propositions, qui avaient été jusqu'à lui une énigme indéchiffrable pour les plus savans géomètres : nous en avons parlé longuement à l'article d'Euclide et dans la Note III.

La section déterminée y rétablie par Simson, fait partie du même volume que les porismes.

Ce géomètre a aussi rétabli les Lieux plans d'Apollonius *, avec plus d'exactitude et de fidélité que n'avaient fait Schooten et Fermât.

Il avait préparé une traduction nouvelle des œuvres de Pappus, qu'on a trouvée dans ses manuscrits qu'il avait légués au collège de Glascow : il est à regretter qu'elle n'ait pas été publiée; car c'était une entreprise moins facile qu'on n'a peut-être pensé alors, et qui exigeait une profonde instruction dans la Géométrie ancienne. Personne n'était plus capable que le savant Simson de remplir cette tâche avec intelligence et habileté. On doit s'étonner que ses compatriotes n'aient pas recueilli un tel travail; et qu'en cette circonstance, le noble exemple de Milord

ï ^polloniiPergcBilocorumplanorum, libriIIreêiiiuii;ia'A^. Glosgaœ) 1749.

Stanhop^ à qui fut due la publication des porismes et de la section déterminée^ n'ait pas eu d'imitateur dans la patrie de Newton^ où la Géométrie ancienne a toujours compté de dignes et célèbres admirateurs. S 27. Mathieu Stewart^ disciple de Simson et de Maclaurin au collège de Glascow^ puis à l'université d'Edimbourg^ reçut de ses maîtres le goût de la Géométrie ancienne^ et lui dut^ comme eux^ sa célébrité. Le premier de ses ouvrages, intitulé : Quelques théorèmes génëraua; dun grand usage dans les hautes mathématiques (écrit en anglais), in-8^, 1746, le plaça aussitôt dans un rang distingué parmi les géomètres; et lui procura, peu de temps après, la chaire de mathématiques devenue vacante par la mort de Maclaurin. La nature de ses fonctions, et la direction de ses premières études, le portèrent à continuer de cultiver particulièrement la méthode géométrique , et lui firent concevoir le projet de l'appliquer aux questions les plus difficiles de l'astronomie physique, agitées alors parmi les géomètres, et qui, suivant eux, n'étaient accessibles qu'à la plus sublime analyse. C'était continuer les méthodes de Newton et de Maclaurin, dans les problèmes du système du monde, devenus, par les progrès naturels de la science, plus nombreux et plus compliqués qu'au temps de ces deux grands géomètres. Dans cette vue, Stewart mit au jour, en 1761, l'ouvrage intitulé : Tracts physical and malhemalical, etc. y c'est-à-dire : <c Traités de )) physique et de mathématiques, contenant l'explication de plusieurs » points importans de l'astronomie physique, et une nouvelle méthode » pour déterminer la distance du soleil à la terre, par la théorie de la )) gravité. » Une théorie très-étendue des forces centripètes, le calcul de la distance du soleil à la terre, et le problème si difficile des trois corps, où il s'agissait de calculer l'action réciproque du soleil, de la terre et de la lune, étaient les questions principales que Stewart résolut dans une suite de propositions qui n'exigeaient d'autres connaissances mathématiques que celles des élémens de la Géométrie plane et des sections coniques. L'ordre et la clarté de ces propositions, la simplicité de leurs démonstrations et la nature des questions difficiles qu'elles résolvaient, méritèrent à Stewart de grands éloges, et le firent estimer

a. STEWART, 1717-1785.

Fun des plus profonds géomètres de l'époque. Cependant^ nous devons dire que son calcul de la distance du soleil à la terre était erroné. La cause de Terreur fut reconnue et expliquée d'abord par Dawson en 1769 *, puis en 1771, par Landen ^. Elle provenait, non de la méthode en elle-même, mais de quelques quantités négligées à tort dans le but de la simplifier. On a fait depuis, de cette circonstance, un argument contre la méthode géométrique; mais il suffit, pour lé réfuter, de rappeler que de telles fautes ont échappé aux plus célèbres analystes , et qu'elles ont été communes en astronomie surtout, oà Fanalyse ne procède que par voie d'approximations successives.

§ 28. Nous avons encore à citer de Stewart un ouvrage de pure Géométrie, intitulé : Propositiones geometricœ ^ more Veterum demonstratœ, ad Geometriam antiquam illt^trandam et promoven-dam idoneœ. Édim., 1763, in-8^.

Il nous faut entrer dans quelques détails , pour faire connaître cet ouvrage, ainsi que celui des Théorèmes généraux , qui l'avait précédé de dix-neuf ans. Peut-être à raison de la rareté de ces deux livres, aimera-t-on à en trouver ici l'analyse et l'énoncé des principaux théo-* rèmes qu'ils contiennent.

Le livre des théorèmes généraux contient soixante-quatre propositions , dont cinquante seulement ont le titre de théorèmes ; des quatorze autres, trois sont au commencement de l'ouvrage, et servent pour les démonstrations des théorèmes, et les onze autres le terminent ; celles-ci sont pour la plupart des propriétés du cercle.

Des soixante quatre propositions, les huit premières seulement sont démontrées ; on y trouve les cinq premiers théorèmes. L'auteur annonce, dans une courte préface, que pour démontrer tant de théorèmes si généraux, et de si grande difficulté, il lui aurait fallu plus de temps qu'il ne pouvait en consacrer à ce travail. Je ne sais si, dans la suite, Stewart

' Four Propositions, etc.; c'est-à-dire, Quatre propositions pour prouver que la distance du soleil déterminée par M. Stewart est erronée.

^ Animadversions on d^ SteuHtris computation of the sun's distance from the earth ; in-8<'. London.

a restitué les démonstrations de ses théorèmes ^ ou si on les a trouvées dans ses papiers^ et quel usage on en a fait.

Les deux premières propositions expriment des propriétés générales de quatre points^ dont trois sont en ligne droite^ et le quatrième placé arbitrairement. Dans la seconde de ces propositions^ le quatrième point peut être pris sur la droite où sont situés les trois autres. Cette proposition mériterait d'être plus connue qu'elle ne nous parait Têtre. £n Foici l'énoncé :

Étant pris en ligne droite trois points A, C, B, et un autre point quelconque J), en dehors ou dans la direction de la droite^ on aura

dâI'bc -f- dbT'ac — ïJcT'ab ==: ab.ac.bc.

C'est cette proposition dont nous avons dit que les huit lemmes de Pappus sur les lieua; plans d'Apollonius peuvent dériver comme corollaires ou conséquences faciles. Peu de temps après qu'elle avait paru dans l'ouvrage de Stewart^ Robert Simson en a fait un usage utile dans nn appendice à ses Loca plana restituta y et un autre géomètre célèbre^ Th. Simpson^ l'a aussi démontrée et s^en est servi , sous le titre de lemme^ pour résoudre plusieurs problèmes ^ dans ses exercices choisis pour les jeunes étudians en mathématiques \ Plus tard^ Euler l'a aussi démontrée comme lenime^ pour inscrire dans un cercle un triangle dont les trois côtés passent par trois points donnés ^. Nous trouvons enfin que le célèbre physicien et géomètre John Leslie l'a aussi démontrée et s'en est servi dans le troisième livre de son Analyse géomé-^ trique ^.

On voit par ces citations^ que cette proposition , qui est à peu près

' Select eiperciset for young proficients in the mathematicks ; in-d'', 1752.

Les deux premières parties de cet ouvrage sont an recaeil de nombreux problèmes d'Algèbre et de Géométrie , résolus très-élégamment. Elles ont été traduites en français, sous le titre à'Élémens d'analyse pratique, ou application des principes de l'Algèbre et de la Géométrie, à la solution d'un très-grand nombre de problèmes numériqi$es et géométriques; in-d®, 1771 .

3 Mémoires de l'Académie de Pétersbourg, ann. 1780.

^ Geometrical analysis. Ëdinburgh, 1809; in-8<*. Seconde édition en 1821.

inconnue de nos jours ^ mériterait bien de prendre place dans les élémens ou au moins dans les complémens de Géométrie \

Les cinquante théorèmes de Stewart peuvent être compris^ à peu près^ tous dans les quatre suivans^ qui sont les plus généraux^ et dont la plupart des autres ne sont que des cas particuliers :

1^ Soit un polygone régulier de m côtés, circonscrit à un cercle du rayon R; soit n un nombre quelconque plus petit que m;

Si d'un point quelconque {pris dans F intérieur du polygone si n

1 Qaand le point D est pris sur la même droite que les trois points fixes , le théorème de Stewart exprime une relation générale entre quatre points quelconques situés en ligne droite. Nous avons reconnu que cette relation, ainsi que d*autres concernant aussi quatre points en ligne droite , dérivent d'une relation générale entre cinq points situés en ligne droite :

Soient A , B , G , D , £ , ces cinq points , on aura

IÂI'bCCD.DB + ËbTcD.DA.AC — ÈG7*DA.AB.BD — Ëïr*AB.BC.CA=o.

La manière de former les termes de cette équation est manifeste. Pour déterminer leurs signes , on divisera tous les termes par le produit AB.BC.GA. L'équation prend la forme :

a PB. PC a PA.PC % PA.PB a

^^- lEÂC ■*" ^^- BÂ:BG" ^^' CÂXB"" ^^•

Dans cette équation , on donnera le signe -i- au produit de deux segmens comptés dans le même sens à partir du point qui leur est commun, et le signe — au produit de deux seg* mens comptés dans des sens différens.

Voici quelles sont les relations entre quatre points , qu'on déduit de la relation générale ci-dessus :

1<^ Si on suppose le point £ à l'infini, on aura, en divisant par £P ,

BC.CP.PB + CP.PA.AC — DA.AB.BD — AB.BC.GA =o.

Chaque terme de cette équation est le produit des trois segmens formés par trois points pris deux à deux ;

2° Si les deux points £ , P se confondent , il vient :

PA.BC. -4- PB.AG — PC.AB = o.

Cette équation exprime la relation la plus simple entre quatre points A, G, B, D, situés en ligne droite;

3^ Enfin , quand le point P est a l'infini , l'équation générale devient

ÊÏT'bC h- EbT'AG — fa'AB = AB.BC.GA.

C'est l'équation de Stewart.

fflSTOIRE DE LA GÉOMÉTRIE. 177

** impair, et pris partout ou F on voudra si n est pair), on abaisse * jperpendiculaires sur les côtés du polygone , la somme des puis- ^^ces n de ces perpendiculaire sera égale à

m.(R» H- Ar^R"-' -♦- Bf74R»-4 ^ Ci?«.R"-« h- etc. );

Wv ^^nt la distance du point au centre du cercle; et A étant le coef- ^nt du troisième terme du binôme élevé à la puissance n, multi- \ ^\é par Yi B le coefficient du cinquième terme du binôme ^ multiplié F'^rrî ^ ^ coefficient du septième terme multiplié par ^^a*^ et ainsi des autres. (Prop. 40).

De sorte que

2'.4'.6' Etc., etc.

Si le point d'où l'on abaisse les perpendiculaires est pris sur la circonférence^ la formule se réduit à