Les propriétés de l'intégrale

Soit deux fonctions $f, g$ de classe $\mathcal{C}^1$ sur un intervalle $I = [a,b]$, et une fonction $F$ primitive de $f$.

L'intégrale de $a$ vers $b$ est l'aire située entre l'axe des abscisses la courbe de $f$, entre les points $a$ et $b$ (voir lien entre intégrales et primitives).

Fonction définie par une intégrale

$$ \forall (a, x) \in D_f^2, $$

$$ F(x) = \int_{a}^x f(t) \hspace{0.2em}dt \Longrightarrow F(a) = 0$$

Intégrale de a vers a

$$ \forall a \in D_f, $$

$$ \int_{a}^a f(t) \hspace{0.2em}dt =0 $$

Intégrale de b vers a

$$ \forall (a,b) \in D_f^2, $$

$$ \int_{b}^a f(t) \hspace{0.2em}dt = -\int_{a}^b f(t) \hspace{0.2em}dt $$

Relation de Chasles

$$ \forall (a, \lambda ,b) \in D_f^3, \enspace a \leqslant \lambda \leqslant b, $$

$$ \int_{a}^{\lambda} f(t) \hspace{0.2em}dt + \int_{\lambda}^b f(t) \hspace{0.2em}dt = \int_{a}^b f(t) \hspace{0.2em}dt $$

Linéarité de l'intégrale

$$ \forall (a,b) \in D_f^2, \enspace \forall (\lambda, \mu) \in \hspace{0.05em} \mathbb{R}^2,$$

$$ \int_{a}^b \biggl(\lambda f(t) + \mu g(t) \hspace{0.2em} \biggr) dt = \lambda \int_{a}^b f(t) \hspace{0.2em}dt + \mu \int_{a}^b g(t) \hspace{0.2em}dt $$

L'intégrale d'une combinaison linéaire de fonctions est la combinaison linéaire de l'intégrale de chaque fonction.

Positivité de l'intégrale

$$ \forall (a,x, b) \in D_f^3, \enspace x \in [a, b], $$

$$ \enspace f(x) \geqslant 0 \hspace{0.2em} \Longrightarrow \hspace{0.2em} \int_{a}^b f(t) \hspace{0.2em}dt \geqslant 0 $$

De la même manière, si $ f(x) \leqslant 0 $ sur $ [a, b] $,

$$ \forall (a,x, b) \in D_f^3, \enspace x \in [a, b], $$

$$ f(x) \textcolor{#8E5B5B}{\leqslant} 0 \hspace{0.2em} \Longrightarrow \hspace{0.2em} \int_{a}^b f(t) \hspace{0.2em}dt \textcolor{#8E5B5B}{\leqslant} 0 $$

Croissance de l'intégrale

$$ \forall (a,x, b) \in D_f^3, \enspace x \in [a, b], $$

$$ f(x) \leqslant g(x) \hspace{0.2em} \Longrightarrow \hspace{0.2em} \int_{a}^b f(t) \hspace{0.2em}dt \leqslant \int_{a}^b g(t) \hspace{0.2em}dt $$

Valeur moyenne

$$ \forall (a,b) \in D_f^2, $$

$$ \mu = \frac{1}{(b-a)} \int_{a}^b f(t) $$

Théorème de la moyenne

$$ \forall (a,b) \in D_f^2, $$

$$ \exists c \in \hspace{0.05em} ]a,b[, \enspace f(c) = \frac{1}{(b-a)} \int_{a}^b f(t) \hspace{0.2em}dt$$

Inégalité de la moyenne

$$ \forall (a,b) \in D_f^2, \ \Bigl[ \forall x \in [a, b], \ m = min\{f\}, \ M = max\{f\} \Bigr], $$

$$ m \hspace{0.2em} \leqslant \hspace{0.2em} \frac{1}{(b-a)} \int_{a}^b f(t) \hspace{0.2em}dt \hspace{0.2em} \leqslant \hspace{0.2em} M $$

Récapitulatif des propriétés de l'intégrale

Démonstrations

Fonction définie par une intégrale

On sait par le lien entre intégrales et primitives que :

$$ F(x) = F(a) + \int_{a}^x f(t) \hspace{0.2em}dt $$

Or, si une fonction est définie par une intégrale, on a :

$$ F(x) = \int_{a}^x f(t) \hspace{0.2em}dt $$

Cela implique nécessairement que $ F(a) = 0 $.

Alors, $ F(x) $ est la primitive de $ f(x) $ qui s'annule en $ x = a $.

$$ \Biggl \{ \begin{gather*} F'(x) = f(x) \\ F(a) = 0 \end{gather*}$$

Soit finalement,

$$ \forall (a, x) \in D_f^2, $$

$$ F(x) = \int_{a}^x f(t) \hspace{0.2em}dt \Longrightarrow F(a) = 0$$

Exemple

$$ ln(x) = \int_{1}^x \frac{dt}{t} $$

Intégrale de a vers a

On sait par le lien entre intégrales et primitives que :

$$ F(x) = F(a) + \int_{a}^x f(t) \hspace{0.2em}dt $$

Soit que,

$$ \int_{a}^x f(t) \hspace{0.2em}dt = F(x) - F(a) $$

Si $ x = a $, alors :

$$ \int_{a}^a f(t) \hspace{0.2em}dt = F(a) - F(a) = 0 $$

La fonction $F $ est la primitive de $f$ qui s'annule au point $x=a$.

Soit finalement,

$$ \forall a \in D_f, $$

$$ \int_{a}^a f(t) \hspace{0.2em}dt =0 $$

Intégrale de b vers a

On sait par le lien entre intégrales et primitives que :

$$ F(x) = F(a) + \int_{a}^x f(t) \hspace{0.2em}dt $$

Soit que,

$$ \int_{a}^x f(t) \hspace{0.2em}dt = F(x) - F(a) $$

En inversant le sens des bornes, on a :

$$ \int_{a}^x f(t) \hspace{0.2em}dt = F(a) - F(x) = -(F(x) - F(a)) $$

$$ \int_{x}^a f(t) \hspace{0.2em}dt = - \int_{a}^x f(t) \hspace{0.2em}dt $$

Soit finalement,

$$ \forall (a,b) \in D_f^2, $$

$$ \int_{b}^a f(t) \hspace{0.2em}dt = -\int_{a}^b f(t) \hspace{0.2em}dt $$

Relation de Chasles

On sait par le lien entre intégrales et primitives que :

$$ F(x) = F(a) + \int_{a}^x f(t) \hspace{0.2em}dt $$

Soit que,

$$ \int_{a}^x f(t) \hspace{0.2em}dt = F(x) - F(a) $$

D'où,

$$ \int_{a}^b f(t) \hspace{0.2em}dt + \int_{b}^c f(t) \hspace{0.2em}dt = F(b) - F(a) + F(c) - F(b) $$

$$ \int_{a}^b f(t) \hspace{0.2em}dt + \int_{b}^c f(t) \hspace{0.2em}dt = F(c) - F(a) $$

Soit finalement,

$$ \forall (a, \lambda ,b) \in D_f^3, \enspace a \leqslant \lambda \leqslant b, $$

$$ \int_{a}^{\lambda} f(t) \hspace{0.2em}dt + \int_{\lambda}^b f(t) \hspace{0.2em}dt = \int_{a}^b f(t) \hspace{0.2em}dt $$

Linéarité de l'intégrale

Soit deux fonctions $f,g$ continues sur $I = [a,b]$, et deux fonctions $F,G$ une de leurs primitives respectives.

De même, soit deux réels $ (\lambda , \mu) \in \hspace{0.05em} \mathbb{R}^2 $ qui nous permettent de construire une nouvelle fonction $\Lambda$, combinaison linéaire de $f$ et de $g$ :

$$ \Lambda = \lambda f(t) + \mu g(t) $$

En intégrant cette fonction entre les bornes $a$ et $b$, on a :

$$ \int_{a}^b \biggl(\lambda f(t) + \mu g(t) \hspace{0.2em} \biggr) dt = \Biggl[\lambda F(t) + \mu G(t) \Biggr]_a^b $$

$$ \int_{a}^b \biggl(\lambda f(t) + \mu g(t) \hspace{0.2em} \biggr) dt = \lambda F(b) - \lambda F(a) + \mu G(b) - \mu G(a) $$

$$ \int_{a}^b \biggl(\lambda f(t) + \mu g(t) \hspace{0.2em} \biggr) dt = \lambda \bigl(F(b) - F(a)\bigl) \hspace{0.1em} + \hspace{0.1em} \mu \bigl(G(b) - G(a)\bigl) $$

Mais,

$$\left\{ \begin{gather*} F(b) - F(a) = \int_{a}^b f(t) \\ G(b) - G(a) = \int_{a}^b g(t) \end{gather*} \right\}$$

Soit finalement,

$$ \forall (a,b) \in D_f^2, \enspace \forall (\lambda, \mu) \in \hspace{0.05em} \mathbb{R}^2,$$

$$ \int_{a}^b \biggl(\lambda f(t) + \mu g(t) \hspace{0.2em} \biggr) dt = \lambda \int_{a}^b f(t) \hspace{0.2em}dt + \mu \int_{a}^b g(t) \hspace{0.2em}dt $$

L'intégrale d'une combinaison linéaire de fonctions est la combinaison linéaire de l'intégrale de chaque fonction.

Positivité de l'intégrale

Soit une fonction $f$ continue sur $I = [a,b]$ et pour tout $ x \in I, \enspace f(x) \geqslant 0$.

Si une fonction $F$ est une primitive de $f$ sur $I$, alors :

$$ \forall x \in I, \enspace F(x) = F(a) + \int^x f(t) \hspace{0.2em}dt $$

$$ F'(x) = \hspace{0.2em} \underbrace {(F(a))'} _\text{= 0} \hspace{0.2em} + \hspace{0.2em} f(x) $$

Soit que,

$$ F'(x) = f(x) $$

Comme on a comme hypothèse que $ f(x) \geqslant 0$, alors $ F'(x) \geqslant 0$.

Cela implique que $ F(x)$ est croissante sur $ I$.

$$ \Biggl \{ \begin{gather*} f(x) \geqslant 0 \\ F'(x) = f(x) \end{gather*} \hspace{0.2em} \Longrightarrow \hspace{0.2em} F'(x) \geqslant 0 \hspace{0.2em} \Longrightarrow \hspace{0.2em} F \nearrow $$

Et dans ce cas, on a :

$$ F(a) \leqslant F(b) \hspace{0.2em} \Longrightarrow \hspace{0.2em} F(b) - F(a) \geqslant 0 $$

Soit que,

$$ \int_{a}^b f(t) \hspace{0.2em}dt \geqslant 0 $$

Soit finalement,

$$ \forall (a,x, b) \in D_f^3, \enspace x \in [a, b], $$

$$ f(x) \geqslant 0 \hspace{0.2em} \Longrightarrow \hspace{0.2em} \int_{a}^b f(t) \hspace{0.2em}dt \geqslant 0 $$

De la même manière, si $ f(x) \leqslant 0 $ sur $ [a, b] $,

$$ \forall (a,x, b) \in D_f^3, \enspace x \in [a, b], $$

$$ f(x) \textcolor{#8E5B5B}{\leqslant} 0 \hspace{0.2em} \Longrightarrow \hspace{0.2em} \int_{a}^b f(t) \hspace{0.2em}dt \textcolor{#8E5B5B}{\leqslant} 0 $$

Conséquences

On sait que l'interprétation géométrique de l'intégrale d'une fonction entre deux bornes $a$ et $b$ est le fait qu'elle soit égale à l'aire entre la courbe de la fonction et l'axe des abscisses, tel que la figure suivante :

Intégrale comme aire entre la courbe et l'axe des abscisses

Mais grâce à la croissance de l'intégrale, le signe d'une intégrale va suivre le signe de la fonction intégrée sur l'intervalle d'étude. Donc dans le cas d'une fonction négative, on aura une intégrale négative.

Par conséquent, si l'on veut calculer l'aire totale d'une fonction à la fois négative et positive sur son intervalle d'étude, il nous faut changer le signe de la partie négative pour obtenir une valeur positive.

Effectivement, une aire négative ne pourrait avoir de sens physique.

Graphique représentant deux intégrales sous (et sur) la courbe, une négative et une positive

Appellons $S$ la somme des surfaces $A$ et $B$.

$$ S = A + B $$

Pour obtenir $S$, on doit inverser le signe de l'intégrale là où $f(x) \leqslant 0$. Ici en l'occurrence pour $ x \in [a, 0]$.

$$ S = - \hspace{0.2em} \underbrace{\int_{a}^0 f(t) \hspace{0.2em}dt } _\text{partie négative} \hspace{0.2em} + \hspace{0.2em} \int_{0}^b f(t) \hspace{0.2em}dt $$

Croissance de l'intégrale

Soit deux fonctions $f,g$ continues sur $I = [a,b]$, et pour tout $ x \in I, \enspace f(x) \leqslant g(x) $.

Alors,

$$ f(x) \leqslant g(x) \hspace{0.2em} \Longleftrightarrow \hspace{0.2em} f(x) - g(x) \leqslant 0 $$

Avec la propriété de positivité de l'intégrale, on a :

$$ \int_{a}^b f(t) - g(t) \hspace{0.2em}dt \leqslant 0 $$

Ensuite, avec la propriété de linéarité de l'intégrale, on a :

$$ \int_{a}^b f(t) \hspace{0.2em}dt - \int_{a}^b g(t) \hspace{0.2em}dt \leqslant 0 $$

Soit finalement,

$$ \forall (a,x, b) \in D_f^3, \enspace x \in [a, b], $$

$$ \forall x \in I, \enspace f(x) \leqslant g(x) \hspace{0.2em} \Longrightarrow \hspace{0.2em} \int_{a}^b g(t) \hspace{0.2em}dt \leqslant \int_{a}^b f(t) \hspace{0.2em}dt $$

Valeur moyenne

Il s'agit plutôt ici d'une proposition-définition.

La valeur moyenne d'une intégrale sur un intervalle $ [a,b]$ vaut :

$$ \forall (a,b) \in D_f^2, $$

$$ \mu = \frac{1}{(b-a)} \int_{a}^b f(t) $$

Théorème de la moyenne

Soit une fonction $f$ continue sur $I = [a,b]$, un réel $c \in I$.

Sa primitive $F$ est elle-même continue, puisque toute fonction dérivable sur un intervalle est continue sur cet intervalle.

Or, avec le théorème des accroissements finis, on sait que :

Pour une fonction $f$ continue sur $I = [a,b]$ et dérivable sur $]a,b[$,

$$ \exists c \in \hspace{0.05em} ]a,b[, \enspace f'(c) = \frac{f(b) - f(a)}{b-a}$$

Dans notre cas,

$$ \exists c \in \hspace{0.05em} ]a,b[, \enspace F'(c) = \frac{F(b) - F(a)}{b-a}$$

Or,

$$ F(b) - F(a) = \int_{a}^b f(t) \hspace{0.2em}dt $$

Soit,

$$ \forall (a,b) \in D_f^2, $$

$$ \exists c \in \hspace{0.05em} ]a,b[, \enspace f(c) = \frac{1}{(b-a)} \int_{a}^b f(t) \hspace{0.2em}dt$$

Interprétation géométrique

Le résultat précédent nous permet de voir qu'il existera au moins un réel $ c \in \hspace{0.05em} ]a,b[$ tel que :

$$ f(c)(b-a) = \int_{a}^b f(t) \hspace{0.2em}dt$$

C'est-à-dire que l'intégrale de $ a$ vers $ b $ sera égale à un rectangle formé par $ f(c) $ et $ (b-a) $.

Inégalité de la moyenne

Soit une fonction $f$ continue sur $I = [a,b]$.

On introduit les nombres $(m, M) \in \hspace{0.05em} \mathbb{R}^2 $, respectivement les valeurs minimale et maximale de $f$ sur $I$, et tels que la figure suivante :

Graphique représentant une fonction ainsi que ses valeurs minimum et maximum

$$ \forall t \in [a,b], \in m \leqslant f(t) \leqslant M $$

Avec la croissance de l'intégrale, on a :

$$ \int_{a}^b m \hspace{0.2em}dt \leqslant \int_{a}^b f(t) \hspace{0.2em}dt \leqslant \int_{a}^b M \hspace{0.2em}dt $$

$$ \Bigl[mt\Bigr]_a^b \leqslant \int_{a}^b f(t) \hspace{0.2em}dt \leqslant \Bigl[Mt \Bigr]_a^b $$

$$ m(b-a) \hspace{0.2em} \leqslant \hspace{0.2em} \int_{a}^b f(t) \hspace{0.2em}dt \hspace{0.2em} \leqslant \hspace{0.2em} M(b-a) $$

$$ m \hspace{0.2em} \leqslant \hspace{0.2em} \frac{1}{(b-a)} \int_{a}^b f(t) \hspace{0.2em}dt \hspace{0.2em} \leqslant \hspace{0.2em} M $$

Soit finalement,

$$ \forall (a,b) \in D_f^2, \ \Bigl[ \forall x \in [a, b], \ m = min\{f\}, \ M = max\{f\} \Bigr], $$

$$ m \hspace{0.2em} \leqslant \hspace{0.2em} \frac{1}{(b-a)} \int_{a}^b f(t) \hspace{0.2em}dt \hspace{0.2em} \leqslant \hspace{0.2em} M $$

Les propriétés de l'intégrale

Démonstrations

Exemple

Conséquences

Interprétation géométrique