一道小题

149 字
1 分钟
一道小题

本来是想用markdown写了再复制到PPT里的 但是这byd PowerPoint不支持 也不能白写 就放着吧

题目#

f(x)=a(x1)lnx+1f(x)=a(x-1)-\ln x+1a2a\le 2x>1x>1,求证 f(x)<ex1f(x)<e^{x-1} 恒成立
即证 g(x)=ex1a(x1)+lnx1>0g(x)=e^{x-1}-a(x-1)+\ln x-1>0 恒成立
g(x)g(x) 看作 G(a)=(1x)a+(ex1+lnx1)G(a)=(1-x)a+(e^{x-1}+\ln x-1)
1x<0\because 1-x<0
G(a)\therefore G(a) 单调递减,g(x)G(2)=ex12x+lnx+1g(x)\ge G(2)=e^{x-1}-2x+\ln x+1
h(x)=ex12x+lnx+1h(x)=e^{x-1}-2x+\ln x+1
即证 h(x)>0h(x)>0 恒成立

方法一:直接求导#

h(x)=ex12+1xh'(x)=e^{x-1}-2+\frac{1}{x}
h(x)=ex11x2h''(x)=e^{x-1}-\frac{1}{x^2} 单调递增
h(x)>h(1)=0\therefore h''(x)>h''(1)=0
h(x)\therefore h'(x) 单调递增
h(x)>h(1)=0\therefore h'(x)>h'(1)=0
h(x)\therefore h(x) 单调递增
h(x)>h(1)=0\therefore h(x)>h(1)=0 得证

方法二:同构#

即证 ex1(x1)+lnxx>0e^{x-1}-(x-1)+\ln x-x>0
即证 ex1(x1)>xlnxe^{x-1}-(x-1)>x-\ln x
即证 ex1(x1)>elnxlnxe^{x-1}-(x-1)>e^{\ln x}-\ln x
p(x)=exxp(x)=e^x-x
即证 p(x1)>p(lnx)p(x-1)>p(\ln x)
p(x)=ex1>0\because p'(x)=e^x-1>0p(x)p(x) 单调递增
即证 x1>lnxx-1>\ln x
q(x)=xlnx1q(x)=x-\ln x-1q(x)=11x>0q'(x)=1-\frac{1}{x}>0q(x)>q(1)=0q(x)>q(1)=0x1>lnxx-1>\ln x
上式显然成立

支持与分享

如果这篇文章对你有帮助,欢迎分享给更多人或打赏支持!

打赏
一道小题
https://blog.truebigsand.top/posts/a-small-problem/
作者
真-大沙子
发布于
2025-03-08
许可协议
CC BY-NC-SA 4.0
Profile Image of the Author
真-大沙子
编程 · 数学 · 二次元 · 生活
公告
音乐
封面

音乐

暂未播放

0:000:00
暂无歌词
分类
标签
站点统计
文章
45
分类
5
标签
51
总字数
42,438
运行时长
0
最后活动
0 天前
站点信息
构建平台
GitHub Actions
博客版本
Firefly v6.13.5
文章许可
CC BY-NC-SA 4.0

文章目录