( 139 )
En continuant ainsi, nous formerons une suite d’expressions
,
,
, etc., dont la dernière sera indépendante des diverses inconnues, et représentée par
, si
désigne le nombre de ces inconnues ; nous aurons alors
![{\displaystyle \Omega ={\frac {\mathrm {A} ^{2}}{(aa)}}+{\frac {\mathrm {B} ^{2}}{(bb,1)}}+{\frac {\mathrm {C} ^{2}}{(cc,2)}}+{\frac {\mathrm {D} ^{2}}{(dd,3)}}+\ldots +(nn,\mu ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/120363977185e3b8bee4bb065759fe6ede51a94f)
On prouvera facilement que
étant une somme de carrés
![{\displaystyle w^{2}+{w'}^{2}+{w''}^{2}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f375a09e6da85550ed78369b2b8efd5ef2df2c04)
et ne pouvant devenir négative, les diviseurs
,
,
, etc., sont tous positifs. (Nous supprimons, pour abréger, le détail de la démonstration.) D’après cela, la valeur minimum de
correspond évidemment aux valeurs des inconnues, pour lesquelles
![{\displaystyle {\begin{aligned}\mathrm {A} &=0,&\mathrm {B} &=0,&\mathrm {C} &=0,\ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1a90317b1ce025fcef396d3e90dd94ad8333829)
et, en commençant à résoudre le système par la dernière équation, qui ne contient qu’une inconnue, on trouvera les valeurs de
,
,
,
, etc., sans avoir aucune élimination à effectuer. La méthode donne, en même temps, la valeur minimum de
, qui est
.
3.
Appliquons ces principes à notre exemple, dans lequel
,
,
,
, etc., sont remplacés par
,
,
,
,
,
. J’ai trouvé, par des calculs exécutés avec soin :
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
|
|
|
,
|
(Ne pas chercher à reproduire la disposition en colonnes de l'original, le tableau se poursuit en réalité page suivante, le gain de place n'a pas beaucoup de sens pour la lecture sur internet, et les colonnes posent souvent problème sur liseuse.)