Bon exercice, évidemment.
En sommant membre à membre les égalités du système, on obtient
Il convient de remarquer que si, pour un i allant de 1 à n, on a
ou
, alors on déduit systématiquement que
(1)
Supposons que
, et que pour tout i allant de 2 à n,
La première égalité du système se traduit alors en
. Mais puisque
, il vient que
Si
est positif, alors on remarque que
. Mais puisque
,
est négatif. Contradiction.
est donc négatif.
Partons maintenant à la dernière égalité du système
étant négatif, on peut réécrire
. Ainsi
, d'où
est négatif.
En remontant ainsi dans le système, on finit par prouver que pour tout i allant de 1 à n,
est négatif.
Ainsi, d'après (1), on a dans tous les cas