الامتحان الوطني الموحد للبكالوريا - الدورة العادية 2026

Problème (11 points) :

Partie I :

On considère les fonctions numériques gg et hh définies sur ]0,+[]0, +\infty[ par : g(x)=1lnxg(x) = 1 - \ln x et h(x)=x2ex1h(x) = x^2e^{x-1}

1.a. Calculer g(1)g(1) et h(1)h(1)

Afficher la correction
  • g(1)=1ln(1)=1g(1)=1-\ln(1)=1
  • h(1)=12e11=e0=1h(1)=1^2e^{1-1}=e^0=1

1.b. Résoudre l'équation g(x)=0g(x) = 0 dans l'intervalle ]0,+[]0, +\infty[

Afficher la correction

Soit x]0,+[x\in]0, +\infty[

g(x)=0    1ln(x)=0    ln(x)=1    x=e\begin{aligned} g(x)=0 &\iff 1-\ln(x)=0 \\& \iff \ln(x)=1 \\& \iff x=e \end{aligned}

2. Le graphique ci-dessous représente les courbes (Cg)(\mathcal{C}_g) et (Ch)(\mathcal{C}_h) des fonctions gg et hh dans un même repère orthonormé.

01123411234dvisvgm:rawset 4dvisvgm:rawdefdvisvgm:rawput 4(Cg)(Ch)e

2.a. Justifier graphiquement que : pour tout xx de ]0,1[:h(x)g(x)<0]0, 1[ : h(x) - g(x) < 0 et pour tout xx de ]1,+[:h(x)g(x)>0]1, +\infty[ : h(x) - g(x) > 0

Afficher la correction
  • sur ]0,1[]0, 1[ , on voit que (Ch)(C_h) est située en dessous de (Cg)(C_g) donc :
x]0,1[ : h(x)g(x)<0\forall x \in ]0, 1[ ~:~ h(x) - g(x) < 0
  • sur ]1,+[]1, +\infty[ , on voit que (Ch)(C_h) est située au dessus de (Cg)(C_g) donc :

    x]1,+[ : h(x)g(x)>0\forall x \in ]1, +\infty[ ~:~ h(x) - g(x) > 0

2.b. En utilisant une intégration par parties, montrer que : 1eg(x)dx=e2\displaystyle\int_{1}^{e} g(x) \, \mathrm{d}x = e - 2

Afficher la correction
1eg(x)dx avec : g(x)=1ln(x) \displaystyle\int_{1}^{e} g(x) \, \mathrm{d}x \qquad \text{ avec : }g(x)=1-\ln(x)

on pose u(x)=g(x)u(x)=g(x) et v(x)=1v'(x)=1

donc : u(x)=g(x)=1xu'(x)=g'(x)=-\dfrac1x et v(x)=xv(x)=x

1eg(x)dx=[u(x)v(x)]1e1eu(x)v(x) dx=[xg(x)]1e1e1x×x dx=eg(e)1g(1)+1e1 dx=1+[x]1e=1+e1=e2\begin{aligned} \int_{1}^{e} g(x) \, \mathrm{d}x &=[u(x)v(x)]_1^e-\int_{1}^{e} u'(x)v(x) \ \mathrm{d}x \\ &=[x \cdot g(x)]_1^e - \int_{1}^{e} -\dfrac1x \times x \ \mathrm{d}x \\ &=e \cdot g(e)-1 \cdot g(1)+\int_{1}^{e}1 \ \mathrm{d}x \\ &=-1+[x]_1^e \\ &=-1+e-1 \\ &=e-2 \end{aligned}

2.c. Vérifier que la fonction H:xex1(x22x+2)H : x \mapsto e^{x-1}(x^2 - 2x + 2) est une primitive de la fonction hh sur ]0,+[]0, +\infty[, puis calculer 01h(x)dx\int_{0}^{1} h(x) \, \mathrm{d}x

Afficher la correction
  • La fonction H est dérivable sur ]0,+[]0,+\infty[
  • pour tout x]0,+[x \in ]0, +\infty[ :
H(x)=(ex1(x22x+2))=(ex1)(x22x+2)+ex1(x22x+2)=ex1(x22x+2)+ex1(2x2)=ex1(x22x+2+2x2)=x2ex1=h(x)\begin{aligned} H'(x) &= \left(e^{x-1}(x^2 - 2x + 2)\right)' \\ &= (e^{x-1})'(x^2 - 2x + 2) + e^{x-1}(x^2 - 2x + 2)' \\ &= e^{x-1}(x^2 - 2x + 2) + e^{x-1}(2x - 2) \\ &= e^{x-1}(x^2 - 2x + 2 + 2x - 2) \\ &= x^2e^{x-1} = h(x) \end{aligned}

Donc HH est bien une primitive de hh sur ]0,+[]0, +\infty[.

La fonction h est continue en 0 donc on peut calculer l'intégrale 01h(x)dx\int_{0}^{1} h(x) \, \mathrm{d}x

01h(x)dx=[H(x)]01=H(1)H(0)=1e1×2=12e\begin{aligned} \int_{0}^{1} h(x) \, \mathrm{d}x &= [H(x)]_0^1 \\ &= H(1) - H(0) \\ &= 1 - e^{-1}\times 2 \\ &= 1-\dfrac2e \end{aligned}

2.d. Calculer l'aire du domaine hachuré sur le graphique précédent. (en unité d'aire)

Afficher la correction

L'aire demandée A\mathcal{A} est délimitée par l'axe des abscisses, les droites x=0x=0, x=ex=e, et les courbes (Ch)(\mathcal{C}_h) sur [0,1][0,1] et (Cg)(\mathcal{C}_g) sur [1,e][1,e].

A=01h(x)dx+1eg(x)dx\begin{aligned} \mathcal{A} &= \int_{0}^{1} |h(x)| \, \mathrm{d}x + \int_{1}^{e} |g(x)| \, \mathrm{d}x \\ \end{aligned}

la partie hachurée est au dessus de l'axe des abscisses donc

A=01h(x)dx+1eg(x)dx\begin{aligned} \mathcal{A} &= \int_{0}^{1} h(x) \, \mathrm{d}x + \int_{1}^{e} g(x) \, \mathrm{d}x \\ \end{aligned}

D'après les questions 2.b et 2.c, on a :

01h(x)dx=12e et 1eg(x)dx=e2\int_{0}^{1} h(x) \, \mathrm{d}x = 1 - \frac{2}{e} \quad\text{ et }\quad \int_{1}^{e} g(x) \, \mathrm{d}x = e - 2

Par conséquent :

A=(12e)+(e2)=e12e(en u.a.)\mathcal{A} = \left(1 - \frac{2}{e}\right) + (e - 2) = e - 1 - \frac{2}{e} \quad (\text{en } u.a.)

Partie II :

On considère la fonction numérique ff définie sur ]0,+[]0, +\infty[ par f(x)=ex1lnxxf(x) = e^{x-1} - \frac{\ln x}{x} Soit (Cf)(\mathcal{C}_f) sa courbe dans un repère orthonormé (O,i,j)(O, \vec{i}, \vec{j}).

1.a. Vérifier que limx0+f(x)=+\lim\limits_{x \to 0^+} f(x) = +\infty, puis interpréter géométriquement ce résultat.

Afficher la correction
limx0+f(x)=limx0+(ex1lnxx) \lim\limits_{x \to 0^+} f(x) = \lim\limits_{x \to 0^+} \left(e^{x-1} - \frac{\ln x}{x}\right)
  • limx0+ex1=e1\lim\limits_{x \to 0^+} e^{x-1} = e^{-1}

  • {limx0+lnx=limx0+x=0+    limx0+lnxx=+ \begin{cases}\bullet \lim\limits_{x \to 0^+} \ln x = -\infty \\ \bullet \lim\limits_{x \to 0^+} x = 0^+ \end{cases} \implies \lim\limits_{x \to 0^+} -\frac{\ln x}{x} = +\infty

Donc : limx0+f(x)=+ \lim\limits_{x \to 0^+} f(x) = +\infty

Interprétation géométrique : La droite d'équation x=0x = 0 (l'axe des ordonnées) est une asymptote verticale à la courbe (Cf)(\mathcal{C}_f).

1.b. Vérifier que limx+f(x)=+\lim\limits_{x \to +\infty} f(x) = +\infty

Afficher la correction

On a : limx+f(x)=limx+(ex1lnxx)\lim\limits_{x \to +\infty} f(x) = \lim\limits_{x \to +\infty} \left(e^{x-1} - \frac{\ln x}{x}\right)

  • limx+lnxx=0\lim\limits_{x \to +\infty} \frac{\ln x}{x} = 0 (limite usuelle)
  • limx+ex1=limx+e1ex=+\lim\limits_{x \to +\infty} e^{x-1} =\lim\limits_{x \to +\infty} e^{-1}e^{x}= +\infty.

Alors limx+f(x)=+\lim\limits_{x \to +\infty} f(x) = +\infty

1.c. Montrer que limx+f(x)x=+\lim\limits_{x \to +\infty} \frac{f(x)}{x} = +\infty, puis interpréter géométriquement ce résultat.

Afficher la correction
limx+f(x)x=limx+(ex1xlnxx2)\lim\limits_{x \to +\infty} \frac{f(x)}{x} = \lim\limits_{x \to +\infty} \left( \frac{e^{x-1}}{x} - \frac{\ln x}{x^2} \right)
  • limx+ex1x=limx+exx×e1=+\lim\limits_{x \to +\infty} \dfrac{e^{x-1}}{x}=\lim\limits_{x \to +\infty} \dfrac{e^x}{x}\times e^{-1}=+\infty

  • limx+lnxx2=0\lim\limits_{x \to +\infty} \dfrac{\ln x}{x^2} = 0.

Alors : limx+f(x)x=+\lim\limits_{x \to +\infty} \frac{f(x)}{x} = +\infty

Interprétation géométrique :

on a limx+f(x)=+\lim\limits_{x \to +\infty} f(x)=+\infty et limx+f(x)x=+\lim\limits_{x \to +\infty} \frac{f(x)}{x}=+\infty

Alors la courbe (Cf)(\mathcal{C}_f) admet une branche parabolique de direction asymptotique l'axe des ordonnées au voisinage de ++\infty.

2.a. Montrer que pour tout xx de ]0,+[]0, +\infty[, f(x)=h(x)g(x)x2f'(x) = \frac{h(x) - g(x)}{x^2}

Afficher la correction

La fonction ff est dérivable sur ]0,+[]0, +\infty[ par somme, composée et quotion;

Soit x]0,+[x\in]0, +\infty[

f(x)=(ex1)(lnxx)=ex1(lnx)x(lnx)(x)x2=ex11xxlnxx2=ex11lnxx2=x2ex1(1lnx)x2=h(x)g(x)x2 \begin{aligned} f'(x) &= (e^{x-1})' - \left(\frac{\ln x}{x}\right)' \\ &= e^{x-1} - \frac{(\ln x)' \cdot x - (\ln x) \cdot (x)'}{x^2} \\ &= e^{x-1} - \frac{\frac{1}{x} \cdot x - \ln x}{x^2} \\ &= e^{x-1} - \frac{1 - \ln x}{x^2} \\ &= \frac{x^2e^{x-1} - (1 - \ln x)}{x^2} \\ &= \frac{h(x) - g(x)}{x^2} \end{aligned}

2.b. Dresser le tableau de variations de ff sur ]0,+[]0, +\infty[ (On peut utiliser la question 2.a de la partie I.)

Afficher la correction

Pour tout x]0,+[x \in ]0, +\infty[, x2>0x^2 > 0, donc le signe de f(x)f'(x) est celui de h(x)g(x)h(x) - g(x).

D'après la question 2.a de la Partie I :

  • Sur ]0,1[]0, 1[, h(x)g(x)<0    f(x)<0h(x) - g(x) < 0 \implies f'(x) < 0.
  • Sur ]1,+[]1, +\infty[, h(x)g(x)>0    f(x)>0h(x) - g(x) > 0 \implies f'(x) > 0.
  • Et pour x=1x=1, h(1)g(1)=0    f(1)=0h(1) - g(1) = 0 \implies f'(1) = 0.

On calcule l'image de 1 : f(1)=e11ln11=1f(1) = e^{1-1} - \frac{\ln 1}{1} = 1.

Le tableau de variations de ff est donc :

xfʹ(x)f(x)01++1+0+

2.c. Déduire que pour tout xx de ]0,+[]0, +\infty[, ex11+lnxxe^{x-1} \geq 1 + \frac{\ln x}{x}

Afficher la correction

D'après le tableau de variations, la fonction ff admet un minimum absolue sur ]0,+[]0, +\infty[ en x=1x=1, qui vaut f(1)=1f(1) = 1. Donc, pour tout x]0,+[x \in ]0, +\infty[ :

f(x)1f(x) \geq 1 ex1lnxx1e^{x-1} - \frac{\ln x}{x} \geq 1 ex11+lnxxe^{x-1} \geq 1 + \frac{\ln x}{x}

3. Montrer que l'équation f(x)=xf(x) = x admet une solution α\alpha tel que : 32<α<2\frac{3}{2} < \alpha < 2 (On donne f(2)2,37f(2) \approx 2,37 et f(32)1,38f\left(\frac{3}{2}\right) \approx 1,38)

Afficher la correction

Considérons la fonction kk définie sur [32,2][\frac{3}{2}, 2] par k(x)=f(x)xk(x) = f(x) - x.

  • La fonction kk est continue sur [32,2][\frac{3}{2}, 2] (somme de fonctions continues).
  • k(2)=f(2)20,37>0k(2) = f(2) - 2 \approx 0,37 > 0
  • k(32)=f(32)320,12<0k(\frac{3}{2}) = f(\frac{3}{2}) - \frac{3}{2} \approx -0,12 < 0

Puisque k(32)×k(2)<0k(\frac{3}{2}) \times k(2) < 0, d'après le théorème des valeurs intermédiaires (TVI), l'équation k(x)=0k(x) = 0 admet au moins une solution α]32,2[\alpha \in ]\frac{3}{2}, 2[. Donc, l'équation f(x)=xf(x) = x admet bien une solution α\alpha tel que 32<α<2\frac{3}{2} < \alpha < 2.

4. Soit φ\varphi la restriction de la fonction ff sur l'intervalle [1,+[[1, +\infty[

4.a. Montrer que φ\varphi admet une fonction réciproque φ1\varphi^{-1} définie sur un intervalle JJ que l'on déterminera. (L'expression φ1(x)\varphi^{-1}(x) n'est pas demandée.)

Afficher la correction

La fonction φ\varphi (restriction de ff sur [1,+[[1, +\infty[) est :

  • Continue sur [1,+[[1, +\infty[ (car ff est dérivable sur [1,+[[1, +\infty[).
  • Strictement croissante sur [1,+[[1, +\infty[ (d'après le tableau de variations de ff).

Par conséquent, φ\varphi admet une fonction réciproque φ1\varphi^{-1} définie sur J=φ([1,+[)J = \varphi([1, +\infty[).

J=[φ(1),limx+φ(x)[=[1,+[J = [\varphi(1), \lim\limits_{x \to +\infty} \varphi(x)[ = [1, +\infty[

4.b. Justifier que la fonction φ1\varphi^{-1} est strictement croissante sur l'intervalle JJ

Afficher la correction

La fonction réciproque φ1\varphi^{-1} a le même sens de variation que la fonction φ\varphi sur son intervalle de définition. Puisque φ\varphi est strictement croissante sur [1,+[[1, +\infty[, alors φ1\varphi^{-1} est strictement croissante sur J=[1,+[J = [1, +\infty[.

5. Le graphique ci-dessous représente la courbe (Cφ)(\mathcal{C}_\varphi) de la fonction φ\varphi et la droite (Δ)(\Delta) d'équation y=xy = x dans un repère orthonormé.

01123411234αα(Cφ)(Δ)

5.a. Justifier graphiquement que pour tout xx de [1,α]:φ(x)x[1, \alpha] : \varphi(x) \leq x

Afficher la correction

Sur l'intervalle [1,α][1, \alpha], on observe sur le graphique que la courbe (Cφ)(\mathcal{C}_\varphi) est située en dessous ou sur la droite (Δ)(\Delta) d'équation y=xy = x.

Par conséquent : x[1,α] : φ(x)x\forall x \in [1, \alpha] ~:~ \varphi(x) \leq x

5.b. Déduire que pour tout xx de [1,α]:φ1(x)x[1, \alpha] : \varphi^{-1}(x) \geq x

Afficher la correction

φ\varphi est continue et strictement croissante sur [1,α][1,\alpha], donc

φ([1,α])=[φ(1),φ(α)] \varphi([1,\alpha])=[\varphi(1),\varphi(\alpha)]

on a : α\alpha une solution de l'équation f(x)=xf(x)=x et comme α[1,32]\alpha\in[1,\frac32] et φ=f\varphi=f sur [1,+[[1,+\infty[ alors φ(α)=α\varphi(\alpha)=\alpha

et on a φ(1)=f(1)=1\varphi(1)=f(1)=1

donc φ([1,α])=[1,α]\varphi([1,\alpha])=[1,\alpha] et sa signifier que x[1,α] : φ(x)[1,α]\forall x\in[1,\alpha] ~:~ \varphi(x)\in[1,\alpha]

Soit x[1,α]x \in [1, \alpha].

D'après la question 5.a, on a : φ(x)x\varphi(x) \leq x.

et on a d'après la question 5.b, φ1\varphi^{-1} est strictement croissante sur [1,α][1,\alpha], alors :

φ1(φ(x))φ1(x)\varphi^{-1}(\varphi(x)) \leq \varphi^{-1}(x)

Or φ1(φ(x))=x\varphi^{-1}(\varphi(x)) = x, on a donc :

xφ1(x)x \leq \varphi^{-1}(x)

Finalement : x[1,α] : φ1(x)x\forall x \in [1, \alpha] ~:~ \varphi^{-1}(x) \geq x

5.c. Reproduire la courbe (Cφ)(\mathcal{C}_\varphi) et tracer la courbe (Cφ1)(\mathcal{C}_{\varphi^{-1}}) de la fonction φ1\varphi^{-1} dans un même repère orthonormé.

Afficher la correction

Méthode de tracé : La courbe représentative (Cφ1)(\mathcal{C}_{\varphi^{-1}}) s'obtient par symétrie axiale de la courbe (Cφ)(\mathcal{C}_\varphi) par rapport à la première bissectrice, c'est-à-dire la droite (Δ)(\Delta) d'équation y=xy = x.

  • Le point (1,1)(1, 1) appartient aux deux courbes et à (Δ)(\Delta).
  • Le point (α,α)(\alpha, \alpha) appartient aussi aux deux courbes (point d'intersection avec (Δ)(\Delta)).
  • La tangente horizontale de (Cφ)(\mathcal{C}_\varphi) au point (1,1)(1,1) devient une tangente verticale pour (Cφ1)(\mathcal{C}_{\varphi^{-1}}) au même point (1,1)(1,1).
01123411234αα(Cφ)(Cφ1)(Δ)

Partie III :

Soit la suite numérique (un)(u_n) définie par u0]1,α[u_0 \in ]1, \alpha[ et un+1=φ1(un)u_{n+1} = \varphi^{-1}(u_n), pour tout nn de N\mathbb{N}

1. Montrer par récurrence que 1<un<α1 < u_n < \alpha, pour tout entier naturel nn.

Afficher la correction

Initialisation : Pour n=0n = 0, on a par hypothèse u0]1,α[u_0 \in ]1, \alpha[, donc 1<u0<α1 < u_0 < \alpha.

La proposition est donc vraie pour n=0n = 0.

Hérédité : Soit nNn\in\N, supposons que 1<un<α1 < u_n < \alpha.

La fonction φ1\varphi^{-1} est strictement croissante sur [1,α][1, \alpha] donc

φ1(1)<φ1(un)<φ1(α) \varphi^{-1}(1) < \varphi^{-1}(u_n) < \varphi^{-1}(\alpha)
  • φ(1)=1    φ1(1)=1\varphi(1) = 1 \implies \varphi^{-1}(1) = 1
  • φ(α)=α    φ1(α)=α\varphi(\alpha) = \alpha \implies \varphi^{-1}(\alpha) = \alpha
  • un+1=φ1(un)u_{n+1} = \varphi^{-1}(u_n)

L'inégalité devient :

1<un+1<α1 < u_{n+1} < \alpha

Conclusion : Par le principe de récurrence, pour tout entier naturel nn, 1<un<α1 < u_n < \alpha.

2. Montrer que la suite (un)(u_n) est croissante. (On peut utiliser la question 5.b de la partie II.)

Afficher la correction

D'après la question 5.b de la Partie II, on sait que pour tout x[1,α]x \in [1, \alpha], φ1(x)x\varphi^{-1}(x) \geq x.

D'après la question 1 de cette partie, on a pour tout nNn \in \mathbb{N}, un]1,α[[1,α]u_n \in ]1, \alpha[ \subset [1, \alpha]. On peut donc remplacer xx par unu_n dans l'inégalité : φ1(un)un\varphi^{-1}(u_n) \geq u_n

Ce qui équivaut à : un+1unu_{n+1} \geq u_n

Par conséquent, la suite (un)(u_n) est croissante.

3. En déduire que la suite (un)(u_n) est convergente et déterminer sa limite.

Afficher la correction

Convergence : La suite (un)(u_n) est croissante et elle est majorée, donc la suite (un)(u_n) converge vers une limite \ell. Comme 1<un<α1 < u_n < \alpha, on a l[1,α]l \in [1, \alpha].

Calcul de la limite :

on a

  • u0[1,α]u_0\in[1,\alpha]
  • φ1\varphi^{-1} est continue
  • un+1=φ1(un)u_{n+1}=\varphi^{-1}(u_n)
  • (un)(u_n) est convergente
  • φ1([1,α])=[1,α]\varphi^{-1}([1,\alpha])=[1,\alpha]

alors

limun=    φ1()=    =φ()\begin{align*} \lim u_n=\ell & \iff \varphi^{-1}(\ell)=\ell \\ & \iff \ell=\varphi(\ell) \\ \end{align*}

D'après la question 3 de la Partie II et le graphique, les seules solutions de l'équation f(x)=xf(x) = x sur [1,+[[1, +\infty[ sont 11 et α\alpha.

donc =1\ell = 1 ou =α\ell = \alpha.

Or la suite (un)(u_n) est croissante donc nN : unu0\forall n\in\N ~:~u_n \ge u_0

par passage a la limite u0\ell \ge u_0

et u0>1u_0 > 1, donc u0>1\ell \geq u_0 > 1.

La limite ne peut donc pas être 1.

On en conclut que limn+un=α\lim\limits_{n \to +\infty} u_n = \alpha.