>>78 （続き)

(1)　C+2≧0, A+B≧0, A≦-2√(C+2), φ(A,B,C)≦0.
(2)　C+2≧0, A+B≧0, B≦-2√(C+2), φ(A,B,C)≦0.
(3)　C+2≧0, -√(C+4) ≦ A+B ≦ 0, A≧-2√(C+2), B≧-2√(C+2), φ(A,B,C)≧0.
(4)　C+2≧0, A+B≧0, A≧-2√(C+2), B≧-2√(C+2).
(5)　C≧0, AA+AB+BB ≦ 3C+3.
(6)　C+2≦0, A+B≧0, φ(A,B,C)≦0.
ここに、φ(A,B,C) = (ABC)^2 -4(AB)^3 +18(AA+BB)ABC -4(AA+BB)C^3 -(27A^4 +6AABB +27B^4) +16C^4 -80ABCC +144(AA+BB)C -192AB -128CC +256

　//www.math.s.chiba-u.ac.jp/~ando/alg_ineq.pdf