167 :
132人目の素数さん:
>>167 たしか一般化されたのが、幾つかあったような…
___
./ ≧ \
|:::: \ ./ |
|::::: (● (● | ウーン、ウーン…
ヽ::::... .ワ....ノ
(下限)
F(x,y,z) = (x+y+z)(1/x+1/y+1/z) = 3 + (x/y+y/x) + (y/z+z/y) + (z/x+x/z)
= 9 + (x/y-2+y/x) + (y/z-2+z/y) + (z/x-2+x/z)
= 9 + {(x-y)^2}/xy + {(y-z)^2}/yz + {(z-x)^2}/zx ≧ 9. (Cauchy)
(上限) x/y+y/x はx/y=1のとき最小で、両側でx/yに関して単調。すなわち、1から遠ざかるほど増加する。
a<x≦y≦z<bとすると、
F(x,y,z) ≦ F(a,y,b) = 3 + (a/y+y/a) + (y/b+b/y) + (b/a+a/b)
= 3 + (b/a+a/b) + {(a+b)/ab}(y+ab/y) = 1 + (b/a+2+a/b) + {(a+b)/ab}{a+b-(b-y)(y-a)/y}
≦ 1 + (b+a)^2/ab + {(a+b)^2}/ab = 1 + 2{(b+a)^2}/ab.
___
./ ≧ \
|:::: \ ./ |
|::::: (● (● | みんな グッジョブ!
ヽ::::... .ワ....ノ n
 ̄ ̄ \ ( E)
フ /ヽ ヽ_//