- 589 名前：１３２人目の素数さん mailto:sage [2008/10/20(月) 04:57:18 ]
- >>583
t - {(r-2)/3} = T,
とおいて 2次の項を消すと、
t^3 - (r-2)t^2 + qt - r = T^3 + QT - R,
ここに、Q = q -3{(r-2)/3}^2, R = r - q{(r-2)/3} + 2{(r-2)/3}^3,
・3つの実根をもつから
Q <0, R^2 < 4(-Q/3)^3,
・解が t≧1 だから
(t-1)^3 -(r-5)(t-1)^2 + (q-2r+7)(t-1) + (q-2r-3) =0,
の解がすべて t-1≧0.
根と係数の関係より
r-5 ≧0, q-2r+7 ≧0, q-2r+3 ≦0,
