( 97 )
( 97 )
dans l’art. 8. Adoptons, pour plus de clarté, des notations plus propres à mettre la démonstration en lumière.
Soient
,
,
, etc., des indéterminées ; supposons que les équations
![{\displaystyle {\begin{array}{l}{\begin{alignedat}{4}&n^{00}\,&x^{0}&{}+{}n^{01}\,&x'&{}+{}n^{02}\,&x''&{}+{}\ldots =\mathrm {X} ^{0},\\&n^{10}\,&x^{0}&{}+{}n^{11}\,&x'&{}+{}n^{12}\,&x''&{}+{}\ldots =\mathrm {X} ',\\&n^{20}\,&x^{0}&{}+{}n^{21}\,&x'&{}+{}n^{22}\,&x''&{}+{}\ldots =\mathrm {X} '',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \cdot \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c982f9c78168480cbd613d2f1457f4d01b27ef8)
aient donné, par élimination, les suivantes :
![{\displaystyle {\begin{array}{l}{\begin{alignedat}{4}&\mathrm {N} ^{00}\,&\mathrm {X} ^{0}&{}+{}\mathrm {N} ^{01}\,&\mathrm {X} '&{}+{}\mathrm {N} ^{02}\,&\mathrm {X} ''&{}+{}\ldots =x^{0},\\&\mathrm {N} ^{10}\,&\mathrm {X} ^{0}&{}+{}\mathrm {N} ^{11}\,&\mathrm {X} '&{}+{}\mathrm {N} ^{12}\,&\mathrm {X} ''&{}+{}\ldots =x',\\&\mathrm {N} ^{20}\,&\mathrm {X} ^{0}&{}+{}\mathrm {N} ^{21}\,&\mathrm {X} '&{}+{}\mathrm {N} ^{22}\,&\mathrm {X} ''&{}+{}\ldots =x'',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db816249fa25ea06937c0653caa580c065b4c2d7)
En substituant, dans les deux premières équations du second système, les valeurs de
,
,
, etc., fournies par le premier, nous obtiendrons deux équations identiques :
![{\displaystyle {\begin{array}{r}{\begin{alignedat}{4}x^{0}{}={}&\mathrm {N} ^{00}&\,(&n^{00}\,&x^{0}&{}+{}n^{01}\,&x'&{}+{}n^{02}\,&x''&{}+{}\ldots )\\{}+{}&\mathrm {N} ^{01}&\,(&n^{10}\,&x^{0}&{}+{}n^{11}\,&x'&{}+{}n^{12}\,&x''&{}+{}\ldots )\\{}+{}&\mathrm {N} ^{02}&\,(&n^{20}\,&x^{0}&{}+{}n^{21}\,&x'&{}+{}n^{22}\,&x''&{}+{}\ldots )\\{}+{}&\mathrm {N} ^{03}&\,(&n^{30}\,&x^{0}&{}+{}n^{31}\,&x'&{}+{}n^{32}\,&x''&{}+{}\ldots )\end{alignedat}}\\+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ..\\[1ex]{\begin{alignedat}{4}x'{}={}&\mathrm {N} ^{10}&\,(&n^{00}\,&x^{0}&{}+{}n^{01}\,&x'&{}+{}n^{02}\,&x''&{}+{}\ldots )\\{}+{}&\mathrm {N} ^{11}&\,(&n^{10}\,&x^{0}&{}+{}n^{11}\,&x'&{}+{}n^{12}\,&x''&{}+{}\ldots )\\{}+{}&\mathrm {N} ^{12}&\,(&n^{20}\,&x^{0}&{}+{}n^{21}\,&x'&{}+{}n^{22}\,&x''&{}+{}\ldots )\end{alignedat}}\\+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ..\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c7d4c3b2b4211ac519845887268eefb79157899)
Ces équations étant identiques, on peut y substituer telles quantités que l’on voudra à la place de
,
,
, etc. Faisons dans la première
![{\displaystyle {\begin{aligned}x^{0}&=\mathrm {N} ^{10},&x'&=\mathrm {N} ^{11},&x''&=\mathrm {N} ^{12},\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2440588b0b747173bf75d9c4f586311c4168c323)
et dans la seconde
![{\displaystyle {\begin{aligned}x^{0}&=\mathrm {N} ^{00},&x'&=\mathrm {N} ^{01},&x''&=\mathrm {N} ^{02},\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7bce3c9d3390e73af5484e45096cfb903eb3131)
En retranchant ensuite les deux identités membre à membre,