Dans cette section, on donne les principales propriétés de l’intégrale. Notons que la définition d’intégrale, donnée dans la section précédente, est une version légèrement simplifiée en comparaison de celle trouvée généralement dans les textes d’analyse, et que certaines des propriétés ci-dessous, pour pouvoir être démontrées rigoureusement, requièrent une définition un peu plus générale.

Pour des raisons de commodité, commençons par définir

Ci-dessous, nous supposerons partout que $f$ est une fonction continue sur un intervalle $[a,b]$.

• Relation de Chasles: si $a<c<b$,$${\int }_a^{c}f(x)dx+{\int }_c^{b}f(x)dx={\int }_a^{b}f(x)dx.$$Afin que la relation de Chasles reste valable pour un triplet quelconque $a,b,c$, on peut définir$${\int }_b^{a}f(x)dx:=-{\int }_a^{b}f(x)dx$$Ceci permer d’écrire$${\int }_a^{b}f(x)dx+{\int }_b^{a}f(x)dx={\int }_a^{a}f(x)dx=0.$$
• Linéarité: Si $g$ est aussi continue sur $[a,b]$, et si $\lambda ,\mu$ sont deux constantes réelles, alors$${\int }_a^b(\lambda f(x)+\mu g(x))dx=\lambda {\int }_a^{b}f(x)dx+\mu {\int }_a^{b}g(x)dx.$$
• Inégalités: Si $f(x)⩽g(x)$ pour tout $x\in [a,b]$, alors$${\int }_a^{b}f(x)dx⩽{\int }_a^{b}g(x)dx.$$
  Preuve

  Notons $S_n^f$ et $S_n^g$ les sommes de Darboux supérieures associées à $f$ et $g$: $$S_n^f=\sum _{k=1}^n\frac{b-a}{n}{M}_k^f,S_n^g=\sum _{k=1}^n\frac{b-a}{n}{M}_k^g.$$ Puisque $f(x)⩽g(x)$ pour tout $x\in [a,b]$, on a en particulier que pour chaque $k=1,2,\dots ,n$, $$M_k^f=\underset{x\in I_k}{\max }f(x)⩽\underset{x\in I_k}{\max }g(x)=M_k^g.$$ Ainsi, $S_n^f⩽S_n^g$, et donc $$\begin{array}{rl}{\int }_a^{b}f(x)dx& =\underset{n\to \infty }{\lim }{S}_n^f\\ & ⩽\underset{n\to \infty }{\lim }{S}_n^g\\ & ={\int }_a^{b}g(x)dx.\end{array}$$

  $\square$
  Une conséquence:$$\left|{\int }_a^{b}f(x)dx\right|⩽{\int }_a^b|f(x)|dx.$$
  Preuve

  Puisque $$-|f(x)|⩽f(x)⩽|f(x)|\forall x\in [a,b],$$ l’inégalité du dessus implique que $$\underset{-B}{\underbrace{-{\int }_a^b|f(x)|dx}}⩽\underset{A}{\underbrace{{\int }_a^{b}f(x)dx}}⩽\underset{B}{\underbrace{{\int }_a^b|f(x)|dx}}.$$ On déduit que $|A|⩽B$.

  $\square$
• Si $f$ est paire sur $[-a,a]$, alors$${\int }_{-a}^{a}f(x)dx=2{\int }_0^{a}f(x)dx.$$
• Si $f$ est impaire sur $[-a,a]$, alors$${\int }_{-a}^{a}f(x)dx=0.$$

Le Théorème de la moyenne

Pour trouver la moyenne des nombres $y_1,y_2,\dots y_n$, on prend la somme $y_1+y_2+\cdots y_n$ et on divise par $n$. Étant donné une fonction $f$, l’analogue serait de prendre l’intégrale de $f$ sur $[a,b]$ et divise par la longueur de l’intervalle, $b-a$. Ainsi, la quantité

représente la moyenne de la fonction sur l’intervalle $[a,b]$.

On a donc ${\int }_a^{b}f(x)dx=\overline{f}\cdot (b-a)$, et le Théorème de la moyenne affirme qu’il existe un $c\in ]a,b[$ tel que $f(c)=\overline{f}$.