免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
Board logo

标题: [函数] 求证$e^x ((\ln x)^2+3\ln(x)+3)-3x^2>0$ [打印本页]

作者: isee    时间: 2019-1-12 22:16     标题: 求证$e^x ((\ln x)^2+3\ln(x)+3)-3x^2>0$

本帖最后由 isee 于 2019-1-12 22:18 编辑

高三模拟题,求证:$$\forall x>0,\mathrm e^x ((\ln x)^2+3\ln(x)+3) -3x^2>0.$$

临场,非临场,都搞不定,求教。

附原题——

图片附件: qt.png (2019-1-12 22:18, 26.36 KB) / 下载次数 1358
http://kuing.orzweb.net/attachment.php?aid=6878&k=0dc7e30f68f1457a2a792c675c01e46b&t=1711707471&sid=RSolPH


作者: kuing    时间: 2019-1-12 23:19

这个不等式,又丑,又松,真是太…………

分类讨论即可:

当 `x>1` 时,熟知 `e^x>x^2`,所以显然成立;

当 `x<1/2` 时,因为 `t^2+3t+3\geqslant3/4`,所以左边 `>3/4-3x^2>0`;

当 `x\in[1/2,1]` 时,有 `-0.7<-\ln2\leqslant\ln x\leqslant0`,得 `\ln^2x+3\ln x+3>0.7^2-3\times0.7+3=1.39>6/5`,所以只需证 `e^x>2.5x^2`。
令 `g(x)=\sqrt{e^x}-\sqrt{2.5}x`, `x\in[1/2,1]`,则 `g'(x)=\sqrt{e^x}/2-\sqrt{2.5}\leqslant\sqrt e/2-\sqrt{2.5}<0`,所以 `g(x)\geqslant g(1)=\sqrt e-\sqrt{2.5}>0`,所以 `e^x>2.5x^2`。

综上得证。
作者: isee    时间: 2019-1-13 15:16

本帖最后由 isee 于 2019-1-13 15:19 编辑

回复 2# kuing

原来这样的“松”不等式,可首选分段喽。
作者: 游客    时间: 2019-1-13 16:29

无标题.png
2019-1-13 16:28


图片附件: 无标题.png (2019-1-13 16:28, 7.82 KB) / 下载次数 1400
http://kuing.orzweb.net/attachment.php?aid=6886&k=7f7fb5303b74fbdbe6b6a422f01da112&t=1711707471&sid=RSolPH


作者: isee    时间: 2019-1-13 16:37

回复 4# 游客

这图是说可以将3x^2改成7x^2吧。。。。
作者: 敬畏数学    时间: 2019-1-14 14:03

回复 4# 游客
可以画图吗?




欢迎光临 悠闲数学娱乐论坛(第2版) (http://kuing.orzweb.net/) Powered by Discuz! 7.2