D abord on va se débarasser de la contrainte abc>=1 puisqu'elle diffilcile à utiliser
on pose x= ta , y = tb , z = tc avec t = 1/racine3(abc) <=1
ainsi xyz = t^3*abc=1
L inégalité à démontrer est alors: x²y+y²z+z²x>=t²(x+y+z)
puisque t<=1il suffit de démontrer que: x²y+y²z+z²x>=(x+y+z) avec xyz = 1
En posant x = m/n , y = n/p , z = p/m
alors: l inégalité est de nouveau équivalente à: m²/np+n²/mp+p²/mn>=m/n+n/p+p/n
cette dernière inégalité découle immédiatement du réordonnement.
CQFD