MÉTHODE GÉNÉRALE
POUR INTÉGRER
LES ÉQUATIONS AUX DIFFÉRENCES PARTIELLES
DU PREMIER ORDRE,
LORSQUE CES DIFFÉRENCES NE SONT QUE LINÉAIRES.
(Nouveaux Mémoires de l’Académie royale des Sciences et Belles-Lettres
de Berlin, année 1785.)
Si la naissance du Calcul intégral appartient au siècle dernier, il y a une branche importante de ce Calcul qui n’a été inventée qu’au milieu de celui-ci ; c’est celle qui concerne les équations aux différences partielles, c’est-à-dire ces équations qui contiennent les différentielles d’une fonction de plusieurs variables, prises relativement à chacune de ces variables en particulier.
Tous les Problèmes de Géométrie où l’on considère des surfaces, et tous ceux de Mécanique où l’on considère des corps ou flexibles ou fluides, dépendent de la Théorie de ces équations. Les solutions qu’on peut trouver indépendamment de cette Théorie sont nécessairement incomplètes ou hypothétiques ; et, si l’on est souvent obligé de se contenter de ces solutions limitées, c’est faute de pouvoir intégrer les équations aux différences partielles dans lesquelles les solutions rigoureuses et générales sont renfermées.
La plupart des recherches analytiques qu’on a faites depuis vingt ans ont eu pour objet l’intégration de ce genre d’équations ; et elles ont produit différentes méthodes plus ou moins générales et plus ou moins utiles. Une des plus étendues et des plus simples tout à la fois est, je crois, celle que j’ai donnée dans les Mémoires de l’Académie pour l’année 1779[1], et qui apprend à intégrer toutes les équations aux différences partielles du premier ordre, dans lesquelles ces différences ne paraissent que sous la forme linéaire. Mais, comme cette méthode n’y est exposée qu’en passant et presque sans démonstration, j’ai cru qu’il serait avantageux aux progrès du Calcul intégral de la présenter de nouveau de la manière la plus directe et avec toute la généralité dont elle est susceptible. C’est l’objet de ce Mémoire, qui contiendra aussi de nouvelles recherches sur le Problème des trajectoires.
1. On appelle différences partielles celles qui résultent de la différentiation d’une fonction de plusieurs variables, en y faisant varier chacune des variables à part. Ainsi, regardant
comme une fonction des variables
la différentielle complète
sera de la forme
![{\displaystyle pdx+qdy+rdz+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5f6be4f0c1934840ebc9e439be9d6c75843b24e)
et les différents termes
de cette différentielle seront les différences partielles de
du premier ordre. On a coutume de représenter les coefficients
des différences
dans la différentielle de
par
de sorte que l’expression complète de
sera
![{\displaystyle {\frac {du}{dx}}dx+{\frac {du}{dy}}dy+{\frac {du}{dz}}dz+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7944692b9515e04b0b80377bf612650a1439d711)
Si donc on a une équation entre
![{\displaystyle u,\ \ x,\ \ y,\ \ z,\ldots ,\ \ {\frac {du}{dx}},\ \ {\frac {du}{dy}},\ \ {\frac {du}{dz}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd5676724ccf6cb09ac51d604def1f67f467c75d)
ce sera une équation aux différences partielles du premier ordre ; et, si
cette équation ne contient que les premières dimensions des quantités
![{\displaystyle {\frac {du}{dx}},{\frac {du}{dy}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c489cadee76c2bc7fe45fd87d70ba7b2b7db1abd)
![{\displaystyle {\frac {du}{dz}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8184e36586dff7eec1a4e41f6cd4279eb08d2701)
en sorte qu’elle soit représentée ainsi
![{\displaystyle \mathrm {X} {\frac {du}{dx}}+\mathrm {Y} {\frac {du}{dy}}+\mathrm {Z} {\frac {du}{dz}}+\ldots =\mathrm {U} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cff01a9dbacb8ea1d88102ce174de85f68c6130d)
les quantités
étant des fonctions quelconques de ![{\displaystyle x,y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ad6024a5a4f15ab696de3d6e4866da50c8a315d)
on aura la forme générale des équations intégrables par la méthode que nous allons exposer.
2. Supposons d’abord que l’équation ne contienne que trois variables
dont la première soit regardée comme une fonction des deux autres ; en employant pour plus de simplicité les quantités
et
à la place de
et
on aura donc cette équation
![{\displaystyle \mathrm {X} p+\mathrm {Y} q=\mathrm {U} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61ea181b5a7a4383ecb7e302b9446d235d888ab4)
dans laquelle
seront des fonctions quelconques de ![{\displaystyle u,x,y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9af258a5cc2c6b02285548f1b718437d44c0b70)
Or les quantités
et
doivent satisfaire à l’équation différentielle
![{\displaystyle du=pdx+qdy\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a970557da9597526afac24934bb6008bcc690229)
par conséquent il faudra qu’en éliminant, par le moyen de l’équation donnée entre
et
l’une de ces inconnues, l’autre soit telle, que l’équation différentielle dont il s’agit puisse venir de la différentiation d’une équation finie ; et cette équation finie donnera alors la valeur de
en fonction de
et ![{\displaystyle y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f72471aff7c6fbb27df0f971283a068efe091f)
Mais, sans employer l’élimination, on obtiendra le même but d’une manière plus simple en multipliant ensemble les deux équations
![{\displaystyle \mathrm {X} p+\mathrm {Y} q=\mathrm {U} ,\quad du=pdx+qdy\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f0c08fa2c7963731eac630b9817b1f8f8fa5adc)
car on aura ainsi
![{\displaystyle (\mathrm {X} p+\mathrm {Y} q)du=\mathrm {U} (pdx+qdr),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19580f353e2a1ea0061c3c48b506ee22fca0c318)
ou bien
![{\displaystyle p(\mathrm {X} du-\mathrm {U} dx)+q(\mathrm {Y} du-\mathrm {U} dy)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abd559bec4c7109fa261325047b1d12f70ac595e)
équation qui étant divisée par
![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
ne contiendra plus qu’une seule inconnue
3. Je suppose maintenant
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=o\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e772be5ad7ff7c986f38d665f8a4127fbc3f319)
j’ai deux équations différentielles du premier ordre entre les trois variables ![{\displaystyle u,x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a587e0d0090fb9ed86fcee5568995dea02ac85bf)
et les intégrales complètes de ces équations contiendront deux constantes arbitraires
et
en sorte qu’on aura
![{\displaystyle \alpha =\mathrm {A} ,\quad \beta =\mathrm {B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4ab553920e62a9ef4304616bf98b19e394ce009)
et
étant des fonctions données des trois variables
Ainsi, en différentiant et regardant
et
comme variables, on aura
![{\displaystyle {\begin{aligned}d\alpha =&{\frac {d\mathrm {A} }{du}}du+{\frac {d\mathrm {A} }{dx}}dx+{\frac {d\mathrm {A} }{dy}}dy,\\d\beta =&{\frac {d\mathrm {B} }{du}}du+{\frac {d\mathrm {B} }{dx}}dx+{\frac {d\mathrm {B} }{dy}}dy.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/939ed78b152c2718e95925d80f56cab15682f8da)
Mais, puisque
![{\displaystyle \mathrm {A} =\alpha \quad {\text{et}}\quad \mathrm {B} =\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f05c1d76140ad14ada97cbe3c79c9fe85c2b1cf)
sont les intégrales des équations
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66a7af09ada989654df81367a18d62e922c26159)
et
étant les constantes arbitraires, il faudra que ces équations coïncident avec les précédentes en y faisant
![{\displaystyle d\alpha =0,\quad d\beta =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9aaff735eb6f3719328b44b45d7a8905e3333146)
par conséquent il faudra qu’en substituant pour
et
leurs valeurs ![{\displaystyle {\frac {\mathrm {X} du}{\mathrm {U} }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1233d96871c5374973d636d82f7b653319906af0)
tirées des mêmes équations, dans celles-ci
![{\displaystyle {\begin{aligned}{\frac {d\mathrm {A} }{du}}du+{\frac {d\mathrm {A} }{dx}}dx+{\frac {d\mathrm {A} }{dy}}dy=0,\\{\frac {d\mathrm {B} }{du}}du+{\frac {d\mathrm {B} }{dx}}dx+{\frac {d\mathrm {B} }{dy}}dy=0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c48dd6f99db6bd92b13e806aa114d418c550c61f)
on ait des équations identiques qui seront
![{\displaystyle {\begin{aligned}{\frac {d\mathrm {A} }{du}}+{\frac {d\mathrm {A} }{dx}}{\frac {\mathrm {X} }{\mathrm {U} }}+{\frac {d\mathrm {A} }{dy}}{\frac {\mathrm {Y} }{\mathrm {U} }}=0,\\{\frac {d\mathrm {B} }{du}}+{\frac {d\mathrm {B} }{dx}}{\frac {\mathrm {X} }{\mathrm {U} }}+{\frac {d\mathrm {B} }{dy}}{\frac {\mathrm {Y} }{\mathrm {U} }}=0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/990b680a1cdb159dbba6d4b590cb1edef4da9302)
et qui donneront
![{\displaystyle {\begin{aligned}{\frac {d\mathrm {A} }{du}}=-{\frac {d\mathrm {A} }{dx}}{\frac {\mathrm {X} }{\mathrm {U} }}-{\frac {d\mathrm {A} }{dy}}{\frac {\mathrm {Y} }{\mathrm {U} }},\\{\frac {d\mathrm {B} }{du}}=-{\frac {d\mathrm {B} }{dx}}{\frac {\mathrm {X} }{\mathrm {U} }}-{\frac {d\mathrm {B} }{dy}}{\frac {\mathrm {Y} }{\mathrm {U} }}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/859eec3a58872b1673a4061c81787704bf1e591f)
Ainsi les différentielles
et
se trouveront exprimées de cette manière
![{\displaystyle {\begin{aligned}d\alpha =&{\frac {1}{\mathrm {U} }}{\frac {d\mathrm {A} }{dx}}(\mathrm {U} dx-\mathrm {X} du)+{\frac {1}{\mathrm {U} }}{\frac {d\mathrm {A} }{dy}}(\mathrm {U} dy-\mathrm {Y} du),\\d\beta =&{\frac {1}{\mathrm {U} }}{\frac {d\mathrm {B} }{dx}}(\mathrm {U} dx-\mathrm {X} du)+{\frac {1}{\mathrm {U} }}{\frac {d\mathrm {B} }{dy}}(\mathrm {U} dy-\mathrm {Y} du),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a48c83a2980d14203644d4e7fe3d8d1c57cebeb2)
d’où l’on tirera
![{\displaystyle {\begin{aligned}\mathrm {X} du-\mathrm {U} dx=&{\frac {\mathrm {U} }{\mathrm {T} }}\left({\frac {d\mathrm {B} }{dy}}d\alpha -{\frac {d\mathrm {A} }{dy}}d\beta \right),\\\mathrm {Y} du-\mathrm {U} dy=&\mathrm {\frac {U}{T}} \left({\frac {d\mathrm {A} }{dx}}d\beta -{\frac {d\mathrm {B} }{dx}}d\alpha \right),\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa7adf5657a293da450209fdfd8188589441c702)
en supposant
![{\displaystyle \mathrm {T} ={\frac {d\mathrm {A} }{dy}}{\frac {d\mathrm {B} }{dx}}-{\frac {d\mathrm {B} }{dy}}{\frac {d\mathrm {A} }{dx}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a974120a48912d77c5de8eae2c8bf1be213e7539)
Je conclus de là que, si à la place des variables
et
on veut introduire les variables
et
telles que
![{\displaystyle \alpha =\mathrm {A} ,\quad \beta =\mathrm {B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4ab553920e62a9ef4304616bf98b19e394ce009)
dans les formules
![{\displaystyle \mathrm {X} du-\mathrm {U} dx,\quad \mathrm {Y} du-\mathrm {U} dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb7b249c7543a93151307ec90e581de4391f6d0d)
elles deviendront de la forme précédente, dans laquelle il ne paraît que les deux différences
et ![{\displaystyle d\beta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac49e0297d104800af4b729b4b285030b881900)
4. Faisant donc cette substitution dans l’équation
![{\displaystyle p(\mathrm {X} du-\mathrm {U} dx)+q(\mathrm {Y} du-\mathrm {U} dy)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/506123bf3c50ecf1ecd014a81243c3fb728673f0)
à laquelle il s’agit de satisfaire, elle deviendra
![{\displaystyle \left(p{\frac {d\mathrm {B} }{dy}}-q{\frac {d\mathrm {B} }{dx}}\right)d\alpha +\left(q{\frac {d\mathrm {A} }{dx}}-p{\frac {d\mathrm {A} }{dy}}\right)d\beta =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1351b9d79611025706411e1e7d120f31f942c93)
ou bien
![{\displaystyle d\alpha +{\frac {q{\dfrac {d\mathrm {A} }{dx}}-p{\dfrac {d\mathrm {A} }{dy}}}{p{\dfrac {d\mathrm {B} }{dy}}-q{\dfrac {d\mathrm {B} }{dx}}}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e81aa8840f560ac3332e08ab0f12ab9f70caa01)
Comme cette équation ne contient que les deux différences
et
elle ne peut subsister à moins que le coefficient de
ne soit aussi une simple fonction de
et
par conséquent il faudra qu’en substituant dans ce coefficient pour
et
leurs valeurs en
tirées des équations
![{\displaystyle \mathrm {A} =\alpha ,\quad \mathrm {B} =\beta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/807b2e23183b3e5ef09517336b2baa5743e2d16f)
la quantité
disparaisse d’elle-même.
On aura donc, en dénotant par la caractéristique
une fonction quelconque,
![{\displaystyle {\frac {q{\cfrac {d\mathrm {A} }{dx}}-p{\cfrac {d\mathrm {A} }{dy}}}{p{\cfrac {d\mathrm {B} }{dy}}-q{\cfrac {d\mathrm {B} }{dx}}}}=f(\alpha ,\beta ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eeff7e31959299ee0bf90104ba98d13713d50749)
condition à laquelle on pourra toujours satisfaire par le moyen de la quantité arbitraure
alors l’équation
![{\displaystyle d\alpha +f(\alpha ,\beta )d\beta =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48e53755d4259907b90ba38609ec5ef6a1c7bc5f)
sera toujours intégrable, étant multipliée par un facteur convenable ; et l’intégrale sera
![{\displaystyle \operatorname {F} (\alpha ,\beta )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc361f87260beb65e3e0b381683b9163f75ab02)
en dénotant par
une autre fonction de
et
et, comme la fonction
![{\displaystyle f(\alpha ,\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3cbf696579dadc3cba66da390c5489b323fe2d2)
peut être quelconque, la fonction
![{\displaystyle \operatorname {F} (\alpha ,\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4950a899fab1519543b1ad4c20d19a18ec7c10e1)
pourra être aussi quelconque.
Mais on a supposé
![{\displaystyle \alpha =\mathrm {A} ,\quad \beta =\mathrm {B} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/981e198fa4a9dc30d6583deb823c0a479dab2d39)
donc, remettant ces valeurs à la place de
et
on aura l’équation finie
![{\displaystyle \operatorname {F} (\mathrm {A,B} )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3be69b50e3ee99e916849936f8872d1fbeacc45)
laquelle donnera la valeur cherchée de
en
et
la fonction désignée par
demeurant arbitraire.
5. L’intégration de toute équation de la forme
![{\displaystyle \mathrm {X} {\frac {du}{dx}}+\mathrm {Y} {\frac {du}{dy}}=\mathrm {U} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/656be1b1346e18fe15cd5f9c71f507ce7722b737)
étant des fonctions quelconques de
se réduit donc à ce procédé fort simple.
On intégrera par les règles connues les équations différentielles
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66a7af09ada989654df81367a18d62e922c26159)
et, ayant réduit les deux intégrales à la forme
![{\displaystyle \mathrm {A} =\alpha ,\quad \mathrm {B} =\beta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/807b2e23183b3e5ef09517336b2baa5743e2d16f)
où
sont des fonctions de
et
sont les deux constantes arbitraires introduites par l’intégration, on établira une équation quelconque entre
et
qu’on pourra désigner par
![{\displaystyle \operatorname {F} (\mathrm {A,B} )=0,\quad {\text{ou bien par}}\quad \mathrm {A} =\varphi (\mathrm {B} ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f55bd7ccf10a3d43fbe3bcf3f9ad06502d25b440)
les caractéristiques
désignant des fonctions quelconques, et cette équation sera l’intégrale complètes de la proposée.
De cette manière l’intégration de l’équation aux différences partielles est réduite à celle de deux équations aux différences ordinaires ; c’est tout ce qu’on peut désirer, dans le Calcul intégral des différences partielles, de le ramener à celui des différences totales et ordinaires.
6. Considérons à présent l’équation à quatre variables
dont la forme est
![{\displaystyle \mathrm {X} p+\mathrm {Y} q+\mathrm {Z} r=\mathrm {U} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72afe480dae702d685c64884c769bb65a359addc)
en désignant par
les différences partielles
et par
des fonctions quelconques de ![{\displaystyle u,x,y,z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a0f90d4352984be78bbf3316024c95a3e1e2d84)
On aura ici
![{\displaystyle du=pdx+qdy+rdz\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/758d7e0ae8cd3a7756f77e8f0c3ac6abd2f2ed2e)
donc, multipliant cette équation par celle qui est donnée entre
on aura
![{\displaystyle (\mathrm {X} p+\mathrm {Y} q+\mathrm {Z} r)du=\mathrm {U} (pdx+qdy+rdz),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dc6bd908fddb282c2cec0e70a06a06e017502fd)
ou bien
![{\displaystyle p(\mathrm {X} du-\mathrm {U} dx)+q(\mathrm {Y} du-\mathrm {U} dy)+r(\mathrm {Z} du-\mathrm {U} dz)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cb45df62ffd3e234b0e1ab22456af446a1ebdf3)
laquelle étant divisée par
ne contiendra plus réellement que deux inconnues
et la question sera réduite à déterminer ces deux inconnues en sorte que l’équation dont il s’agit devienne intégrable.
Supposons, à l’imitation de ce que nous avons fait plus haut,
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=0,\quad \mathrm {Z} du-\mathrm {U} dz=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5203c85e35140f03ee9e0646dce3320a733d756a)
en intégrant ces équations, on aura trois équations finies entre
qui contiendront trois constantes arbitraires
de sorte qu’on pourra mettre ces équations sous la forme
![{\displaystyle \mathrm {A=\alpha ,\quad B=\beta ,\quad C} =\gamma ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/619eead1367fc52c2c5bbe5719084683dcbebb47)
où
seront des fonctions connues de ![{\displaystyle u,x,y,z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a0f90d4352984be78bbf3316024c95a3e1e2d84)
Il est clair qu’on peut, à la place des variables
introduire dans l’équation qu’il s’agit de rendre intégrable les quantités
regardées maintenant comme variables, et supposées telles que
![{\displaystyle \alpha =\mathrm {A,\quad \beta =B,\quad \gamma =C} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71b4fde7535772a8607edc2753669a2aad7441ee)
or, en différentiant, on aura
![{\displaystyle {\begin{alignedat}{4}d\alpha =&{\frac {d\mathrm {A} }{du}}du&+&{\frac {d\mathrm {A} }{dx}}dx&+&{\frac {d\mathrm {A} }{dy}}dy&+&{\frac {d\mathrm {A} }{dz}}dz,\\d\beta =&{\frac {d\mathrm {B} }{du}}du&+&{\frac {d\mathrm {B} }{dx}}dx&+&{\frac {d\mathrm {B} }{dy}}dy&+&{\frac {d\mathrm {B} }{dz}}dz,\\d\gamma =&{\frac {d\mathrm {C} }{du}}du&+&{\frac {d\mathrm {C} }{dx}}dx&+&{\frac {d\mathrm {C} }{dy}}dy&+&{\frac {d\mathrm {C} }{dz}}dz,\\\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fde032768affe01673ed4c0495015150c22a42b)
mais, en faisant
![{\displaystyle d\alpha =0,\quad d\beta =0,\quad d\gamma =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea7f816f327c14ab1d116a38e9f2ee392ce8c85e)
on doit avoir des équations identiques avec celles-ci
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=0,\quad \mathrm {Z} du-\mathrm {U} dz=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeaa98741fd8077557b38c84c96f87a4d8d63dbe)
dont
![{\displaystyle \mathrm {A=\alpha ,\quad B=\beta ,\quad C=\gamma } }](https://wikimedia.org/api/rest_v1/media/math/render/svg/278bb7d53ad2cbe48d9f3fcd0a4dd76d376431b6)
sont supposées être les intégrales complètes ; donc, en substituant, pour ![{\displaystyle dx,dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02c0a9aed27e7b32907cb6af25303e9142c8e36b)
les valeurs
on aura
![{\displaystyle {\begin{alignedat}{4}{\frac {d\mathrm {A} }{du}}&+&{\frac {d\mathrm {A} }{dx}}\mathrm {\frac {X}{U}} &+&{\frac {d\mathrm {A} }{dy}}\mathrm {\frac {Y}{U}} &+&{\frac {d\mathrm {A} }{dz}}\mathrm {\frac {Z}{U}} =&0,\\{\frac {d\mathrm {B} }{du}}&+&{\frac {d\mathrm {B} }{dx}}\mathrm {\frac {X}{U}} &+&{\frac {d\mathrm {B} }{dy}}\mathrm {\frac {Y}{U}} &+&{\frac {d\mathrm {B} }{dz}}\mathrm {\frac {Z}{U}} =&0,\\{\frac {d\mathrm {C} }{du}}&+&{\frac {d\mathrm {C} }{dx}}\mathrm {\frac {X}{U}} &+&{\frac {d\mathrm {C} }{dy}}\mathrm {\frac {Y}{U}} &+&{\frac {d\mathrm {C} }{dz}}\mathrm {\frac {Z}{U}} =&0\,;\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fa2939caac913c5a8127d90ad2b9b74248fb460)
d’où l’on tirera les valeurs
lesquelles donneront par la substitution
![{\displaystyle {\begin{alignedat}{3}\mathrm {U} d\alpha =&{\frac {d\mathrm {A} }{dx}}(\mathrm {U} dx-\mathrm {X} du)&+&{\frac {d\mathrm {A} }{dy}}(\mathrm {U} dy-\mathrm {Y} du)&+&{\frac {d\mathrm {A} }{dz}}(\mathrm {U} dz-\mathrm {Z} du),\\\mathrm {U} d\beta =&{\frac {d\mathrm {B} }{dx}}(\mathrm {U} dx-\mathrm {X} du)&+&{\frac {d\mathrm {B} }{dy}}(\mathrm {U} dy-\mathrm {Y} du)&+&{\frac {d\mathrm {B} }{dz}}(\mathrm {U} dz-\mathrm {Z} du),\\\mathrm {U} d\gamma =&{\frac {d\mathrm {C} }{dx}}(\mathrm {U} dx-\mathrm {X} du)&+&{\frac {d\mathrm {C} }{dy}}(\mathrm {U} dy-\mathrm {Y} du)&+&{\frac {d\mathrm {C} }{dz}}(\mathrm {U} dz-\mathrm {Z} du)\,;\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1655217373d48f18e732d1534e6fda9ad34bc9d)
et de là on aura celles de
![{\displaystyle \mathrm {X} du-\mathrm {U} dx,\quad \mathrm {Y} du-\mathrm {U} dy,\quad \mathrm {Z} du-\mathrm {U} dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3377af4c2984f6c14d50e95382b18f7ae316fa4)
en
valeurs qui seront de la forme
![{\displaystyle {\begin{alignedat}{3}\mathrm {X} du-\mathrm {U} dx=&\mathrm {L} d\alpha &+&\mathrm {M} d\beta &+&\mathrm {N} d\gamma ,\\\mathrm {Y} du-\mathrm {U} dy=&\mathrm {L} 'd\alpha &+&\mathrm {M} 'd\beta &+&\mathrm {N} 'd\gamma ,\\\mathrm {Z} du-\mathrm {U} dz=&\mathrm {L} ''d\alpha &+&\mathrm {M} ''d\beta &+&\mathrm {N} ''d\gamma .\end{alignedat}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc6ccca795fedb552174cce00489ad8241e01b21)
Ainsi l’équation
![{\displaystyle p(\mathrm {X} du-\mathrm {U} dx)+q(\mathrm {Y} du-\mathrm {U} dy)+r(\mathrm {Z} du-\mathrm {U} dz)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fce88e45b2f036db2103fa94648a346298c46a00)
deviendra, par l’introduction des quantités
à la place de ![{\displaystyle x,y,z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d08d690d7e19ea7aee8574fc6abd6a15d97fa026)
![{\displaystyle (p\mathrm {L} +q\mathrm {L} '+r\mathrm {L} '')d\alpha +(p\mathrm {M} +q\mathrm {M} '+r\mathrm {M} '')d\beta +(p\mathrm {N} +q\mathrm {N} '+r\mathrm {N} '')d\gamma =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d71d9f9cd723e34826f34db9c2f8f95785efd3a)
ou bien
![{\displaystyle d\alpha +{\frac {p\mathrm {M} +q\mathrm {M} '+r\mathrm {M} ''}{p\mathrm {L} +q\mathrm {L} '+r\mathrm {L} ''}}d\beta +{\frac {p\mathrm {N} +q\mathrm {N} '+r\mathrm {N} ''}{p\mathrm {L} +q\mathrm {L} '+r\mathrm {L} ''}}d\gamma =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61f2b4d191988f770eeec2ff417f8ec2044a938c)
équation qui contient, comme l’on voit, les deux indéterminées
et
Cette équation ne peut subsister, c’est-à-dire résulter de la différentiation d’une équation finie, qu’en n’y admettant pour variables que les trois quantités
Soit donc
![{\displaystyle \operatorname {F} (\alpha ,\beta ,\gamma )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f2e2ac83fcfa3a8d2c865ada3c245bb84076448)
l’équation finie ; la différentielle sera de la forme
![{\displaystyle \mathrm {Pd\alpha +Qd\beta +R} d\gamma =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf7071797f45aa767eff70ee51f045bbd6312adf)
ou bien
![{\displaystyle d\alpha +\mathrm {\frac {Q}{P}} d\beta +\mathrm {\frac {R}{P}} d\gamma =0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22f88c91e5340387fba3062ef9941b8025de92b5)
ainsi il faudra que l’on ait
![{\displaystyle {\frac {p\mathrm {M} +q\mathrm {M} '+r\mathrm {M} ''}{p\mathrm {L} +q\mathrm {L} '+r\mathrm {L} ''}}=\mathrm {\frac {Q}{P}} ,\quad {\frac {p\mathrm {N} +q\mathrm {N} '+r\mathrm {N} ''}{p\mathrm {L} +q\mathrm {L} '+r\mathrm {L} ''}}=\mathrm {\frac {R}{P}} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fa51e8a32a088b482ffcb96438676a5e0cb4dd1)
équations auxquelles on pourra toujours satisfaire par le moyen des deux
arbitraires
![{\displaystyle {\frac {q}{p}},{\frac {r}{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f9ffe1eec94c6b8235d9cf29fefc4861e8d3d99)
quelles que soient les valeurs de
![{\displaystyle \mathrm {P,Q,R} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1af745ccfd204884bc4bc6c96ba677379f3a0b36)
de sorte que ces valeurs, et par conséquent aussi la fonction finie
![{\displaystyle \operatorname {F} (\alpha ,\beta ,\gamma ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3843eab084db908de2f815e4221ac48813d8e2)
demeureront à volonté. Donc, puisque les quantités
![{\displaystyle \alpha ,\beta ,\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/301cc1b37ba8f0fb0c9bedee5efa5e0b5bc9e791)
sont des fonctions des variables
![{\displaystyle x,y,z,u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/670248bb416368bb41335cd2768a07ab1dcc81ce)
représentées par
![{\displaystyle \mathrm {A,B,C} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cff493e749c5a2d0ae945c6bd4d862b374b9350)
on aura l’équation
![{\displaystyle \operatorname {F} (\mathrm {A,B,C} )=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a45cec304a51a2a8dfc30f92046d8486bf6139f)
pour la valeur cherchée de
en ![{\displaystyle x,y,z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb673ad6f63dc00449c2f0b9999f051e9de36ce8)
7. De là résulte cette méthode fort simple d’intégrer toute équation de la forme
![{\displaystyle \mathrm {X} {\frac {du}{dx}}+\mathrm {Y} {\frac {du}{dy}}+\mathrm {Z} {\frac {du}{dz}}=\mathrm {U} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3d31a80a8c64c4c3527e87eb2af76177ee6a02d)
dans laquelle
sont des fonctions quelconques de ![{\displaystyle u,x,y,z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a0f90d4352984be78bbf3316024c95a3e1e2d84)
On intégrera par les méthodes ordinaires les trois équations différentielles
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=0,\quad \mathrm {Z} du-\mathrm {U} dz=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5203c85e35140f03ee9e0646dce3320a733d756a)
on réduira les trois intégrales à la forme
![{\displaystyle \mathrm {A=\alpha ,\quad B=\beta ,\quad C=\gamma } ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf854b99413185c00941f294d2b49a8fd95a9d26)
étant les trois constantes arbitraires introduites par les trois intégrations et l’on supposera entre
une équation quelconque à volonté qu’on pourra désigner par
![{\displaystyle \operatorname {F} (\mathrm {A,B,C} )=0,\quad {\text{ou par}}\quad \mathrm {A=\varphi (B,C)} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfb1aed860a0ca93cbf94341f480a5ed9bce7878)
les caractéristiques
dénotant des fonctions arbitraires ; ce sera l’intégrale demandée.
En général, quelle que soit la forme sous laquelle les trois intégrales des équations
![{\displaystyle \mathrm {X} du-\mathrm {U} dx=0,\quad \mathrm {Y} du-\mathrm {U} dy=0,\quad \mathrm {Z} du-\mathrm {U} dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e82ca2dd84fd55e547eb36330cb5e9176f3660b)
se présenteront, si
sont les trois constantes arbitraires, on y supposera
et l’on éliminera ensuite les inconnues ![{\displaystyle \alpha ,\beta ,\gamma \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ae72bf384106d40e07ace241e2426c64d4d4397)
l’équation résultante sera l’intégrale de la proposée, laquelle contiendra toujours la fonction arbitraire désignée par
8. Il est aisé maintenant d’appliquer la même méthode à toute équation qui contiendra autant de différences linéaires qu’on voudra ; on en trouvera toujours l’intégrale par des procédés semblables, à l’aide des intégrales de différentes équations aux différences ordinaires. Il serait superflu d’entrer là-dessus dans un plus grand détail.
9. Par la méthode que nous venons d’exposer on pourra résoudre tout Problème qui conduira à une équation aux différences partielles du premier ordre, lorsque la fonction cherchée sera, par la nature même de la question, une quantité très-petite.
Car, en négligeant les dimensions de
plus hautes que la première, on parviendra toujours à une équation de la forme
![{\displaystyle \mathrm {X} {\frac {du}{dx}}+\mathrm {Y} {\frac {du}{dy}}+\mathrm {Z} {\frac {du}{dz}}+\ldots =\mathrm {S+T} u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d165e37fa56e3cf6eb9aa1dce0b8d84f6dabaa5)
dans laquelle
seront des fonctions de
sans
Or cette équation n’est qu’un cas particulier de celles que nous avons intégrées.
La difficulté d’intégrer l’équation dont il s’agit se réduira à intégrer celles-ci aux différences ordinaires
![{\displaystyle {\begin{aligned}\mathrm {X} du-(\mathrm {S+T} u)dx&=0,\\\mathrm {Y} du-(\mathrm {S+T} u)dy&=0,\\\mathrm {Z} du-(\mathrm {S+T} u)dz&=0,\\\ldots \ldots \ldots \ldots \ldots \ldots &\ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfb0f225c5645bc77c8a1d5bca36dce36379438d)
En combinant la première avec chacune des autres, on aura celles-ci
![{\displaystyle \mathrm {Y} dx-\mathrm {X} dy=0,\quad \mathrm {Z} dx-\mathrm {X} dz=0,\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dd669de5428060376ff2e4653933ef1ae472234)
dans lesquelles la variable
n’entre plus ; ainsi l’on en tirera par l’inté-
gration les valeurs de
![{\displaystyle y,z,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a7c642f1e198c4e10dfb0414cfd71d1d4fabf77)
en
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
et en autant de constantes arbitraires
Ensuite la première donnera
![{\displaystyle ue^{-\int {\frac {\mathrm {T} dx}{\mathrm {X} }}}=\int {\frac {e^{-\int {\frac {\mathrm {T} dx}{\mathrm {X} }}}\mathrm {S} dx}{\mathrm {X} }}+\alpha \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e53c34cd62b7d3617dced6d027ba2b1492ce5d9)
de sorte qu’on aura aussi
en
après la substitution des valeurs précédentes de ![{\displaystyle y,z,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebd63eeab055fc0be7322a060cadebfe6c4872c9)
Ayant ainsi toutes les intégrales particulières, on en tirera par la règle générale du no 7 l’intégrale complète de la proposée.
Application de la méthode précédente à la question des trajectoires rectangles considérées par rapport aux surfaces.
10. Parmi les Problèmes qui occupèrent les Géomètres dans les premières années après la naissance des nouveaux Calculs, un des plus fameux est celui des trajectoires, lequel consiste à trouver une courbe, ou plutôt une famille de courbes qui coupent à angles droits ou sous des angles donnés une infinité d’autres courbes toutes du même genre, comme des cercles, des paraboles, des ellipses, etc.
La première idée de ce Problème est due à Jean Bernoulli, comme on le voit par la lettre sixième du Commercium episiolicum ; il le proposa à Leibnitz en 1694, en y joignant la solution de quelques cas particuliers, et celui-ci en donna immédiatement après une solution générale pour tous les cas où les courbes à couper sont données par des équations en termes finis. Jean Bernoulli le proposa ensuite publiquement dans les Actes de Leipzig de 1698 avec toute la généralité dont il est susceptible. La plupart des Géomètres de ce temps-là s’en occupèrent, mais aucun ne le résolut complétement ; de sorte qu’en 1716, à l’occasion de la fameuse contestation sur la découverte du Calcul différentiel, Leibnitz crut pouvoir se servir de ce Problème pour attaquer les Géomètres anglais et leur fit là-dessus un défi dans les mêmes Actes de Leipzig.
En effet, ce Problème étant d’un genre supérieur aux Problèmes ordinaires des tangentes, et demandant des méthodes et des artifices particuliers qui ne se présentent pas facilement, il paraissait très-propre à embarrasser tous ceux qui n’auraient pas inventé eux-mêmes le Calcul infinitésimal, ou qui du moins ne le posséderaient pas comme s’ils l’eussent inventé. Newton, à qui le défi était indirectement adressé, était aussi plus en état que personne d’y satisfaire mais l’esquisse de solution qu’il a cru pouvoir en donner en deux mots dans les Transactions philosophiques de 1716 ne prouve, ce me semble, autre chose, sinon qu’il n’en avait pas connu les difficultés. Taylor est, à proprement parler, le seul parmi les Anglais qui ait résolu le Problème des trajectoires d’une manière suffisante ; mais sa méthode, fondée sur les séries, est indirecte et peu lumineuse. Nicolas Bernoulli et Hermann en ont donné des solutions plus satisfaisantes et plus générales, qu’on peut lire dans le second volume des Œuvres de Jean Bernoulli. Enfin feu M. Euler, pour réveiller l’attention des Géomètres sur les trajectoires qu’on avait presque déjà oubliées, a donné dans les derniers volumes des Nouveaux Commentaires de Pétersbourg une nouvelle Théorie qui paraît ne rien laisser à désirer sur cette matière.
Quoique la question des trajectoires ne soit dans le fond que de pure curiosité, on aurait tort cependant de regarder les recherches dont nous venons de parler comme des spéculations arides et inutiles ; il faut même convenir que peu de Problèmes ont autant contribué que celui-ci à l’avancement et à la perfection de l’Analyse. La méthode de différentier sous le signe et de trouver les équations nommées modulaires, où l’on suppose le paramètre variable ; les Théorèmes sur les équations de condition pour l’intégrabilité des équations différentielles du premier ordre à deux variables, et pour la possibilité de celles à trois variables, sont autant de Théories dont on est redevable au Problème des trajectoires ; et l’on sait que ces Théories ont été le germe des plus belles découvertes analytiques qui aient été faites dans ce siècle.
Par ces raisons j’ai cru qu’il ne serait pas inutile d’attirer de nouveau les regards des Géomètres sur ce Problème, en le traitant d’une manière nouvelle et sous un point de vue plus étendu qu’on ne l’a fait. On n’avait jusqu’ici considéré les trajectoires que relativement aux lignes courbes ; mon dessein est de les transporter aux surfaces, et par conséquent de chercher la nature de celles qui pourront couper sous des angles donnés une infinité d’autres surfaces du même genre et représentées par des équations données en termes finis ou différentiels. Cette question conduit naturellement à une équation aux différences partielles, laquelle, dans le cas des trajectoires rectangles, est intégrable par la méthode générale que nous avons exposée. Elle servira donc d’exemple pour l’usage de cette méthode, et donnera peut-être occasion d’en découvrir de plus générales encore.
11. Soient
les coordonnées rectangles des surfaces données, on aura une équation entre les trois variables
et une autre quantité qui sera constante pour chaque surface, mais qui variera d’une surface à l’autre, et que nous appellerons le paramètre. Cette équation étant donnée, le Problème consiste à trouver celle de la surface qui coupera partout à angle droit, ou sous un angle quelconque donné, toutes les surfaces représentées par l’équation dont il s’agit ; et il est clair qu’il n’y aura pour cela qu’à faire en sorte que la perpendiculaire menée à un point quelconque d’une des surfaces à couper fasse un angle donné avec la perpendiculaire menée par le même point à la surface coupante ; ainsi tout se réduit à déterminer la position de la perpendiculaire à une surface donnée.
12. Soit
![{\displaystyle dz=\mathrm {X} dx+\mathrm {Y} dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0200370a514041f52c9fb236ea3e056462b9075)
l’équation différentielle de la surface proposée, et supposons que la perpendiculaire menée par un point quelconque de cette surface rencontre le plan des coordonnées
dans un point auquel répondent les coordonnées
il est facile de voir qu’en nommant cette perpendiculaire
on aura
![{\displaystyle f={\sqrt {(a-x)^{2}+(b-y)^{2}+z^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cab76839283333e38fa811b5339f464b2739623)
Or, comme la perpendiculaire à une surface quelconque doit être la plus petite ou la plus grande de toutes les lignes qui d’un point donné peuvent être menées à la même surface, il s’ensuit que la valeur de
devra être un maximum ou un minimum en faisant varier les coordonnées
et regardant les quantités
comme constantes. Ainsi l’on aura l’équation différentielle
![{\displaystyle -(a-x)dx-(b-y)dy+zdz=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15a86f2c29683de7cffdfa5c9b59deee65666d0b)
mais l’équation à la surface donne
![{\displaystyle dz=\mathrm {X} dx+\mathrm {Y} dy\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b172db8dba409ede925936ceb5742bb5efe83ed)
donc on aura
![{\displaystyle \left[\mathrm {X} z-(a-x)\right]dx+\left[\mathrm {Y} z-(b-y)\right]dy=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc786d05223bd46ed0b6adf78a7fd6e0d649a9d3)
d’où l’on tire les deux équations
![{\displaystyle \mathrm {X} z-a+x=0,\quad \mathrm {Y} z-b+y=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae2b8d6a9fbc7438f28b7a15b73c0525de5051c)
lesquelles donnent
![{\displaystyle a=x+\mathrm {X} z,\quad b=y+\mathrm {Y} z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94a9859f12f1d7b7f6763534bfcf53dd8ba31c9d)
et par conséquent
![{\displaystyle f=z\mathrm {\sqrt {1+X^{2}+Y^{2}}} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4ee51c53310e5f5e5179705a1510807354b26a1)
Maintenant, comme dans les points où les deux surfaces se coupent, elles doivent avoir les mêmes coordonnées, on pourra prendre aussi
pour les coordonnées de la surface qui doit couper la proposée, et, si l’on représente par
![{\displaystyle dz=pdx+qdy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5614ae07dddf9415a5937b2e0464b7966dbbdc61)
l’équation différentielle de cette surface, on aura de même, en nommant
la perpendiculaire et
les coordonnées qui déterminent le point où cette perpendiculaire coupe le plan des
et
on trouvera, dis-je,
![{\displaystyle m=x+pz,\quad n=y+qz,\quad r=z{\sqrt {1+p^{2}+q^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4ed54093f3fdf77bc73c0e92819fa9192421629)
Donc, si l’on désigne par
la distance des deux points où les perpendiculaires
et
rencontrent le plan des coordonnées
on aura
![{\displaystyle h={\sqrt {(a-m)^{2}+(b-n)^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a84810fcb2daf855cb63c0ba5a7bf2c7bdd95d57)
et, substituant les valeurs de ![{\displaystyle a,b,m,n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3cc7ce70a2818127d1362b9cfb52691f4dfabc3)
![{\displaystyle h=z{\sqrt {(\mathrm {X} -p)^{2}+(\mathrm {Y} -q)^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a75f18e7c0625f89f78c4d1881cbed64e7df2bf)
13. Or soit
l’angle sous lequel on veut que les deux surfaces se coupent, il faudra que les deux perpendiculaires
f
et
fassent entre elles l’angle
donc, dans le triangle rectiligne dont les côtés sont
et la base est
il faudra que
soit l’angle du sommet ; de sorte que par le Théorème connu on aura
![{\displaystyle h^{2}=f^{2}+r^{2}-2fr\cos \omega ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62d2dd3fc29a5c6d08f81646daea90ed58807387)
ce qui donne, par la substitution des valeurs de
l’équation
![{\displaystyle (\mathrm {X} -p)^{2}+(\mathrm {Y} -q)^{2}=2+\mathrm {X^{2}+Y^{2}} +p^{2}+q^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f87f77c212789347ab841479d5b95d8ddf989749)
![{\displaystyle -2\cos \omega \mathrm {\sqrt {1+X^{2}+Y^{2}}} {\sqrt {1+p^{2}+q^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/469cbec01c6eec8512a92b48f4272618c5ed4eda)
c’est-à-dire, en développant les termes et effaçant ce qui se détruit,
![{\displaystyle 1+\mathrm {X} p+\mathrm {Y} q-\cos \omega \mathrm {\sqrt {1+X^{2}+Y^{2}}} {\sqrt {1+p^{2}+q^{2}}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2ed83b90a9c63df24f9d00bce59a588f9f0ca4c)
C’est l’équation qui renferme la condition du Problème.
14. Lorsque les surfaces à couper sont données par une équation finie, la formule précédente servira pour résoudre le Problème ; car, en éliminant le paramètre par la différentiation, on aura une équation différentielle de la forme supposée
![{\displaystyle dz=\mathrm {X} dx+\mathrm {Y} dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8c8ab0e153343fe39da961b115db8214bcd157b)
dans laquelle
et
seront des fonctions connues de
alors, l’équation des surfaces coupantes étant
![{\displaystyle dz=pdx+qdy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3033b447705a03bd7721015abd62a1cb1d7d0041)
il ne s’agira que-de trouver
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
en fonction de
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
et
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
d’après la condition
![{\displaystyle 1+\mathrm {X} p+\mathrm {Y} q=\cos \omega \mathrm {\sqrt {1+X^{2}+Y^{2}}} {\sqrt {1+p^{2}+q^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad2d77e57b01de7c1ca9236dea9b1abb5d60e134)
étant un angle donné constant ou variable.
Ainsi, en mettant
et
pour
et
on aura pour le Problème proposé cette équation aux différences partielles du premier ordre
![{\displaystyle 1+\mathrm {X} {\frac {dz}{dx}}+\mathrm {Y} {\frac {dz}{dy}}=\cos \omega \mathrm {\sqrt {1+\mathrm {X} ^{2}+\mathrm {Y} ^{2}}} {\sqrt {1+\left({\frac {dz}{dx}}\right)^{2}+\left({\frac {dz}{dy}}\right)^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/037ae8591f2a2d4ea2b28e1ab9c574049cf2c959)
Il en sera de même lorsque les surfaces à couper ne seront données que par une équation différentielle, mais dans laquelle le paramètre n’entrera pas.
15. Mais cette équation n’est intégrable, en général, par aucune méthode connue ; pour qu’elle le devienne, il faut supposer
et par conséquent
ce qui est le cas des trajectoires rectangles ; elle se réduit alors à cette forme plus simple
![{\displaystyle \mathrm {X} {\frac {dz}{dx}}+\mathrm {Y} {\frac {dz}{dy}}+1=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eb6611486cb2448d074a59769a7afcf9c4df365)
laquelle est susceptible de la méthode exposée ci-dessus.
Suivant la règle du no 5, on intégrera donc les deux équations
![{\displaystyle \mathrm {X} dz+dx=0,\quad \mathrm {Y} dz+dy=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6485c2dc7899215300d8db629e7888a70dea372)
et, ayant réduit les intégrales à la forme
![{\displaystyle \mathrm {A} =\alpha ,\quad \mathrm {B} =\beta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/807b2e23183b3e5ef09517336b2baa5743e2d16f)
où
et
sont les constantes arbitraires, on aura
![{\displaystyle \operatorname {F} (\mathrm {A,B} )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccc8486b51b29f91ae754389db720a6f395384d6)
pour l’intégrale de l’équation proposée, et par conséquent aussi pour l’équation finie des surfaces coupantes, la fonction désignée par la caractéristique
demeurant arbitraire.
16. Supposons, pour donner un exemple, que les surfaces à couper soient des sphéroïdes elliptiques semblables et ayant le même centre. L’équation finie d’un tel sphéroïde est, comme l’on sait,
![{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}+{\frac {z^{2}}{c^{2}}}=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e827840d891557041e332ae4a1e951827616b911)
étant les trois demi-axes auxquels les coordonnées
sont supposées parallèles.
Comme tous les sphéroïdes doivent être semblables, les rapports entre les axes
seront constants ; ainsi
![{\displaystyle a=mc,\quad b=nc,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3547cd13bb0ca803260c7c8da96dd31762079dc)
et
étant des quantités constantes pour tous les sphéroïdes, et
étant variable de l’un à l’autre ; donc l’équation générale de ces sphéroïdes sera
![{\displaystyle {\frac {x^{2}}{m^{2}}}+{\frac {y^{2}}{n^{2}}}+z^{2}=c^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0df001e802e9a980261c83b874217f598bad85c)
où
sera le paramètre.
On différentiera donc en sorte que
disparaisse, pour avoir l’équation différentielle commune à toutes les surfaces à couper ; et cette équation sera
![{\displaystyle {\frac {xdx}{m^{2}}}+{\frac {ydy}{n^{2}}}+zdz=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e9494852ff114a02acd9ba1b671f92cba3a8640)
laquelle, étant comparée à la formule générale
![{\displaystyle dz=\mathrm {X} dx+\mathrm {Y} dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8c8ab0e153343fe39da961b115db8214bcd157b)
donne
![{\displaystyle \mathrm {X} =-{\frac {x}{m^{2}z}},\quad \mathrm {Y} =-{\frac {y}{n^{2}z}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ffcf6f85cc99024b98470ce64c1df1e9decdcb7)
Par conséquent les équations à intégrer seront
![{\displaystyle -{\frac {xdz}{m^{2}z}}+dx=0,\quad -{\frac {ydz}{n^{2}z}}+dy=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d1ad7b64e096c66c66c4eb42835449425851358)
lesquelles sont intégrables chacune en particulier, et leurs intégrales seront
![{\displaystyle {\frac {x^{m^{2}}}{z}}=\alpha ,\quad {\frac {y^{n^{2}}}{z}}=\beta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5abd8135eb8ca3fcb66d0bad84df509a884fb2ae)
Donc l’équation générale des surfaces coupantes sera
![{\displaystyle \operatorname {F} \left({\frac {x^{m^{2}}}{z}},{\frac {y^{n^{2}}}{z}}\right)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1f53a95af7a1012a0b86d0216b184da93e9083d)
Lorsque les sphéroïdes deviennent des sphères, les axes
sont égaux, et par conséquent
dans ce cas l’équation des surfaces coupantes sera
![{\displaystyle \operatorname {F} \left({\frac {x}{z}},{\frac {y}{z}}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/696b022650fe9f2dc3c07eb471eea6e649b726b9)
c’est-à-dire une équation quelconque homogène entre les trois variable ![{\displaystyle x,y,z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb673ad6f63dc00449c2f0b9999f051e9de36ce8)
Or il est aisé de prouver que cette équation renferme toutes les surfaces composées de lignes droites qui partent du centre des coordonnées ; car en prenant
proportionnel à
ce qui donne une ligne droite dans le plan des
et
on aura aussi
proportionnel à
en sorte que la ligne tracée sur la surface et qui aura pour projection la droite dont il s’agit sera aussi elle-même une ligne droite ; cette propriété générale est évidemment celle des surfaces coniques ; par conséquent ces sortes de surfaces seront les seules trajectoires rectangles des sphères dont le centre coïncidera avec le sommet des cônes.