Terminale Spécialité

Le but de cet exercice est d’étudier la fonction $ f $ définie sur l’intervalle $ ]0 ; +\infty[ $ par : $$f(x) = x\ln(x^2) - \frac{1}{x}$$

Partie A : lectures graphiques

On a tracé ci-dessous la courbe représentative $(\mathcal{C}_f)$ de la fonction $ f $, ainsi que la droite $(T)$, tangente à la courbe $(\mathcal{C}_f)$ au point $A(1;~-1)$.
Cette tangente passe également par le point $B(0;~-4)$.

1. Lire graphiquement $f'(1)$ et donner l’équation réduite de la tangente $(T)$.
2. Donner les intervalles sur lesquels la fonction $ f $ semble convexe ou concave. Que semble représenter le point A pour la courbe $(\mathcal{C}_f)$ ?

Partie B : étude analytique

1. Déterminer, en justifiant, la limite de $ f $ en $+\infty$, puis sa limite en 0.
2. On admet que la fonction $ f $ est deux fois dérivable sur l’intervalle $ ]0 ; +\infty[ $.
   1. Déterminer $ f'(x) $ pour $ x $ appartenant à l’intervalle $ ]0 ; +\infty[ $.
   2. Montrer que pour tout $ x $ appartenant à l’intervalle $ ]0 ; +\infty[ $, $$f''(x) = \frac{2(x+1)(x-1)}{x^3}$$
3. 1. Étudier la convexité de la fonction $ f $ sur l’intervalle $ ]0 ; +\infty[ $.
   2. Étudier les variations de la fonction $ f' $, puis le signe de $ f'(x) $ pour $ x $ appartenant à l’intervalle $ ]0 ; +\infty[ $.
      En déduire le sens de variation de la fonction $ f $ sur l’intervalle $ ]0 ; +\infty[ $.
4. 1. Montrer que l’équation $ f(x) = 0 $ admet une unique solution $ \alpha $ sur l’intervalle $ ]0 ; +\infty[ $.
   2. Donner la valeur arrondie au centième de $ \alpha $ et montrer que $ \alpha $ vérifie : $$\alpha^2 = \exp\left( \frac{1}{\alpha^2} \right)$$

On considère la fonction $ g $ définie sur l’intervalle $ [0 ; 1] $ par : $$ g(x) = 2x - x^2. $$

1. Montrer que la fonction $ g $ est strictement croissante sur l’intervalle $ [0 ; 1] $ et préciser les valeurs de $ g(0) $ et de $ g(1) $.
2. On considère la suite $ (u_n) $ définie par $$ \begin{cases} u_0 = \frac{1}{2} \\ u_{n+1} = g(u_n) \end{cases} $$ pour tout entier naturel $ n $.
   1. Calculer $ u_1 $ et $ u_2 $.
   2. Démontrer par récurrence que, pour tout entier naturel $ n $, on a : $ 0 < u_n < u_{n+1} < 1 $.
   3. En déduire que la suite $ (u_n) $ est convergente.
   4. Déterminer la limite $ \ell $ de la suite $ (u_n) $.
3. On considère la suite $ (v_n) $ définie pour tout entier naturel $ n $ par $ v_n = \ln(1 - u_n) $.
   1. Démontrer que la suite $ (v_n) $ est une suite géométrique de raison 2 et préciser son premier terme.
   2. En déduire une expression de $ v_n $ en fonction de $ n $.
   3. En déduire une expression de $ u_n $ en fonction de $ n $ et retrouver la limite déterminée à la question 5.
4. Recopier et compléter le script Python ci-dessous afin que celui-ci renvoie le rang $ n $ à partir duquel la suite dépasse 0,95.

Soit $ a $ un réel strictement positif.
On considère la fonction $ f $ définie sur l’intervalle $ ]0 ; +\infty[ $ par : $$f(x) = a\ln(x).$$

On note $C_f$ sa courbe représentative dans un repère orthonormé.
Soit $ x_0 $ un réel strictement supérieur à 1.

1. Déterminer l’abscisse du point d’intersection de la courbe $C_f$ et de l’axe des abscisses.
2. Vérifier que la fonction $ F $ définie par $ F(x) = a[x\ln(x) - x] $ est une primitive de la fonction $ f $ sur l’intervalle $ ]0 ; +\infty[ $.
3. En déduire l’aire du domaine bleuté en fonction de $ a $ et de $ x_0 $.


On note $ T $ la tangente à la courbe $C_f$ au point $ M $ d’abscisse $ x_0 $.
On appelle $ A $ le point d’intersection de la tangente $ T $ avec l’axe des ordonnées et $ B $ le projeté orthogonal de $ M $ sur l’axe des ordonnées.


4. Démontrer que la longueur $ AB $ est égale à une constante (c’est-à-dire à un nombre qui ne dépend pas de $ x_0 $) que l’on déterminera.

   Le candidat prendra soin d’expliciter sa démarche.

On considère la fonction $ f $ définie sur $ ]0 ; +\infty[ $ par : $$ f(x) = x^2 - x\ln(x). $$
On admet que $ f $ est deux fois dérivable sur $ ]0 ; +\infty[ $.
On note $ f' $ la fonction dérivée de la fonction $ f $ et $ f'' $ la fonction dérivée de la fonction $ f' $.

Partie A : Étude de la fonction $ f $

1. Déterminer les limites de la fonction $ f $ en 0 et en $ +\infty $.
2. Pour tout réel $ x $ strictement positif, calculer $ f'(x) $.
3. Montrer que pour tout réel $ x $ strictement positif : $$ f''(x) = \frac{2x - 1}{x}. $$
4. Étudier les variations de la fonction $ f' $ sur $ ]0 ; +\infty[ $, puis dresser le tableau des variations de la fonction $ f' $ sur $ ]0 ; +\infty[ $.
   On veillera à faire apparaître la valeur exacte de l’extrémum de la fonction $ f' $ sur $ ]0 ; +\infty[ $.
   Les limites de la fonction $ f' $ aux bornes de l’intervalle de définition ne sont pas attendues.
5. Montrer que la fonction $ f $ est strictement croissante sur $ ]0 ; +\infty[ $.

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 ; +\infty[ $ par : $$ g(x) = x - \ln(x). $$
On admet que la fonction $ g $ est dérivable sur $ ]0 ; +\infty[ $, on note $ g' $ sa dérivée.

1. Pour tout réel strictement positif, calculer $ g'(x) $, puis dresser le tableau des variations de la fonction $ g $.
   Les limites de la fonction $ 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 l’intervalle $ ]0 ; +\infty[ $, l’équation $ f(x) = x $.

Partie C : Étude d’une suite récurrente

On considère la suite $ (u_n) $ définie par $ u_0 = \frac{1}{2} $ et pour tout entier naturel $ n $, $$ u_{n+1} = f(u_n) = u_n^2 - u_n\ln(u_n). $$

1. Montrer par récurrence que pour tout entier naturel $ n $ : $$ \frac{1}{2} \leq u_n \leq u_{n+1} \leq 1. $$
2. Justifier que la suite $ (u_n) $ converge.
   On appelle $ \ell $ la limite de la suite $ (u_n) $ et on admet que $ \ell $ vérifie l’égalité $ f(\ell) = \ell $.
3. Déterminer la valeur de $ \ell $.