Suite récurrente et fonction logarithme
On considère la fonction f définie sur ]0 ; +∞[ par f(x) = x² − x ln(x).
On admet que f est deux fois dérivable sur ]0 ; +∞[. On note f′ la dérivée de f et f′′ la dérivée de f′.
Partie A Étude de la fonction f
1. Déterminer les limites de la fonction f en 0 et en +∞.
2. Pour tout réel x strictement positif, calculer f′(x).
3. Montrer que pour tout réel x strictement positif : f′′(x) = 2x − 1x.
4. Étudier les variations de la fonction f′ sur ]0 ; +∞[, puis dresser le tableau des variations de f′ sur ]0 ; +∞[. On veillera à faire apparaître la valeur exacte de l'extremum de f′ sur ]0 ; +∞[. Les limites de f′ aux bornes de l'intervalle de définition ne sont pas attendues.
5. Montrer que la fonction f est strictement croissante sur ]0 ; +∞[.
Partie B Étude d'une fonction auxiliaire pour la résolution de l'équation f(x) = x
On considère dans cette partie la fonction g définie sur ]0 ; +∞[ par g(x) = x − ln(x).
On admet que g est dérivable sur ]0 ; +∞[ ; on note g′ sa dérivée.
1. Pour tout réel x strictement positif, calculer g′(x), puis dresser le tableau des variations de g. Les limites de g aux bornes de l'intervalle de définition ne sont pas attendues.
2. On admet que 1 est l'unique solution de l'équation g(x) = 1. Résoudre, sur ]0 ; +∞[, l'équation f(x) = x.
Partie C Étude d'une suite récurrente
On considère la suite (uₙ) définie par u₀ = 12 et, pour tout entier naturel n, uₙ₊₁ = f(uₙ) = uₙ² − uₙ ln(uₙ).
1. Montrer par récurrence que pour tout entier naturel n : 12 ≤ uₙ ≤ uₙ₊₁ ≤ 1.
2. Justifier que la suite (uₙ) converge.
On appelle ℓ la limite de la suite (uₙ) et on admet que ℓ vérifie f(ℓ) = ℓ.
3. Déterminer la valeur de ℓ.