本文为整理,非原创,解法均收集自网络.来自兰琦博客
(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,若令b=8ax,则abx=8,且f(x)=1√1+x+1√1+a+1√1+b.
先证f(x)>1.
因为1√1+x>11+x,又由2+a+b+x⩾44√2abx=8,得a+b+x⩾6.所以f(x)=1√1+x+1√1+a+1√1+b>11+x+11+a+11+b=3+2(a+b+x)+(ab+bx+xa)(1+x)(1+a)(1+b)⩾9+(a+b+x)+(ab+bx+xa)(1+x)(1+a)(1+b)=1+(a+b+x)+(ab+bx+xa)+abx(1+x)(1+a)(1+b)=1.
再证明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,此时f(x)=1√1+x+1√1+a+1√1+b<2.
情形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,所以1√1+b<1−b2(1+b).同理得1√1+a<1−a2(1+a),于是f(x)<2−12(a1+a+b1+b−2√abab+8).
而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,注意到变量和参数的范围是0<t⩽√k⩽2,计算导数f′(t)=12(−(1+t)−32+kt2(1+kt)−32)=[k2(1+t)3−t(t+k)3]⋅Q(t,k),这里Q(t,k)是某个正值代数式.于是可以根据g(t)=k2(1+t)3−t(t+k)3的正负来判断f(x)的单调性.
注意到g(√k)=0,因式分解为g(t)=(k−t2)[t2−k(k−3)t+k],由于第二个因式的Δ=k2(k−3)2−4k,当k<4时有Δ<0,于是有f(x)在(0,√k)上单调递增,从而f(t)在t=√k处最大.
从而可得f(t)>1以及f(1+√k)=2√1+√k+1√1+8k<2.原命题得证.
不妨设a⩽b⩽c,令√ab=λ,由abc=8有0<λ⩽2.
设A=1√1+a+1√1+b,再令u=√1+a+b+λ2,则u⩾1+λ,所以A2=(1−λ2)+2u+1,又令t=1u,0<t⩽1λ+1,则A2=F(t)=(1−λ2)t2+2t+1,求导有F′(t)=2(1−λ2)t+2,由λ⩽2有F′(1λ+1)=2−λ⩾0,又F′(0)=1>0,因此,对0<t⩽1λ+1,有F′(t)⩾0,所以F(t)在(0,1λ+1]是增函数,则F(0)<F(t)⩽F(1λ+1),即1<A⩽2√λ+1,即当a,b>0且√ab⩽2时,有1<1√1+a+1√1+b⩽2√1+√ab.
应用该不等式立得欲证明不等式的左边.
要证明不等式的右边,还需证明2√1+√ab+1√1+8ab<2,令√1+√ab=v,1<v⩽√3,则ab=(v2−1)3,此不等式等价于2v+v2−1√(v2−1)2+8<2,用分析法容易证得.
综上,原不等式得证.
令u=1√1+a,v=1√1+b,w=1√1+c,则a=1u2−1,b=1v2−1,c=1w2−1,且(1u2−1)(1v2−1)(1w2−1)=8.
假设存在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,所以1u2−1=(1−u)(1+u)u2>(1−u)2u2⩾4vwu2,同理1v2−1>4wuv2,1w2−1>4uvw2,从而可得(1u2−1)(1v2−1)(1w2−1)>61,矛盾,因此左边不等式得证.
假设存在a,b,c>0且abc=8,但右边不等式不成立,即存在u,v,w满足上式,但u+v+w⩾2.
注意到0<u,v,w<1,有0<1+u<2,进而0<1−u⩽v+w−1=vw−(1−v)(1−w)<vw,从而0<1u2−1(1−u)(1+u)u2<2vwu2,同理0<1v2−1<2wuv2,0<1w2−1<2uvw2,从而可得(1u2−1)(1v2−1)(1w2−1)<8,矛盾,因此右边不等式得证.
综上,原不等式得证.
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
· Linux系列:如何用 C#调用 C方法造成内存泄露
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
· 园子的第一款AI主题卫衣上架——"HELLO! HOW CAN I ASSIST YOU TODAY
· 【自荐】一款简洁、开源的在线白板工具 Drawnix
2017-11-25 陈天权:数学分析教学中学到的和想到的
2017-11-25 广义范德蒙德行列式计算