Masar
Masar
Bac Tunisie
Entraîner la reconnaissance
IN-APrimitivisation et calcul intégral

Suite d'intégrales, primitive et aire — f(x)=xlnxf(x)=x\ln x

Idée directrice

Forme attestée en 2018 session principale, exercice 3 (mode limites_variations_integrales) : après une étude de f(x)=xlnxf(x)=x\ln x, le cœur du barème bascule sur une suite d'intégrales unu_n, majorations, intégration par parties et aire. Déposé sous IN car le vocabulaire intégral domine les questions.

Signature de reconnaissance — l'énoncé se trahit ainsi

« un=1/e1tnetdtu_n=\int_{1/e}^{1} t^n e^{t}\,dt »

« Montrer 0<une/(n+1)0<u_n\le e/(n+1) ; en déduire limun=0\lim u_n=0 »

« Par intégration par parties, un+1=u_{n+1}=\cdots »

« Calculer l'aire de SS à l'aide d'une primitive »

Sujet principal

Exercice — suite d'intégrales et aire (esprit 2018 principale, ex.3)

4 questionsCorrigé masqué

Soit ff définie sur [0,+[[0,+\infty[ par f(x)=xlnxf(x)=x\ln x si x>0x>0 et f(0)=0f(0)=0. Pour tout entier n0n\ge 0, on pose un=01tnetdtu_n=\displaystyle\int_{0}^{1} t^n\mathrm{e}^{t}\,\mathrm{d}t.

  1. Montrer que un>0u_n>0, puis justifier que ete\mathrm{e}^{t}\le \mathrm{e} pour tout t[0,1]t\in[0,1].
  2. Montrer que 0<unen+10<u_n\le \dfrac{\mathrm{e}}{n+1}. En déduire limn+un=0\displaystyle\lim_{n\to+\infty}u_n=0.
  3. À l'aide d'une intégration par parties, montrer que un+1=e(n+1)unu_{n+1}=\mathrm{e}-(n+1)\,u_n.
  4. Calculer l'aire de la partie SS limitée par la courbe représentative de ff et les droites y=xy=x et y=xy=-x sur [1e,1]\bigl[\tfrac1{\mathrm{e}},1\bigr], en utilisant une primitive de ff.
Voir la correction commentéeAprès avoir posé votre démarche

1. Idée : positivité de l'intégrale d'une fonction continue positive non nulle. Sur ]0,1]]0,1], tnet>0t^n\e^t>0 ; la fonction est continue sur [0,1][0,1] et non identiquement nulle, donc un>0u_n>0. Par croissance de exp\exp, t1etet\leq1\Rightarrow\e^t\leq\e sur [0,1][0,1].

2. Idée : majorer l'intégrande, puis intégrer. 0<tnetetn0<t^n\e^t\leq\e\,t^n sur ]0,1]]0,1], donc 0<une01tndt=en+10<u_n\leq\e\displaystyle\int_0^1t^n\,\dd t=\dfrac{\e}{n+1}. Comme en+10\dfrac{\e}{n+1}\to0, le théorème des gendarmes donne limun=0\lim u_n=0.

3. Idée : IPP en dérivant tn+1t^{n+1}, jamais l'exponentielle. un+1=[tn+1et]01(n+1)01tnetdt=e(n+1)unu_{n+1}=\big[t^{n+1}\e^t\big]_0^1-(n+1)\displaystyle\int_0^1t^n\e^t\,\dd t=\e-(n+1)u_n.

un+1=e(n+1)unu_{n+1}=\e-(n+1)\,u_n

4. Idée : une primitive de xlnxx\ln x par IPP, puis découper la région selon les courbes qui la bornent. Avec u=lnxu=\ln x, v=xv'=x : F(x)=x22lnxx24F(x)=\dfrac{x^2}{2}\ln x-\dfrac{x^2}{4} vérifie F(x)=xlnxF'(x)=x\ln x. Sur [1e,1]\big[\tfrac1\e,1\big], xf(x)=xlnx0x-x\leq f(x)=x\ln x\leq0\leq x : la courbe partage la bande comprise entre les droites y=xy=-x et y=xy=x en deux parties. 1/e1f=F(1)F(1/e)=14(12e214e2)=14+34e2\displaystyle\int_{1/\e}^{1}f=F(1)-F(1/\e)=-\dfrac14-\Big(-\dfrac{1}{2\e^2}-\dfrac{1}{4\e^2}\Big)=-\dfrac14+\dfrac{3}{4\e^2} et 1/e1xdx=1212e2\displaystyle\int_{1/\e}^{1}x\,\dd x=\dfrac12-\dfrac{1}{2\e^2}. D'où :

  • entre y=xy=x et la courbe : 1/e1(xf)=3454e2\displaystyle\int_{1/\e}^1(x-f)=\dfrac34-\dfrac{5}{4\e^2} u.a. ;
  • entre la courbe et y=xy=-x : 1/e1(f+x)=14+14e2\displaystyle\int_{1/\e}^1(f+x)=\dfrac14+\dfrac{1}{4\e^2} u.a. ;
aire totale de S=(3454e2)+(14+14e2)=11e2 u.a.(=1/e12xdx, controˆle)\text{aire totale de }S=\Big(\tfrac34-\tfrac{5}{4\e^2}\Big)+\Big(\tfrac14+\tfrac1{4\e^2}\Big)=1-\frac1{\e^2}\ \text{u.a.}\quad(=\textstyle\int_{1/\e}^1 2x\,\dd x\text{, contrôle})

Exercices d'entraînement — une nuance à la fois

Entraînement 01 / 01

Drill IN-A.1 — majoration d'une suite d'intégrales

3 questionsCorrigé masqué

Pour tout entier n0n\ge 0, on pose un=1/e1tnetdtu_n=\displaystyle\int_{1/\mathrm{e}}^{1} t^n\mathrm{e}^{t}\,\mathrm{d}t. On travaille uniquement sur l'intégrale et sa majoration.

  1. Montrer que un>0u_n>0.
  2. En majorant et\mathrm{e}^{t} par e\mathrm{e} sur [1/e,1][1/\mathrm{e},1], montrer que 0<unen+10<u_n\le\dfrac{\mathrm{e}}{n+1}.
  3. En déduire limn+un=0\displaystyle\lim_{n\to+\infty}u_n=0.
Voir la correction commentéeAprès avoir posé votre démarche

1. L'intégrande tnett^n e^{t} est strictement positive sur [1/e,1][1/e,1], donc l'intégrale unu_n est >0>0.

2. Pour t[1/e,1]t\in[1/e,1], 0<ete0<e^{t}\le e, d'où 0<une1/e1tndte/(n+1)0<u_n\le e\int_{1/e}^{1}t^n\,dt\le e/(n+1) (la primitive de tnt^n est tn+1/(n+1)t^{n+1}/(n+1)).

3. 0<une/(n+1)0<u_n\le e/(n+1) et e/(n+1)0e/(n+1)\to 0 : par encadrement, limun=0\lim u_n=0.

Méthode / Automatismes
  • Positivité de l'intégrande un>0\Rightarrow u_n>0.
  • Majoration uniforme de ete^{t} sur un segment compact.
  • IPP : choisir u=tnu=t^{n} ou u=tn+1u=t^{n+1} selon la relation de récurrence demandée.
Pièges classiques

Oublier la borne 1/e1/e dans le calcul de tn\int t^n. Confondre un+1u_{n+1} avec (n+1)un(n+1)u_n. Oublier la valeur absolue dans le calcul d'aire quand la courbe croise une droite.