哪来的题目,居然各种常规手段都失效
。。
设c最大,我想把a,b,c调整至(a+b)/2,(a+b)/2,c
但具体计算时是算F(t,t,c)-F(t-x,t+x,c)
=1/(2+t^2+t^2) - 1/(2+(t-x)^2+(t+x)^2) +
[1/(2+t^2+c^2)-1/(2+(t-x)^2+c^2)] + [1/(2+t^2+c^2)-1/(2+(t+x)^2+c^2)]
≥0+ (第一行用基本不等式放为0)
2x^2(2+c^2-3t^2+x^2)/(..三个正定的分母..)
≥0 (既然假设c最大,则有c≥1≥t,易证那括号为非负)
即F((a+b)/2,(a+b)/2,c)≥F(a,b,c)
即计算一元函数F((3-c)/2,(3-c)/2,c)在c≥1下的最大值即可,
换元为F(1+t,1+t,1-2t),它的导数就稍微好算一点(全部系数都是正)