# Démonstration du principe général de l’invariabilité des fonctions
## ANALISE.

1. Soit $y$ une certaine fonction $\varphi ,$ de forme en général inconnue, d’une variable $x$, considérée comme variable indépendante ; $\varphi (x)$ étant supposée pouvoir varier, soit par les états de la variable $x$, soit par la forme même de la fonction désignée par $\varphi$.
Si, pour un certain état particulier $x_{a}$ de la variable principale, l’état correspondant $y_{a}$ de la variable dépendante est exprimé par $\mathrm {F} _{1}(x_{a})$, où $\mathrm {F} _{1}$ désigne une fonction déterminée de l’état $x_{a}$ ; Pour tout autre état $x_{h}$ de la variable principale, l’état correspondant $y_{h}$ de la variable dépendante sera exprimé par $\mathrm {F} _{1}(x_{h})$ ; c’est-à-dire, qu’on pourra être sûr, avant même de connaître la forme de $\mathrm {F} _{1}$, que la relation entre y et x est invariable.
On regarde communément cette proposition, prise dans le sens général de son énoncé, comme un axiome, et néanmoins on croit ne pas pouvoir se dispenser de démontrer diverses propositions particulières qui y sont renfermées. Il paraît cependant qu’il n’est aucun cas où une démonstration soit moins indispensable que dans le cas de l’incommensurabilité, que dans la généralisation des formules, soit de la trigonométrie, soit de la transformation des coordonnées, soit des puissances des polynômes, etc.
La seule condition de rigueur, entre les variables $x$ et $y$, est qu’elles soient, l’une et l’autre, assujéties à la loi de continuité ; en sorte que l’on puisse concevoir deux états de $x$ si voisins qu’on voudra, et assez voisins pour qu’il leur corresponde deux états de $y$ dont la différence tombe au-dessous d’une limite donnée, quelque petite qu’on la suppose.
Notre proposition sera démontrée (comme on le verra bientôt) si, $x_{a+1},y_{a+1}$ étant deux états correspondans, aussi voisins qu’on voudra de $x_{a},y_{a},$ respectivement, on reconnaît que la relation
$y_{a+1}=\mathrm {F} _{2}(x_{a+1})\qquad$
est une absurdité ; $\mathrm {F} _{2}$ désignant une fonction déterminée, connue ou inconnue, autre que celle qui est désignée par $\mathrm {F} _{1}$.
Pour établir cette proposition, formons le tableau des séries d’états variables de $x,y,\mathrm {F} _{1}(x),\mathrm {F} _{2}(x),\ldots$
${\begin{array}{r|r|r|c|r|r|c|r|c}x&x_{1}&x_{2}&\ldots &x_{a}&x_{a+1}&\ldots &x_{h}&\mathrm {(I)} \\y&y_{1}&y_{2}&\ldots &y_{a}&y_{a+1}&\ldots &y_{h}&\mathrm {(II)} \\\mathrm {F_{1}} (x)&\mathrm {F} _{1}(x_{1})&\mathrm {F} _{1}(x_{2})&\ldots &\mathrm {F} _{1}(x_{a})&\mathrm {F} _{1}(x_{a+1})&\ldots &\mathrm {F} _{1}(x_{h})&\mathrm {(III)} \\\mathrm {F_{2}} (x)&\mathrm {F} _{2}(x_{1})&\mathrm {F} _{2}(x_{2})&\ldots &\mathrm {F} _{2}(x_{a})&\mathrm {F} _{2}(x_{a+1})&\ldots &\mathrm {F} _{2}(x_{h})&\mathrm {(IV)} \\\ldots &\ldots &\ldots &\ldots &\ldots &\ldots &\ldots &\ldots &\ldots \\\end{array}}$
Cela posé, soient
${\begin{array}{rrlc}x_{a+1}-&x_{a}&=i,&\quad (2)\\y_{a+1}-&y_{a}&=i',&\quad (3)\\\mathrm {F_{1}} (x_{a+1})-&\mathrm {F} _{1}(x_{a})&=i'',&\quad (4)\\\mathrm {F_{2}} (x_{a+1})-&\mathrm {F} _{2}(x_{a})&=i''',&\quad (4)\\\end{array}}$
$i,i',i'',i''',\ldots$ désignant des quantités qui, sans être nulles, tombent au-dessous d’une limite donnée, si petite qu’on voudra la supposer.
Si (1) est possible, on a, à cause de (3), et de $y_{a}=\mathrm {F} _{1}(x_{a})$
$\mathrm {F} _{2}(x_{a+1})-\mathrm {F} _{1}(x_{a})=i'~;\quad (6)$
donc (5), (6) donneront
$\mathrm {F} _{1}(x_{a})-\mathrm {F} _{2}(x_{a})=i'''-i'=i''''~;\quad (7)$
Or, ce résultat est impossible ; car $\mathrm {F} _{1}(x_{a})$ est une quantité déterminée, résultant de certaines opérations sur la quantité $x_{a}$ et sur les constantes implicites $b,c,\ldots ~;~\mathrm {F} _{2}(x_{a})$ est aussi une quantité déterminée, qui résulte d’un autre système d’opérations sur les quantités $x_{a},b,c,\ldots ,$ qui sont exactement les mêmes que dans $\mathrm {F} _{1}(x_{a})$ ; donc $\mathrm {F} _{1}(x_{a})-\mathrm {F} _{2}(x_{a})$ est aussi une quantité déterminée et ne peut conséquemment tomber au-dessous d’une limite si petite qu’on voudra ; la relation (7) est donc impossible et conséquemment la relation $(1)$ l’est aussi, si l’on suppose $\mathrm {F} _{2}$ différent de $\mathrm {F} _{1}$, donc enfin $\mathrm {F} _{2}$ est identique avec $\mathrm {F} _{1}$.
Il suit de là que $y_{a}$ étant compris dans la série $\mathrm {F} _{1}(x)$ l’état $y_{a+1},$ qui avait été supposé$=\mathrm {F} _{2}(x_{a+1})$ est aussi compris dans la même série puisque $\mathrm {F} _{2}$ étant la même chose que $\mathrm {F} _{1}$ ; aussi $\mathrm {F} _{2}(x_{a+1})$ est la même choses que $\mathrm {F} _{1}(x_{a+1})$ : or, cette proposition étant générale, il s’ensuit que pareillement $y_{a+2}$ est compris dans la même série $\mathrm {F} _{1}(x)$ et que généralement, si $y_{a+g}$ est compris, il en sera de même de $y_{a+g+1}$ ; donc $y_{a+3},y_{a+4},y_{a+5},\ldots y_{h},$ sont compris dans la même série ; donc enfin $y_{h}=\mathrm {F} _{1}(x_{h}),$ comme nous l’avions annoncé.
II. La même proposition est vraie à l’égard d’une fonction inconnue $y$ de deux variables principales $x',x''~;$ c’est-à-dire, que si, pour les états simultanés $x'_{a'},x''_{a''}$, des deux dernières, répondant à l’état $y_{a'a''}$, de la première, on a $y_{a'a''}=\mathrm {F} _{1}(x'_{a'},x''_{a''})\ldots \ (1)$, où $\mathrm {F} _{1}$, désigne une fonction déterminée, connue ou inconnue ; pour tout autre système $x'_{h'},x''_{h''}$, d’états simultanés des deux variables principales, répondant à l’état $y_{h'h''}$ de la variable subordonnée, on doit avoir également $y_{h'h''}=\mathrm {F} _{1}(x'_{h'},x''_{h''})\ldots ~(2).$
On peut, pour démontrer cette proposition, ou répéter exactement le raisonnement qui a servi à démontrer la première, ou employer un nouveau raisonnement, non moins simple, et fondé sur cette première : nous préférerons ce dernier mode de démonstration.
Pour parvenir de $y_{a'a''}$, à $y_{h'h''}$, considérons l’état intermédiaire $y_{h'a''}$. Cet état se trouve dans la série des états de $\varphi (x',x''_{a''})$, pour lesquels $x''_{a''}$ est constante ; ainsi $\varphi (x',x''_{a''})$ est une fonction d’une seule va- riable $x'$, et un de ses états particuliers est, par hypothèse $y_{a'a''}=\mathrm {F} _{1}(x'_{a'},x''_{a''})$ ; donc toute la série $\varphi (x',x''_{a''})$ est de la forme $\mathrm {F} _{1}(x'_{a'},x''_{a''})$ ; donc, en particulier, pour $x'_{h'},x''_{a''}$ on a : $y_{h'a''}=\mathrm {F} _{1}(x'_{h'},x''_{a''})......(3)$.
Maintenant, la valeur $y_{h'h''}$ est comprise dans la série des états de $\varphi (x'_{h'},x'')$ pour lesquels $x'_{h'}$, est constant, $x''$ seule variable, et dont un état particulier est, (3), $y_{h'h''}=\mathrm {F} _{1}(x'_{h'},x''_{h''})$ ; donc $(1)$ toute la série $\varphi (x'_{h'},x'')$ est de la même forme que $\mathrm {F} _{1}(x'_{h'},x''_{a''})$ ; donc, en particulier $y_{h'h''}=\mathrm {F} _{1}(x'_{h'},x''_{h''})$, comme nous l’avions annoncé.
III. La proposition étant supposé vérifiée jusqu’à $y=\varphi \left[x',x'',\cdots ,x^{(k)}\right]$, elle sera vraie aussi pour $y=\varphi \left[x',x'',\cdots ,x^{(k)},x^{(k+1)}\right]$. En effet, supposons $y_{a'a''\cdots a^{(k)}a^{(k+1)}}=\mathrm {F} _{1}\left[x'_{a'},x''_{a''},\cdots ,x_{a^{(k)}}^{(k)},x_{a^{(k+1)}}^{(k+1)}\right]$ … $(1),$ nous allons voir que$y_{h'h''\cdots h^{(k)}h^{(k+1)}}=\mathrm {F} _{1}\left[x'_{h'},x''_{h''},\cdots ,x_{h^{(k)}}^{(k)},x_{h^{(k+1)}}^{(k+1)}\right]......(2)$.
Pour nous en convaincre, considérons d’abord l’état intermédiaire $y_{h'h''\cdots h^{(k)}a^{(k+1)}}$, compris dans la série $\varphi \left[x',x'',\cdots ,x^{(k)},x_{a^{(k+1)}}^{(k+1)}\right]$ fonction de $k$ variables (la dernière quantité $x_{a^{(k+1)}}^{(k+1)}$ étant constante), et dont un état particulier est celui supposé $(1)$. D’après l’hypothèse établie pour une fonction de $k$ variables, on doit avoir $\varphi \left[x',x'',\cdots ,x^{(k)},x_{a^{(k+1)}}^{(k+1)}\right]=$$\mathrm {F} _{1}\left[x',x'',\cdots ,x^{(k)},x_{a^{(k+1)}}^{(k+1)}\right]\ldots (3)$, et par conséquent $y_{h'h''\cdots h^{(k)}a^{(k+1)}}=$$\mathrm {F} _{1}\left[x'_{h'},x''_{h''},\cdots ,x_{h^{(k)}}^{(k)},x_{a^{(k+1)}}^{(k+1)}\right]\ldots (4)$.
Maintenant la valeur énoncée $y_{h'h''\cdots h^{(k)}h^{(k+1)}}$ est un état particulier de $\varphi [x'_{h'},x''_{h''},\cdots ,x_{h^{(k)}}^{(k)},x^{(k+1)}]$, fonction de la seule variable $x^{(k+1)}$ et dont un autre état particulier est $\mathrm {F} _{1}[x'_{h'},x''_{h''},\cdots ,x_{h^{(k)}}^{(k)},x_{a^{(k+1)}}^{(k+1)}]$ ; donc $\mathrm {(I)}$ on doit avoir $y_{h'h''\cdots h^{(k)}h^{(k+1)}}=\mathrm {F} _{1}[x'_{h'},x''_{h''},\cdots ,x_{h^{(k)}}^{(k)},x_{h^{(k+1)}}^{(k+1)}]$ comme nous l’avons annoncé.
IV. Conclusion. La proposition étant effectivement prouvée $\mathrm {(I)}$, $\mathrm {(II)}$ pour $k=1,k=2$ il s’ensuit $\mathrm {(III)}$ qu’elle est vraie pour $k=3,k=4,\cdots$ pour un nombre quelconque, pour un nombre $m$ de variables.
V. Il est maintenant facile de voir que cette proposition embrasse dans sa généralité, toutes celles qui concernent les incommensurables, les formules trigonométriques, le développement de $(1+z)^{m}$, $m$ étant quelconque, etc., etc. Il y a plus, elle s’applique à des fonctions composées de plusieurs séries séparées, comme sont les ordonnées des deux parties d’une hyperbole ; la loi de continuité étant conservée, dans les deux séries distinctes, par les expressions imaginaires qui, entre autres propriétés, ont l’importante destination de lier des résultats qui, sans leurs intermédiaires, sembleraient isolés les uns des autres.
* ↑ $x_{a}$ doit se lire : $x$ numéro $a$.
* ↑ $\mathrm {F} _{1}(x_{a})$ se prononce : fonction numéro 1 de $x$ numéro $a$.
* ↑ Ce théorème, à raison de sa grande généralité, pouvant n’être pas également bien saisi par toutes les classes de lecteurs, il ne sera peut-être pas hors de propos de fixer, par l’application suivante, le sens précis qu’on doit y attacher. Soit $y$ une fonction $\varphi =(1+z)^{x}$ d’une variable $x$ ; si pour un certain état particulier $x_{a}=m$ de la variable principale ($m$ étant supposé entier et positif) l’état correspondant $y_{a}$ de la variable dépendante est exprimé par $\mathrm {F} _{1}(x_{a})=\mathrm {F} _{1}(m)=1+{\frac {m}{1}}z+{\frac {m}{1}}\cdot {\frac {m-1}{2}}z^{2}+\ldots ~;$ pour tout autre état, $x_{h}=-n$ ou $x_{h}={\frac {p}{q}},$ de la variable principale, l’état correspondant $y_{h}$ de la variable dépendante sera exprimé par $\qquad \qquad \mathrm {F} _{1}(x_{h})=\mathrm {F} _{1}(-n)=1+{\frac {(-n)}{1}}z+{\frac {(-n)}{1}}\cdot {\frac {(-n)-1}{2}}z^{2}+\ldots$ ou$\qquad \quad \mathrm {F} _{1}(x_{h})=\mathrm {F} _{1}({\frac {p}{q}})=1+{\frac {({\frac {p}{q}})}{1}}z+{\frac {({\frac {p}{q}})}{1}}\cdot {\frac {({\frac {p}{q}})-1}{2}}z^{2}+\ldots$
* ↑ Ceci n’a pas besoin d’explication, lorsque la série des états de $x$ étant composée de termes réels, celle des états correspondans de $y$ ne comprend également que des termes réels ; mais on peut considérer une suite d’états imaginaires de $x$ ou, en ne considérant que des états réels de cette variable, il peut se faire que la série des états correspondans de $y$ ne renferme que des termes imaginaires ou soit composée de diverses parties alternativement réelles et imaginaires, et alors on peut demander à quels caractères on reconnaîtra qu’une telle suite de termes est assujétie à la loi de continuité ? Comme cela est sans difficulté pour les termes qui composent les parties réelles de la série, il s’agit seulement d’expliquer dans quel sens on peut dire que, soit deux termes imaginaires, soit un terme réel et un terme imaginaire, se succédant consécutivement, sont plus ou moins voisins. Pour cela nous remarquerons que la différence de deux pareils termes peut toujours, en général, être supposée imaginaire et de la forme $p+q{\sqrt {-1}}~;$ or il n’y a pas de doute qu’une telle expression ne puisse tendre vers zéro, puisqu’il suffit pour cela que $p$ et $q$ tendent eux-mêmes vers cette limite commune. Nous dirons donc que les deux termes que nous considérons ici sont d’autant plus voisins que $p$ et $q$ seront plus petits, et la loi de continuité consistera, dans ce cas, en ce qu’on puisse concevoir ces deux termes assez voisins pour que $p$ et $q$, sans être nuls, puissent tomber, l’un et l’autre, au-dessous d’une limite donnée, quelque petite d’ailleurs qu’on suppose cette limite.
* ↑ $y_{a'a''}$ s’énonce : $y$ numéro, $a$ prime, $a$ seconde.
* ↑ $y_{a'a''\cdots a^{(k)}a^{(k+1)}}$ s’énonce : $y$ numéro, $a$ prime, $a$ seconde,… $a$ accent $k$, $a$ accent $(k+1)$.