( 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
On prouvera facilement que étant une somme de carrés
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
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.)