CHAPITRE XI.
Des plus grandes et des moindres ordonnées des surfaces courbes. Solution générale des questions de maximis et minimis. Manière de distinguer les maxima des minima dans les fonctions de plusieurs variables.
51. Si l’on demande les plus grandes et les moindres ordonnées d’une surface donnée, il est aisé de concevoir qu’elles ne peuvent répondre qu’aux points où le plan tangent devient parallèle au plan des
et
donc on aura, dans ces points,
et, par conséquent (no 39),
![{\displaystyle z'^{2}+z_{_{'}}^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93ddafcb23ad25df4564b9fde23fa54271e45c6a)
ce qui ne peut avoir lieu qu’en faisant à la fois
![{\displaystyle z'=0\quad {\text{et}}\quad z_{_{'}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/748953a202a27a379491ef8221df08ea9536ef00)
Ce sont là les conditions nécessaires pour que l’ordonnée
devienne un maximum ou un minimum.
Puisque
peut représenter une fonction quelconque de
et
on en conclura, en général, que, pour qu’une fonction de deux variables devienne un maximum ou un minimum, il faut que ses deux fonctions primes relatives à chacune de ces variables soient nulles.
Mais on peut parvenir directement à cette conclusion par la considération des fonctions d’une seule variable, suivant la théorie du no 24, et trouver en même temps les conditions nécessaires pour que le maximum ou minimum ait lieu. En effet,
étant fonction de
et
on peut supposer d’abord
donné et chercher le maximum ou minimum de
relativement à
on aura pour cela l’équation
![{\displaystyle z_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e65c30949cbf9521857d93e8118bfd254fe49592)
et ensuite
![{\displaystyle z_{_{''}}<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d22635492fc83be5968caa9f896b21053101be89)
pour le maximum et
![{\displaystyle >0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b590bbbcf66fd5a62c56490804db67a445a6548b)
pour le minimum. Si donc on substitue dans
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
la valeur de
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
tirée de l’équation
![{\displaystyle z_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e65c30949cbf9521857d93e8118bfd254fe49592)
cette quantité
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
deviendra une simple fonction de
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
et sera déjà un maximum ou minimum relativement à
![{\displaystyle y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f72471aff7c6fbb27df0f971283a068efe091f)
Il n’y aura donc qu’à la rendre encore un maximum ou minimum relativement à la quantité
![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
qui avait été supposée constante ; or,
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
devant maintenant être regardée comme une fonction de
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
donnée par l’équation
![{\displaystyle z_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e65c30949cbf9521857d93e8118bfd254fe49592)
il est clair que la fonction prime de
![{\displaystyle z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
relativement à
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
ne sera pas simplement
![{\displaystyle z',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3d2703d43a59848892507cd36c0aa6fb0291751)
mais
![{\displaystyle z'+y'z_{_{'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c4b13c04bfe373245fc5107091c7b32a6d6c0f4)
et sa fonction seconde, relative aussi à
![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
sera
![{\displaystyle z''+2y'z'_{_{'}}+y'^{2}z_{_{''}}+y''z_{_{'}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5507c91d3271ab3d5800708563c90d66d51fe22e)
en désignant toujours par
![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
et
![{\displaystyle y''}](https://wikimedia.org/api/rest_v1/media/math/render/svg/147ec60507e44a6d376237c0a16132cf7461cd62)
les fonctions primes et secondes de
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
relativement à
![{\displaystyle x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d07e9f568a88785ae48006ac3c4b951020f1699a)
On aura donc
![{\displaystyle z'+y'z_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45b3e9975c91af36aec6ad459c1d6e0887b788de)
et, comme on a déjà
cette seconde équation se séduira à
de sorte qu’on aura, pour la détermination de
et
les deux conditions
![{\displaystyle z'=0,\quad z_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7e349dc4af15de014230ecd7b797be5ed9df5ee)
comme plus haut.
Maintenant il faudra, de plus, que l’on ait
pour le maximum, et
pour le minimum ; mais, comme
doit être déterminée par l’équation
le sera par son équation prime
![{\displaystyle z'_{_{'}}+y'z_{_{''}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d241b6d5081fa19b2e8b17390a33f35a2792437)
laquelle donne
![{\displaystyle y'=-{\frac {z'_{_{'}}}{z_{_{''}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a481b3666df83b80711ede76b012aff33be06492)
Ainsi l’on aura, pour le maximum,
![{\displaystyle z''-{\frac {z_{_{'}}^{'2}}{z_{_{''}}}}<0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/626944262770cb68f7d2ef4827d3db87f7e0eecf)
et, pour le minimum,
![{\displaystyle z''-{\frac {z_{_{'}}^{'2}}{z_{_{''}}}}>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/357d79e2b41878c9bd438100c95d5c61a2c24f4e)
ou bien, puisque
doit être aussi
dans le premier cas et
dans
le second, il faudra que l’on ait, tant pour le maximum que pour le minimum,
![{\displaystyle z''z_{_{''}}-z_{_{'}}^{'2}>0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efc6d932afb028afafcf731fda2a95bbbe4ad40e)
D’où l’on peut conclure que les valeurs de
et
tirées des équations
et
donneront un maximum ou un minimum suivant que l’on aura
ou
pourvu que l’on ait en même temps
![{\displaystyle z''z_{_{''}}-z_{_{'}}^{'2}>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e6cf4b9b3a50c85decce584d4280eb3bead02ad)
ce qui emporte, comme l’on voit, la condition que
et
soient de même signe.
Donc, si
ou
il n’y aura ni maximum ni minimum, à moins que les fonctions tierces ne disparaissent aussi, auquel cas le jugement dépendra des fonctions quartes, et ainsi de suite.
Il ne suffit donc pas, pour l’existence du maximum ou minimum, que l’on ait
et
ou
et
comme on pourrait le conclure du Chapitre XI de la seconde Partie du Calcul différentiel d’Euler.
52. Il est facile d’appliquer la méthode précédente aux fonctions de trois variables. Supposons que
soit fonction des variables
regardant d’abord
et
comme constantes et
seul comme variable ; on aura, suivant la notation déjà adoptée (no 92, Ire Partie),
![{\displaystyle \,_{_{'}}\!u=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c035a7df666b88caacea32dcaf4a2cec4363594f)
pour la condition du maximum ou minimum, et ensuite
pour le maximum et
pour le minimum. L’équation
donnera la valeur de
en
et
qu’on substituera ou qu’on supposera substituée dans la fonction
moyennant quoi cette fonction, ne contenant plus que les deux variables
et
retombera dans le cas que nous venons de résoudre.
Pour construire des formules générales, on remarquera que, si
n’était qu’une fonction de
et
on aurait pour le maximum et le minimum les conditions
![{\displaystyle u'=0\quad {\text{et}}\quad u_{_{'}}=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c1a7e37e00422e389ebb54332aafab2cb06935f)
ensuite pour le maximum
![{\displaystyle u_{_{''}}<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66a457a52388aa0cf37baeaac803efc8f6d85b90)
et pour le minimum
![{\displaystyle u_{_{''}}>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b048400d67c5f026b914f03d7e7aa804ff2c3dd)
et enfin
![{\displaystyle u''u_{_{''}}-u_{_{'}}^{'2}>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e53d1e76fd92656439a0a279b7fed128671b9cad)
pour les deux cas. Mais, puisque
contient de plus
qui est elle-même une fonction de
et
les valeurs des fonctions désignées par
ne seront pas simplement exprimées par ces quantités, mais il faudra y ajouter les termes qui doivent provenir de la quantité
regardée comme fonction de
et
Ainsi, en prenant les fonctions primes et secondes de
on trouvera que la quantité
devient
que la quantité
devient
que la quantité
devient
que la quantité
devient
et que la quantité
devient ![{\displaystyle u'_{_{'}}+\,_{_{'}}\!u_{_{'}}z'+\,_{_{'}}\!u'z_{_{'}}+\,_{_{'}}\!uz'_{_{'}}+\,_{_{''}}\!uz'z_{_{'}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/231d40314618dc879c5b38257bc0b8700713ea89)
Donc on aura d’abord, pour le maximum ou minimum, les deux conditions
![{\displaystyle u'+\,_{_{'}}\!uz'=0,\quad u_{_{'}}+\,_{_{'}}\!uz_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80705f2ed348f99de92a88aaef6398f90c891135)
de sorte qu’à cause de
on aura ces trois équations
![{\displaystyle u'=0,\quad u_{_{'}}=0,\quad \,_{_{'}}\!u=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da66a7c5baf3bc460119e41949061381814327b2)
c’est-à-dire les trois fonctions primes de
relatives à
chacune égale à zéro.
Ensuite, à cause de
on aura
![{\displaystyle u_{_{''}}+2\,_{_{'}}\!u_{_{'}}z_{_{'}}+\,_{_{''}}\!uz_{_{'}}^{2}<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f378aba3a352801293c43c7c74f31aa8c201e47)
pour le maximum, et
pour le minimum ; et pour l’un et l’autre
![{\displaystyle \left(u''+2\,_{_{'}}\!u'z'+\,_{_{''}}\!uz^{'2}\right)\left(u_{_{''}}+2\,_{_{'}}\!u_{_{'}}z_{_{'}}+\,_{_{''}}\!uz_{_{'}}^{2}\right)>\left(u'_{_{'}}+\,_{_{'}}\!u_{_{'}}z'+\,_{_{'}}\!u'z_{_{'}}+\,_{_{''}}\!uz'z_{_{'}}\right)^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db20613a3fad8311ebec609ec2040413bf8f12b9)
Mais, comme la valeur de
en
et
dépend de l’équation
on prendra ses deux équations primes suivant
et
pour avoir les valeurs de
et de
on aura donc
![{\displaystyle \,_{_{'}}\!u'+\,_{_{''}}\!uz'=0\quad {\text{et}}\quad \,_{_{'}}\!u_{_{'}}+\,_{_{''}}\!uz_{_{'}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fbce779c22d9fbfff832bf10273a49ce4ef349d)
d’où l’on tire
![{\displaystyle z'=-{\frac {\,_{_{'}}\!u'}{\,_{_{''}}\!u}}\quad {\text{et}}\quad z_{_{'}}=-{\frac {\,_{_{'}}\!u_{_{'}}}{\,_{_{''}}\!u}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d4a3422430dcb20cc849834472b70c0a224f293)
On substituera donc ces valeurs, et, comme on a déjà trouvé
![{\displaystyle \,_{_{''}}\!u<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17f0e248142534cc0a49e1e4b512c4b51de5c82f)
pour le maximum, et
![{\displaystyle >0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b590bbbcf66fd5a62c56490804db67a445a6548b)
pour le minimum, en multipliant la première condition par
![{\displaystyle \,_{_{''}}\!u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81f50b8c446caf61456fedeabb442a667fbc31fc)
on aura une quantité qui devra toujours être
![{\displaystyle >0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5d0e37e629cb34e51f19c8853de88821581dbbb)
Donc les conditions pour le maximum ou minimum se réduiront à ces trois-ci
![{\displaystyle \,_{_{'}}\!u<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f5744f526ddc3554793ee638a27e5d8fe95cdb7)
pour le maximum
![{\displaystyle \quad {\text{et}}\quad >0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf802eb0c783b590e49490b3449aeb19407d1c6d)
pour le minimum,
et
![{\displaystyle \left(\,_{_{''}}\!uu''-\,_{_{'}}\!u^{'2}\right)\left(\,_{_{''}}\!uu_{_{''}}-\,_{_{'}}\!u_{_{'}}^{2}\right)>\left(\,_{_{''}}\!uu'_{_{'}}-\,_{_{'}}\!u'\,_{_{'}}\!u_{_{'}}\right)^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c913fb36e34f2c67e924e19f09dedef05d827c2)
On voit, par la marche de cette méthode, comment elle peut s’étendre à un plus grand nombre de variables, et l’on en peut d’abord conclure, en général, que l’on aura les équations du maximum ou minimum d’une fonction quelconque de plusieurs variables, en égalant à zéro les fonctions primes de cette fonction, prises relativement à chacune de ces variables, ce qui donnera autant d’équations que de variables. À l’égard des autres conditions nécessaires pour l’existence du maximum ou minimum, on les trouvera successivement par les principes et les formules que nous venons d’exposer.
53. Pour donner un exemple de la méthode de maximis et minimis, supposons qu’on demande la plus courte distance entre deux lignes droites données de position dans l’espace. Soit pour l’une des droites l’abscisse
ses deux ordonnées seront de la forme
et
Soit pareillement pour l’autre droite l’abscisse
prise sur le même axe ; les deux ordonnées, rapportées aussi aux mêmes axes que celles de la première droite, seront de la forme
et
Donc le carré de la distance entre les deux points qui répondent aux abscisses
et
sera exprimé par cette formule,
![{\displaystyle (x-y)^{2}+(a-\mathrm {A} +bx-\mathrm {B} y)^{2}+(c-\mathrm {C} +dx-\mathrm {D} y)^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74df6f00c50b967293d978e604dd6fe10fd59733)
que nous ferons, pour plus de simplicité, égale à ![{\displaystyle 2z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ee372a85db91d8c628755f2a3f56886c82842c7)
En prenant les fonctions dérivées, on aura
![{\displaystyle {\begin{aligned}z'\ =&\quad \ (x-y)+b\ (a-\mathrm {A} +bx-\mathrm {B} y)+d\ (c-\mathrm {C} +dx-\mathrm {D} y),\\z_{_{'}}\ =&-(x-y)-\mathrm {B} (a-\mathrm {A} +bx-\mathrm {B} y)-\mathrm {D} (c-\mathrm {C} +dx-\mathrm {D} y),\\z''=&1+b^{2}\ +d^{2},\\z_{_{''}}=&1+\mathrm {B^{2}+D^{2}} ,\\z'_{_{'}}\ =&-1-b\mathrm {B} -d\mathrm {D} .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7da7a357486b7a66fcf5829128b032358634ec95)
Donc : 1o On aura, pour la détermination des deux inconnues
et
les équations
![{\displaystyle {\begin{aligned}x-y+b\ (a-\mathrm {A} +bx-\mathrm {B} y)&+d\ (c-\mathrm {C} +dx-\mathrm {D} y)=0,\\x-y+\mathrm {B} (a-\mathrm {A} +bx-\mathrm {B} y)&+\mathrm {D} (c-\mathrm {C} +dx-\mathrm {D} y)=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc720e7a622194e502a29a877410dece36ac4ed9)
2o Puisque la valeur de
est nécessairement positive, il ne pourra y avoir que le minimum, mais il faudra de plus que l’on ait la condition
![{\displaystyle z''z_{_{''}}-z_{_{'}}^{'2}>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e6cf4b9b3a50c85decce584d4280eb3bead02ad)
savoir
![{\displaystyle \left(1+b^{2}+d^{2}\right)\left(1+\mathrm {B^{2}+D^{2}} \right)-(1+b\mathrm {B} +d\mathrm {D} )^{2}>0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ead42cb9b46f2f0961dab02ab772f29740f6a48f)
Or c’est ce qui a lieu quelles que soient les valeurs de
car la condition précédente peut se mettre sous cette forme :
![{\displaystyle (b-\mathrm {B} )^{2}+(d-\mathrm {D} )^{2}+(b\mathrm {D} -d\mathrm {B} )^{2}>0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e72bf5c93288f58d7378cddf3e3aeebb3ee5372d)
Comme les équations en
et
sont linéaires, la détermination de ces quantités n’a aucune difficulté ; nous ne nous y arrêterons pas, d’autant que ce problème est susceptible d’une solution géométrique fort élégante.
54. On peut encore, dans la recherche des maxima et minima des fonctions de plusieurs indéterminées, considérer toutes les variables à la fois, ce qui est plus direct et plus lumineux. Soit, en effet,
![{\displaystyle f(x,y,z,u,\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d480612aa6e3a7def93b13eaefcac2c8514f5755)
la fonction proposée ; si l’on suppose que les quantités ![{\displaystyle x,y,z,u,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b3c38718890d7b6c3d4545e1b0717470ac962cc)
aient déjà les valeurs convenables pour le maximum ou minimum, il faudra que, en substituant
![{\displaystyle x+p,y+q,z+r,u+s,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/090fc3f4da3dcbc596567efd089f6925c59228f4)
à la place de
![{\displaystyle x,y,z,u,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b3c38718890d7b6c3d4545e1b0717470ac962cc)
dans la fonction dont il s’agit, sa valeur devienne toujours plus petite dans le cas du maximum et toujours plus grande dans le cas du minimum, quelles que soient les valeurs de
![{\displaystyle p,q,r,s,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/72100400390d4efe862ec923a46e4fe4b63559bb)
et quelque petites qu’elles soient c’est ce qui résulte de la nature même du maximum ou minimum.
Développons la fonction
![{\displaystyle f(x+p,y+q,z+r,u+s,\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a654613ac2089081b293a0fc74f1b5b03881ccc)
suivant les puissances et les produits des quantités
par les formules du théorème général (no 78, Ire Partie), et arrêtons-nous aux premiers termes de ce développement.
Si l’on désigne simplement (ainsi que nous l’avons pratiqué jusqu’ici) par
les fonctions primes de la fonction
prises relativement à
considérés séparément, et qu’on désigne de plus par
les fonctions secondes de la fonction
![{\displaystyle f(x+\lambda p,y+\lambda q,z+\lambda r,u+\lambda s,\ldots ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/381295f19a01eb00df1b7b6775f69e8c4b4d4df4)
prises relativement à
seul, à
et
, à
seul, à
et
à
et
et ainsi de suite, on aura
![{\displaystyle f(x+p,y+q,z+r,u+s,\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a654613ac2089081b293a0fc74f1b5b03881ccc)
![{\displaystyle =f(x,y,z,u,\ldots )+pf'(x)+qf'(y)+rf'(z)+sf'(u)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/df15496b0547c8dee1965b2b82c6c7160a0d1eb1)
![{\displaystyle +{\frac {1}{2}}p^{2}f''(x)+pqf''(x,y)+{\frac {1}{2}}q^{2}f''(y)+prf''(x,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc9a9691445d53cb806f3f107b9dd5520aab0e09)
![{\displaystyle +{\frac {1}{2}}r^{2}f''(z)+qrf''(y,z)+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad7a36baea7d455ffdb84bbb37604e6acac4a49e)
Le coefficient
désigne un nombre indéterminé compris entre
et
et qui sera le même dans la même fonction, mais pourra être différent dans les différentes fonctions.
Donc il faudra que la quantité
![{\displaystyle pf'(x)+qf'(y)+rf'(z)+sf'(u)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ee2bbc5268a3641831292259eda5c5e53c3860d)
![{\displaystyle \qquad \qquad +{\frac {1}{2}}p^{2}f''(x)+pqf''(x,y)+{\frac {1}{2}}q^{2}f''(y)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4c1aa4fe8b4e5890f6ebf058b42186b19605a14)
soit toujours positive pour le minimum et négative pour le maximum, en donnant à
![{\displaystyle p,q,r,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/796283b983fd95e6370370d6a0f0de96b4cac5e6)
des valeurs quelconques aussi petites qu’on voudra. D’où l’on conclura d’abord, par un raisonnement analogue à celui du
no 25, que cette condition ne pourra être remplie, à moins que les termes multipliés par les premières puissances de
![{\displaystyle p,q,r,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/796283b983fd95e6370370d6a0f0de96b4cac5e6)
ne soient nuls chacun en particulier, ce qui donnera les équations
![{\displaystyle f'(x)=0,\quad f'(y)=0,\quad f'(z)=0,\quad f'(u)=0,\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e1272d6ae7d6e3d7295b842fabf98b2423edad3)
qui sont communes au maximum et au minimum, et qui, étant en même nombre que les indéterminées
serviront à déterminer leurs valeurs.
55. Mais, pour que ces valeurs donnent, en effet, un maximum ou un minimum, il faudra encore que la quantité restante
![{\displaystyle {\frac {1}{2}}p^{2}f''(x)+pqf''(x,y)+{\frac {1}{2}}q^{2}f''(y)+prf''(x,z)+qrf''(y,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaf1e8c7a98a65e7c20f06a17dcd4ff3a60ce2d6)
![{\displaystyle +{\frac {1}{2}}r^{2}f''(z)+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73e5a13ab98824e109d6300111d581b26e228c06)
soit toujours positive pour le minimum et négative pour le maximum, quelles que soient les valeurs de
et quelque petites qu’elles puissent être.
Comme les fonctions
qui multiplient les carrés et les produits des quantités
renferment elles-mêmes ces quantités, il pourrait être difficile, et peut-être impossible, de déterminer les caractères nécessaires pour que la condition dont il s’agit ait lieu rigoureusement ; mais j’observe que, si l’on suppose
ces fonctions deviennent indépendantes de
et ont des valeurs déterminées, et l’on trouve alors, comme on le verra dans un moment, des conditions entre ces mêmes fonctions qui ne consistent que dans des inégalités entre des quantités composées de ces fonctions. Ces inégalités, étant supposées avoir lieu pour des valeurs déterminées de
auront lieu encore pour les valeurs peu différentes
tant que les quantités
ne passeront pas certaines limites, qui pourront être aussi peu étendues qu’on voudra. Donc, puisque la condition exigée pour le maximum ou minimum n’a besoin d’être remplie que pour des valeurs quelconques de
aussi petites qu’on voudra, il s’ensuit qu’il suffira de satisfaire à cette condition dans le cas de
par conséquent, on pourra supposer tout de suite
ce qui réduira les fonctions
qui entrent dans la quantité ci-dessus
à n’être que les fonctions secondes de la fonction donnée
prises relativement à
seul, à
et
etc.
56. Tout se réduit donc à trouver les conditions pour qu’une quantité de la forme
![{\displaystyle \mathrm {A} p^{2}+\mathrm {B} pq+\mathrm {C} q^{2}+\mathrm {D} pr+\mathrm {E} qr+\mathrm {F} r^{2}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e76cee52c0cbe6057578dba839c1575843e17631)
dans laquelle
sont des quantités données et
dénotent des quantités indéterminées, soit toujours nécessairement positive ou négative, quelles que soient les valeurs de ![{\displaystyle p,q,r,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a52b9ffdbe4a6610594af97b872aa0985d322ee)
Supposons qu’elle doive être toujours positive ; il est évident que, pour le cas contraire, il suffira de prendre négativement les coefficients
Puisque cette quantité ne doit jamais devenir négative, il s’ensuit qu’elle doit avoir un minimum positif ; et, réciproquement, si elle n’a que des minima positifs, elle ne pourra jamais devenir négative. Il n’y a donc qu’à chercher les conditions nécessaires pour que la quantité dont il s’agit ait des minima tous positifs.
Suivant l’esprit de la méthode exposée ci-dessus (no 52), on prendra les fonctions primes et secondes de la quantité proposée relativement à une seule variable, comme
et l’on supposera la fonction prime égale à zéro et la fonction seconde positive. On aura ainsi l’équation
![{\displaystyle 2\mathrm {A} p+\mathrm {B} q+\mathrm {D} r+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2e0f32c9b47144abac80f968e34a0b1e89b3ba0)
et la condition ![{\displaystyle \mathrm {A} >0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fbd8aefa794d1a238a7b37a2f96c78fad79506a)
On substituera la valeur de
tirée de l’équation précédente dans la quantité proposée, laquelle deviendra ainsi de la forme
![{\displaystyle \mathrm {L} q^{2}+\mathrm {M} qr+\mathrm {N} r^{2}+\mathrm {P} qs+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/369079ba9a4e574157228621880730d0a77c3464)
en faisant
![{\displaystyle \mathrm {L=C-{\frac {B^{2}}{4A}},\quad M=E-{\frac {BD}{2A}},\quad N=F-{\frac {D^{2}}{4A}}} ,\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af601f52f1deb3627c93db9589081faa91b1f9ca)
On prendra de la même manière les fonctions primes et secondes de cette transformée relativement à une seule variable
et, faisant la fonction prime égale à zéro et la fonction seconde positive, on aura de nouveau l’équation
![{\displaystyle 2\mathrm {L} q+\mathrm {M} r+\mathrm {P} s+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4624f1dcd4d77bf5b54c2297a6b52c75ebe5c21c)
et la condition ![{\displaystyle \mathrm {L} >0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/680b5e6eee8b29049a451048cd2e6a8249a3009e)
On substituera pareillement dans la transformée précédente la valeur de
tirée de cette équation on aura la nouvelle transformée
![{\displaystyle \mathrm {T} r^{2}+\mathrm {V} rs+\mathrm {X} s^{2}+\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02e8961dcae4d2fdc331b53b99c1ec71c031c66b)
dans laquelle les coefficients
seront donnés en
comme ceux-ci le sont en
et, continuant le même procédé, on aura l’équation
![{\displaystyle 2\mathrm {T} r+\mathrm {V} s+\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cc3961c036b3c2b09ecca0b23696e1bfa785ddd)
et la condition
et ainsi de suite.
Maintenant il est aisé de voir que la dernière de ces transformées, celle qui ne contiendra plus qu’une seule des indéterminées
et qui sera par conséquent de la forme
sera elle-même le minimum de la quantité proposée, d’où il s’ensuit que les conditions pour que cette quantité ait un minimum positif seront
![{\displaystyle \mathrm {A>0,\quad L>0,\quad T>0,\quad \ldots ,\quad Z} >0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/380c181036d0e2e1226306cf394ee6d1ab9a0314)
et, comme les équations qui déterminent les valeurs de
sont toutes linéaires, on en conclura que ce minimum sera le seul qui puisse avoir lieu. Ainsi, le problème est résolu rigoureusement.
Au reste, il est facile de voir que par ces différentes transformations la quantité proposée deviendra de la forme
![{\displaystyle \mathrm {A} \left(p+{\frac {\mathrm {B} q+\mathrm {D} r+\ldots }{2\mathrm {A} }}\right)^{2}+\mathrm {L} \left(q+{\frac {\mathrm {M} r+\mathrm {P} s+\ldots }{2\mathrm {L} }}\right)^{2}+\mathrm {T} \left(r+{\frac {\mathrm {V} s+\ldots }{2\mathrm {T} }}\right)^{2}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93b25ff6e5f81ebf2f95b173b926445b41691441)
laquelle sera évidemment toujours positive ou négative, suivant que les coefficients
le seront tous à la fois, et l’on voit en même temps par cette forme que les quantités
pourront être nulles, pourvu qu’elles ne le soient pas toutes à la fois.
Les conditions que nous venons de trouver deviendront donc celles du maximum ou minimum de la fonction
en faisant, pour le minimum
![{\displaystyle \mathrm {A} ={\frac {1}{2}}f''(x),\quad \mathrm {B} =f''(x,y),\quad \mathrm {C} ={\frac {1}{2}}f''(y),\quad \ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/63a5fd6f734a9a803deb6153a38864761694e37c)
et pour le maximum
![{\displaystyle \mathrm {A} =-{\frac {1}{2}}f''(x),\quad \mathrm {B} =-f''(x,y),\quad \mathrm {C} =-{\frac {1}{2}}f''(y),\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b70c016026f3e4ee4b274908b8decef2fe2880b8)
Il est facile de voir l’accord de ces résultats avec ceux du no 52 ; mais la méthode précédente a l’avantage de fournir un moyen simple d’étendre ces résultats à un nombre quelconque de variables.
57. Les principes exposés jusqu’ici sur la théorie de maximis et minimis conduisent à cette conclusion générale Si, dans une fonction quelconque des variables
on substitue à la place de ces variables les quantités
et qu’on développe la fonction suivant les puissances et les produits des quantités
les termes où ces quantités ne se trouveront qu’à la première dimension, étant égalés chacun séparément à zéro, donneront les équations nécessaires pour que la fonction proposée devienne un maximum ou minimum ; ensuite on considérera la quantité composée de tous les termes où
formeront deux dimensions, et il faudra pour le minimum que cette quantité soit toujours positive, et pour le maximum toujours négative, quelles que puissent être les valeurs de
Si tous ces termes s’évanouissaient à la fois, il faudrait alors, pour l’existence du maximum ou minimum, que tous les termes où
formeraient trois dimensions disparussent aussi à la fois, et que la quantité composée des termes où
formeraient quatre dimensions fût toujours positive pour le minimum et toujours négative pour le maximum,
ayant des valeurs quelconques ; et ainsi de suite ce qui répond, comme l’on voit, au théorème du no 25.
Nous avons donné ci-dessus un moyen simple pour trouver les conditions qui rendent une quantité de la forme
![{\displaystyle \mathrm {A} p^{2}+\mathrm {B} pq+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/69cee13cec1143ef291942830abb3362499eeb94)
toujours positive ou négative. On pourrait, de la même manière, chercher celles qui rendraient toujours positives ou négatives des quantités de la forme
![{\displaystyle \mathrm {A} p^{4}+\mathrm {B} p^{3}q+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53144968e4dde5e462532416f2ca1b29def8dda4)
mais l’application de la méthode générale à ce cas serait sujette à des difficultés de calcul qui pourraient la rendre impraticable, et c’est là un problème d’Algèbre dont il serait à désirer qu’on pût avoir une solution complète.
58. Nous avons supposé jusqu’ici que les variables qui entrent dans la fonction sont indépendantes les unes des autres ; mais, s’il y avait entre elles une ou plusieurs équations, il faudrait commencer par éliminer, au moyen de ces équations, autant de variables dans la fonction proposée ; on chercherait ensuite la condition du maximum ou minimum par rapport aux variables qui seraient restées dans la fonction. C’est la méthode qui se présente naturellement ; mais on peut la simplifier beaucoup en conservant toutes les variables et réduisant l’élimination aux seules quantités
En effet, supposons qu’on ait entre les variables
l’équation de condition
![{\displaystyle \varphi (x,y,z,\ldots )=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90d6cfd891cbdded86605e0b6f21fdf9c481c547)
comme cette équation doit avoir lieu quelles que soient les valeurs de
elle aura donc lieu aussi en mettant
à la place de
par conséquent, on aura, par un développement semblable à celui du no 78 (Ire Partie), l’équation
![{\displaystyle p\varphi '(x)+q\varphi '(y)+r\varphi '(z)+\ldots +{\frac {1}{2}}p^{2}\varphi ''(x)+pq\varphi ''(x,y)+{\frac {1}{2}}q^{2}\varphi ''(y)+\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53b6d94d9042fff31962848915182857aac467d8)
d’où l’on pourra tirer la valeur de
en série, qu’on substituera dans le développement de la fonction qui doit être un maximum ou un minimum ou bien on ajoutera simplement à ce développement la quantité qui forme le premier membre de l’équation précédente, multipliée par une quantité quelconque indéterminée qui pourra même être de la forme
![{\displaystyle a+bp+cq+dr+\ldots +lp^{2}+mpq+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2860fb6593a5285c0d522599f4f6299bc72482e4)
les coefficients
![{\displaystyle a,b,c,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/502c55592cd283419e4767a0c2bca6a672a0b1be)
étant indéterminés, et l’on égalera à zéro tous les termes qui contiendront la quantité
![{\displaystyle p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/393fcf18074cb42eafb26b76c515a1e93e17512c)
ce qui servira à déterminer les inconnues
Comme les équations du maximum ou minimum résultent de l’évanouissement des termes où les quantités
ne sont qu’à la première dimension, il suffira d’égaler à zéro chacun de ces termes, ce qui donnera sur-le-champ les équations
![{\displaystyle f'(x)+a\varphi '(x)=0,\quad f'(y)+a\varphi '(y)=0,\quad f'(z)+a\varphi '(z)=0,\quad \ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/244bbd6869e602662f9bc0aebfb43f839a017b27)
qu’on réduira ensuite à une de moins par l’élimination de l’inconnue
À l’égard des termes où les quantités
formeront deux dimensions, on déterminera, par les méthodes exposées ci-dessus, les conditions qui doivent avoir lieu entre les coefficients de ces termes, et l’on cherchera à satisfaire à ces conditions de la manière la plus générale, au moyen des quantités arbitraires ![{\displaystyle b,c,d,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab13cad093e56498b50c0cc0372dd1d138f2c6b4)
Nous ne faisons ici qu’indiquer ces procédés, dont il sera facile de faire l’application ; mais on peut les réduire à ce principe général : Lorsqu’une fonction de plusieurs variables doit être un maximum ou minimum, et qu’il y a entre ces variables une ou plusieurs équations, il suffira d’ajouter à la fonction proposée les fonctions qui doivent être nulles, multipliées chacune par une quantité indéterminée, et de chercher ensuite le maximum ou minimum comme si les variables étaient indépendantes ; les équations qu’on trouvera, combinées avec les équations données, serviront à déterminer toutes les inconnues.
59. On peut résoudre, par les mêmes principes, les questions où il s’agit de trouver des courbes qui jouissent, dans chacun de leurs points, de quelque propriété donnée de maximum ou minimum.
Supposons, par exemple, qu’on demande la courbe dans laquelle la quantité que nous avons nommée
dans le problème du no 15 soit un maximum ou minimum à chaque point de la courbe. Cette quantité est exprimée par la fonction
![{\displaystyle \left[y+(m-x)y'\right]\left[y+(n-x)y'\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4ee4a5fc39d03099948a4f99d0fc987e35706f2)
et la question consiste à trouver la valeur de
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
en
![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
qui rendra cette fonction un maximum ou minimum. Si les deux quantités
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
et
![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
étaient indépendantes l’une de l’autre, on pourrait déterminer le maximum ou minimum relativement à chacune de ces variables ; mais, comme ces quantités dérivent l’une de l’autre et que leur relation demeure inconnue tant que l’une d’elles n’est pas une fonction déterminée de
![{\displaystyle x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feff4d40084c7351bf57b11ba2427f6331f5bdbe)
on ne peut chercher le maximum ou minimum que par rapport à l’une de ces quantités, et il est naturel de prendre pour variable la quantité
![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
qui détermine la position de la tangente, en regardant les coordonnées
![{\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)
comme données pour chaque point de la courbe.
On prendra donc les fonctions primes et secondes de la fonction proposée relativement à la quantité
regardée comme seule variable, et, égalant à zéro la fonction prime, on aura sur-le-champ l’écluation
![{\displaystyle \left[y+(n-x)y'\right](m-x)+\left[y+(m-x)y'\right](n-x)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebdf8b26b217862e3994baad14778cd6206b7dca)
laquelle donne, comme dans le numéro cité,
![{\displaystyle y'={\frac {(2x-m-n)y}{2(m-x)(n-x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b909672966b7a9df37e86301474bdd7fc5bb147)
pour l’équation de la courbe cherchée.
Ensuite on aura la fonction seconde
![{\displaystyle 2(m-x)(n-x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c02e040ba2ed8d9f7631dca450cba5c43e6afbc3)
laquelle fait voir que le maximum aura lieu dans toute la partie de la courbe pour laquelle les deux quantités
et
seront de signes différents, et que le minimum aura lieu pour la partie où
et
seront de même signe ; de sorte que le maximum aura lieu pour toutes les valeurs de
comprises entre les limites
et
et le minimum pour les valeurs de
qui tomberont hors de ces limites.
L’équation trouvée pour la courbe étant du premier ordre, elle est susceptible d’une équation primitive avec une constante arbitraire, et, si on la met sous la forme
![{\displaystyle {\frac {2y'}{y}}={\frac {1}{x-m}}+{\frac {1}{x-n}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aae5713e917b17395da25d0a944f7237f722915)
on en déduira sur-le-champ cette équation primitive,
![{\displaystyle 2\log y=\log(x-m)+\log(x-n)+\log h,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16451a863b1b1494229e3cef9c1e1fceffb91747)
et, passant des logarithmes aux nombres,
![{\displaystyle y^{2}=h(x-m)(x-n),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68fd7e8b8c8f6d0269c34cbc52716f6a68dd14a3)
où
est une constante arbitraire. Cette équation est de la même forme que celle que nous avons trouvée dans l’endroit cité, ce qui doit être, puisqu’elles viennent l’une et l’autre de la même équation du premier ordre. En effet, l’équation trouvée ci-dessus pour le maximum ou minimum, étant multipliée par
a pour équation primitive
![{\displaystyle \left[y+(m-x)y'\right]\left[y+(n-x)y'\right]=\mathrm {K} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32f1595871cdaf9edfa63580ca282551cf5135b3)
étant une constante arbitraire, et celle-ci, combinée avec la même équation pour en éliminer
donnera le résultat trouvé dans le même endroit.
Donc, rapprochant cette solution de celle du no 15, on en conclura, en général, que les sections coniques ont non-seulement la propriété, déjà trouvée, que chaque tangente coupe sur les perpendiculaires élevées aux deux extrémités de l’axe des parties dont le produit est constant, mais encore celle-ci, que la position de la tangente à chaque point de la courbe, regardé comme donné, est telle que ce même produit est un maximum pour l’ellipse et un minimum ou plutôt un maximum négatif pour l’hyperbole.
60. En général, si l’on demande la courbe dans laquelle une fonction donnée de
sera un maximum ou minimum, on pourra chercher le maximum ou minimum relativement à chacune des quantités
ce qui donnera autant de solutions différentes, et l’on aura toujours, généralement parlant, pour la courbe cherchée, une équation du même ordre que la fonction proposée.
Si cette fonction était une simple fonction des éléments
du contact (no 10), en cherchant le maximum ou minimum relativement à la dernière des quantités
on trouverait nécessairement la même équation que l’on aurait pour le problème dans lequel on supposerait cette même fonction égale à une constante ; c’est de quoi il est facile de se convaincre par l’analyse des nos 20 et 18. En effet, en égalant à zéro la fonction prime de
prise relativement à la plus haute des fonctions dérivées
on aura la même équation que si l’on prenait, en général, la fonction prime de l’équation
![{\displaystyle f(a,b,c,\ldots )=\mathrm {const} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ace1b7c8c40f90c6644cb5228811f55d8da6e)
relativement à
d’où l’on voit que ces deux genres de problèmes, quoique fort différents dans le fond, conduisent néanmoins aux mêmes résultats et sont, par conséquent, susceptibles des mêmes solutions. Ainsi, on pourra appliquer ici tout ce qui a été dit dans les endroits cités. L’exemple du numéro précédent est, comme l’on voit, un cas particulier de ces mêmes problèmes.