手許にあった論文
a new look at newton's inequalities (結構面白い、webで拾えると思う）
によると
18stu+s^2t^2-27u^2-4t^3-4su≧0は実数解条件でwell-knownだそうだ
s^2-3t=(1/2){(a-b)^2+(b-c)^2+(c-a)^2}
は理くつ不要だった

スレ汚しすまん