17/08/27 00:28:26.43 NetfQ0ow.net
>>677 (3) >>690 >>694
・t≧9 のときは明らか。
・3≦t≦9 のとき。
24tt -（9-t)(t^3 +9u）= t(t-3)^3 + 3(9-t)(t-3）≧ 0,
(9-t)/3t ≦ 8t/(t^3 +9u),
(左辺）-（右辺）=（2/s + 1/3）- 3/t
= 2/s - (9-t)/3t
≧ 2/s -8t/(s^3 +9u)
= 2
17/08/27 00:28:26.43 NetfQ0ow.net
>>677 (3) >>690 >>694
・t≧9 のときは明らか。
・3≦t≦9 のとき。
24tt -（9-t)(t^3 +9u）= t(t-3)^3 + 3(9-t)(t-3）≧ 0,
(9-t)/3t ≦ 8t/(t^3 +9u),
(左辺）-（右辺）=（2/s + 1/3）- 3/t
= 2/s - (9-t)/3t
≧ 2/s -8t/(s^3 +9u)
= 2