Si a et b deux vecteurs.
L'inégalité de Muirhead affirme que :
[a]=<[b] si et seulement si il existe une matrice Bi-stochastiques P tel que a=P.b
La démo repose sur le fait que que toute matrice Bi-stochastiques peut s'exprimer en fonction des matrices de symétries.
En tous la démo relève du niveau supérieur (même par rapport aux maths spé) .