09/01/17 23:53:44
>>598 (593,596)
〔問題〕
abc = d^3, √3 -1 ≦ d ≦ (1+√3)/2 なる正の実数の組(a,b,c)に対して、次を示せ。
1/{a(b+1)} + 1/{b(c+1)} + 1/{c(a+1)} ≧ 3/{d(d+1)},
(略証)
abc = … と来たら a=d･z/y, b=d･x/z, c=d･y/x とおく。（これ定石）
ただし x,y,z >0
(左辺) - (右辺) = (1/d){y/(dx+z) + z/(dy+x) + x/(dz+y) - 3/(d+1)}
= {d(d+1)･S -(3d^2 -d-1)･T1 -d(-d^2 -d+3)･T2 -(d+1)(d-1)^2･(3xyz)} / {d(d+1)(dx+z)(dy+x)(dz+y)},
ここに、S = x^3 + y^3 + z^3, T1 = yz^2 + zx^2 + xy^2, T2 = zy^2 + xz^2 + yx^2 とおいた。
・√3 -1 ≦ d < 1.30 のとき
{(左辺)-(右辺)}d(d+1)(dx+z)(dy+x)(dz+y) = {d(d^2 +2d-2)(S-T1) + d(-d^2 -d+3)(S-T2) + (d+1)(d-1)^2･(T1-3xyz)} ≧ 0,
・0.77 < d ≦ (1+√3)/2 のとき
{(左辺)-(右辺)}d(d+1)(dx+z)(dy+x)(dz+y) = {(3d^2 -d-1)(S-T1) + (-2d^2 +2d+1)(S-T2) + (d+1)(d-1)^2･(T2-3xyz)} ≧ 0,