IJ. - DÉTERMINANTS FONCTIONNELS
Considérons, d'autre part, le déterminant
I dVx 0¥i
dx Oy
I Ox Oy
dL
on démontre, comme tout à Theure, que ce déterminant est nul et, en le développant par rapport aux éléments de la dernière colonne, on a une relation de la forme
d'où Ton déduit
(rt--^-- Pd\-^Qd\\
On verra de même que l'on a 0^,
'ot~
ot
el il existe, dans ce cas, deux relations distinctes entre les quatre fonctions X, Y, Z, T
Z- *,(X, Y), Tr^*,(X, ^ )-, il n'en existe pas d'autre, distincte de ces deu\-là, car on en dédui-
rail une relation entre A et Y et l on devrait avoir -n ^^*>î
contrairement à l'hjpolhèse.
Enfin, si tous les mineurs du deuxième ordre du jacobieii étaient nuls, sans que les quatre fonctions X, Y, Z, T se réduisent à des constantes, on verrait de même que trois d'entre elles sont fonctions de la quatrième. Le raisonnement qui vient d'être fait est évidemment général; si le jacobien des n fonctions F,, Fj, . . . , ¥,t de n variables indépendantes X| , x^, . . . , .T/,, est nul, ainsi que tous les mineurs k n — /• -r i lignes, l'un au moins des mineurs b n — r lignes étant différent de zéro, il y a exactement r relations distinctes entre les n fonctions, et r d'entre elles peuvent s'exprimer au moyen des n — r restantes, entre lesquelles n'exislr aucune relation.
Nous laisserons au lecteur le soin de démontrer la proposition
64 CUAPITRB II. — PONCTIONS IMPLICITES, ETC.
suivante, qui s^établit de la même façon. Pour que n fonctions de n-^-p variables indépendantes soient liées par une relation ne contenant pas ces variables, il faut et il suffit que les jacobiens de ces n fonctions, par rapport à n quelconques des variables indépendantes, soient tous nuls. En particulier, pour que deux fonctions F|(a:i, 0^2, . . ., Xn) et F2(xi, Xa, . . ., Xf^) soient fonctions Tune de l'autre, il faut et il suffit que les diérivées partielles cor-
respondanles — et — -^ soient proportionnelles.
Bemarque. — Les fonctions F|, Fa, . . . , F^, qui figurent dans les énoncés précédents, peuvent dépendre en outre de certaines variables j^i,j^2, ... ,j'ot> différentes des variables ;ri, 0:2, ...,Xrt. Si le iacobien *' — ^'-.m — 'L est nul identiquement, les fonc-
tions F|, F2, . . ., Frt sont liées par une ou plusieurs relations ne renfermant pas les variables a^i, j^a? • • •» ^/ij mais les autres variables ^1, y2i • • •? ym figureront en général dans ces relations.
Applications. — Le théorème précédent est d'une grande importance en Analyse. Par exemple, il permettrait de démontrer la propriété fondamentale du logarithme, sans se servir de la définition arithmétique. On démontrera, en effet, au début du Calcul intégral, qu'il existe une fonction bien définie pour toutes les valeurs positives de la variable, qui se réduit
à zéro pour a? = î, et dont la dérivée est égale à -• Soit /(a?) cette fonction; posons
Il existe donc une relation de la forme
pour déterminer la fonction «p, il suffit de faire y = v^ ce qui nous donne f(x)=z <p(ar), ei, par suite, puisque x est quelconque,
On voit comment la définition précédente aurait conduit aux propriétés
