17/08/14 03:30:28.48 DhVyRLdl.net
>>449 >>455
(2)
（1+ab)/(1+a）= (1+c)/{c(1+a)}，etc.
AM-GM する。
>>455 とほとんど同じだ....
(3)
1/(1+a）+ 1/(1+b）+ 1/(1+c)
≧ 1/(1+a+ab）+ 1/(1+b+bc）+ 1/(1+c+ca）
= x/(x+y+z）+ y/(y+z+x）+ z/(z+x+y)
= 1,
bc/(1+a) + ca/(1+b) + ab/(1+c) ≧ 3/2,
通分して
bc(1+b)(1+c）+ ca(1+c)(1+a）+ ab(1+a)(1+b）-（3/2)(1+a)(1+b)(1+c)
= t +（st-3u）+（tt-2su）-（3/2)(1+s+t+u)
=｛(s-3)t + s(t-3)}/6 +（2s+3)(u-1)/2 + 2(st-9u)/3 +（tt-3su)
=｛(s-3)t + s(t-3)}/6 +（2s+3)(u-1)/2
≧0, （← s≧3、t≧3、u=1）