Maths Olympiad Prep

Library / /432 of 520

Algebra Difficulty 4.5 AIME Prove it

Let f(x)=ln(x+1)f(x)=\ln(x+1) for x0x\geqslant 0, and g(x)=x(x+a+1)x+1g(x)=\dfrac{x(x+a+1)}{x+1} for x0x\geqslant 0.
1. Prove that f(x)xx2f(x)\geqslant x-x^{2}.
2. If f(x)+xg(x)f(x)+x\geqslant g(x) holds for all xx, find the range of values for aa.
3. Prove that for all nNn\in \mathbb{N}^*, ln(n2+3n+2)>14+29++n1n2\ln(n^{2}+3n+2) \gt \dfrac{1}{4}+\dfrac{2}{9}+\ldots +\dfrac{n-1}{n^{2}}.

Solution

1. To prove f(x)xx2f(x) \geqslant x - x^2, we consider the function h(x)=ln(x+1)x+x2h(x) = \ln(x+1) - x + x^2 for x0x \geqslant 0. We calculate the derivative of h(x)h(x) as follows:
h(x)=ddx[ln(x+1)x+x2]=1x+11+2x.h'(x) = \frac{d}{dx}[\ln(x+1) - x + x^2] = \frac{1}{x+1} - 1 + 2x.
Simplifying the derivative, we get:
h(x)=1x+1+2x1=2x2+xx+10.h'(x) = \frac{1}{x+1} + 2x - 1 = \frac{2x^2 + x}{x+1} \geqslant 0.
Since h(x)0h'(x) \geqslant 0 for all x0x \geqslant 0, h(x)h(x) is monotonically increasing on [0,+)[0, +\infty). Evaluating h(x)h(x) at x=0x=0, we find:
h(0)=ln(1)0+02=0.h(0) = \ln(1) - 0 + 0^2 = 0.
Therefore, since h(x)h(x) is monotonically increasing and h(0)=0h(0) = 0, we have h(x)0h(x) \geqslant 0 for all x0x \geqslant 0. This proves that ln(x+1)xx2\ln(x+1) \geqslant x - x^2.

2. For the inequality f(x)+xg(x)f(x) + x \geqslant g(x) to hold, we rewrite it as ln(x+1)ax1+x\ln(x+1) \geqslant \frac{ax}{1+x}. Let m(x)=ln(x+1)ax1+xm(x) = \ln(x+1) - \frac{ax}{1+x}. We want to ensure m(x)0m(x) \geqslant 0 for all x0x \geqslant 0. Calculating the derivative of m(x)m(x), we get:
m(x)=1x+1a(1+x)ax(1+x)2=x+1a(1+x)2.m'(x) = \frac{1}{x+1} - \frac{a(1+x) - ax}{(1+x)^2} = \frac{x+1-a}{(1+x)^2}.
For m(x)>0m'(x) > 0, we need x+1a>0x+1-a > 0, which simplifies to x>a1x > a-1. If a1a \leqslant 1, then m(x)m(x) is monotonically increasing on [0,+)[0, +\infty), and since m(0)=0m(0) = 0, m(x)0m(x) \geqslant 0 always holds. If a>1a > 1, then m(x)m(x) is monotonically decreasing on [0,a1][0, a-1] and increasing on (a1,+)(a-1, +\infty). In this case, m(x)min=m(a1)xx2m(x)_{\min} = m(a-1) x - x^2. Letting x=1nx = \frac{1}{n}, where nNn \in \mathbb{N}^*, we get:
ln(n+1n)>n1n2.\ln\left(\frac{n+1}{n}\right) > \frac{n-1}{n^2}.
This implies:
ln(n+1)ln(n)>n1n2.\ln(n+1) - \ln(n) > \frac{n-1}{n^2}.
Summing these inequalities for n=1n = 1 to nn, we obtain:
ln(n+1)>14+29++n1n2.\ln(n+1) > \frac{1}{4} + \frac{2}{9} + \ldots + \frac{n-1}{n^2}.
Since n2+3n+2>n+1n^2 + 3n + 2 > n + 1, it follows that ln(n2+3n+2)>ln(n+1)\ln(n^2 + 3n + 2) > \ln(n+1). Therefore, for all nNn \in \mathbb{N}^*, we have:
ln(n2+3n+2)>14+29++n1n2.\ln(n^2 + 3n + 2) > \frac{1}{4} + \frac{2}{9} + \ldots + \frac{n-1}{n^2}.
Thus, the statement is proven, and the inequality holds for all nNn \in \mathbb{N}^*.

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.