11/05/02 10:21:35.49
a,b,cはabc=8を満たす正の実数とする。
frac{1}{a+2b+3}+frac{1}{b+2c+3}+frac{1}{c+2a+3}≦1/3
を証明せよ。
332:１３２人目の素数さん
11/05/02 21:54:16.57
>>323
同次型の二変数関数の最大最小の解法って
何か定石みたいなのあるの？
333:１３２人目の素数さん
11/05/02 22:06:04.19
>>331
(abc)^(1/3) = g とおくと、与式は
1/{a+2b+3(g/2)} + 1/{b+2c+3(g/2)} + 1/{c+2a+3(g/2)} ≦ 1/{3(g/2)}
(右辺) - (左辺)
= {(a+2b)(b+2c)(c+2a) - (27/4)(a+b+c)gg - (27/4)ggg} / D (←通分)
= {24(aab+bbc+cca) + 48(abb+bcc+caa) +27abc -81(a+b+c)gg} /(12D)
= {(19aab +5cca + 35caa +13abb +9abc -81agg) + cyclic} /(12D)
= {a(19ab +5cc +35ca +13bb +9bc -81gg) + cyclic} /(12D)
= {5a(ab+ab+cc-3gg) + 13a(ca+ca+bb-3gg) + 9a(ab+bc+ca-3gg) + cyclic} /(12D)
≧ 0, (相加･相乗平均)
ここに D = [3(g/2)] [a+2b+3(g/2)] [b+2c+3(g/2)] [c+2a+3(g/2)],
334:１３２人目の素数さん
11/05/02 23:09:47.20
>>332
ない。
y/x=u で一変数に還元するのみ。