We consider the function $f$ defined on $\mathbb{R}$ by $$f(x) = \ln\left(\mathrm{e}^{2x} - \mathrm{e}^{x} + 1\right).$$ We denote $\mathscr{C}_f$ its representative curve.
A student formulates the following conjectures based on this graphical representation:
- The equation $f(x) = 2$ seems to admit at least one solution.
- The largest interval on which the function $f$ seems to be increasing is $[-0{,}5; +\infty[$.
- The equation of the tangent line at the point with abscissa $x = 0$ seems to be: $y = 1{,}5x$.
Part A: Study of an auxiliary functionWe define on $\mathbb{R}$ the function $g$ defined by $$g(x) = \mathrm{e}^{2x} - \mathrm{e}^{x} + 1.$$
- Determine $\lim_{x \rightarrow -\infty} g(x)$.
- Show that $\lim_{x \rightarrow +\infty} g(x) = +\infty$.
- Show that $g'(x) = \mathrm{e}^{x}\left(2\mathrm{e}^{x} - 1\right)$ for all $x \in \mathbb{R}$.
- Study the monotonicity of the function $g$ on $\mathbb{R}$. Draw up the variation table of the function $g$ showing the exact value of the extrema if any, as well as the limits of $g$ at $-\infty$ and $+\infty$.
- Deduce the sign of $g$ on $\mathbb{R}$.
- Without necessarily carrying out the calculations, explain how one could establish the result of question 5 by setting $X = \mathrm{e}^{x}$.
Part B - Justify that the function $f$ is well defined on $\mathbb{R}$.
- The derivative function of the function $f$ is denoted $f'$. Justify that $f'(x) = \frac{g'(x)}{g(x)}$ for all $x \in \mathbb{R}$.
- Determine an equation of the tangent line to the curve at the point with abscissa 0.
- Show that the function $f$ is strictly increasing on $[-\ln(2); +\infty[$.
- Show that the equation $f(x) = 2$ admits a unique solution $\alpha$ on $[-\ln(2); +\infty[$ and determine an approximate value of $\alpha$ to $10^{-2}$ near.
Part CUsing the results of Part B, indicate, for each conjecture of the student, whether it is true or false. Justify.