+ qu'un profMon espace

Terminale Spé Maths / Chapitre 5 : Fonction logarithme / Annales du bac

Bac 2023, Métropole : exercice 2

20 mars 2023 · jour 1 · 5 points

On considère la fonction ff définie sur ]0  ;  +∞[]0\;;\;+\infty[ par

f(x)=x2−8ln⁡(x)f(x) = x^2 - 8\ln (x)
où ln désigne la fonction logarithme népérien.

On admet que ff est dérivable sur ]0  ;  +∞[]0\;;\;+\infty[, on note f′f' sa fonction dérivée.

  1. Déterminer lim⁡x→0f(x)\displaystyle\lim_{x \to 0} f(x).

  2. On admet que, pour tout x>0x > 0,  f(x)=x2(1−8ln⁡(x)x2)f(x) = x^2\left(1 - 8\dfrac{\ln (x)}{x^2}\right).

    En déduire la limite: lim⁡x→+∞f(x)\displaystyle\lim_{x \to + \infty} f(x).

  3. Montrer que, pour tout réel xx de ]0  ;  +∞[]0\;;\;+\infty[, f′(x)=2(x2−4)xf'(x) = \dfrac{2\left(x^2 - 4\right)}{x}.

  4. Étudier les variations de ff sur ]0  ;  +∞[]0\;;\;+\infty[ et dresser son tableau de variations complet.

    On précisera la valeur exacte du minimum de ff sur ]0  ;  +∞[]0\;;\;+\infty[.

  5. Démontrer que, sur l'intervalle ]0   2], l'équation f(x)=0f(x) = 0 admet une solution unique α\alpha (on ne cherchera pas à déterminer la valeur de α\alpha).

  6. On admet que, sur l'intervalle [2  ;  +∞[[2\;;\; +\infty[, l'équation f(x)=0f(x) = 0 admet une solution unique β\beta (on ne cherchera pas à déterminer la valeur de β\beta).

    En déduire le signe de ff sur l'intervalle ]0  ;  +∞[]0\;;\;+\infty[.

  7. Pour tout nombre réel kk, on considère la fonction gkg_k définie sur ]0  ;  +∞[]0\;;\;+\infty[ par:

    gk(x)=x2−8ln⁡(x)+k.g_k(x) = x^2 - 8\ln (x) + k.

    En s'aidant du tableau de variations de ff, déterminer la plus petite valeur de kk pour laquelle la fonction gkg_k est positive sur l'intervalle ]0  ;  +∞[]0\;;\;+\infty[.

Voir le corrigé

Question 1.

On a lim⁡x→0x2=0\lim\limits_{x \to 0} x^2 = 0 et lim⁡x→0+ln⁡(x)=−∞\lim\limits_{x \to 0^+} \ln(x) = -\infty, donc lim⁡x→0+(−8ln⁡(x))=+∞\lim\limits_{x \to 0^+} \left(-8\ln(x)\right) = +\infty.

Par somme, lim⁡x→0f(x)=+∞\lim\limits_{x \to 0} f(x) = +\infty.

Réponse : lim⁡x→0f(x)=+∞\lim\limits_{x \to 0} f(x) = +\infty.

Question 2.

On utilise l'écriture admise : pour tout x>0x > 0, f(x)=x2(1−8ln⁡(x)x2)f(x) = x^2\left(1 - 8\dfrac{\ln(x)}{x^2}\right).

Par croissances comparées, lim⁡x→+∞ln⁡(x)x2=0\lim\limits_{x \to +\infty} \dfrac{\ln(x)}{x^2} = 0.

Donc lim⁡x→+∞(1−8ln⁡(x)x2)=1\lim\limits_{x \to +\infty} \left(1 - 8\dfrac{\ln(x)}{x^2}\right) = 1.

Par ailleurs lim⁡x→+∞x2=+∞\lim\limits_{x \to +\infty} x^2 = +\infty. Par produit,

lim⁡x→+∞f(x)=+∞.\lim\limits_{x \to +\infty} f(x) = +\infty.

Réponse : lim⁡x→+∞f(x)=+∞\lim\limits_{x \to +\infty} f(x) = +\infty.

Question 3.

La fonction ff est dérivable sur ]0 ; +∞[]0\,;\,+\infty[ (admis). On a (x2)′=2x\left(x^2\right)' = 2x et (ln⁡x)′=1x\left(\ln x\right)' = \dfrac{1}{x}. Donc, pour tout x>0x > 0,

f′(x)=2x−8x.f'(x) = 2x - \dfrac{8}{x}.

On met au même dénominateur :

f′(x)=2x2−8x=2(x2−4)x.f'(x) = \dfrac{2x^2 - 8}{x} = \dfrac{2\left(x^2 - 4\right)}{x}.

Donc, pour tout x∈ ]0 ; +∞[x \in\, ]0\,;\,+\infty[, f′(x)=2(x2−4)xf'(x) = \dfrac{2\left(x^2 - 4\right)}{x}.

Question 4.

Pour x>0x > 0, on a 2>02 > 0 et x>0x > 0, donc f′(x)f'(x) est du signe de x2−4=(x−2)(x+2)x^2 - 4 = (x - 2)(x + 2). Or x+2>0x + 2 > 0, donc f′(x)f'(x) est du signe de x−2x - 2.

On en déduit :

  • pour x∈ ]0 ; 2[x \in\, ]0\,;\,2[, f′(x)<0f'(x) < 0

  • f′(2)=0f'(2) = 0

  • pour x∈ ]2 ; +∞[x \in\, ]2\,;\,+\infty[, f′(x)>0f'(x) > 0.

Donc ff est strictement décroissante sur ]0 ; 2]]0\,;\,2] et strictement croissante sur [2 ; +∞[[2\,;\,+\infty[.

Elle admet donc un minimum en x=2x = 2, de valeur exacte

f(2)=22−8ln⁡(2)=4−8ln⁡(2)≈−1,545.f(2) = 2^2 - 8\ln(2) = 4 - 8\ln(2) \approx -1{,}545.

Tableau de variations : ff part de +∞+\infty (limite en 00), décroît jusqu'à la valeur 4−8ln⁡(2)4 - 8\ln(2) atteinte en x=2x = 2, puis croît jusqu'à +∞+\infty (limite en +∞+\infty).

Donc le minimum de ff sur ]0 ; +∞[]0\,;\,+\infty[ est 4−8ln⁡(2)4 - 8\ln(2), atteint en x=2x = 2.

Réponse : minimum f(2)=4−8ln⁡(2)≈−1,545f(2) = 4 - 8\ln(2) \approx -1{,}545.

Question 5.

Signe de f(2)f(2). On a 4>e4 > \mathrm{e}, donc 2>e2 > \sqrt{\mathrm{e}}, et par stricte croissance de ln⁡\ln, ln⁡(2)>12\ln(2) > \dfrac{1}{2}. Donc 8ln⁡(2)>48\ln(2) > 4, c'est-à-dire f(2)=4−8ln⁡(2)<0f(2) = 4 - 8\ln(2) < 0.

Hypothèses du théorème. Sur l'intervalle ]0 ; 2]]0\,;\,2] :

  • ff est continue, car dérivable

  • ff est strictement décroissante (question 4)

  • ff prend toutes les valeurs de l'intervalle [f(2) ; +∞[\left[f(2)\,;\,+\infty\right[, car lim⁡x→0f(x)=+∞\lim\limits_{x \to 0} f(x) = +\infty et f(2)<0f(2) < 0.

Comme 0∈[f(2) ; +∞[0 \in \left[f(2)\,;\,+\infty\right[, d'après le théorème des valeurs intermédiaires (corollaire de la bijection pour une fonction continue strictement monotone), l'équation f(x)=0f(x) = 0 admet une unique solution α\alpha dans ]0 ; 2]]0\,;\,2]. De plus f(2)≠0f(2) \neq 0, donc α<2\alpha < 2.

Donc l'équation f(x)=0f(x) = 0 admet une unique solution α\alpha sur ]0 ; 2]]0\,;\,2].

Question 6.

On admet que l'équation f(x)=0f(x) = 0 admet une unique solution β\beta sur [2 ; +∞[[2\,;\,+\infty[. Comme f(2)<0f(2) < 0, on a β>2\beta > 2, donc α<2<β\alpha < 2 < \beta.

On étudie le signe de ff à l'aide des variations.

  • Sur ]0 ; α[]0\,;\,\alpha[ : ff est strictement décroissante et f(α)=0f(\alpha) = 0, donc f(x)>f(α)=0f(x) > f(\alpha) = 0.

  • Sur ]α ; 2]]\alpha\,;\,2] : ff est strictement décroissante, donc f(x)<f(α)=0f(x) < f(\alpha) = 0.

  • Sur [2 ; β[[2\,;\,\beta[ : ff est strictement croissante et f(β)=0f(\beta) = 0, donc f(x)<f(β)=0f(x) < f(\beta) = 0.

  • Sur ]β ; +∞[]\beta\,;\,+\infty[ : ff est strictement croissante, donc f(x)>f(β)=0f(x) > f(\beta) = 0.

Donc :

  • f(x)>0f(x) > 0 sur ]0 ; α[]0\,;\,\alpha[ et sur ]β ; +∞[]\beta\,;\,+\infty[

  • f(x)<0f(x) < 0 sur ]α ; β[]\alpha\,;\,\beta[

  • f(α)=f(β)=0f(\alpha) = f(\beta) = 0.

Question 7.

Pour tout x>0x > 0, gk(x)=f(x)+kg_k(x) = f(x) + k.

La fonction gkg_k est positive sur ]0 ; +∞[]0\,;\,+\infty[ si et seulement si, pour tout x>0x > 0, f(x)+k⩾0f(x) + k \geqslant 0, c'est-à-dire k⩾−f(x)k \geqslant -f(x).

D'après le tableau de variations, ff admet pour minimum f(2)f(2) sur ]0 ; +∞[]0\,;\,+\infty[, donc −f(x)-f(x) admet pour maximum −f(2)-f(2). La condition est donc équivalente à

k⩾−f(2)=8ln⁡(2)−4.k \geqslant -f(2) = 8\ln(2) - 4.

Donc la plus petite valeur de kk pour laquelle gkg_k est positive sur ]0 ; +∞[]0\,;\,+\infty[ est k=8ln⁡(2)−4≈1,545k = 8\ln(2) - 4 \approx 1{,}545.

Réponse : k=8ln⁡(2)−4≈1,545k = 8\ln(2) - 4 \approx 1{,}545.

Points clés attendus

  • Lever la forme indéterminée en +∞+\infty avec l'écriture admise et les croissances comparées.

  • Étudier le signe de f′f' en justifiant que x>0x>0 et x+2>0x+2>0.

  • Donner la valeur exacte du minimum 4−8ln⁡24-8\ln 2 et justifier qu'elle est négative.

  • Théorème des valeurs intermédiaires : continuité, stricte monotonie, valeurs aux bornes, unicité.

  • Pour le signe de ff, s'appuyer sur les variations et les valeurs f(α)=f(β)=0f(\alpha)=f(\beta)=0.

Corrigé rédigé par + qu'un prof. Cherche d'abord seul, puis compare avec ta propre rédaction.

Comment t'entraîner

Chronomètre-toi, rédige sur papier comme le jour du bac, puis seulement après regarde le cours. Si tu bloques sur une question, écris « on admet que… » et passe à la suivante.

Les autres exercices de ce sujet

  • Exercice 1 · 5 points · Succession d'épreuves et loi binomiale
  • Exercice 3 · 5 points · Suites
  • Exercice 4 · 5 points · Orthogonalité et distances dans l'espace

Revoir le cours

Source : sujet officiel de l'épreuve de spécialité mathématiques du baccalauréat, session 2023 (Métropole, 20 mars 2023 (jour 1)), ministère de l'Éducation nationale. Énoncé mis en forme pour le web à partir du tapuscrit de l'APMEP (Denis Vergès) ; figures issues des fichiers de l'APMEP. En cas de doute sur un détail, le sujet officiel fait foi.

Un doute sur un exercice ou sur ta méthode de rédaction ? On en parle ensemble, sans engagement.

Réserver un appel découverte