>>77 ご用ですか？
ところで，3変数4次巡回不等式
f(x,y,z) = Σx^4 + A Σx^3 y + B Σ x y^3 + C Σ x^2 y^2 + D Σ x^2 y z
が任意の非負整数 x, y, z に対して f(x,y,z) >= 0 を満たすための
A, B, C, D についての必要十分条件を求めました．
複雑でここに書けないので，以下のプレプリの
Theorem 3.5, Theorem 3.6をご覧下さい．
(2ch制限でLinkが貼れないので，
[安藤哲哉] → 論文・プレプリコーナー → 論文[9] で探して下さい)