本文为整理,非原创,解法均收集自网络.
(2008年·江西·理)已知函数f(x)=1√1+x+1√1+a+√axax+8.
(1)当a=8,求f(x)的单调区间;
(2)对任意正数a,证明:1<f(x)<2.
令b=x,c=8ax,则第(2)问等价于:
若a,b,c>0,abc=8,求证:1<1√1+a+1√1+b+1√1+c<2.
该不等式与2004年西部奥林匹克最后一题:
设a,b,c>0,求证:1<a√a2+b2+b√b2+c2+c√c2+a2⩽3√22.
另外,CMO2003第三题:
给定正整数n,求最小的正数λ,使得对于任何θi∈(0,π2)(i=1,2,⋯,n),只要tanθ1⋅tanθ2⋯tanθn=2n2,就有cosθ1+cosθ2+⋯+cosθn不大于λ.
答案是:当n⩾3时,λ=n−1;当n=3时,令a=tan2θ1,b=tan2θ2,c=tan2θ3,
命题人陶平生教授的证明:
对任意给定的a>0,x>0,因为f(x)=1√1+x+1√1+a+1√1+8ax,
先证f(x)>1.
因为1√1+x>11+x,
再证明f(x)<2.
由x,a,b的对称性,不妨设x⩾a⩾b,则0<b⩽2.
情形1:当a+b⩾7时,此时x⩾a⩾5.
因此1√1+b<1,1√1+x+1√1+a⩽2√1+5<1,
情形2:当a+b<7时,x=8ab,1√1+x=√abab+8.
因为11+b<1−b1+b+b24(1+b)2=[1−b2(1+b)]2,
而a1+a+b1+b⩾2√ab(1+a)(1+b)=2√ab1+a+b+ab>2√abab+8,
综上所述,原不等式得证.
张景中院士的作法:
原问题即三个正数a,b,c在abc=8的条件下求F(a,b,c)=1√1+a+1√1+b+1√1+c
不妨设a⩽b⩽c,记t=a,k=ab,c=8k,把F(a,b,c)看成是关于t的函数f(t)=1√1+t+1√1+kt+1√1+8k,
注意到g(√k)=0,因式分解为g(t)=(k−t2)[t2−k(k−3)t+k],
从而可得f(t)>1
另法一
不妨设a⩽b⩽c,令√ab=λ,由abc=8有0<λ⩽2.
设A=1√1+a+1√1+b,
应用该不等式立得欲证明不等式的左边.
要证明不等式的右边,还需证明2√1+√ab+1√1+8ab<2,
综上,原不等式得证.
另法二
令u=1√1+a,v=1√1+b,w=1√1+c,
假设存在a,b,c>0且abc=8,但左边不等式不成立,即存在u,v,w满足上式,但u+v+w⩽1.
注意到0<u,v,w<1,有1+u>1−u⩾v+w⩾2√vw>0,
假设存在a,b,c>0且abc=8,但右边不等式不成立,即存在u,v,w满足上式,但u+v+w⩾2.
注意到0<u,v,w<1,有0<1+u<2,
综上,原不等式得证.