一道小题

149 字
1 分钟
一道小题

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

题目#

f(x)=a(x−1)−ln⁡x+1f(x)=a(x-1)-\ln x+1,a≤2a\le 2 且 x>1x>1,求证 f(x)<ex−1f(x)<e^{x-1} 恒成立
即证 g(x)=ex−1−a(x−1)+ln⁡x−1>0g(x)=e^{x-1}-a(x-1)+\ln x-1>0 恒成立
将 g(x)g(x) 看作 G(a)=(1−x)a+(ex−1+ln⁡x−1)G(a)=(1-x)a+(e^{x-1}+\ln x-1)
∵1−x<0\because 1-x<0
∴G(a)\therefore G(a) 单调递减,g(x)≥G(2)=ex−1−2x+ln⁡x+1g(x)\ge G(2)=e^{x-1}-2x+\ln x+1
令 h(x)=ex−1−2x+ln⁡x+1h(x)=e^{x-1}-2x+\ln x+1
即证 h(x)>0h(x)>0 恒成立

方法一:直接求导#

h′(x)=ex−1−2+1xh'(x)=e^{x-1}-2+\frac{1}{x}
h′′(x)=ex−1−1x2h''(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 得证

方法二:同构#

即证 ex−1−(x−1)+ln⁡x−x>0e^{x-1}-(x-1)+\ln x-x>0
即证 ex−1−(x−1)>x−ln⁡xe^{x-1}-(x-1)>x-\ln x
即证 ex−1−(x−1)>eln⁡x−ln⁡xe^{x-1}-(x-1)>e^{\ln x}-\ln x
令 p(x)=ex−xp(x)=e^x-x
即证 p(x−1)>p(ln⁡x)p(x-1)>p(\ln x)
又∵p′(x)=ex−1>0\because p'(x)=e^x-1>0,p(x)p(x) 单调递增
即证 x−1>ln⁡xx-1>\ln x
q(x)=x−ln⁡x−1q(x)=x-\ln x-1,q′(x)=1−1x>0q'(x)=1-\frac{1}{x}>0,q(x)>q(1)=0q(x)>q(1)=0,x−1>ln⁡xx-1>\ln x
上式显然成立

文章分享

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

一道小题
https://blog.truebigsand.top/posts/yi-dao-xiao-ti/
作者
真-大沙子
发布于
2025-03-08
许可协议
CC BY-NC-SA 4.0

评论区

Profile Image of the Author
真-大沙子
编程 · 数学 · 二次元 · 生活
公告
分类
标签
站点统计
文章
47
分类
5
标签
55
总字数
44,032
运行时长
0 天
最后活动
0 天前
站点信息
构建平台
GitHub Actions
博客版本
Firefly v6.16.8
文章许可
CC BY-NC-SA 4.0
文章目录