>>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] で探して下さい)