D’où l’on voit que l’équation
![{\displaystyle n-p'+q''-r'''+\ldots =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b35859fc24b264e8e7b3a0902a4d6a4bc6e8728)
que donnerait la variation de
est toujours équivalente à l’équation
![{\displaystyle \mathrm {N-P'+Q''-R'''} +\ldots =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65d80b29ceb044f17183df24af690516f2b6acbe)
qui provient de la variation de ![{\displaystyle y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f72471aff7c6fbb27df0f971283a068efe091f)
En effet, nous avons déjà trouvé par une, autre voie, dans la Leçon précédente, que ces équations ont toujours lieu à la fois.
Un des avantages du calcul des variations est de pouvoir faire varier indistinctement les indéterminées
ou
et leurs différentielles ; et l’identité des équations du maximum ou minimum, déduites de l’une et de l’autre de ces variations, a été un des premiers résultats de ce calcul auquel les anciennes méthodes n’auraient pu conduire. Mais les démonstrations qu’on en a données dans le second et le quatrième Volume des Mémoires de Turin[1] sont moins directes que celle qui se déduit des formules qui représentent cette double variation, et que nous venons d’exposer d’après Euler. Voyez le Tome III de son Calcul intégral.
Considérons maintenant le problème dans toute sa généralité, et d’abord, soit, comme ci-dessus,
![{\displaystyle \mathrm {V} =f(x,y,y',y'',y''',\ldots )\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5fe6284009ab7e1c5793338bab1346a4eb850d0)
on aura
![{\displaystyle \mathrm {N} =f'(y),\quad \mathrm {P} =f'(y'),\quad \mathrm {Q} =f'(y''),\quad \mathrm {R} =f'(y'''),\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ead3dd3b9e19dd73aa896ceb4befea7c4d80439)
Soit, de plus, pour abréger,
![{\displaystyle {\begin{aligned}&\mathrm {Y} =f'(y)\ \ \ -\left[f'(y')\,\right]'+\left[f'(y'')\,\right]''-\left[f'(y''')\right]'''+\ldots ,\\&{\overset {\shortmid }{\mathrm {Y} }}=f'(y')\ \ -\left[f'(y'')\right]'+\left[f'(y''')\right]''-\ldots ,\\&{\overset {\shortmid \ \shortmid }{\mathrm {Y} }}=f'(y'')\ -\left[f'(y''')\right]'+\ldots ,\\&{\overset {\shortmid \ \shortmid \ \shortmid }{\mathrm {Y} }}=f'(y''')-\ldots ,\\&\ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39dc96b2258c270a7051195f0ca70f218f5e3e85)
- ↑ Œuvres de Lagrange, t. I, p. 335, et t. II, p. 37.