三角形の辺長 a,b,c に対して、
(1) Σ[cyc] aa(b+c-a) ≦3abc.
(2) Σ[cyc] aab(a-b) ≧0.

そもそも(1)は辺長でなくても非負実数で成り立つでおじゃるな。