Maths Olympiad Prep

Library / /336 of 520

Algebra Difficulty 5.5 AIME, harder Find the answer

Five. (20 points) Given the functions
f(x)=xlnx,g(x)=x2+ax3(aR). \begin{array}{l} f(x)=x \ln x, \\ g(x)=-x^{2}+a x-3(a \in \mathbf{R}) . \end{array}
(1) If for any x(0,+)x \in(0,+\infty), the inequality f(x)12g(x)f(x) \geqslant \frac{1}{2} g(x) always holds, find the range of aa;
(2) Prove that for any x(0,+)x \in(0,+\infty), we have
lnx>1ex2ex. \ln x>\frac{1}{\mathrm{e}^{x}}-\frac{2}{\mathrm{e} x} .

A number or a short expression. Spacing and $ signs are ignored.

Solution

(1) When x>0x>0,
f(x)12g(x)lnx12(x2+ax3)a2lnx+x+3x. Let h(x)=2lnx+x+3x(x>0). \begin{array}{l} f(x) \geqslant \frac{1}{2} g(x) \\ \Leftrightarrow \ln x \geqslant \frac{1}{2}\left(-x^{2}+a x-3\right) \\ \Leftrightarrow a \leqslant 2 \ln x+x+\frac{3}{x} . \\ \text { Let } h(x)=2 \ln x+x+\frac{3}{x}(x>0) . \end{array}

Then ah(x)min a \leqslant h(x)_{\text {min }}.
By h(x)=(x+3)(x1)x2h^{\prime}(x)=\frac{(x+3)(x-1)}{x^{2}}, we know that the function h(x)h(x) is monotonically decreasing on the interval (0,1)(0,1) and monotonically increasing on the interval (1,+)(1,+\infty).
Therefore, h(x)min=h(1)=4h(x)_{\min }=h(1)=4.
Hence, the range of aa is (,4](-\infty, 4].
(2) To prove lnx>1ex2ex\ln x>\frac{1}{\mathrm{e}^{x}}-\frac{2}{\mathrm{ex}}, we only need to prove
f(x)=xlnx>xex2e f(x)=x \ln x>\frac{x}{\mathrm{e}^{x}}-\frac{2}{\mathrm{e}} \text {. }

By f(x)=lnx+1f^{\prime}(x)=\ln x+1, we know that f(x)f(x) is monotonically decreasing on the interval (0,1e)\left(0, \frac{1}{\mathrm{e}}\right) and monotonically increasing on the interval (1e,+)\left(\frac{1}{\mathrm{e}},+\infty\right).
Thus, when x>0x>0,
f(x)f(1e)=1e f(x) \geqslant f\left(\frac{1}{\mathrm{e}}\right)=-\frac{1}{\mathrm{e}} \text {. }

Let φ(x)=xex2e(x>0)\varphi(x)=\frac{x}{\mathrm{e}^{x}}-\frac{2}{\mathrm{e}}(x>0). Then
φ(x)=1xex. \varphi^{\prime}(x)=\frac{1-x}{\mathrm{e}^{x}} .

Therefore, φ(x)\varphi(x) is monotonically increasing on the interval (0,1)(0,1) and monotonically decreasing on the interval (1,+)(1,+\infty).
Thus, φ(x)φ(1)=1e\varphi(x) \leqslant \varphi(1)=-\frac{1}{\mathrm{e}}.
Clearly, the equalities in (1) and (2) cannot hold simultaneously.
Hence, when x>0x>0, f(x)>φ(x)f(x)>\varphi(x), i.e.,
lnx>1ex2ex \ln x>\frac{1}{\mathrm{e}^{x}}-\frac{2}{\mathrm{e} x} \text {. }

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.