Ben si ca marche mon truc wwilson.
J'ai pris le plus grand element non nul de la relation lineaire.
On va le noter h_k
On prend la ligne k de la matrice.
On a sum((h_j x m_(k,j)),j=1..n)=0
Donc en separant
h_k x m_(k,k) = - la somme sans ce terme
En prend la valeur abs
C'est plus petit que la somme des valeurs abs
On majore les elements de la relation lineaire (les h_j) par h_k.
On a des h_k de chaque cote de l'inegalite on simplifie.
Miracle on trouve exactement la negation de l'inegalite qu'on a au depart.
D'ou le theoreme.