QUESTIONS RÉSOLUES.
Recherches sur le premier des deux problèmes de
géométrie proposés à la page 36 de ce volume ;
Par un Abonné.
≈≈≈≈≈≈≈≈≈
Avant de nous occuper de la solution de ce problème, nous
en généraliserons un peu l’énoncé, en le présentant ainsi qu’il suit :
PROBLÈME. Quelle est la courbe enveloppe de l’espace parcouru par une droite mobile, de grandeur invariable, constamment inscrite à une courbe plane donnée ? Quel est le lieu du sommet de l’angle mobile et variable, circonscrit à la même courbe, dont cette droite est la corde de contact ?
La difficulté du problème réside essentiellement dans sa première
partie ; mais, bien qu’elle ne soit au fond qu’une pure difficulté de
calcul, elle n’en paraît pas moins d’une nature assez grave ; et c’est
peut-être cela seulement qui donne au problème quelque degré
d’intérêt ; c’est une sorte d’énigme dont l’énoncé est très-court et très-clair ; mais dont le mot n’en est guère, pour cela, plus facile à
découvrir. Nous allons essayer d’en pousser d’abord la solution aussi
loin qu’elle puisse aller sans rien statuer sur la nature de la courbe
donnée ; nous appliquerons ensuite nos formules générales au
problème particulier qui avait été proposé. Nous nous attacherons principalement à donner à nos calculs et à leurs résultats une symétrie
trop souvent négligée, et faute de laquelle le calculateur se décourage aisément, parce que ses formules ne lui offrent aucun moyen
de reconnaître les méprises qu’il a pu commettre.
Solution. Supposons que la courbe donnée, rapportée à deux
axes rectangulaires quelconques, ait pour équation
![{\displaystyle \operatorname {f} (x,y)=Z=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/07a662ed3e4a33f52aa81bfa9ed320980190c75e)
(1)
et soit
la longueur de la corde mobile donnée.
Faisons, pour abréger, les coefficiens différentiels partiels
![{\displaystyle \left({\frac {\operatorname {d} Z}{\operatorname {d} x}}\right)=X,\qquad \left({\frac {\operatorname {d} Z}{\operatorname {d} y}}\right)=Y\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/39027f906f1262769135e44610be07ce5b48afc2)
(2)
de manière que l’équation différentielle de la courbe soit
![{\displaystyle X\operatorname {d} x+Y\operatorname {d} y=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a9d9e2e7b54bd29c0f791135e3b2254089fe7b9)
(3)
Considérons la corde
dans une situation déterminée quelconque.
Soient alors
ses deux extrémités, nous aurons
![{\displaystyle (x'-x'')^{2}+(y'-y'')^{2}=4c^{2}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/baa28ddddca3fde0ecb190c9d1a5a56702e46418)
(I)
et, en différentiant,
![{\displaystyle (x'-x'')(\operatorname {d} x'-\operatorname {d} x'')+(y'-y'')(\operatorname {d} y'-\operatorname {d} y'')=0.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b87f5f5ce41580bd9941e2b939bbae137d06cf57)
(4)
De plus, puisque cette corde est constamment inscrite à la courbe nous devrons avoir
![{\displaystyle \operatorname {f} (x',y')=0,\qquad \operatorname {f} (x'',y'')=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dfef6c1c5a77a6763184f66a013ecf9c2c7f580)
c’est-à-dire, pour abréger,
![{\displaystyle Z'=0,\qquad {\text{(II)}}\qquad Z''=0\,;\qquad {\text{(III)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b42ce9bd1734c84f8c37f39fa8fe71317dc8c69)
et par suite
![{\displaystyle X'\operatorname {d} x'+Y'\operatorname {d} y'=0,\qquad X''\operatorname {d} x''+Y''\operatorname {d} y''=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6002d49f9194694de88f66de6c61c4ec3140dee)
(5)
Présentement, l’équation de la corde
considérée comme droite
indéfinie, passant par les deux points
est
![{\displaystyle (y'-y'')x-(x'-x'')y+(x'y''-y'x'')=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f6f68b3e7d28d3fab845dd1d8f874b6be631444)
(IV)
dans laquelle les quatre paramètres
n’équivalent
proprement qu’à un seul, puisqu’ils se trouvent liés par les trois
relations (I, II, III). La différentielle de cette dernière équation
est d’ailleurs, en considérant à la fois
comme
variables, et
comme constans,
![{\displaystyle (x-x'')\operatorname {d} y'-(x-x')\operatorname {d} y''=(y-y'')\operatorname {d} x'-(y-y')\operatorname {d} x''.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9446e4be2f978ef54061047dce1ca1429cd0401c)
(6)
Suivant donc la théorie des enveloppes (exposée à la page 361
du III.me volume de ce recueil), l’équation de la courbe demandée
sera le résultat de l’élimination de
entre les quatre équations (I, II, III, IV) et leurs
différentielles ; c’est-à-dire, entre les huit équations (I, II, III, IV,
4, 5, 6). À la vérité, elles ne sont qu’en nombre égal à celui
des quantités à éliminer ; mais on doit remarquer que les quantités
qui n’entrent qu’au premier degré dans les
équations qui les renferment, se trouvent en affecter tous les termes ;
de sorte que l’élimination de trois quelconques d’entre elles entraîne
d’elle-même celle de la quatrième ; on obtiendra donc ainsi une équation finale en
qui, jointe aux quatre
équations (I, II, III, IV), suffira pour éliminer ces quatre coordonnées ; et leur élimination conduira à une équation en
qui sera l’équation demandée.
Procédons donc à l’élimination de
En
substituant, dans les équations (4, 6), les valeurs de
tirées
des équations (5), elles deviendront
![{\displaystyle {\begin{aligned}&Y''\left\{Y'(x'-x'')-X'(y'-y'')\right\}\operatorname {d} x'=Y'\left\{Y''(x'-x'')-X''(y'-y'')\right\}\operatorname {d} x'',\\&Y''\left\{X'(x\ -x'')+Y'(y\ -y'')\right\}\operatorname {d} x'\,=Y\ \left\{X''(x\ -x'\,)+Y''(y\ \ -y')\right\}\operatorname {d} x''\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ba56b9814123c5d49e4a945859b1b81791d9ab0)
lesquelles, étant multipliées en croix, donneront, en réduisant,
![{\displaystyle {\begin{aligned}&\left\{Y'\,(x'-x'')-X'\,(y'-y'')\right\}\left\{X''(x-x')+Y''(y-y')\right\}\\=&\left\{Y''(x'-x'')-X''(y'-y'')\right\}\left\{X'(x-x'')+Y'(y-y'')\right\}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/921c51f8e6c8870f4102d7eba124e873c0843063)
(V)
et telle est la dernière des cinq équations du problème, entre
lesquelles il faudra éliminer les quatre quantités
pour parvenir à l’équation de la courbe demandée.
La manière la plus commode d’employer ces équations sera d’éliminer d’abord entre elles
il est aisé de comprendre que,
dans les trois équations résultantes,
entreront symétriquement ; de sorte qu’en posant
on pourra les faire disparaître, et réduire ainsi le calcul à l’élimination de
entre les trois équations résultantes.
Comme on passe très-facilement de l’ellipse à l’hyperbole et à la
parabole, il nous suffira de considérer la première de ces trois
courbes. Soit donc son équation
![{\displaystyle b^{2}x^{2}+a^{2}y^{2}-a^{2}b^{2}=Z=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29a0e1d004875ce6a75726e03de726433cd56d5a)
d’où
![{\displaystyle X=2b^{2}x,\qquad Y=2a^{2}y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2340f1a1addcb7dd4921269165a0555eff7192d2)
on trouvera, d’après cela, pour les cinq équations du problème,
![{\displaystyle {\begin{array}{cr}(x'-x'')^{2}+(y'-y'')^{2}=4c^{2},&{\text{(I)}}\\\\b^{2}x'^{2}+a^{2}y'^{2}=a^{2}b^{2},&{\text{(II)}}\\\\b^{2}x''^{2}+a^{2}y''^{2}=a^{2}b^{2},&{\text{(III)}}\\\\(y'-y'')x-(x'-x'')y+(x'y''-y'x'')=0&{\text{(IV)}}\\\\\left.{\begin{array}{cr}a^{2}b^{2}(x'y''-y'x'')\left\{(x'-x'')x+(y'-y'')y\right\}&\\\\+(a^{2}-b^{2})(x'-x'')(y'-y'')(b^{2}x'x''+a^{2}y'y'')=0.&\end{array}}\right.&{\text{(V}})\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86c8af3056966d41b713de1f0ca184cc44d110a8)
L’élimination entre ces équations ne pouvant être que très-laborieuse, nous passerons de suite au cas du cercle, pour lequel on
doit avoir
les équations sont alors
![{\displaystyle {\begin{array}{cr}(x'-x'')^{2}+(y'-y'')^{2}=4c^{2},&{\text{(I)}}\\\\x'^{2}+y'^{2}=r^{2},\qquad {\text{(II)}}\qquad x''^{2}+y''^{2}=r^{2}&{\text{(III)}}\\\\(y'-y'')x-(x'-x'')y+(x'y''-y'x'')=0,&{\text{(IV)}}\\\\(x'y''-y'x'')\left\{(x'-x'')x+(y'-y'')y\right\}=0,&{\text{(V)}}\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edb6fe2fd0792f6b6b4f2c606dfa7de6ca00ef15)
En égalant le premier facteur de la dernière équation à zéro, on aurait
![{\displaystyle {\frac {y'}{x'}}={\frac {y''}{x''}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e981e8cdb902f61f60865322eeb8842a45d3ee4)
équation qui, combinée avec les équations (II, III), donnerait
d’où
ou
la courbe cherchée
serait la courbe donnée elle-même, dans le premier cas, et dans
le second, elle se réduirait à un point placé à l’origine : ce ne sont
donc ici que des solutions particulières, de la nature de celles qui
ont été signalées, par M. Poncelet, à la page 229 du présent volume.
Rejetant donc ce premier facteur, l’équation (V) deviendra
![{\displaystyle (x'-x'')x+(y'-y'')y=0\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/52aff25edd3cea5cbd0b4cc47cdb97a8b9d830ef)
(V)
cette équation, combinée avec l’équation (IV), donnera
![{\displaystyle y'={\frac {x^{2}+y^{2}-xx'}{y}},\qquad y''={\frac {x^{2}+y^{2}-xx''}{y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdb2d82f570ee291d1663ac0154c044c339c33c)
substituant ces valeurs dans les trois premières équations, elles deviendront
![{\displaystyle {\begin{aligned}\left(x^{2}+y^{2}\right)(x'-x'')^{2}=&4c^{2}y^{2},\\\left(x^{2}+y^{2}\right)(x\ -x'\,)^{2}=&y^{2}\left(r^{2}-x^{2}-y^{2}\right),\\\left(x^{2}+y^{2}\right)(x\,-x'')^{2}=&y^{2}\left(r^{2}-x^{2}-y^{2}\right)\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449d6294018217808582acc9629e7e6e5033f8b2)
des deux dernières on tire
![{\displaystyle x'=x\pm y{\sqrt {\frac {r^{2}-x^{2}-y^{2}}{x^{2}+y^{2}}}},\qquad x''=x\mp y{\sqrt {\frac {r^{2}-x^{2}-y^{2}}{x^{2}+y^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd2658ac7384f2561bfb255a2ca8fc527643444c)
c’est-à-dire que
sont racines d’une même équation du second
degré. On a, d’après cela,
![{\displaystyle x'-x''=\pm 2y{\sqrt {\frac {r^{2}-x^{2}-y^{2}}{x^{2}+y^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10c0905c4b26bd45e991fe98ae95d08a14a2be0f)
et en quarrant
![{\displaystyle (x'-x'')^{2}=4y^{2}.{\frac {r^{2}-x^{2}-y^{2}}{x^{2}+y^{2}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3478de71596b946d53c45de031a4bb58fc3ac142)
mettant cette valeur dans la première équation, elle deviendra
![{\displaystyle x^{2}+y^{2}=r^{2}-c^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1128068b7d8613093df18a6e34dbb34a9ccb859f)
qui est, en effet, la véritable solution du problème.
Pour deuxième exemple, prenons l’hyperbole équilatère ayant
pour équation
![{\displaystyle 2xy-a^{2}=Z=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/821fe32610ac4c641121a5c41999b2e30af18565)
qui donne
![{\displaystyle X=\left({\frac {\operatorname {d} Z}{\operatorname {d} x}}\right)=2y,\qquad Y=\left({\frac {\operatorname {d} Z}{\operatorname {d} y}}\right)=2x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/154bc8499c18ba254a09ca58f7f30f38f9a8b6d5)
Les équations du problème seront
![{\displaystyle {\begin{array}{cr}(x'-x'')^{2}+(y'-y'')^{2}=4c^{2},&{\text{(I)}}\\\\2x'y'=a^{2},\qquad {\text{(II)}}\qquad 2x''y''=a^{2}&{\text{(III)}}\\\\(y'-y'')x-(x'-x'')y+(x'y''-y'x'')=0,&{\text{(IV)}}\\\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2147491ddf8251b33d0a567506e742e2dc6ccc00)
![{\displaystyle (x'y''-x''y')\left[(x'-x'')x+(y'-y'')y\right]=(x'y''+x''y')\left[(x'-x'')^{2}-(y'-y'')^{2}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fde83c56835662191851f1b6e257be81af45ccbd)
(V)
Si, au moyen des équations (II, III), on chasse
des trois autres, elles deviendront,
![{\displaystyle {\begin{array}{cr}(x'-x'')^{2}\left(4x'^{2}x''^{2}+a^{4}\right)=16c^{2}x'^{2}x''^{2},&{\text{(VI)}}\\\\2yx'x''+a^{2}x=a^{2}(x'+x''),&{\text{(VII)}}\\\\2x'x''(x'+x'')(2xx'x''-a^{2}y)=(x'^{2}+x''^{2})(4x'^{2}x''-a^{4}).&{\text{(VIII)}}\\\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff08ef9128b083f1efeb10123eda397307025682)
Posant alors
![{\displaystyle x'+x''=t,\qquad x'y'=u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc8a0a5189fa8507121168258ca786ce88f78749)
d’où
![{\displaystyle x'^{2}+x''^{2}=t^{2}-2u,\qquad (x'-x'')^{2}=t^{2}-4u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0baa01d9c8f2fc90c9ea1a0a102fb22570f10ce1)
il viendra, en substituant
![{\displaystyle (t^{2}-4u)(4u^{2}+a^{4})=16c^{2}u^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fc64bb57181362d8248a3d2278f6405d7b7ff46)
![{\displaystyle 2yu+a^{2}x=a^{2}t,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/333c20ddabbfa27a50a19e1d1bb1ce70d832b43c)
![{\displaystyle 2tu(2xu-ay)=\left(t^{2}-2u\right)\left(4u^{2}-a^{4}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1d8545bdebfa3214e63f1b963c1fa941fcbda4c)
et la question sera réduite à éliminer
et
entre ces trois équations.
Tirant donc de la seconde valeur de
pour la substituer dans les deux autres, elles deviendront
![{\displaystyle 16y^{2}u^{4}+16a^{2}\left(xy-a^{2}\right)u^{3}+4a^{4}\left(x^{2}+y^{2}-4c^{2}\right)u+4a^{6}\left(xy-a^{2}\right)u+a^{8}x^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81fbcd5e99ddf18fe109b7b047cbf5539b928230)
![{\displaystyle 16y^{2}u^{4}+8a^{2}\left(xy-a^{2}\right)u^{3}-2a^{6}\left(xy-a^{2}\right)u-a^{8}x^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd86c040f7a6b22804ffbfef0559799a8317b5f7)
mettant, pour abréger,
pour
elles se changeront en celles-ci
![{\displaystyle y^{2}v^{4}+2\left(xy-a^{2}\right)v^{3}+\left(x^{2}+y^{2}-4c^{2}\right)v^{2}+2\left(xy-a^{2}\right)v+x^{2}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7faa96a966b820ffda1c68c29412227ad42137f7)
![{\displaystyle y^{2}v^{4}+\left(xy-a^{2}\right)v^{3}-\left(xy-a^{2}\right)v-x^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bec198662fe65bdd29c9d88de6b9287c2815938)
Faisant encore, pour abréger,
![{\displaystyle {\begin{aligned}x^{2}=g,&\qquad x^{2}+y^{2}-4c^{2}=k,\\y^{2}=h,&\qquad xy-a^{2}=f\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb822d2708e446db503952699fea7aec687b34cf)
elles deviendront
![{\displaystyle {\begin{aligned}&hv^{4}+2fv^{3}+kv^{2}+2fv+g=0,\\&hv^{4}+\ \,fv^{3}\qquad \ \ \ -\ \ fv-g=0\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e90c264704cff40a01ffbd2523464feaa3b8903)
éliminant, au moyen des multiplications successives, méthode
préférable à toutes les autres, comme la plus simple et la plus
symétrique, il viendra
![{\displaystyle f^{2}\left\{(6g-k)\left(4gh-f^{2}\right)-(6h-k)\left(2gk-3f^{2}\right)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c251717805c2ee4d25cc4297e3a34b94ccf54c64)
![{\displaystyle \left\{(6h-k)\left(4gh-f^{2}\right)-(6g-k)\left(2hk-3f^{2}\right)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/855da7fbd5ac95ffa244859d66bd159e91207243)
![{\displaystyle =\left\{\left(4gh-f^{2}\right)^{2}-\left(2gk-3f^{2}\right)\left(2hk-3f^{2}\right)\right\}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6094b0fb5e1efbb8a902815469a754351c1a6e9d)
en remettant pour
les fonctions de
et
que ces lettres représentent, on obtiendrait l’équation de la courbe cherchée ; mais on voit que, sauf les réductions, cette équation serait du 16.me degré. Il est sans doute fort probable que cette équation se trouverait compliquée de facteurs étrangers ; mais on conçoit que ces facteurs ne seraient point aisés à découvrir.
En conséquence, nous nous bornerons au seul cas où l’hyperbole
équilatère dégénère en deux droites perpendiculaires l’une à l’autre ;
on a dans ce cas
et les deux équations du 4.me degré en
prennent cette forme
![{\displaystyle \left(1+v^{2}\right)(yv+x)^{2}=4c^{2}v^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c58a6bfe39574f9b4aa8f4658c1712198117d628)
![{\displaystyle \left(yv^{3}-x\right)(yv+x)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76e3dff2018e7084d6be8568faa2490d3eb477f9)
Si, dans la dernière, on posait
la première donnerait
d’où résulterait
équation de l’axe des
il faut donc
poser
![{\displaystyle yv^{3}-x=0,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/74e82fda448d00debabddd2a24a422bcd4dc99bd)
d’où
![{\displaystyle \qquad v={\sqrt[{3}]{\frac {x}{y}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2082fcea7f06e9b88a467f96fc7b7cb9441c8ad9)
valeur qui, substituée dans la première, donne
![{\displaystyle \left({\frac {x}{2c}}\right)^{\frac {2}{3}}+\left({\frac {y}{2c}}\right)^{\frac {2}{3}}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35778f4fc25099026981214c3d6aaa87119ee2f7)
On voit, par la complication de cette équation, quelle aurait dû
être celle de l’équation qui aurait répondu au cas général.
Pour dernier exemple, nous prendrons la parabole ayant pour équation
![{\displaystyle y^{2}-2px=Z=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4d540c92ef5fc70803d6f33cbfe043cba8c0bcb)
nous aurons ainsi
![{\displaystyle X=\left({\frac {\operatorname {d} Z}{\operatorname {d} x}}\right)=-2p,\qquad Y=\left({\frac {\operatorname {d} Z}{\operatorname {d} y}}\right)=2y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd4c1444032e07cf263f0f8b0fb5f31e6709e651)
en conséquence, les équations du problème seront
![{\displaystyle {\begin{array}{cr}(x'-x'')^{2}+(y'-y'')^{2}=4c^{2},&{\text{(I)}}\\y'^{2}=2px',\qquad {\text{(II)}}\qquad y''^{2}=2px''&{\text{(III)}}\\(y'-y'')x-(x'-x'')y+(x'y''-x''y')=0,&{\text{(IV)}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/957b15ceda4ff5a23c37f266448d7389444b9158)
![{\displaystyle \left(p^{2}a-y'y''\right)(x'-x'')+p(x'-x'')(x'y'-x''y'')=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef044d8a9088c00e9086dc4165a5107da33b1228)
![{\displaystyle p(y'-y'')\left[(x'-x'')x+(y'-y'')y\right].\quad \mathrm {(V)} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b7812450b73f82c9bb506004fb562efa7946fab)
Si, au moyen des équations (II, III), on élimine
et
des trois autres, elles deviendront
![{\displaystyle (y'-y'')^{2}\left[4p^{2}+(y'+y'')^{2}\right]=16c^{2}p^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/359374d651788faa40e44dc85fd75802f339521b)
![{\displaystyle y'y''-y(y'+y'')+2px=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37ae33a5de74399523df8341ceb1644cabe37bdf)
![{\displaystyle (y'+y'')\left\{y'^{2}-y'y''+y''^{2}+2p(p-x)\right\}=8p^{2}y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9f2291eb32acd7b404ee9222fced154a91b9356)
posant
![{\displaystyle y'+y''=t,\qquad y'y''=u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01dd7040f0179ce5d522b2d2b83c689d427caee9)
d’où
![{\displaystyle (y'-y'')^{2}=t^{2}-4u,\qquad y'^{2}-y'y''+y''^{2}=t^{2}-3u\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba44181887b46fd00d2eae4c066c641b1294552a)
on aura ainsi, en substituant
![{\displaystyle \left(t^{2}-4u\right)\left(t^{2}+4p^{2}\right)=16c^{2}p^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/826b3f281255ce3b0dbcc73db82fb8c72f170d29)
![{\displaystyle u-yt+2px=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a82830334ae99f847be11a305dc1dfa11a4c4f47)
![{\displaystyle t\left[t^{2}-3u+2p(p-x)\right]=8p^{2}y\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0678f6abacf329ef6fabc9bb14e11173b4ded62)
mettant dans la première et la troisième la valeur de
tirée de la seconde, il viendra
![{\displaystyle t^{4}-4yt^{3}+4p(2x+p)t^{2}-16p^{2}yt+16p^{2}\left(2px-c^{2}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf06c3bc429e2bb6c3f32177ddc7530868d30db)
![{\displaystyle t^{3}-3yt^{2}+2p(2x+p)t-8p^{2}y=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1e9dd493038e74c34bcbe676fa77cd2baf75044)
équations entre lesquelles il n’est plus question que d’éliminer
mais il est aisé de voir que l’équation finale pourra monter au 8.me degré.
Cependant, comme la courbe ne peut être, dans le cas présent ;
que d’une nature très-simple, on doit croire que cette équation finale contiendra quelque facteur étranger, appartenant à une ou
plusieurs solutions particulières du problème ; et l’on voit ici l’inconvénient de nos procédés d’élimination qu’a signalé ailleurs M. Poncelet. (Voyez la page 230 de ce volume).
Il ne paraît pas qu’on puisse éluder ces difficultés, tant que
l’on conservera le même mode d’opérer ; mais on peut tenter d’autres
voies pour parvenir au but. Reprenons l’équation de l’ellipse
![{\displaystyle \left({\frac {x}{a}}\right)^{2}+\left({\frac {y}{b}}\right)^{2}=1\,;\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc470d0a4db8a29ea4c6a2a5c83e5feee6feebc1)
(1)
soit
![{\displaystyle {\frac {x}{A}}+{\frac {y}{B}}=1,\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b4896e079da3225666c5954bae8eecc130fea6c)
(2)
l’équation d’une droite indéterminée ; en la combinant avec la première, on trouvera pour les coordonnées de leurs intersections
![{\displaystyle {\begin{aligned}&x=aA.{\frac {aB^{2}\pm b{\sqrt {a^{2}B^{2}+b^{2}A^{2}-A^{2}B^{2}}}}{a^{2}B^{2}+b^{2}A^{2}}},\\&y=bB.{\frac {bA^{2}\mp a{\sqrt {a^{2}B^{2}+b^{2}A^{2}-A^{2}B^{2}}}}{a^{2}B^{2}+b^{2}A^{2}}}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9bc448f2efc5d58cd8d825b0dc69fdaed2f16fb)
en exprimant donc que la corde interceptée est égale à
on aura l’équation de relation
![{\displaystyle a^{2}b^{2}\left(A^{2}+B^{2}\right)\left(a^{2}B^{2}+b^{2}A^{2}-A^{2}B^{2}\right)=c^{2}\left(a^{2}B^{2}+b^{2}A^{2}\right)^{2},\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/df33b42a1ebb162ba2e79df5ca1f910daf6f151a)
(3)
au moyen de laquelle l’équation (2) deviendra celle d’une tangente
à la courbe cherchée. Mais l’équation d’une tangente à une courbe,
en un point
est, comme l’on sait,
![{\displaystyle (y-y')\operatorname {d} x'-(x-x')\operatorname {d} y'=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c16e33237e3b0950422f51a9a76d6956545fbadf)
ou
![{\displaystyle {\frac {y}{\frac {y'\operatorname {d} x'-x'\operatorname {d} y'}{\operatorname {d} x'}}}-{\frac {x}{\frac {y'\operatorname {d} x'-x'\operatorname {d} y'}{\operatorname {d} y'}}}=1\,;\qquad (4)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb72302b5e413f527d4205c716784c4b2f2305df)
en exprimant donc que cette équation est identique avec l’équation (2), il viendra
![{\displaystyle A=-{\frac {y'\operatorname {d} x'-x'\operatorname {d} y'}{\operatorname {d} y'}},\qquad B=+{\frac {y'\operatorname {d} x'-x'\operatorname {d} y'}{\operatorname {d} x'}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/960756f48af7357830eb2b85abd64c68463e496a)
substituant ces valeurs dans l’équation (3), en supprimant les accents
devenus désormais inutiles, on aura, pour l’équation différentielle
de la courbe cherchée, en supprimant toutefois le facteur
évidemment superflu,
![{\displaystyle a^{2}b^{2}\left(\operatorname {d} x^{2}+\operatorname {d} y^{2}\right)\left\{\left(a^{2}\operatorname {d} y^{2}+b^{2}\operatorname {d} x^{2}\right)-(y\operatorname {d} x-x\operatorname {d} y)^{2}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7593ab444d730072c1ecfc86b233e97574da51d)
![{\displaystyle =c^{2}\left(a^{2}\operatorname {d} y^{2}+b^{2}\operatorname {d} x^{2}\right)^{2}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a80b97375aa1ba21b6a7e8307adc0602320bec7)
(5)
Il s’agirait présentement de savoir quel est le plus facile de l’intégration de cette équation ou de l’élimination à laquelle nous avions d’abord réduit le problème.
Mais, de tous les moyens de parvenir au but, le plus brief,
s’il n’était en même temps le plus difficile, serait, sans contredit,
de deviner, d’après les conditions du problème, la nature de la
courbe cherchée, de former une équation hypothétique de cette
courbe, dans laquelle on introduirait des coefficiens indéterminés,
et d’assigner ensuite les valeurs de ces coefficiens par la considération
de divers cas particuliers.
Dans le cas où, par exemple, au lieu d’une courbe donnée, on
a deux droites perpendiculaires entre elles ; en considérant, 1.o que
ces deux droites doivent être des diamètres principaux de la courbe
cherchée ; 2.o qu’aux valeurs
doivent répondre respectivement
ou
on est conduit à soupçonner que l’équation de cette courbe pourrait bien
être de la forme
![{\displaystyle \left({\frac {x^{2}}{4c^{2}}}\right)^{m}+\left({\frac {y^{2}}{4c^{2}}}\right)^{m}=1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaf476e5c0a9e9e5dcf8af665d6cb84cbc7e76b7)
si l’on remarque ensuite que, pour les valeurs égales de
et de
on doit avoir
d’où
et
on aura
![{\displaystyle 2\left({\frac {1}{8}}\right)^{m}=1,\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbb3f76a21355e0f41a797add739e4078263963d)
ou
![{\displaystyle \quad \left({\frac {1}{8}}\right)^{m}={\frac {1}{2}},\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4051ebc9dfd88ca5cdc8ddb8b9c2e6ad9d8b604)
d’où
![{\displaystyle \qquad m={\frac {1}{3}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4c9299fbd54fad4904eaf9baac5d4070643e573)
ce qui donne, comme nous l’avons déjà trouvé,
![{\displaystyle \left({\frac {x}{2c}}\right)^{\frac {2}{3}}+\left({\frac {y}{2c}}\right)^{\frac {2}{3}}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35778f4fc25099026981214c3d6aaa87119ee2f7)
Voilà ce qu’il s’agirait de faire pour l’ellipse, à moins que quelqu’un n’imagine une voie plus commode encore pour parvenir au but.