Comment calculer une intégrale ?

article-niveau-lycée

Le calcul intégral apparaît (modestement) dans le programme de terminale scientifique.

L’objet de cet article est de présenter cette notion, en essayant de dégager l’idée géométrique sous-jacente, puis de détailler quelques exemples simples de calculs.

Le lien entre les points de vue géométrique (aire « sous la courbe ») et analytique (primitives) est abordé de façon non rigoureuse (mais intuitive) à la dernière section.

Si vous cherchez plutôt un texte « utilitaire », avec seulement quelques exemples de calculs, rendez-vous directement à la section 4 (mais je vous invite à revenir ultérieurement, pour lire l’article dans son ensemble).

Le moment venu, lorsque vous serez prêt(e), une fiche d’exercices entièrement corrigés vous attend !

1 – De quoi s’agit-il ?

Une intégrale se présente sous la forme :

    \[\boxed{\int_{a}^{b}f\left(x\right)\thinspace dx}\]

ce qui se lit : intégrale de a à b de f(x).

On peut prononcer ou non le « dx », c’est au choix… mais il faut le noter.

Dans cette écriture :

  • a,b désignent des nombres réels; ce sont les bornes de l’intégrale,
  • f désigne une fonction, supposée continue sur un intervalle contenant a et b.

Si a<b, cette intégrale mesure l’aire (algébrique) du domaine limité par le graphe de f, l’axe des abscisses et les deux droites verticales d’équation x=a et x=b.

L’adjectif « algébrique » signifie que l’aire est comptée positivement si le graphe de f est situé « au-dessus » de l’axe des abscisses et négativement dans le cas contraire.

Vers la fin du 17-ème siècle, à l’époque de Newton et Leibniz, on aurait dit que le symbole dx désigne une « variation infinitésimale de l’abscisse » et que l’aire du « rectangle infinitésimal » de côtés f\left(x\right) et dx est égale au produit f\left(x\right)\thinspace dx.

Quant au symbole \int, c’est le vestige de la lettre S, initiale du mot somme.

En effet, l’idée de base était que :

L’aire du domaine limité par le graphe de f, l’axe des abscisses et les droites d’équations x=a et x=b est la « somme infinie » des aires de rectangles « infinitésimaux ».

L’illustration dynamique ci-dessous peut aider à comprendre cette idée. On y voit une collection de rectangles associés à une subdivision régulière de l’intervalle d’intégration.

Approximation d’une intégrale par une somme d’aires de rectangles

En déplaçant le curseur de la souris (ou du trackpad) latéralement au-dessus de l’image, on augmente ou l’on diminue le nombre n de « tranches ».

On note I la valeur exacte et A la somme des aires des rectangles.

Plus n est élevé, meilleure est l’approximation de l’intégrale par la somme (algébrique) des aires des rectangles. Autrement dit, l’écart \vert A-I\vert tend vers 0 lorsque n tend vers l’infini.

Une présentation moderne (et rigoureuse) de ces idées repose sur les notions de borne supérieure et de limite. Cet article étant de niveau élémentaire, nous n’irons pas plus loin dans cette direction.

2 – Notion de primitive

Je présume que vous savez calculer la dérivée d’une fonction (pourvu qu’elle soit dérivable … et pas trop moche) : on enseigne cela dès la classe de première.

La primitivation est l’opération inverse :

On appelle primitive d’une fonction f toute fonction dérivable F, dont la dérivée est f.

Attention de bien dire une primitive (et non pas la primitive). En effet, en ajoutant une constante arbitraire à F, on trouve encore une primitive de f. De ce fait, si la fonction f possède une primitive, alors elle en possède fatalement une infinité !

Exemple

La dérivée de x\mapsto x^{2} est x\mapsto2x.

Par conséquent, une primitive de x\mapsto2x est x\mapsto x^{2} (et x\mapsto x^{2}+7 en est une autre, tout comme x\mapsto x^{2}-\pi).

Il est pratique de consigner les principales primitives connues dans un tableau à deux lignes : chaque colonne comporte deux fonctions, celle du bas étant une primitive de celle du haut.

Le tableau de primitives ci-dessous est modeste, mais c’est un bon début :

Dans la première colonne, l’entier n est supposé positif ou nul. La formule reste valable pour un entier négatif, à condition qu’il soit différent de -1 et que l’intervalle de définition de la fonction ne contienne pas 0. Cette formule reste d’ailleurs valable pour une classe plus étendue d’exposants (la colonne 2 correspond au cas où n=1/2). Pour aller plus loin, on pourra consulter cet article, où sont définies les fonctions puissances d’exposant quelconque.

3 – Petite digression pour les curieux

Ce qui précède peut sembler assez simple, mais il y a un hic …

Le calcul explicite des primitives d’une fonction n’est pas toujours faisable explicitement, à l’aide des fonctions dites « usuelles ».

On peut même dire qu’il est généralement infaisable …

Comprenons-nous bien : n’importe quelle fonction continue (sur un intervalle) possède des primitives (en terminale, on peut se contenter d’admettre ce théorème, car sa démonstration nécessite un bagage plus important). Mais on n’est pas sûr de savoir expliciter une telle primitive à l’aide des fonctions dites « usuelles » (polynômes, sinus et cosinus, exponentielle et logarithme, plus éventuellement quelques autres…) et de leurs composées.

Par exemple, on ne sait pas calculer explicitement de primitive pour la fonction x\mapsto e^{x^{2}}.

Vous doutez de cette affirmation ? Essayez… Vous verrez que vous ne parviendrez à rien.

A ce sujet, voici l’erreur classique du débutant :

ATTENTION : calcul FAUX !

On sait que la dérivée de x\mapsto e^{2x} est x\mapsto2\thinspace e^{2x}.

Une primitive de x\mapsto e^{2x} est donc la fonction x\mapsto\frac{1}{2}e^{2x}.

Jusqu’ici, aucun doute possible.

Tentons maintenant une analogie…

En dérivant x\mapsto e^{x^{2}}, on trouve la fonction x\mapsto2x\thinspace e^{x^{2}}.

Par conséquent, la fonction F:{\displaystyle x\mapsto\frac{e^{x^{2}}}{2x}} serait une primitive de x\mapsto e^{x^{2}}.

Soyons prudents et vérifions …

On dérive {\displaystyle x\mapsto\frac{e^{x^{2}}}{2x}} en utilisant la formule de dérivation d’un quotient :

    \[\left(\frac{u}{v}\right)'\left(x\right)=\frac{u'\left(x\right)v\left(x\right)-u\left(x\right)v'\left(x\right)}{v\left(x\right)^{2}}\]

On obtient ainsi :

    \[F'\left(x\right)=\frac{\left(2xe^{x^{2}}\right)\left(2x\right)-2e^{x^{2}}}{4x^{2}}=\left(1-\frac{1}{2x^{2}}\right)e^{x^{2}}\]

Manifestement, ça ne marche pas ! On ne retrouve pas e^{x^{2}}.

Mais alors, où est l’erreur ?

En fait, on a raisonné comme si le facteur {\displaystyle \frac{1}{2x}} était constant !

Si G est une primitive de g, alors \lambda\thinspace G est une primitive de \lambda\thinspace g (\lambda désigne une constante réelle). Mais si \lambda est remplacé par \lambda\left(x\right), avec pour \lambda une fonction dérivable, alors ce n’est plus la même chose. On doit utiliser la formule de dérivation d’un produit :

    \[\left(\lambda G\right)'\left(x\right)=\lambda'\left(x\right)\thinspace G\left(x\right)+\lambda\left(x\right)\thinspace g\left(x\right)\]

Nous ne sommes pas parvenus à primitiver explicitement x\mapsto e^{x^{2}}.

Il y a une bonne raison à cela : on peut prouver l’impossibilité d’expliciter une telle fonction au moyen des fonctions usuelles… mais çà, c’est une autre paire de manches !!

Sans compter qu’il faudrait commencer par formuler avec précision ce que signifie cette impossibilité.

Fin de la digression, revenons à nos moutons…

4 – Exemples de calculs d’intégrales

Pour calculer l’intégrale \int_{a}^{b}f\left(x\right)\thinspace dx, il suffit de connaître une primitive F de f de l’évaluer en a et en b, puis de faire la différence.

Autrement dit :

    \[\boxed{\int_{a}^{b}f\left(x\right)\thinspace dx=F\left(b\right)-F\left(a\right)}\]

Cette différence F\left(b\right)-F\left(a\right) se note aussi \left[F\left(x\right)\right]_{a}^{b}. On l’appelle la variation de F entre a et b.

Pour expliquer proprement d’où provient l’égalité encadrée, encore faudrait-il avoir donné au préalable une vraie définition de la notion d’intégrale (ce qui n’a pas été fait ici). Néanmoins, en se fondant sur l’interprétation géométrique (aire du domaine « sous le graphe »), on peut tenter une justification (peu rigoureuse, mais c’est mieux que rien) : voir section 6, en fin d’article.

Détaillons cinq exemples simples.

Exemple 1

    \[\fcolorbox{black}{myBlue}{$\displaystyle{I_{1}=\int_{0}^{1}x^{2}\thinspace dx}$}\]

On sait que la dérivée de x\mapsto x^{3} est x\mapsto3x^{2}.
On en déduit qu’une primitive de x\mapsto x^{2} est x\mapsto\frac{x^{3}}{3}. Ainsi :

    \[I_{1}=\left[\frac{x^{3}}{3}\right]_{0}^{1}=\boxed{\frac{1}{3}}\]

Exemple 2

    \[\fcolorbox{black}{myBlue}{$\displaystyle{I_{2}=\int_{1}^{2}\frac{1}{x^{2}}\thinspace dx}$}\]

On sait que la dérivée de {\displaystyle x\mapsto\frac{1}{x}} est {\displaystyle x\mapsto-\frac{1}{x^{2}}}. Une primitive de {\displaystyle x\mapsto\frac{1}{x^{2}}} est donc {\displaystyle x\mapsto-\frac{1}{x}}.
On voit ainsi que :

    \[I_{2}=\left[-\frac{1}{x}\right]_{1}^{2}=-\frac{1}{2}-\left(-1\right)=\boxed{\frac{1}{2}}\]

Exemple 3

    \[\fcolorbox{black}{myBlue}{$\displaystyle{I_{3}=\int_{0}^{1}\frac{x}{1+x^{2}}\thinspace dx}$}\]

On sait que, si u est dérivable et strictement positive, alors une primitive de la fonction {\displaystyle x\mapsto\frac{u'\left(x\right)}{u\left(x\right)}} est la fonction x\mapsto\ln\left(u\left(x\right)\right). Par conséquent :

    \[I_{3}=\int_{0}^{1}\frac{1}{2}\:\frac{2x}{1+x^{2}}\thinspace dx=\left[\frac{1}{2}\ln\left(1+x^{2}\right)\right]_{0}^{1}=\boxed{\frac{1}{2}\ln\left(2\right)}\]

Exemple 4

    \[\fcolorbox{black}{myBlue}{$\displaystyle{I_{4}=\int_{0}^{\pi/2}\sin^{2}\left(x\right)\thinspace dx}$}\]

On peut transformer l’expression \sin^{2}\left(x\right) en utilisant la formule de linéarisation :

    \[\forall x\in\mathbb{R},\:\sin^{2}\left(x\right)=\frac{1-\cos\left(2x\right)}{2}\]

On voit ainsi que :

    \[I_{4}=\left[\frac{x}{2}-\frac{\sin\left(2x\right)}{4}\right]_{0}^{\pi/2}=\boxed{\frac{\pi}{4}}\]

Exemple 5

    \[\fcolorbox{black}{myBlue}{$\displaystyle{I_{5}=\int_{0}^{1}\frac{1}{\left(x+1\right)\left(x-2\right)}\thinspace dx}$}\]

Une astuce va faciliter la primitivation de la fonction {\displaystyle x\mapsto\frac{1}{\left(x+1\right)\left(x-2\right)}}.

On observe que, pour tout x\in\mathbb{R}-\left\{-1,2\right\} :

    \[\frac{1}{\left(x+1\right)\left(x-2\right)}=\frac{1}{3}\left(\frac{1}{x-2}-\frac{1}{x+1}\right)\]

idée-géniale

Il est alors clair que :

    \[I_{5}=\frac{1}{3}\left[\ln\left(2-x\right)-\ln\left(x+1\right)\right)]_{0}^{1}=\boxed{-\frac{2}{3}\ln\left(2\right)}\]

5 – Règles de calcul

Afin de pouvoir manipuler des intégrales, il est indispensable de connaître les quatre propriétés suivantes. Il en existe d’autres, mais on peut considérer qu’il s’agit là des propriétés de base.

Dans ce qui suit, a et b sont deux réels tels que a<b.

1 – Linéarité

Si f et g sont continues sur \left[a,b\right] et si \lambda\in\mathbb{R}, alors :

    \[\int_{a}^{b}\left(\lambda\thinspace f\left(x\right)+g\left(x\right)\right)\thinspace dx=\lambda\int_{a}^{b}f\left(x\right)\thinspace dx+\int_{a}^{b}g\left(x\right)\thinspace dx\]

Autrement dit :

  • l’intégrale d’une somme de deux fonctions est égale la somme des intégrales (faire \lambda=1 ci-dessus)
  • l’intégrale du produit d’une fonction par une constante est égale au produit de cette constante par l’intégrale de cette fonction (remplacer g par la fonction nulle).

2 – Positivité

Si f est continue sur \left[a,b\right] et si f(x)\geqslant 0 pour tout x\in\left[a,b\right], alors :

    \[\int_{a}^{b}f\left(x\right)\thinspace dx\geqslant0\]

3 – Croissance

En combinant linéarité et positivité, on voit aussitôt que si f et g sont continues sur \left[a,b\right] et si f\left(x\right)\leqslant g\left(x\right) pour tout x\in\left[a,b\right], alors :

    \[\int_{a}^{b}f\left(x\right)\thinspace dx\leqslant\int_{a}^{b}g\left(x\right)\thinspace dx\]

4 – Relation de Chasles

Si a<b<c et si f est continue sur \left[a,c\right], alors :

    \[\int_{a}^{c}f\left(x\right)\thinspace dx=\int_{a}^{b}f\left(x\right)\thinspace dx+\int_{b}^{c}f\left(x\right)\thinspace dx\]

Remarque

En accord avec la relation de Chasles, on peut étendre la notation \int_a^bf(x)\,dx sans faire d’hypothèse sur les positions relatives des bornes. On considère que :

  • \int_a^af(x)\,dx=0
  • si a>b alors \int_a^bf(x)\,dx=-\int_b^af(x)\,dx

6 – Une justification intuitive

Expliquons dans cette dernière section, de manière non rigoureuse, la formule :

(\spadesuit)   \[\fcolorbox{black}{myBlue}{$\int_{a}^{b}f\left(x\right)\thinspace dx=F\left(b\right)-F\left(a\right)$}\]

F désigne une primitive de la fonction continue f.

Si l’on note \mathcal{A}\left(X\right) l’aire du domaine limité (à gauche) par la droite d’équation x=a et (à droite) par celle d’équation x=X, alors la dérivée de la fonction \mathcal{A} s’obtient en calculant la limite d’un taux d’accroissement :

    \[\mathcal{A}'\left(X\right)=\lim_{h\rightarrow0}\frac{\mathcal{A}\left(X+h\right)-\mathcal{A}\left(X\right)}{h}\]

Le numérateur \mathcal{A}\left(X+h\right)-\mathcal{A}\left(X\right) représente l’aire d’une région qui, lorsque h est petit, ressemble à s’y méprendre à un rectangle dont les côtés mesurent h et f\left(X\right).

Autrement dit, lorsque h est petit : \mathcal{A}\left(X+h\right)-\mathcal{A}\left(X\right)\simeq h\thinspace f\left(X\right). En passant à la limite (lorsque h\to 0), on trouve finalement l’égalité :

    \[\mathcal{A}'\left(X\right)=f\left(X\right)\]

valable pour tout X\in\left[a,b\right]. Bref, \mathcal{A} est une primitive de f.

Si l’on considère que \int_{a}^{b}f\left(x\right)\thinspace dx représente l’aire du domaine qui s’étend de l’abscisse a jusqu’à l’abscisse b, alors :

    \[\int_{a}^{b}f\left(x\right)\thinspace dx=\mathcal{A}\left(b\right)\]

Enfin, si F désigne une primitive quelconque de f, on sait que \mathcal{A} et F diffèrent d’une constante : il existe un réel C tel que F\left(X\right)=\mathcal{A}\left(X\right)+C, pour tout X\in\left[a,b\right].

De ce fait, et vu que \mathcal{A}\left(a\right)=0 :

    \[F\left(b\right)-F\left(a\right) = \left(\mathcal{A}\left(b\right)+C\right)-\left(\mathcal{A}\left(a\right)+C\right)\ = \mathcal{A}\left(b\right)\]

La formule \left(\spadesuit\right) est ainsi justifiée.

J’espère que cet article d’introduction vous aura été utile.

N’en restez pas là ! Apprenez à intégrer par parties en lisant cet article et cherchez dès maintenant des exercices pour vous entraîner à calculer des intégrales.


Vos questions ou remarques sont les bienvenues. Vous pouvez laisser un commentaire ci-dessous ou bien passer par le formulaire de contact.

Partager cet article

Cet article a 4 commentaires

  1. X

    Dans la partie « 2 – Notion de primitive », on rencontre un tableau de quelques fcts usuelles et leurs primitive, or une primitive de ln(x) n’est en aucun cas 1/x

    1. René Adad

      Bien vu ! Cela fait pourtant un bout de temps que cette coquille grossière traîne ici. Merci de me l’avoir signalée. Je corrige tout de suite.

    1. René Adad

      Merci pour ce sympathique commentaire 🙂 Content que ce travail vous soit utile.

Laisser un commentaire