1. To prove f(x)⩾x−x2, we consider the function h(x)=ln(x+1)−x+x2 for x⩾0. We calculate the derivative of h(x) as follows:
h′(x)=dxd[ln(x+1)−x+x2]=x+11−1+2x.
Simplifying the derivative, we get:
h′(x)=x+11+2x−1=x+12x2+x⩾0.
Since h′(x)⩾0 for all x⩾0, h(x) is monotonically increasing on [0,+∞). Evaluating h(x) at x=0, we find:
h(0)=ln(1)−0+02=0.
Therefore, since h(x) is monotonically increasing and h(0)=0, we have h(x)⩾0 for all x⩾0. This proves that ln(x+1)⩾x−x2.
2. For the inequality f(x)+x⩾g(x) to hold, we rewrite it as ln(x+1)⩾1+xax. Let m(x)=ln(x+1)−1+xax. We want to ensure m(x)⩾0 for all x⩾0. Calculating the derivative of m(x), we get:
m′(x)=x+11−(1+x)2a(1+x)−ax=(1+x)2x+1−a.
For m′(x)>0, we need x+1−a>0, which simplifies to x>a−1. If a⩽1, then m(x) is monotonically increasing on [0,+∞), and since m(0)=0, m(x)⩾0 always holds. If a>1, then m(x) is monotonically decreasing on [0,a−1] and increasing on (a−1,+∞). In this case, m(x)min=m(a−1)x−x2. Letting x=n1, where n∈N∗, we get:
ln(nn+1)>n2n−1.
This implies:
ln(n+1)−ln(n)>n2n−1.
Summing these inequalities for n=1 to n, we obtain:
ln(n+1)>41+92+…+n2n−1.
Since n2+3n+2>n+1, it follows that ln(n2+3n+2)>ln(n+1). Therefore, for all n∈N∗, we have:
ln(n2+3n+2)>41+92+…+n2n−1.
Thus, the statement is proven, and the inequality holds for all n∈N∗.