V IS 'P

tionnellement permis de porter ces valeurs, de p en x, sur les parallèles à l'axe s Y, et cela au-dessus de l'axe jX, c'est-à-dire dans la région Y.*X; au moins cela peut-il résulter d'une convention explicitement admise dans l'énoncé de la question; car on pourrait tout aussi bien convenir de.porter les valeurs positives obtenues algébriquement pour px, au-dessous de Taxe X'sX.

On obtiendrait donc ainsi une série de points x situés tous dans l'angle XjY et correspondants à la série do positions distinctes, mais consécutives, que l'on peut attribuer à p le long de l'axe sX, en s'écartant d'un mouvement continu de l'origine fixe s. Or, il y a lieu de se demander tout d'abord : i° si la succession des points x fournis par une même valeur algébrique de xp, conjuguée à l'abscisse sp, constitue une courbe ou branche de courbe elle-même continue; a° le point/? ayant ainsi parcouru une portion plus ou moins grande.de l'axe XX' vers la droite de l'origine s des abscisses, à quels points x ou à quelle ligne ou branche de courbe pourraient correspondre les diverses positions de p situées à gauche de l'origine s des abscisses sp.

Ici il y a vraiment lieu d'être fort embarrassé si l'on ne veut pas admettre à priori la règle des signes de position et l'hypothèse de la continuité. Voici comment on s'y prend d'ordinaire pour résoudre ces difficultés, non toutefois sans admettre tacitement cette hypothèse de la continuité. Puisque l'équation /(.</?, xp) = o exprime, pour la position actuelle des axes jX, *Y, la relation entre les abscisses et les ordonnées de la courbe, on ne changera rien à la généralité ni à la nature de cette courbe, si on la rapporte à une nouvelle origine .v, et à un nouvel axe d'ordonnées II', situés à gauche des précédents, et pour lesquels on a, relativement à chacune

des positions de xpy

sp = sjj — ss% ;

substituant donc pour sp cette valeur dans l'équation primitive, rien ne

a48 IIP CAHIER. - SUR LA LOI DES SIGNES

sera changé et il viendra

f(slp — ssnxp) = o.

Ce raisonnement est jusqu'ici très-exact, c'est-à-dire tant qu'on suppose aux ordonnées px la situation qu'elles ont actuellement d'après l'hypothèse, c'est-à-dire encore tant qu'on suppose p à droite de l'origine s; mais il cesse de l'être dès que, au contraire, on le prend en px à gauche du point s.

En effet, on n'aura plus alors

sp = sxp — s a-, , mais bien spx = ssx — slpl ;

de sorte que pour toutes ces positions px à gauche de s, on devrait avoir

f(ssx-sxPl, plx) = o,

très-différente de celle qui précède.

Pour admettre que l'équation /(*,/> — *»*,, px) = o pût s'appliquer à la fois. aux points p situés à droite de l'origine comme aux points/;, situés à gauche, il faudrait supposer que, dans l'équation primitive f(sp, px) =o, sp pût recevoir à priori un signe négatif, ce qui revient à admettre la règle des signes de position, soit comme pure convention, soit par analogie avec ce qui se passe dans des courbes déjà connues par leurs propriétés géométriques. En prenant donc pour équation unique du lieu des points x rapportés à la nouvelle origne s :

f(sj> — ssv px) = o,

on étend véritablement le sens attribué à l'équation primitive; on admet, à priori, qu'elle s'applique à toutes les positions du point />, moyennant les changements de signes convenus ; en un mot, on invoque le principe de continuité et l'analogie.

N'est-ce pas effectivement parce que, dans la relation simple

Sp = Stp—SA'0

on a déjà observé le changement de signe que doit subir sp quand p passe en px à gauche de s} afin que cette relation demeure applicable géométriquement à la nouvelle position, que Ton est induit à supposer qu'il doit en être ainsi, en général, des abscissos et ordonnées qui entrent dans l'équation /(*/>, px) = o de la courbe à construire ou à étudier? Or, cette manière de raisonner n'est nullement acceptable en principe.

Admettons toutefois que la nouvelle équation /(.*,/> — j.v„ px) = o ne dise ni plus ni moins que la première, et qu'elle s'applique indistinctement aux points p et /;,; pour avoir reculé l'origine, on n'aura pas reculé

la difficulté; car la nouvelle équation n'a une signification claire et pré* cise que pour les seuls points situés à droite de l'origine st et non pour ceux qui le sont à gauche ou en deçà. À fortiori, en sera- 1- il ainsi de l'équation dont on est parti. À la vérité, on peut reculer l'origine .y, à une distance arbitraire de s, mais, quelle que soit cette distance, on pourra toujours concevoir des points et des ordonnées de courbe au delà, vers la gauche, et pour lesquels, par conséquent, la difficulté restera la même; car rien n'empêche que la courbe à construire ne s'étende indéfiniment de ce côté de l'origine j, auquel cas, pour admettre les conséquences cidessus sans restriction aucune, il faudrait imaginer l'origine $, et l'axe II' transportés à une distance infinie de l'origine primitive, ce qui détruit toutes les notions géométriques claires et précises qu'on s'est formées antérieurement.

83. Conséquences du précédent examen. — Concluons de ces raisonnements :

i° Que la règle des signes de position n'est, en toute rigueur, , ni démontrable ni démontrée pour les équations algébriques entre les abscisses et ordonnées ordinaires des lignes courbes, c'est-à-dire pour les relations purement algébriques non déduites de considérations géométriques établies sur les données mêmes d'une figure;

•2° Que, en admettant pour ces équations la loi des varialions de signes qui s'observe dans les relations métriques élémentaires de la Géométrie, on agit par pure analogie sans y être suffisamment autorisé par les règles d'une saine et rigoureuse logique;

3° Qu'enfin, et à la vérité, on peut bien adopter à priori, pour les équations algébriques, la règle ci-dessus des signes comme une convention particulière dont il résulte, par le fait, des lignes continues ou non dans toutes leurs parties; mais qu'alors aussi il faut bien se garder de les confondre, sans discussion ni vérification préalables, avec les lignes courbes de même équation, déduites de considérations purement géométriques, à moins de prouver que celles-ci sont toutes assujetties aux règles conventionnellement adoptées.

Admettre, à priori, l'identité parfaite des deux genres de courbes, c'est, je le répète, supposer sans discussion et sans preuve que les relations métriques des figures, en général, sont assujetties à la loi de continuité et des signes de position ; c'est admettre, notamment, que les portions distinctes

a5o 1U- CAHIER. - SUR LA LOI DES SIGNES

d'une courbe ou d'une surface représentée par une équation entre les coordonnées x, y, zt limitées aux axes ou plans respectifs de ces coordonnées, se raccordent parfaitement les unes avec les autres, sans coudes ni jarrets ; qu'elles y ont les mêmes coefficients différentiels de tous les ordres, etc.; ce qui certainement n'est pas un axiome évident en soi, comme on a dû s'en apercevoir d'après tout ce qui précède.

Ainsi donc, il y a une distinction très-grande à faire entre les équations purement algébriques ou qu'on se donne à priori comme représentant des lignes ou des surfaces dans le système de Descartes, et celles qui se déduisent, à posteriori, de considérations purement géométriques: pour que les premières signifient une chose unique et distincte, il faut les assujettir à des conventions tirées de l'analogie et vérifiables seulement par les applications ultérieures; tandis que les autres sont assujetties à des règles invariables et sûres déduites de faits conformes à l'essence même des êtres géométriques. De là d'ailleurs naissent toutes les difficultés qui résultent de la comparaison et du rapprochement entre ces manières de raisonner de deux sciences en apparence si distinctes.

84. A l'égard de la démonstration à priori ci-dessus de la règle des signes de position dans la théorie des coordonnées de Descartes,. elle est conforme notamment à celle qui a été exposée par M. Biot (Essai de Géométrie analytique, 2e édition, i8o5, p. 16 à 20), d'après les doctrines de M. Carnot, sans discussion ni vérification préalable, si ce n'est pour le cas de la ligne droite et du cercle. Quant à la convention toute gratuite, relative aux signes de position généralement admise et que ce dernier savant combat lui-même, mais à un autre point de vue, dans sa Géométrie de position (p. xxi, a5, 72, etc.), cette convention et sa prétendue démonstration impliquent, je le répète, la notion métaphysique de la continuité et de l'infini, repoussée des Anciens et non jusqu'ici adoptée avec une entière franchise par les modernes. Je défie notamment qu'on démontre, sans invoquer cette notion, l'exact raccordement de deux arcs de ligne courbe appartenant à des angles différents des axes coordonnés et à des signes différents des abscisses ou des ordonnées sous les conditions

DE POSITION EN GÉOMÉTRIE. a5i

ci-dessus indiquées. Cela suffit pour expliquer la répugnance que de sévères et profonds géomètres tels que Uuygens, Newton, etc., éprouvaient a se servir de l'Analyse des coordonnées, qui venait à peine d'être découverte par Descartes, et dont l'usage fut si longtemps à se généraliser, à se répandre en Europe.

85. Parallèle entre la géométrie des Anciens et celle de Descartes. — Les conventions relatives aux signes de position dans le système de coordonnées ordinaires, dont il vient d'être parlé, ne peuvent donc être admises que comme les conséquences et les résultats à posteriori de nombreuses vérifications et d'une expérience antérieurement acquise, si l'on ne veut pas suivre la marche ascendante et progressive des Anciens, la seule véritablement rationnelle, dont je me suis constamment efforcé de me rapprocher dans ce qui précède, et en l'absence de laquelle les ingénieux tableaux de corrélation imaginés et partiellement réalisés par M. Carnot, aussi bien que la théorie des quantités directes et inverses, sont saris fondement véritablement logique.

A coup sûr, la règle des signés de position, admise conventionnellemcnt dans l'Analyse des coordonnées, suffit pour déterminer la position d'un point sans ambiguïté ni incertitude, mais elle ne sliffit pas pour prouver que ce point appartient à la ligne ou à la surface qu'une équation donnée doit représenter (*).

Dans l'immortelle Géométrie de Descartes, où se trouvent pour la première fois, tentées la description et la classification des courbes aujourd'hui improprement nommées algébriques,

(*) Les conventions et notations algébriques abréviatives qui servent à soulager la mémoire sans fortifier le jugement ou l'en tende ment, n'ont de valeur effective qu'autant qu'elles dérivent de la nature intime des choses et s'y accommodent exactement, comme c'est le cas présent; mais elles peuvent devenir un abus regrettable et une source d'obscurité, d'erreur même et de confusion inextricable dans toute autre circonstance, comme quelques écrits de notre époque en montrent de fâcheux exemples; obscurité, confusion dont le système des coordonnées de Descartes et celui des coordonnées polaires ne sont nullement exempts, malgré leurs ingénieuses notations algorithmiques.

*5a IIIe CAHIER. - SUR LA LOI DES SIGNES

à peine entrevue par les Anciens dans le célèbre problème de Pappus : Ad quatuor Une as ; dans cette Géométrie, Descartes indique très- bien la correspondance qui existe entre la position des indéterminées x et y et les signes positifs ou négatifs qu'elles portent dans les équations des courbes; signes dont le dernier appartient aux ordonnées et abscisses au-dessous de zéro ou de rien, comme le dit l'auteur d'après l'usage d'alors, ce qui signifie simplement au-dessous des axes à partir desquels elles se mesurent. Mais, cela ne l'empêche nullement, dans sa théorie subséquente des équations numériques, d'appeler fausses les racines négatives de ces équations dont pourtant il avait en main l'interprétation géométrique (*).

86. Descartes n'avait certainement pas entrevu la fécondité et la portée de sa méthode, qui, dans les derniers temps, entre les mainsd'Euler, de Clairaut, mais surtout de Lagrange et de Monge, est devenue un instrument général de démonstration et de découvertes, une langue géométrique pour ainsi dire universelle; avantage qu'elle doit non-seulement à la simplicité de son algorithme et de ses notations, mais surtout à son système métrique de représentation des éléments droits ou courbes des figures, par la projection, véritable transformation linéaire ou rectiligne de ces derniers éléments, qui n'altère pas le degré, les affections et les propriétés essentielles des lignes, et ne sort point, en apparence, des voies de l'Algèbre pure, justement ici nommée Analyse indéterminée.

De là, d'ailleurs, il résulte, chose vraiment digne d'attention, que Ton se surprend, après un certain temps d'exercice, à confondre les êtres géométriques véritables avec leur représentation ou traduction algorithmique par des équations entre les ordonnées et les abscisses, qui ne sont pourtant que de purs auxiliaires du raisonnement logique. De là aussi, se croit-

(*) Ces remarques et celles qui suivent sont un rapprochement naturel, un résumé de divers passages, de Notes toutes fort anciennes, que j'ai du supprimer à cause de leur étendue ou des répétitions, des disparates qu'elles offraient dans l'ordre et la filiation des idées , mais dont l'entière suppression eût entraîné de véritables lacunes dans l'exposition de cette partie épineuse de mes recherches.

DE POSITION EN GÉOMÉTRIE. a53

on fort souvent en droit, dans la solution des problèmes de Géométrie analytique, de faire abstraction de la figure à laquelle eette représentation fictive s'applique, et de l'influence que peut avoir sur les résultats, la position attribuée primitivement, lors de la mise en équation, aux parties dont cette figure se compose. Or, ne l'oublions pas, ce n'est point là une conséquence rigoureuse de vérités géométriques antérieurement établies, mais bien un simple rapprochement, une vérification à posteriori, de laquelle on ne pourrait déduire aucune conséquence nouvelle, indiscutable et applicable à tous les cas possibles; à moins d'admettre qu'il soit permis de conclure du particulier au général par voie d'analogie, ou d'adopter ouvertement le principe de continuité, qui suppose l'existence de la loi des signes de position dans les équations ou relations métriques des figures.

87. Considérations générales. — En rapprochant ce que nous venons de dire des problèmes indéterminés, de ce qui a été précédemment établi sur les problèmes déterminés relatifs au cas où les données et les inconnues appartiennent à une droite fixe, il est aisé, de reconnaître que les mêmes réflexions, les mêmes difficultés concernant les équations de condition étrangères ou indépendantes de la loi des signes de position, les constantes fixes ou mobiles, la séparation de divers systèmes distincts de solution, se reproduisent dans tous les cas possibles, même dans celui où Ton se sert du système des coordonnées linéaires de Descartes, le plus remarquable de tous par son universalité.

Ainsi les considérations relatives à la mise en équation des problèmes déterminés qui nous ont occupés dans les nos 51 et suivants, subsistent dans l'application de ce dernier système, et il n'y a d'exceptions que pour les seuls cas où les relations métriques et descriptives qui se rapportent aux hypothèses faites sur la figure type ou primitive, satisferaient naturellement au principe de continuité et à la loi des signes de position; ce qui arriverait notamment s'il s'agissait de figures, de relations métriques et de propriétés aptes à construire géométriquement ou organiquement d'une manière continue, des lignes, des surfaces tout entières et partant soumises elles-mêmes à la

*54 IIIe CAHIER. - SUR LA LOI DES SIGNES

loi des signes de position dans leurs propriétés diverses. Il est évident en effet, d'après nos principes, que les résultats déduits algébriquement de ces premières relations, par l'Analyse des coordonnées de Descartes, jouiront du même caractère de généralité et de continuité. Or il est à remarquer que cela arriverait encore pour chaque système de solution distinct, dans l'hypothèse de la séparabililé des résultats due à des conditions de grandeurs constantes et indépendantes de la situation; ce dont le problème des n°§ 65 et suivants offre un exemple remarquable, en ce que l'aire du triangle ASC (Jig. 126), bien que donnée à priori, étant inconnue de position, amène avec elle une ambiguïté désigne d'où résultent une indétermination correspondante et des différences caractéristiques dans les divers modes de solutions.

88. Système d'appliquées polaires ou rayonnantes. — Au surplus, le système ancien des ordonnées parallèles, appliquées à un axe fixe des abscisses et concourant en un point situé à l'infini, n'est qu'un cas particulier de celui des lignes convergentes ou polaires (Jig. 101 , n° 2), dont la considération a servi de point de départ aux études de ce IIIe Cahier; car les droites ÀB ou aB, et Sa perpendiculaire ou oblique à AB, y représentent des axes fixes; ab, ac9 ax>.. ., des abscisses; Sb, Se, Sa: des lignes rayonnant autour du pôle S, et qui portent les rayons vecteurs égaux ou circulants S6', Se', Sx,..., et les distances variables appliquées à l'axe AB des abscisses.

Cet ensemble, où les abscisses sont des fonctions purement linéaires des tangentes trigonométriques des angles polaires ou des arcs circulaires correspondants, peut être considéré comme la projection centrale du système de coordonnées ordinaires, et il offre l'avantage de permettre l'introduction immédiate des segments ou distances rayonnantes infinies, disparues de ce dernier système, etc. (*).