- 87 名前：１３２人目の素数さん mailto:sage [2013/10/16(水) 16:39:34.30 .net]
- S_{m,n} = a^m･b^n + b^m･c^n + c^m･a^n, >>79
[Corollary 2.6]
f(a,b,c) = S_3 + p･S_{2,1} + q･S_{1,2} + r･U.
とおく。任意の a,b,c∈Ｒ_+ に対して f(a,b,c)≧0 が成り立つための条件は、
以下の２つの条件が成り立つことである。
(1) f(1,1,1) = 3+3p+3q+r ≧ 0.
(2) 4p^3 + 4q^3 +27 ≧ (pq)^2 +18pq or "p≧0 and q≧0"
//www.math.s.chiba-u.ac.jp/~ando/ineq17.pdf
