Donc, ayant l’équation
![{\displaystyle \operatorname {F} (x,y,z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/501234595663d816811185ca701010a2b5cadcfd)
on aura l’équation prime
![{\displaystyle \operatorname {F} '(x)+z'\operatorname {F} '(z)+y'\left[\operatorname {F} '(y)+z_{_{'}}\operatorname {F} '(z)\right]=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/255de1a792122de3893cb0a6be944d9f0cf6fd10)
Mais,
étant regardé comme une fonction indéterminée de
l’équation précédente doit avoir lieu quelle que soit la fonction
elle se décomposera donc en ces deux-ci,
![{\displaystyle \operatorname {F} '(x)+z'\operatorname {F} '(z)=0,\quad \operatorname {F} '(y)+z_{_{'}}\operatorname {F} '(z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ad9aee52093b96810f8c43e3f7ff99687fbfa3b)
comme plus haut.
On pourrait trouver de la même manière les équations dérivées des ordres supérieurs.
83. Cela posé, considérons en général l’équation
![{\displaystyle \operatorname {F} (x,y,z)=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41dfb6e32ec0b22e4f84c743a908533d8a285e48)
elle donne les deux équations primes
![{\displaystyle \operatorname {F} '(x)+z'\operatorname {F} '(z)=0,\quad \operatorname {F} '(y)+z_{_{'}}\operatorname {F} '(z)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ad9aee52093b96810f8c43e3f7ff99687fbfa3b)
qui auront par conséquent lieu en même temps que la proposée. Donc une combinaison quelconque de ces trois équations aura lieu aussi et pourra, par conséquent, tenir lieu de l’équation primitive.
Soient
et
deux constantes quelconques contenues dans la fonction
ces constantes seront les mêmes dans les fonctions dérivées
ainsi l’on pourra, au moyen des trois équations dont il s’agit, éliminer ces deux constantes, et l’équation résultante sera une équation du premier ordre entre
et
qui renfermera deux constantes de moins que l’équation primitive. Donc, réciproquement, si l’on n’a pour la détermination de
en
et
qu’une équation du premier ordre entre
et
l’équation primitive entre
et
devra contenir deux constantes arbitraires.
Ceci est analogue à ce que nous avons vu relativement aux fonctions