Aller au contenu principal

Mathématiques · Licence 1 · 14 min de lecture

Primitives : formes, parties et changement de variable

Reconnaissance des formes composées dont la primitive est immédiate ; intégration par parties RÉPÉTÉE, jusqu'à faire réapparaître l'intégrale de départ ou à établir une relation de récurrence entre intégrales successives — la technique elle-même est acquise en terminale, c'est son itération qui est nouvelle ; changement de variable avec transformation des bornes ; primitives des fractions rationnelles simples par décomposition en éléments de première espèce ou par mise sous forme canonique du dénominateur.

Chapitre du programme : Analyse

Bloc 1 sur 7 · Comprendre

Comprendre : reconnaître une dérivée de composée

Une primitive de ff sur un intervalle II est une fonction FF dérivable sur II telle que F′=fF' = f ; deux primitives sur le même intervalle diffèrent d’une constante ; pour une fonction continue sur le segment, ∫abf(x) dx=F(b)−F(a)\int_a^b f(x)\,\mathrm{d}x = F(b) - F(a). Ce cadre est supposé connu. Ce chapitre commence là où la table des primitives usuelles s'arrête : quand ff n'y figure pas, on la fabrique — en reconnaissant une dérivée de composée, en intégrant par parties, en changeant de variable, ou en découpant une fraction.

Lire à l'envers la dérivée d'une composée. Si uu est dérivable, la dérivée de x↦g(u(x))x \mapsto g(u(x)) est u′⋅g′(u)u' \cdot g'(u). Chaque ligne de la table usuelle devient donc une ligne « composée », à condition de voir le facteur u′u' :

Tableau : Forme de f, Une primitive, Condition
Forme de ffUne primitiveCondition
u′ unu'\,u^{n}un+1n+1\dfrac{u^{n+1}}{n+1}entier n⩾0n\geqslant0 ; entier négatif n≠−1n\neq-1 si u≠0u\neq0 ; exposant réel n≠−1n\neq-1 si u>0u>0
u′u\dfrac{u'}{u}ln⁡∣u∣\ln \lvert u \rvertuu ne s'annule pas sur II
u′ euu'\,e^{u}eue^{u}—
u′u\dfrac{u'}{\sqrt{u}}2u2\sqrt{u}u>0u > 0
u′1+u2\dfrac{u'}{1 + u^{2}}arctan⁡u\operatorname{arctan} u—
u′cos⁡uu' \cos u, u′sin⁡uu' \sin usin⁡u\sin u, −cos⁡u-\cos u—

Exemples. x ex2x\,e^{x^{2}} : on voit u=x2u = x^{2}, u′=2xu' = 2x, il manque un facteur 22 — donc 12ex2\dfrac{1}{2}e^{x^{2}}, et ∫01x ex2 dx=e−12\int_0^1 x\,e^{x^{2}}\,\mathrm{d}x = \frac{e - 1}{2}. x1+x2\dfrac{x}{1 + x^{2}} : u=1+x2u = 1 + x^{2}, u′=2xu' = 2x, forme u′u\dfrac{u'}{u} à un facteur 12\dfrac{1}{2} près — primitive 12ln⁡(1+x2)\dfrac{1}{2}\ln(1 + x^{2}), et ∫01x1+x2 dx=ln⁡22\int_0^1 \frac{x}{1 + x^{2}}\,\mathrm{d}x = \frac{\ln 2}{2}. Le facteur constant manquant se corrige ; un facteur variable manquant ne se corrige pas en multipliant arbitrairement la primitive par son inverse : ex2e^{x^{2}} seul n'a pas de primitive exprimable avec les fonctions usuelles.

Deux points de vigilance de la table. La ligne u′/uu'/u donne ln⁡∣u∣\ln \lvert u \rvert : sur un intervalle où u<0u < 0, c'est ln⁡(−u)\ln(-u) qui convient, et l'on choisit l'intervalle avant d'écrire la primitive. La ligne u′unu'u^{n} exclut n=−1n = -1 : x00\dfrac{x^{0}}{0} n'existe pas, et la primitive de 1x\dfrac{1}{x} est ln⁡∣x∣\ln \lvert x \rvert, pas une puissance.

Intégrer par parties. Si uu et vv sont dérivables à dérivées continues sur [a ; b][a\,;\,b],

∫abu(x) v′(x) dx=[u(x) v(x)]ab−∫abu′(x) v(x) dx.\int_a^b u(x)\,v'(x)\,\mathrm{d}x = \left[u(x)\,v(x)\right]_a^b - \int_a^b u'(x)\,v(x)\,\mathrm{d}x.

C'est la formule (uv)′=u′v+uv′(uv)' = u'v + uv' intégrée. On l'emploie quand ff est un produit dont un facteur se simplifie par dérivation (un polynôme, un logarithme) et l'autre se primitive sans peine (une exponentielle, un sinus). ∫0πxsin⁡x dx\int_0^{\pi} x \sin x\,\mathrm{d}x : u=xu = x, v′=sin⁡xv' = \sin x, v=−cos⁡xv = -\cos x, d'où [−xcos⁡x]0π+∫0πcos⁡x dx=π+0=π\left[-x\cos x\right]_0^{\pi} + \int_0^{\pi} \cos x\,\mathrm{d}x = \pi + 0 = \pi. Et pour ln⁡x\ln x, qu’on écrit comme le produit ln⁡x×1\ln x\times1 : u=ln⁡xu = \ln x, v′=1v' = 1, v=xv = x, d'où ∫1eln⁡x dx=[xln⁡x]1e−∫1e1 dx=e−(e−1)=1\int_1^{e} \ln x\,\mathrm{d}x = \left[x \ln x\right]_1^{e} - \int_1^{e} 1\,\mathrm{d}x = e - (e - 1) = 1.

Ce que la terminale faisait en une ligne, la L1 le répète : pour un polynôme de degré nn multiplié par une exponentielle de coefficient non nul, une méthode consiste à répéter les parties jusqu’à une intégrale immédiate, en diminuant le degré à chaque fois. Ce n’est pas un nombre minimal universel de calculs pour toute fonction contenant un polynôme. Le calcul n'est terminé que lorsque la dernière intégrale est calculée — la première ligne n'est pas une réponse.

Bloc 2 sur 7 · Approfondir

Approfondir : itérer, changer de variable, découper

Parties répétées jusqu'à réapparition. Calculons J=∫0πexcos⁡x dxJ = \int_0^{\pi} e^{x} \cos x\,\mathrm{d}x. Première fois, u=cos⁡xu = \cos x, v′=exv' = e^{x} : J=[excos⁡x]0π+∫0πexsin⁡x dx=(−eπ−1)+∫0πexsin⁡x dxJ = \left[e^{x}\cos x\right]_0^{\pi} + \int_0^{\pi} e^{x} \sin x\,\mathrm{d}x = (-e^{\pi} - 1) + \int_0^{\pi} e^{x}\sin x\,\mathrm{d}x. Seconde fois sur la nouvelle intégrale, u=sin⁡xu = \sin x, v′=exv' = e^{x} : ∫0πexsin⁡x dx=[exsin⁡x]0π−∫0πexcos⁡x dx=0−J\int_0^{\pi} e^{x}\sin x\,\mathrm{d}x = \left[e^{x}\sin x\right]_0^{\pi} - \int_0^{\pi} e^{x}\cos x\,\mathrm{d}x = 0 - J. Donc J=−eπ−1−JJ = -e^{\pi} - 1 - J, soit

J=−eπ+12≈−12,07.J = -\frac{e^{\pi} + 1}{2} \approx -12{,}07.

L'intégrale de départ est réapparue avec un signe moins : on la fait passer à gauche et on divise. Ni le cosinus ni l'exponentielle ne se simplifient par dérivation ; c'est la réapparition qui ferme le calcul, à condition de garder le même choix de uu (la fonction trigonométrique) aux deux étapes — sinon la seconde défait la première.

Relation de récurrence. Posons In=∫01xnex dxI_n = \int_0^1 x^{n} e^{x}\,\mathrm{d}x. Par parties avec u=xnu = x^{n}, v′=exv' = e^{x} : In=[xnex]01−n∫01xn−1ex dxI_n = \left[x^{n}e^{x}\right]_0^1 - n\int_0^1 x^{n-1}e^{x}\,\mathrm{d}x, soit

In=e−n In−1(n≥1),I0=e−1.I_n = e - n\,I_{n-1} \quad (n \ge 1), \qquad I_0 = e - 1.

D'où I1=e−(e−1)=1I_1 = e - (e - 1) = 1, I2=e−2I_2 = e - 2, I3=e−3(e−2)=6−2e≈0,563I_3 = e - 3(e - 2) = 6 - 2e \approx 0{,}563. Une seule intégration par parties, faite une fois pour tout nn, remplace nn calculs ; c'est l'autre visage de l'itération.

Changement de variable. Si φ\varphi est dérivable à dérivée continue sur [a ; b][a\,;\,b] et ff continue sur φ([a ; b])\varphi([a\,;\,b]),

∫abf(φ(t)) φ′(t) dt=∫φ(a)φ(b)f(u) du.\int_a^b f(\varphi(t))\,\varphi'(t)\,\mathrm{d}t = \int_{\varphi(a)}^{\varphi(b)} f(u)\,\mathrm{d}u.

En pratique on pose u=φ(t)u = \varphi(t), on écrit du=φ′(t) dt\mathrm{d}u = \varphi'(t)\,\mathrm{d}t — la différentielle n'est pas décorative : c'est elle qui apporte le facteur φ′\varphi' —, et l'on transforme les bornes : t=at = a devient u=φ(a)u = \varphi(a). Exemple : ∫01x1−x2 dx\int_0^1 x\sqrt{1 - x^{2}}\,\mathrm{d}x avec u=1−x2u = 1 - x^{2}, du=−2x dx\mathrm{d}u = -2x\,\mathrm{d}x, bornes 1→01 \to 0 :

∫01x1−x2 dx=−12∫10u du=12∫01u du=12⋅23=13.\int_0^1 x\sqrt{1 - x^{2}}\,\mathrm{d}x = -\frac{1}{2}\int_1^0 \sqrt{u}\,\mathrm{d}u = \frac{1}{2}\int_0^1 \sqrt{u}\,\mathrm{d}u = \frac{1}{2}\cdot\frac{2}{3} = \frac{1}{3}.

Le signe moins de du\mathrm{d}u et l'inversion des bornes se compensent : c'est normal, et c'est un contrôle. Autre exemple, où l'on prépare la forme : sin⁡3x=sin⁡x (1−cos⁡2x)\sin^{3} x = \sin x\,(1 - \cos^{2} x), puis u=cos⁡xu = \cos x, du=−sin⁡x dx\mathrm{d}u = -\sin x\,\mathrm{d}x, bornes 0→π20 \to \tfrac{\pi}{2} devenues 1→01 \to 0 :

∫0π/2sin⁡3x dx=∫01(1−u2) du=1−13=23.\int_0^{\pi/2} \sin^{3} x\,\mathrm{d}x = \int_0^1 (1 - u^{2})\,\mathrm{d}u = 1 - \frac{1}{3} = \frac{2}{3}.

Fractions rationnelles simples. Deux situations étudiées ici.

  • Dénominateur à racines réelles distinctes : on découpe en éléments de première espèce. 1x2−1=1(x−1)(x+1)=ax−1+bx+1\dfrac{1}{x^{2} - 1} = \dfrac{1}{(x - 1)(x + 1)} = \dfrac{a}{x - 1} + \dfrac{b}{x + 1} ; en réduisant, a(x+1)+b(x−1)=1a(x + 1) + b(x - 1) = 1 pour tout xx, d'où a=12a = \tfrac{1}{2} (en x=1x = 1) et b=−12b = -\tfrac{1}{2} (en x=−1x = -1). Le facteur 12\tfrac{1}{2} est l'inverse de l'écart des racines : l'oublier est l'erreur classique. Alors ∫23dxx2−1=12[ln⁡(x−1)−ln⁡(x+1)]23=12ln⁡32\int_2^3 \frac{\mathrm{d}x}{x^{2} - 1} = \frac{1}{2}\left[\ln(x - 1) - \ln(x + 1)\right]_2^3 = \frac{1}{2}\ln\frac{3}{2} — sans valeur absolue ici, car x−1>0x - 1 > 0 et x+1>0x + 1 > 0 sur [2 ; 3][2\,;\,3]. De même 1x(x+1)=1x−1x+1\dfrac{1}{x(x + 1)} = \dfrac{1}{x} - \dfrac{1}{x + 1} (écart des racines : 11), et ∫12dxx(x+1)=ln⁡43\int_1^2 \frac{\mathrm{d}x}{x(x + 1)} = \ln\frac{4}{3}.
  • Dénominateur sans racine réelle : on met sous forme canonique et l'on sépare ce qui est u′u\dfrac{u'}{u} de ce qui est u′1+u2\dfrac{u'}{1 + u^{2}}. Pour 2x+3x2+2x+5\dfrac{2x + 3}{x^{2} + 2x + 5}, le dénominateur vaut (x+1)2+4(x + 1)^{2} + 4 et sa dérivée est 2x+22x + 2 :
2x+3x2+2x+5=2x+2x2+2x+5+1(x+1)2+4,primitive : ln⁡(x2+2x+5)+12arctan⁡x+12.\frac{2x + 3}{x^{2} + 2x + 5} = \frac{2x + 2}{x^{2} + 2x + 5} + \frac{1}{(x + 1)^{2} + 4}, \qquad \text{primitive : } \ln(x^{2} + 2x + 5) + \frac{1}{2}\operatorname{arctan}\frac{x + 1}{2}.

Le 12\dfrac{1}{2} devant l'arctangente vient de 1(x+1)2+4=14⋅11+(x+12)2\dfrac{1}{(x + 1)^{2} + 4} = \dfrac{1}{4}\cdot\dfrac{1}{1 + \left(\frac{x + 1}{2}\right)^{2}}, avec u=x+12u = \dfrac{x + 1}{2} et u′=12u' = \dfrac{1}{2}. Contrôle par dérivation, puis ∫012x+3x2+2x+5 dx=ln⁡85+12(π4−arctan⁡12)≈0,631\int_0^1 \frac{2x + 3}{x^{2} + 2x + 5}\,\mathrm{d}x = \ln\frac{8}{5} + \frac{1}{2}\left(\frac{\pi}{4} - \operatorname{arctan}\frac{1}{2}\right) \approx 0{,}631.

Une primitive se vérifie en la dérivant. C'est le seul contrôle qui ne dépende d'aucune méthode ; il prend dix secondes et rattrape la plupart des erreurs de facteur et de signe.

Bloc 3 sur 7 · Exemple

Exemple guidé : même logarithme, deux mesures

Calculez I=∫1e(ln⁡x)2/x dxI=\int_1^e (\ln x)^2/x\,dx et J=∫1e(ln⁡x)2 dxJ=\int_1^e(\ln x)^2\,dx. Les deux intégrandes diffèrent par le poids 1/x ; ils ne représentent pas la même intégrale.

Substitution pour I. Avec u=ln⁡xu=\ln x, du=dx/xdu=dx/x ; les bornes 1 et ee deviennent 0 et 1. Donc I=∫01u2 du=1/3I=\int_0^1u^2\,du=1/3.

Même résultat par parties avec réapparition. Prenons u=(ln⁡x)2u=(\ln x)^2 et v′=1/xv'=1/x, donc v=ln⁡xv=\ln x. La formule donne I=[(ln⁡x)3]1e−2I=1−2II=[(\ln x)^3]_1^e-2I=1-2I, soit 3I=13I=1. La réapparition n’exige pas forcément un couple exponentielle-trigonométrie.

Parties répétées pour J. Avec u=(ln⁡x)2u=(\ln x)^2 et v′=1v'=1, J=[x(ln⁡x)2]1e−2∫1eln⁡x dxJ=[x(\ln x)^2]_1^e-2\int_1^e\ln x\,dx. Une seconde intégration par parties donne ∫1eln⁡x dx=[xln⁡x−x]1e=1\int_1^e\ln x\,dx=[x\ln x-x]_1^e=1. Ainsi J=e−2≈0,7183J=e-2\approx0,7183.

Contrôle indépendant. Sur [1;e][1;e], 0<1/x⩽10<1/x\leqslant1 et (ln⁡x)2⩾0(\ln x)^2\geqslant0, donc 0<I<J0<I<J. Les valeurs 1/3 et e−2e-2 respectent cet ordre. Une primitive de l’intégrande de J est x((ln⁡x)2−2ln⁡x+2)x((\ln x)^2-2\ln x+2) : la dériver redonne bien (ln⁡x)2(\ln x)^2.

Bloc 4 sur 7 · Visualiser

Visualiser : l'intégrale que la primitive calcule

Figure (fig.math.integral-area-and-sign, figure programmatique de la leçon de terminale sur l'intégrale, réutilisée ici parce qu'elle montre ce que toutes les techniques de ce chapitre servent à obtenir) : trois panneaux, aux échelles écrites sur la figure.

  • Panneau 1. La courbe de f(x)=6x2−4x+3f(x) = 6x^{2} - 4x + 3 sur [0 ; 3,5][0\,;\,3{,}5], le domaine entre la courbe et l'axe des abscisses hachuré de x=1x = 1 à x=3x = 3, et le calcul écrit sous le panneau : ∫13f=[2x3−2x2+3x]13=45−3=42\int_1^3 f = \left[2x^{3} - 2x^{2} + 3x\right]_1^3 = 45 - 3 = 42 unités d'aire. Un témoin « une unité d'aire », rectangle plat à cette échelle, dit ce que vaut 4242. Ce qu'il faut y lire pour cette leçon : la primitive 2x3−2x2+3x2x^{3} - 2x^{2} + 3x était immédiate — un polynôme. Tout ce chapitre commence quand elle ne l'est pas ; mais la fin du calcul est toujours celle-ci, F(b)−F(a)F(b) - F(a), un nombre, l'aire hachurée.
  • Panneau 2. La courbe de g(x)=4−x2g(x) = 4 - x^{2} sur [0,2 ; 3,2][0{,}2\,;\,3{,}2], positive avant x=2x = 2, négative après. La région de gauche est hachurée dans un sens et comptée ++, celle de droite dans l'autre sens et comptée −- ; une flèche dit « on découpe ici : relation de Chasles ». Pour cette leçon, Chasles et le changement de variable sont deux opérations distinctes. Un changement de variable transforme les bornes et l’intégrande, avec le facteur dérivé ; il conserve la valeur de l’intégrale lorsqu’on respecte la formule, sans affirmer que les deux régions dessinées dans des repères différents ont la même géométrie.
  • Panneau 3. Le même domaine que le panneau 1 et, à côté, un rectangle de même aire et de largeur 3−1=23 - 1 = 2, de hauteur μ=422=21\mu = \dfrac{42}{2} = 21 : la valeur moyenne de ff sur [1 ; 3][1\,;\,3]. Pour contrôler une valeur calculée, on peut utiliser l’encadrement suivant : une intégrale est comprise entre (longueur) ×\times (minimum) et (longueur) ×\times (maximum).

Ce que la figure ne montre pas, et qu'il faut imaginer : une intégration par parties — la figure fournie n’en propose pas d’interprétation géométrique ; l’identité provient ici de la dérivée du produit ; une fraction rationnelle et son découpage en éléments simples ; et la variable uu du changement de variable, qui serait un autre axe gradué autrement. La figure montre le résultat ; les méthodes de cette leçon sont le chemin.

Intégrale définie : une aire sous une courbe positive, le signe quand la courbe traverse l’axe, la valeur moyenne comme hauteur équivalente — Trois panneaux. (1) À gauche, la courbe de f(x) = 6x² − 4x + 3 entre x = 0 et x ≈ 3,43
Intégrale définie : une aire sous une courbe positive, le signe quand la courbe traverse l’axe, la valeur moyenne comme hauteur équivalente · Ouvrir la figure en grand

Continuez sur votre lancée

Vous avez découvert l’essentiel et un exemple. Retrouvez la suite du cours et les points à retenir, puis passez à l’entraînement guidé dans votre compte.

  • Les formules et les repères à retenir
  • Les erreurs fréquentes expliquées
  • Un exercice avec des aides et sa correction

L’accès gratuit comprend les cours et exercices de votre niveau choisi.

Sources

  • BO spécial n°1 du 11 février 2021 — programme de mathématiques de la classe de MPSI
  • F. Liret, D. Martinais, Analyse 1re année — Cours et exercices avec solutions, Dunod
  • J. Stewart, Analyse — concepts et contextes, De Boeck
  • OpenStax, Calculus Volume2, 3.1 et Calculus Volume1, 5.5 — parties et substitution : https://openstax.org/books/calculus-volume-2/pages/3-1-integration-by-parts ; https://openstax.org/books/calculus-volume-1/pages/5-5-substitution

Vous pensez avoir trouvé une erreur dans cette leçon ? Signalez-la par e-mail.

Explorer les autres cours

Accès rapide