+ qu'un profMon espace

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

Bac 2026, Polynésie : exercice 3

16 juin 2026 · jour 1 · 5 points

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

f(x)=ln⁡(3x2+1)f(x) = \ln(3x^2 + 1)

On admet que la fonction ff est croissante sur [0  ;+∞[[0\;;+\infty[.

Partie A

On considère la suite (un)(u_n) définie par :

u0=2et pour tout entier n⩾0,un+1=ln⁡(3un2+1).u_0 = 2 \quad \text{et pour tout entier } n \geqslant 0,\quad u_{n+1} = \ln \left(3u_n^2 + 1\right).

  1. Calculer u1u_1.

  2. La suite (un)(u_n) est représentée ci-dessous. Émettre des conjectures sur le sens de variation et la convergence de la suite (un)(u_n).

    Figure de l'énoncé, exercice 3, Polynésie 16 juin 2026
  3. Démontrer par récurrence que pour tout entier naturel nn :

    2⩽un⩽un+1⩽4.2 \leqslant u_n \leqslant u_{n+1} \leqslant 4.

  4. En déduire que la suite (un)(u_n) est convergente.

Partie B

On note ℓ\ell la limite de la suite (un)(u_n).

Le but de cette partie est de trouver une valeur approchée de la limite ℓ\ell.

On considère la fonction gg définie et dérivable sur [0  ;  +∞[[0\;;\;+\infty[ par :

g(x)=ln⁡(3x2+1)−x.g(x) = \ln(3x^2+1) - x.

  1. On note g′g' la fonction dérivée de la fonction gg.

    Démontrer que pour tout réel x∈[0  ;  +∞[x \in [0\;;\;+\infty[,

    g′(x)=−3x2+6x−13x2+1.g'(x) = \dfrac{-3x^2 + 6x - 1}{3x^2 + 1}.

  2. Démontrer que la fonction gg est strictement décroissante sur [2  ;  4][2\;;\;4].

  3. Démontrer que l'équation g(x)=0g(x) = 0 admet une unique solution α\alpha sur [2  ;  4][2\;;\;4] et en donner une valeur approchée à 10−210^{-2} près.

  4. Justifier que ℓ=α\ell = \alpha.

Voir le corrigé

Partie A

Question 1. On a u0=2u_0=2, donc :

u1=ln⁡(3u02+1)=ln⁡(3×22+1)=ln⁡13.u_1=\ln\left(3u_0^2+1\right)=\ln\left(3\times 2^2+1\right)=\ln 13.

Donc u1=ln⁡13≈2,565u_1=\ln 13\approx 2{,}565.

Réponse : u1=ln⁡13≈2,565u_1=\ln 13\approx 2{,}565.

Question 2. D'après la représentation graphique, les points du nuage montent de u0=2u_0=2 vers des valeurs de plus en plus proches les unes des autres, puis semblent se stabiliser à partir de n=10n=10 environ au-dessous de 44.

On conjecture donc que la suite (un)(u_n) est croissante et qu'elle converge vers une limite proche de 3,83{,}8.

Question 3. On note P(n)\mathcal{P}(n) la propriété : 2⩽un⩽un+1⩽42\leqslant u_n\leqslant u_{n+1}\leqslant 4.

Initialisation. On a u0=2u_0=2 et u1=ln⁡13≈2,565u_1=\ln 13\approx 2{,}565.

Donc 2⩽u0⩽u1⩽42\leqslant u_0\leqslant u_1\leqslant 4 : P(0)\mathcal{P}(0) est vraie.

Hérédité. Soit kk un entier naturel fixé tel que P(k)\mathcal{P}(k) soit vraie, c'est-à-dire 2⩽uk⩽uk+1⩽42\leqslant u_k\leqslant u_{k+1}\leqslant 4 (hypothèse de récurrence).

Montrons P(k+1)\mathcal{P}(k+1) : 2⩽uk+1⩽uk+2⩽42\leqslant u_{k+1}\leqslant u_{k+2}\leqslant 4.

Les nombres 22, uku_k, uk+1u_{k+1} et 44 appartiennent à [0 ;+∞[[0\,;+\infty[, intervalle sur lequel la fonction ff est croissante.

On applique ff à chaque membre de l'hypothèse de récurrence en conservant le sens des inégalités :

f(2)⩽f(uk)⩽f(uk+1)⩽f(4).f(2)\leqslant f(u_k)\leqslant f(u_{k+1})\leqslant f(4).

Or f(uk)=uk+1f(u_k)=u_{k+1} et f(uk+1)=uk+2f(u_{k+1})=u_{k+2}, avec f(2)=ln⁡13f(2)=\ln 13 et f(4)=ln⁡(3×16+1)=ln⁡49f(4)=\ln\left(3\times 16+1\right)=\ln 49.

On obtient :

ln⁡13⩽uk+1⩽uk+2⩽ln⁡49.\ln 13\leqslant u_{k+1}\leqslant u_{k+2}\leqslant\ln 49.

On compare maintenant ln⁡13\ln 13 à 22 et ln⁡49\ln 49 à 44.

On a e2≈7,39<13\mathrm{e}^2\approx 7{,}39<13, donc, la fonction ln⁡\ln étant strictement croissante, 2<ln⁡132<\ln 13.

On a e4≈54,6>49\mathrm{e}^4\approx 54{,}6>49, donc ln⁡49<4\ln 49<4.

Ainsi :

2<ln⁡13⩽uk+1⩽uk+2⩽ln⁡49<4,2<\ln 13\leqslant u_{k+1}\leqslant u_{k+2}\leqslant\ln 49<4,
d'où 2⩽uk+1⩽uk+2⩽42\leqslant u_{k+1}\leqslant u_{k+2}\leqslant 4 : P(k+1)\mathcal{P}(k+1) est vraie.

Conclusion. P(0)\mathcal{P}(0) est vraie et P\mathcal{P} est héréditaire : d'après le principe de récurrence, pour tout entier naturel nn, 2⩽un⩽un+1⩽42\leqslant u_n\leqslant u_{n+1}\leqslant 4.

Question 4. D'après la question précédente, pour tout entier naturel nn, un⩽un+1u_n\leqslant u_{n+1} : la suite (un)(u_n) est croissante.

De plus, un⩽4u_n\leqslant 4 pour tout nn : elle est majorée par 44.

D'après le théorème de convergence monotone (toute suite croissante et majorée converge), la suite (un)(u_n) est convergente.

Partie B

Question 1. La fonction g:x↦ln⁡(3x2+1)−xg:x\mapsto\ln\left(3x^2+1\right)-x est dérivable sur [0 ;+∞[[0\,;+\infty[.

La dérivée de x↦ln⁡(u(x))x\mapsto\ln\left(u(x)\right) est u′u\dfrac{u'}{u}, avec ici u(x)=3x2+1>0u(x)=3x^2+1>0 et u′(x)=6xu'(x)=6x.

Donc, pour tout x⩾0x\geqslant 0 :

g′(x)=6x3x2+1−1=6x−(3x2+1)3x2+1=−3x2+6x−13x2+1.\begin{aligned} g'(x)&=\dfrac{6x}{3x^2+1}-1\\ &=\dfrac{6x-\left(3x^2+1\right)}{3x^2+1}\\ &=\dfrac{-3x^2+6x-1}{3x^2+1}. \end{aligned}

Question 2. Pour tout réel xx, 3x2+1>03x^2+1>0 : le signe de g′(x)g'(x) est celui du numérateur −3x2+6x−1-3x^2+6x-1.

Ce trinôme a pour discriminant Δ=62−4×(−3)×(−1)=36−12=24>0\Delta=6^2-4\times(-3)\times(-1)=36-12=24>0.

Ses racines sont :

x1=1−63≈0,18etx2=1+63≈1,82.x_1=1-\dfrac{\sqrt6}{3}\approx 0{,}18\qquad\text{et}\qquad x_2=1+\dfrac{\sqrt6}{3}\approx 1{,}82.

Le coefficient de x2x^2 est −3<0-3<0 : le trinôme est strictement négatif à l'extérieur des racines, c'est-à-dire pour x<x1x<x_1 ou x>x2x>x_2.

Comme 2>x2≈1,822>x_2\approx 1{,}82, on a g′(x)<0g'(x)<0 pour tout x∈[2 ;4]x\in[2\,;4].

Donc la fonction gg est strictement décroissante sur [2 ;4][2\,;4].

Question 3. La fonction gg est :

  • continue sur [2 ;4][2\,;4] (elle est dérivable)

  • strictement décroissante sur [2 ;4][2\,;4], d'après la question 2

  • telle que g(2)=ln⁡13−2≈0,565>0g(2)=\ln 13-2\approx 0{,}565>0 et g(4)=ln⁡49−4≈−0,108<0g(4)=\ln 49-4\approx-0{,}108<0.

Le nombre 00 est compris entre g(4)g(4) et g(2)g(2).

D'après le théorème des valeurs intermédiaires (corollaire pour une fonction continue et strictement monotone), l'équation g(x)=0g(x)=0 admet une unique solution α\alpha dans [2 ;4][2\,;4].

À la calculatrice : g(3,78)≈0,0011>0g(3{,}78)\approx 0{,}0011>0 et g(3,79)≈−0,0037<0g(3{,}79)\approx-0{,}0037<0.

La fonction gg étant strictement décroissante, on en déduit 3,78<α<3,793{,}78<\alpha<3{,}79.

Donc α≈3,78\alpha\approx 3{,}78 à 10−210^{-2} près.

Réponse : α≈3,78\alpha\approx 3{,}78 (valeur approchée à 10−210^{-2} près).

Question 4. La suite (un)(u_n) converge vers ℓ\ell (partie A).

Comme 2⩽un⩽42\leqslant u_n\leqslant 4 pour tout nn, un passage à la limite dans ces inégalités larges donne 2⩽ℓ⩽42\leqslant\ell\leqslant 4.

La fonction f:x↦ln⁡(3x2+1)f:x\mapsto\ln\left(3x^2+1\right) est continue sur [0 ;+∞[[0\,;+\infty[ (composée de fonctions continues) et un+1=f(un)u_{n+1}=f(u_n).

Lorsque nn tend vers +∞+\infty, unu_n et un+1u_{n+1} tendent vers ℓ\ell. Par continuité de ff en ℓ\ell, on obtient :

ℓ=f(ℓ)=ln⁡(3ℓ2+1).\ell=f(\ell)=\ln\left(3\ell^2+1\right).

Donc g(ℓ)=ln⁡(3ℓ2+1)−ℓ=0g(\ell)=\ln\left(3\ell^2+1\right)-\ell=0.

Le réel ℓ\ell appartient à [2 ;4][2\,;4] et vérifie g(ℓ)=0g(\ell)=0   or α\alpha est l'unique solution de g(x)=0g(x)=0 dans [2 ;4][2\,;4].

Donc ℓ=α\ell=\alpha, et ℓ≈3,78\ell\approx 3{,}78 à 10−210^{-2} près.

Points clés attendus

  • Récurrence rédigée en trois temps : initialisation, hérédité avec « soit kk fixé tel que P(k)\mathcal{P}(k) est vraie », conclusion   citer la croissance de ff sur [0 ;+∞[[0\,;+\infty[ et comparer ln⁡13\ln 13 à 22 et ln⁡49\ln 49 à 44.

  • Citer le théorème de convergence monotone : suite croissante et majorée.

  • Dérivée de ln⁡(u)\ln(u) sous la forme u′u\dfrac{u'}{u}, puis signe du trinôme justifié par le discriminant et les racines, et comparaison de 22 à la plus grande racine.

  • Théorème des valeurs intermédiaires : continuité, stricte monotonie et signes de g(2)g(2) et g(4)g(4), puis unicité de α\alpha et encadrement donnant 3,783{,}78.

  • Limite d'une suite définie par un+1=f(un)u_{n+1}=f(u_n) : continuité de ff, équation g(ℓ)=0g(\ell)=0 et unicité de la solution dans [2 ;4][2\,;4].

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 · Dénombrement
  • Exercice 2 · 5 points · Dérivation et convexité · Calcul intégral · Primitives et équations différentielles
  • 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 2026 (Polynésie, 16 juin 2026 (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