⊿=(a-b)(b-c)(c-a) に関する評価式を、過去ログから抽出してみた。

⊿^2 ≦ (a^2+b^2)(b^2+c^2)(c^2+a^2)　　← [>>6]
|⊿| ≦ (2/√3)(ss-3t)t/s　　　　　　　　　← [>>20]
|⊿| ≦ (ss - 3t)s/{√(9+6√3)} 　　　　　← [第8章 261-262]
|⊿| ≦ (2/√3)(t/s)(s^2 -3t) 　　　　　　← [第３章 739]
|⊿| ≦ st-9u 　　　　　　　　　　　　　　　　← [第４章 624-626]
|⊿| ≦ {(a+b+c)^3 -27abc}/(6√3)　　　　← [第５章 893]

⊿ ≦ F_1 = s^3 - 4st + 9u　　　　　　　　← [第５章 283]
a^4 + b^4 + c^4 + s⊿ ≧ (1/27)s^4　　　← [第５章 569]

[第５章 763]
納n=1,2] {a^(2n) +b^(2n) +c^(2n) -(ab)^n -(bc)^n -(ca)^n} ≧ (3/2)|⊿|
納n=1,4] {a^(2n) +b^(2n) +c^(2n) -(ab)^n -(bc)^n -(ca)^n} ≧ 3(1+a+b+c +a^2 +b^2 +c^2)|⊿|