Analyse des infiniment petits pour l'intelligence des lignes courbes

La préface est un exposé historique, rendant hommage au grands prédécesseurs. Aux Grecs anciens d'abord : « plus les chemins qu'ils ont tenus étaient difficiles et épineux, plus ils sont admirables de ne s’y être pas perdus ». À Descartes ensuite, qui « commença où ses Anciens avaient fini » et créa l'Analyse ordinaire qui « rend facile la solution dune infinité de problèmes qui paraissaient impénétrables avant lui ». À Pascal : « par la considération seule de leurs éléments , c’est-à-dire des infiniment petits, il découvrit des méthodes générales et d’autant plus surprenantes, qu’il ne paraît y être arrivé qu'à force de tête et sans analyse. » À Fermat qui trouva une méthode pour le calcul des tangentes, plus simple que celle de Descartes, mais moins simple que celle de Barrow.

Enfin il rappelle dans sa préface ce qui sépare tous ces achèvements de ce que permet la méthode de Leibniz avec les développements que lui ont donnés Jacques et Jean Bernoulli.

Cette section décrit le calcul des différences de Leibniz, basé sur les principes suivants.

• Si une quantité variable x varie d'une quantité infiniment petite, cette quantité infiniment petite est appelée différence de x et notée dx. La quantité x considérée pourra être une abscisse le long d'un axe, une longueur de courbe, l'aire d'une surface, une mesure d'angle... Il n'est pas précisé ce qu'on entend par infiniment petite, cette notion gardant un sens intuitif jusqu'au milieu du XIX^e siècle, où elle sera petit à petit abandonnée.
• On suppose que, dans tout calcul, on peut remplacer une quantité par une autre quantité qui ne diffère de la première que d'une quantité infiniment petite par rapport à elle. Cette supposition ne manquera pas de faire débat. En effet, c'est elle qui donne toute sa puissance au calcul des différences de Leibniz, mais elle manque sérieusement de fondement, la quantité x étant remplacée par une quantité x + dx qui ne lui est pas égale, dx étant une quantité infiniment petite, mais non nulle.
• Les lignes courbes sont considérées comme l'assemblage d'une infinité de segments de longueur infiniment petite.

Les règles du calcul des différences sont ensuite exposées :

• somme : ${\displaystyle \mathrm {d} (x+y)=\mathrm {d} x+\mathrm {d} y\,}$. En effet, si la quantité x varie de dx et la quantité y de dy, alors x + y varie de dx + dy.
• produit : d(xy) = xdy + ydx. En effet, si la quantité x varie de dx et la quantité y de dy, alors xy varie de xdy + ydx + dxdy, mais dxdy étant une quantité infiniment petite devant xdy ou ydx, il est négligé, en appliquant la supposition indiquée plus haut.
• quotient : d(x/y) = (ydx - xdy)/y². En effet, si z = x/y, alors x = yz et dx = ydz + zdy, d'où l'on tire dz = (dx - zdy)/y = (ydx - xdy)/y².
• puissance : m étant une puissance donnée, d(x^m) = mx^m-1dx. Le cas m entier positif est prouvé en itérant la règle de dérivation du produit, le cas m entier négatif est prouvé en utilisant le règle de dérivation du quotient. Le cas rationnel est traité comme suit. Si z = x^m/n, alors zⁿ = x^m et donc nz^n-1 = mx^m-1, d'où l'on tire dz. Le cas m irrationnel n'est pas traité dans l'ouvrage, le statut de ces nombres étant encore incertain à l'époque.

La dérivée d'une fonction telle que nous la concevons aujourd'hui n'est pas présente dans l'ouvrage. On y traite seulement de quantités variables, liées les unes aux autres, et des relations entre leurs variations infiniment petites, appelées différences.

Construction de la tangente à une courbe

La première application (prop.1) du calcul des différences est la détermination des tangentes à une courbe, donnée par une équation quelconque reliant l'abscisse AP à l'ordonnée PM d'un point quelconque M de la courbe. La tangente est définie comme la droite prolongeant le segment [Mm], où m est un point infiniment proche de M. Les triangles MTP et mMR sont alors semblables. Or MR n'est autre que la variation infinitésimale dx, et Rm est la variation infinitésimale dy. En appliquant le calcul des différences sur l'équation de la courbe, on est en mesure d'établir une relation algébrique ou géométrique entre dx et dy. Par similitude, on en déduit la même relation entre TP et PM. Cela permet de déterminer le point T et donc de construire la tangente.

Le premier exemple donné est celui de la parabole ax = yy, ce qui donne dx/dy = 2y/a = TP/PM. Comme PM = y, on en déduit que TP = 2yy/a = 2x. De multiples autres exemples sont ensuite traités (coniques, fonctions puissances, courbe algébrique de degré 3,...).

L'auteur traite également le cas des asymptotes, considérant celles-ci comme position limite de la tangente lorsque le point P s'éloigne indéfiniment (ex.3 et 4 de la prop.1).

Construction de la tangente à la cycloïde

L'étude ne se limite pas aux courbes données par une relation entre abscisse et ordonnée, mais également à des courbes définies par des relations géométriques plus variées. De ce point de vue, le cas de la cycloïde est exemplaire (ex.2 de la prop. 2). La cycloïde possède la propriété caractéristique que la longueur du segment [MP] joignant un point M quelconque de la cycloïde au point P du cercle générateur ayant même ordonnée, est égale à la longueur de l'arc AP joignant P au sommet A du cercle. Pour déterminer la tangente à la cycloïde, on prend ici x égal à la longueur de l'arc AP et y égal à celle du segment MP. On a donc x = y et donc dx = dy. Mais dx est égal à la longueur de l'arc infiniment petit Pp définissant la tangente en P au cercle, et dy est égal à la longueur du segment [mR], R étant tel que MRpP forme un parallélogramme. En effet, on a mp = y + dy, mais Rp = MP = y donc dy = mR. Puisque dx = pP = MR = dy = mR, cela signifie que le triangle infiniment petit mRM est isocèle. Mais ce triangle est semblable au triangle MPT, T étant l'intersection de la tangente au cercle et de la tangente à la cycloïde portée par [mM]. Donc MP = PT. On trouve donc le point T permettant de tracer la tangente à la cycloïde en portant sur la tangente au cercle en P le point situé à une distance de P égale à l'arc AP. L'auteur prouve par ailleurs que la tangente (MT) est parallèle à la corde (AP).

Cet exemple est représentatif de la démarche suivie dans l'ouvrage. La formule générale de l'équation d'une tangente n'est pas donnée. Les courbes sont souvent définies par un procédé géométrique sans recours à une représentation paramétrique des coordonnées du point courant qu'il suffirait de dériver. On établit une construction géométrique ayant pour but de déterminer l'élément cherché. Dans le cas de la tangente à une courbe, on cherche à déterminer le segment [TP], qu'on appelle sous-tangente à la courbe. Le raisonnement est purement géométrique, mais fait intervenir des éléments géométriques infiniment petits (segments, triangles, angles,...), le calcul des différences intervenant seulement dans la détermination de ces éléments géométriques infiniment petits.

Les seize propositions de la section multiplient les exemples et permettent en particulier de déterminer les tangentes aux courbes les plus célèbres à l'époque, spirale d'Archimède (prop.5), conchoïde de Nicomède (prop.6), cissoïde de Dioclès (prop.8), quadratrice de Dinostrate (prop.9), spirale logarithmique,...

Cette section traite des questions relatives à la détermination de l'extremum d'une fonction. Elle étudie les quantités qui décroissent continûment avant de croître, ou au contraire, qui croissent continûment avant de décroître. Elle est remarquable par la façon dont y sont traités les nombres négatifs, dont le statut était encore incertain à l'époque.

Sens de variation d'une fonction

La proposition générale établit le sens de variation des quantités considérées et énonce que « Lorsque AP croissant, PM croît aussi, il est évident que sa différence Rm sera positive par rapport à celle de AP, et qu'au contraire lorsque PM diminue, la coupée AP croissant toujours, sa différence sera négative. Or toute quantité qui croît ou diminue continûment ne peut devenir de positive négative, qu'elle ne passe par l'infini ou par le zéro, savoir par le zéro lorsqu'elle va d'abord en diminuant, et par l'infini lorsqu'elle va d'abord en augmentant ». Ainsi, les quantités négatives sont obtenues de deux façons, ou bien en passant par le zéro en décroissant, ou bien en passant par l'infini en croissant. L'auteur de l'ouvrage cherchera donc un extremum non seulement quand la différence mR s'annulera, mais également lorsqu'elle deviendra infinie. Cette démarche, surprenante de nos jours, permet en fait non seulement de traiter le cas d'un extremum avec tangente horizontale (mR s'annule), mais également d'un extremum en un point de rebroussement avec tangente verticale. L'auteur justifie son point de vue en soulignant que, même dans le cas d'une tangente horizontale, la sous-tangente PT change de signe en passant par l'infini. Cette pratique consistant à chercher un extremum en rendant une certaine quantité nulle ou infinie est également utilisée dans la section suivante pour déterminer aussi bien les points d'inflexion que les points de rebroussement.

Suivent treize exemples, donc certains sont liés à des problèmes optiques (l'ex. 11 n'est autre qu'une présentation concrète du principe de Fermat), mécaniques (ex. 12), ou astronomique (ex. 13).

La section suivante a pour objet la recherche des points d'inflexion et de rebroussement d'une courbe. Les deux sujets sont traités dans le même chapitre car l'auteur considère que, dans les deux cas, la courbe se trouve de part et d'autre de la tangente au point considéré, en poursuivant son chemin dans le cas du point d'inflexion, et en revenant en arrière dans le cas du point de rebroussement (def. 2). Ce qui distingue les deux points dans l'ouvrage, c'est que (prop. 2) :

• pour un point d'inflexion, la tangente occupe une position extrémale en un tel point lorsque l'abscisse du point de la courbe varie continûment.
• pour un point de rebroussement, l'abscisse d'un tel point est extrémale lorsque la tangente varie continûment le long de la courbe.

Définition d'une différence seconde

Ainsi, dans les deux cas, il s'agit de résoudre un problème d'extremum, inverse l'un de l'autre. Cependant, puisque la tangente s'exprime au moyen des différences premières des variables, un calcul d'extremum faisant intervenir la tangente devra prendre en compte les différences secondes des variables. La section IV commence donc par la définition d'une telle différence seconde (def.1). Supposons qu'un point M parcourt une courbe. Lors d'un accroissement infiniment petit dx = Pp de son abscisse, l'ordonnée PM varie d'une quantité infiniment petite dy = Rm. Si l'abscisse varie à nouveau d'une quantité infiniment petite dx = pq, égale par exemple à Pp, alors l'ordonnée variera d'une quantité infiniment petite Sn. Si l'on trace un triangle mSH isométrique au triangle MRm, on constate que la variation Sn diffère de la variation dy précédente mR ou SH d'une quantité nH. Cette quantité nH est la variation de dy, infiniment petite devant dy elle-même, et s'appelle différence seconde de y, dotée ddy.

Dans le cas d'une courbe représentée en coordonnées cartésiennes, l'abscisse du point T où la tangente coupe l'axe des abscisses est x - ydx/dy. On cherche à rendre cette quantité extrémale. Pour cela, on calcule sa différence, et en supposant le pas dx constant, on obtient, après simplification ddy, quantité que l'auteur rend nulle ou infinie pour obtenir un extremum. Il remarque également que le changement de concavité signifie un changement de signe de la différence seconde ddy. La démarche est donc très proche de la démarche moderne, où l'on annule la dérivée seconde de la fonction représentée par la courbe.

L'auteur traite également de situations plus compliquées, et en particulier un cas comparable à une représentation polaire d'une courbe, mais la comparaison avec les formules modernes est plus délicate. En effet, les variables considérées sont y = r distance du point de la courbe au pôle, mais l'autre variable n'est pas simplement l'angle polaire ${\displaystyle \theta }$. x est choisi de façon que ${\displaystyle dx=rd\theta }$, sans qu'on précise davantage à quelle grandeur correspond x. La prop.2 énonce alors que les points d'inflexion ou de rebroussement sont parmi ceux qui vérifient dx² + dy² - yddy nul ou infini, dx étant considéré comme constant. On retrouve la formule moderne en posant ${\displaystyle r'=dr/d\theta }$, ${\displaystyle r''=d^{2}r/d\theta ^{2}}$, ${\displaystyle dy=dr=r'd\theta }$, ${\displaystyle ddy=d^{2}y=r''d\theta ^{2}+r'd^{2}\theta }$ et en calculant ${\displaystyle d^{2}\theta }$ à partir du fait que ${\displaystyle 0=ddx=d^{2}x=r'd\theta ^{2}+rd^{2}\theta }$. On obtient alors ${\displaystyle dx^{2}+dy^{2}-yd^{2}y=(r^{2}+2r'^{2}-rr'')d\theta ^{2}}$.

La développée d'une courbe est le lieu de ses centres de courbure. L'auteur donne plusieurs démonstrations pour déterminer le centre de courbure, que ce soit dans un repère cartésien ou en polaire, ou bien en donnant directement le rayon de courbure ou bien en donnant la projection du centre de courbure sur une droite prédéterminée (prop. 1). Le calcul utilise la notion de différence seconde introduite dans la section précédente.

Calcul du rayon de courbure en cartésien

En cartésien, l'auteur donne pour rayon de courbure la quantité ${\displaystyle {\frac {(dx^{2}+dy^{2})^{3/2}}{-dx\,ddy}}}$, la différence seconde ddy étant calculée pour dx constant. La formule moderne du rayon de courbure d'un arc paramétré ${\displaystyle {\frac {(x'^{2}+y'^{2})^{3/2}}{x''y'-x'y''}}}$, en prenant les mêmes conventions de signe que l'auteur, donne le même résultat en prenant x"=0. Pour obtenir ce résultat, l'auteur procède comme suit. Il considère la normale à la courbe en un point M, et la normale à la courbe en un point infiniment proche m. Les deux normales se coupent au point C, centre de courbure. Le rayon de courbure est la longueur MC. Or, on a AP = x, PM = y, MR = Pp = dx, Rm = dy. Comme les triangles MRm et mRG sont semblables, on en déduit que RG = dy²/dx et donc, ${\displaystyle MG={\frac {dx^{2}+dy^{2}}{dx}}}$. MRm est également semblable à MPQ, avec MP = y, donc ${\displaystyle PQ={\frac {y\,dy}{dx}}}$ et ${\displaystyle MQ={\frac {y{\sqrt {dx^{2}+dy^{2}}}}{dx}}}$. Comme AP = x, on en déduit ${\displaystyle AQ=x+{\frac {y\,dy}{dx}}}$. On obtient Qq en calculant la différence de cette quantité, dx étant considéré comme constant, ce qui donne ${\displaystyle Qq=dx+{\frac {dy^{2}+y\,ddy}{dx}}}$. Enfin, CMG et CQq étant des triangles semblables, on en déduit que ${\displaystyle MC=MG\times {\frac {QM}{MG-Qq}}}$, ce qui donne la valeur annoncée, connaissant MG, MQ et Qq.

Calcul du rayon de courbure en polaire

En polaire, la formule donnée par l'auteur est ${\displaystyle {\frac {y(dx^{2}+dy^{2})^{3/2}}{dx^{3}+dx\,dy^{2}-y\,dx\,ddy}}}$, avec y = r et ${\displaystyle dx=rd\theta }$. On retrouve la formule moderne d'une courbe polaire où r est fonction de ${\displaystyle \theta }$ ${\displaystyle {\frac {(r^{2}+r'^{2})^{3/2}}{r^{2}+2r'^{2}-rr''}}}$, en tenant compte des remarques faites à la fin de la section précédente. Le calcul se fait comme suit. B est le pôle d'où sont issus les rayons BM de longueur y. La quantité MR vaut dx et Rm = dy, de sorte que ${\displaystyle Mm={\sqrt {dx^{2}+dy^{2}}}}$. On projette orthogonalement B en F sur la normale (MC) en M, et en f sur la normale (mC) en m. C est le centre de courbure. Les triangles mMR et BMF sont semblables, de sorte que ${\displaystyle BF={\frac {y\,dy}{\sqrt {dx^{2}+dy^{2}}}}}$ et ${\displaystyle MF=MH={\frac {y\,dx}{\sqrt {dx^{2}+dy^{2}}}}}$. La différence de BF est Bf - BF = Hf, ce qui donne, en supposant dx constant, ${\displaystyle Hf={\frac {dx^{2}\,dy^{2}+dy^{4}+y\,dx^{2}\,ddy}{(dx^{2}+dy^{2})^{3/2}}}}$. Enfin, les triangles CMm et CHf étant semblables, on en déduit que ${\displaystyle CM=Mm\times {\frac {MH}{Mm-Hf}}}$ ce qui donne le résultat annoncé, en remplaçant Mm, MH et Hf par leurs valeurs.

L'auteur remarque qu'on attribue généralement une longueur infinie au rayon de courbure en un point d'inflexion et un rayon de courbure nulle en un point de rebroussement, mais que cette règle n'est pas toujours vraie. Il donne comme contre-exemple la développante d'une courbe ayant un point d'inflexion, à partir de ce point. La développante aura elle-même un point d'inflexion mais le rayon de courbure y sera nul.

Longueur et aire de la cycloïde

Les exemples traités sont multiples : coniques (ex.1, 2 et 4), courbe exponentielle (ex.5), spirale logarithmique (ex.6). Dans l'ex.2 qui concerne l'hyperbole, l'auteur cherche en quel point le rayon de courbure est minimal, ce qui l'amène à considérer une différence troisième dddy. L'ex.8 est particulièrement intéressant puisqu'il démontre que la développée d'une cycloïde est elle-même une cycloïde, translatée de la première. L'auteur donne également la longueur d'une portion de cycloïde (cor.1), ainsi que son aire (cor.2). Sur la figure ci-contre, la longueur de l'arc de cycloïde AM est le double de la longueur de la corde AE du cercle générateur, et l'aire du domaine MGBA de la cycloïde est le triple de l'aire BEZA du disque. Le point G est l'intersection de la normale en M à la cycloïde avec l'axe des abscisses. Le segment [MG] est translaté de [EB].

Il traite également la développée d'une épicycloïde (ex.9) ou d'une hypocycloïde (cor.3). Il signale l'existence de points de rebroussement de seconde espèce, « ce que personne, que je sache, n'a encore considéré ».

Caustique par réflexion d'un demi-cercle, la source lumineuse étant située à l'infini

Une caustique par réflexion est l'enveloppe des rayons lumineux réfléchis sur une surface, et provenant d'un point, éventuellement situé à l'infini. L'auteur cependant ne va pas utiliser la théorie des enveloppes qui fera l'objet de la section VIII, mais celle des développées, exposée dans la section précédente.

La caustique (en rouge) est la développée de la courbe orthotomique (en bleu). Les rayons lumineux sont issus de B, se réfléchissent en M. Les rayons réfléchis sont tangents en F à la caustique. L est le symétrique de B par rapport à la tangente en M à courbe réfléchissante

En effet, soit B la source des rayons lumineux, M le point général de la surface réfléchissante, L le symétrique de B par rapport à la tangente en M à la surface réfléchissante. Lorsque M varie, L décrit une courbe appelée aujourd'hui courbe orthotomique. L'auteur prouve que cette courbe est obtenue en faisant rouler le symétrique de la courbe réfléchissante par rapport à une de ses tangentes sur elle-même. Il prouve également que les rayons réfléchis sont les normales à la courbe orthotomique et enfin que le point de contact entre le rayon réfléchi et la caustique n'est autre que le centre de courbure de la courbe orthotomique. Autrement dit, la caustique est la développée de la courbe orthotomique.

Au cours de son étude, l'auteur distingue les cas où les rayons réfléchis converge (caustique réelle) de ceux où ils divergent (caustique virtuelle). Le premier cas se produit lorsque la courbe réfléchissante est convexe vers B et que B est extérieur au cercle de diamètre ayant pour extrémités M et le milieu du segment [MC], C étant le centre de courbure de la courbe réfléchissante au point M considéré. Le second cas se produit lorsque la courbe réfléchissante est convexe vers B et que B est intérieur au sus-dit cercle, ou bien lorsque la courbe réfléchissante est concave.

L'auteur donne ensuite de nombreux exemples de courbes réfléchissantes :

• coniques avec B au foyer,
• parabole avec les rayons incidents perpendiculaires à l'axe, demi-cercle avec les rayons incidents perpendiculaires au diamètre (la caustique est une néphroïde),
• cercle avec B sur la circonférence (la caustique est une cardioïde),
• cycloïde avec les rayons incidents parallèles à l'axe de symétrie (la caustique est une cycloïde deux fois plus petite),
• cycloïde avec les rayons incidents parallèles à la base,
• épicycloïdes,
• spirale logarithmique, B étant au centre (la caustique est une spirale logarithmique isométrique à la première)

L'auteur se pose également le problème inverse. Le foyer B et la caustique étant donnés, déterminer les courbes réfléchissantes possibles. Il montre qu'il y en a une infinité.

L'auteur poursuit son étude des caustiques en considérant cette fois-ci des surfaces réfractantes. Il applique la loi de Descartes sur les rayons réfractés et généralise les résultats trouvés dans la section précédente.

Il traite en particulier l'exemple d'un quart de cercle comme courbe réfractante, les rayons issus de l'infini arrivant sur la partie concave ou convexe de ce cercle. Il note que, selon les cas, la caustique peut s'arrêter du fait que les rayons lumineux cessent de se réfracter et se réfléchissent.

Il traite également le cas de la spirale logarithmique, les rayons partant de son centre. Il montre que la caustique réfractée est une autre spirale logarithmique, isométrique à la première.

L'auteur se pose le problème inverse. Une caustique et un foyer étant donnés, trouver les courbes réfractantes possibles. À cette occasion, il est amené à chercher le lieu des points M tels que nBM = mKM, B, K, n et m étant donnés, et prouve qu'il s'agit d'un cercle.

Dans le cas où la caustique réfractante se réduit à un point, les courbes réfléchissantes cherchées sont les ovales de Descartes.

L'objet de la section est de déterminer l'enveloppe d'une famille de courbe. Aucune théorie générale n'est donnée et seuls des exemples sont traités. La démarche générale consiste à déterminer le point général de cette enveloppe comme intersection de deux courbes infiniment proches de la famille. Dans la prop. 4 de cette section, l'auteur note en particulier que l'enveloppe des normales à une courbe n'est autre que sa développée.

Enveloppe d'une famille de paraboles

La prop. 1 traite le cas d'une famille de paraboles passant par un point donné et dont les sommets appartiennent à une courbe donnée. L'auteur considère plus particulièrement le cas où la courbe donnée est une demi-ellipse d'équation ${\displaystyle x^{2}=4ay-y^{2}}$ (en bleu sur la figure ci-contre). En effet, dans ce cas, les paraboles sont les trajectoires d'un projectile lancé avec une vitesse donnée. L'enveloppe des paraboles consiste alors en la parabole de sûreté au-delà de laquelle il est impossible d'atteindre une cible.

La prop. 2 recherche l'enveloppe d'une famille de cercles centrés sur l'axe des abscisses, et dont les rayons varient continûment suivant une loi donnée.

Enveloppe d'une famille de droites, donnant une astroïde

La prop. 3 détermine l'enveloppe d'une famille de droites données par leur intersection M et N avec les deux axes. Le cas particulier où MN est une longueur constante donne pour enveloppe une astroïde. Son équation algébrique est donnée par l'auteur, ainsi que sa longueur et la longueur d'une de ses développante.

Plus généralement, la prop. 5 traite le cas d'une famille de droites dont les intersections M et N avec deux courbes données gardent une distance MN constante.

La prop. 6 traite le cas d'une famille de droites données par deux points M et N définis de la façon suivante : un point L parcourt une première courbe donnée ; de L sont issues les tangentes à deux autres courbes données, les points de contact de ces deux tangentes étant M et N.

La prop. 1 consiste à déterminer la valeur à attribuer à une quantité y dépendant d'une variable x pour la valeur a de cette variable, lorsque y s'écrit comme une fraction dont le numérateur et le dénominateur s'annulent tous deux en a. Pour cela, on calcule la différence du numérateur et la différence du dénominateur en a et on fait le quotient des résultats obtenus. En effet, si y = P(x)/Q(x), alors, pour x infiniment proche de a, P(x) peut être remplacé par dP(x) ou dP(a), et de même pour le dénominateur. En notation moderne, cette proposition est devenue la règle de L'Hôpital. Varignon, dans ses Éclaircissements sur l'Analyse des Infiniment Petits (1725), propose d'itérer le procédé au cas où dP et dQ s'annulent en a. L'auteur donne pour exemple :

${\displaystyle y={\frac {{\sqrt {2a^{3}x-x^{4}}}-a{\sqrt[{3}]{a^{2}x}}}{a-{\sqrt[{4}]{ax^{3}}}}}}$

On a ${\displaystyle dP={\frac {a^{3}\,dx-2x^{3}\,dx}{\sqrt {2a^{3}x-x^{4}}}}-{\frac {a^{2}\,dx}{3{\sqrt[{3}]{ax^{2}}}}}}$ qui vaut ${\displaystyle -{\frac {4}{3}}a\,dx}$ en a, et ${\displaystyle dQ=-{\frac {3a\,dx}{4{\sqrt[{4}]{a^{3}x}}}}}$ qui vaut ${\displaystyle -{\frac {3}{4}}dx}$ en a. Donc le y cherché vaut ${\displaystyle {\frac {16a}{9}}}$.

Les quatre autres propositions de la section traitent d'un certain nombre de problèmes sur les cycloïdes, épicycloïdes et hypocycloïdes (tangente, normale, centre de courbure, aire).

La méthode évoquée est celle relative à la recherche d'une racine double à une équation du type (en notation moderne) :

${\displaystyle a_{0}+a_{1}x+a_{2}x^{2}+...=0}$

Elle consiste à écrire une nouvelle équation obtenue en multipliant les coefficients de la première équation par une suite arithmétique quelconque, par exemple, m étant un entier quelconque :

${\displaystyle ma_{0}+(m+1)a_{1}x+(m+2)a_{2}x^{2}+...=0}$

et à chercher une racine commune aux deux équations. Pour une racine triple, on forme une troisième équation en opérant de même sur la deuxième équation. Au sens moderne, cela revient à dire qu'un polynôme admet une racine double s'il s'annule, ainsi que sa dérivée (éventuellement après multiplication par x^m) au point cherché.

L'auteur applique cette méthode sur plusieurs problèmes consistant à obtenir un point multiple solution.

La prop.1 traite ainsi de la recherche de maximum. Étant donné une expression algébrique en x et en y, la valeur maximale de y est trouvée en cherchant pour quel y on obtient une racine double en x. En effet, cela signifie que la droite parallèle à l'axe des abscisses et d'ordonnée y aura un point double avec la courbe et en sera donc tangente. L'auteur traite le cas du folium de Descartes d'équation ${\displaystyle x^{3}-axy+y^{3}=0}$. Il multiplie les coefficients de l'équation respectivement par 3, 2, 1, 0 et obtient ${\displaystyle 3x^{3}-axy=0}$ donc ${\displaystyle y={\tfrac {3x^{2}}{a}}}$ qu'on reporte dans l'équation initiale, ce qui donne ${\displaystyle x={\tfrac {{\sqrt[{3}]{2}}a}{3}}}$ et ${\displaystyle y={\tfrac {{\sqrt[{3}]{4}}a}{3}}}$. En prenant la progression 2, 1, 0, -1, on aurait obtenu ${\displaystyle 2x^{3}-y^{3}=0}$ et donc ${\displaystyle y={\sqrt[{3}]{2}}x}$, et en prenant 0, -1, -2, -3, on obtient ${\displaystyle 2axy-3y^{3}=0}$ soit ${\displaystyle x={\tfrac {3y^{2}}{2a}}}$.

La prop.2 détermine la tangente à une courbe passant par un point donné en cherchant la droite passant par ce point et dont l'intersection avec la courbe donne un point double. Par exemple, pour chercher la tangente à la parabole d'équation ${\displaystyle ax=y^{2}}$ passant par le point (0, t), l'auteur prend la droite d'équation ${\displaystyle x={\tfrac {s}{t}}(y-t)}$ ce qui donne l'équation suivante, où s, x et y sont inconnues :

${\displaystyle ty^{2}-asy+ast=0}$

Il multiplie les coefficients par 1, 0, -1 pour obtenir ${\displaystyle y^{2}=as}$ et donc x = s, y = 2t et s = 4t²/a.

La prop.3 recherche un point d'inflexion à une courbe en cherchant la droite coupant cette courbe en un point triple. Par exemple, pour la courbe ${\displaystyle ay^{2}=xy^{2}+a^{2}x}$, l'auteur prend la droite d'équation ${\displaystyle x={\tfrac {s}{t}}(y-t)}$ (s et t inconnus) ce qui lui donne une première équation :

${\displaystyle sy^{3}-(s^{2}+at)y^{2}+a^{2}sy-a^{2}st=0}$

Il multiplie les coefficients de cette équation par 1, 0, -1, -2, ce qui lui donne une deuxième équation :

${\displaystyle sy^{3}-a^{2}sy+2a^{2}st=0}$

puis il multiplie les coefficients de cette dernière par 3, 2, 1, 0 pour obtenir une troisième équation :

${\displaystyle 3sy^{3}-a^{2}sy=0}$

d'où les solutions ${\displaystyle y^{2}={\frac {a^{2}}{3}}}$, ${\displaystyle x={\frac {a}{4}}}$, ${\displaystyle t={\frac {a}{3{\sqrt {3}}}}}$ et ${\displaystyle s={\frac {a}{8}}}$.

La prop.4 recherche la normale à une courbe passant par un point C donné extérieur à la courbe en cherchant le cercle de centre C ayant un point d'intersection double avec la courbe. Ce point est appelé point touchant.

La prop.5 recherche le cercle osculateur en un point donné de la courbe en cherchant le cercle ayant une intersection triple au point considéré. Ce point est appelé point baisant.

La méthode consistant à chercher des racines doubles est également appliquée à un problème de caustique (prop.6) ou d'enveloppe de paraboles (prop.7).

L'auteur souligne que ces méthodes sont moins performantes que celles exposées dans les sections précédentes, ces dernières s'appliquant non seulement à des expressions algébriques, mais également transcendantes. À