- 169 名前：１３２人目の素数さん [2014/05/13(火) 05:50:13.76 .net]
- ついでに、S_5 と T_{4,1} の係数が 0 の場合は以下の通りです。
定理2.4.1c
f(a,b,c) = T_{3,2} + q US_2 - (2+2p+q) US_{1,1}
とおく。任意の非負実数 a,b,c に対して f≧0 となるための必要十分条件は
q ≧ -2
ここで(上の投稿を含めて)
T_{i,j} = Σ a^i b^j (6項対称和)
S_{i,j} = Σ a^i b^j (
