>>142

s，t，u で計算してSchurを考えれば

Lhs - Rhs -32uu =（st-u)^2 -4{(s^3)u -6stu +t^3 +16uu}
=［(s^3 -4st +9u)(t^3 -4stu +9uu)/uu + 3ss(tt-3su)/u + 3(tt/u)(ss-3t） + 9(st-9u)］uu/st
=［F_1･F_{-2｝+ 3ss F_{-1｝+ 3(tt/u)F_0 + 9(st-9u)］uu/st
≧ 0,
となり申す。ここに、
F_0 = ss-3t,
F_1 = s^3 -4st +9u,
F_{-1｝=（tt -3su)/u,
F_{-2｝=（t^3 -4stu +9uu)/uu,