title: Intégrale de Darboux
text: # Intégrale de Darboux
  
  En analyse réelle, une branche des mathématiques, l'intégrale de Darboux est construite à partir des intégrales de Darboux inférieure et supérieure, elles-mêmes définies, soit avec les sommes de Darboux, soit avec des fonctions en escalier. Il s'agit d'une manière de définir l'intégrale d'une fonction à valeurs réelles définie sur un segment de la droite réelle. L'intégrale de Darboux (du mathématicien français Gaston Darboux) est équivalente à l'intégrale de Riemann (du mathématicien allemand Bernhard Riemann), c'est-à-dire qu'une fonction est Darboux-intégrable si et seulement si elle est Riemann-intégrable, et, le cas échéant, ses intégrales au sens de Darboux et de Riemann sont égales. La définition de l'intégrale de Darboux a l'avantage d'être plus simple à implémenter dans les calculs ou les preuves que l'intégrale de Riemann. Par conséquent, la plupart des manuels d'introduction en analyse développent l'intégrale de Riemann à partir du formalisme de Darboux. De plus, la définition selon Darboux est facilement extensible à l'intégrale de Stieltjes.
  
  ## Définitions
  
  Intuitivement, l'intégrale de Darboux d'une fonction à valeurs réelles bornée $f$ sur un segment $[a,b]$ est l'aire algébrique délimitée par la courbe dessinée par $f$, l'axe des abscisses, la droite verticale passant par $a$ et celle passant par $b$. L'idée est de majorer et minorer cette aire par l'aire formée par une succession de rectangles. L'aire de cette succession de rectangle est simplement la somme des aires de chaque rectangle qui se calculent aisément (par la formule base × hauteur). L'intégrale de Darboux s'obtient alors en faisant tendre vers 0 la base des rectangles. La définition de l'intégrale de Darboux considère les intégrales de Darboux supérieure et inférieure, bien définies pour toute fonction à valeurs réelles bornée $f$ sur un segment $[a,b]$. L'intégrale de Darboux existe si et seulement si les intégrales inférieure et supérieure sont égales. Les intégrales inférieure et supérieure sont les limites respectives des sommes de Darboux inférieure et supérieure qui sous-estiment ou sur-estiment l'aire sous la courbe. Plus concrètement, pour une subdivision donnée de l'intervalle, les sommes de Darboux représentent la somme des aires des tranches rectangulaires dont les hauteurs sont prises respectivement aux suprema et aux infima de $f$ sur chaque sous-intervalle de la subdivision.
  
  ### Sommes de Darboux
  
  Soit $[a,b]$ un segment inclus dans $\mathbb {R}$. Une subdivision de ce segment est la donnée d'une suite finie de points $\sigma =(x_{0},\dots ,x_{n})$ telle que $a=x_{0}<\cdots <x_{n}=b$.
  
  Définition (Sommes de Darboux) — Soit une fonction $f:[a,b]\rightarrow \mathbb {R}$ bornée et $\sigma =(x_{0},\dots ,x_{n})$ une subdivision de $[a,b]$. On définit, respectivement, les sommes de Darboux inférieure et supérieure associées à $f$ et $\sigma$ de la manière suivante :
  
  $S_{-}(f,\sigma ):=\sum _{i=1}^{n}(x_{i}-x_{i-1})\inf _{[x_{i-1},x_{i}]}f\qquad S_{+}(f,\sigma ):=\sum _{i=1}^{n}(x_{i}-x_{i-1})\sup _{[x_{i-1},x_{i}]}f.$
  
  Supposer que la fonction $f$ est bornée est indispensable pour définir les sommes de Darboux. En effet, cela permet d'assurer que $f$ possède bien un infimum et un supremum finis sur chaque sous-intervalle de la subdivision $\sigma$.
  
  Il est clair que, pour une même subdivision, on a toujours que la somme de Darboux inférieure est plus petite que la somme de Darboux supérieure. Puisque $f$ est bornée, il existe deux réels $m$ et $M$ tels que $m\leqslant f\leqslant M$. Il est alors clair que pour toute subdivision $\sigma$ on a $m\leqslant S_{-}(f,\sigma )\leqslant S_{+}(f,\sigma )\leqslant M$.
  
  ### Intégrales de Darboux
  
  Soit $[a,b]$ un segment inclus dans $\mathbb {R}$ et $\Sigma$ l'ensemble de ses subdivisions.
  
  Définition (Intégrales de Darboux inférieure et supérieure) — Soit une fonction $f:[a,b]\rightarrow \mathbb {R}$ bornée. On définit, respectivement, les intégrales de Darboux inférieure et supérieure associées à $f$ de la manière suivante :
  
  $I_{-}(f):=\sup _{\sigma \in \Sigma }S_{-}(f,\sigma )\qquad I_{+}(f):=\inf _{\sigma \in \Sigma }S_{+}(f,\sigma ).$
  
  Du fait que $f$ soit bornée, les intégrales de Darboux sont toujours bien définies et à valeurs réelles. De plus, si $m\leqslant f\leqslant M$, alors $I_{-}(f)\leqslant M$ et $m\leqslant I_{+}(f)$.
  
  Dans certains ouvrages, un symbole intégral souligné ou surligné représentent les intégrales de Darboux inférieure et supérieure :
  
      $I_{-}(f)={\underline {\int _{a}^{b}}}f(x)\,\mathrm {d} x\qquad I_{+}(f)={\overline {\int _{a}^{b}}}f(x)\,\mathrm {d} x$
  
  Lorsque $I_{-}(f)=I_{+}(f)$, cette valeur commune est appelée intégrale de Darboux.
  
  Définition (Intégrale de Darboux) — Soit une fonction $f:[a,b]\rightarrow \mathbb {R}$ bornée. On dit que $f$ est Darboux-intégrable (ou intégrable au sens de Darboux) si les intégrales de Darboux inférieure et supérieure sont égales :
  
  $I_{-}(f)=I_{+}(f)$
  
  Dans ce cas, on appelle cette valeur commune l'intégrale (au sens de Darboux) de $f$ sur $[a,b]$ et on la note
  
  $\int _{a}^{b}f=\int _{a}^{b}f(t)dt$
  
  ### Par des fonctions en escalier
  
  Plutôt que de passer par les sommes de Darboux, il est possible de définir les intégrales inférieure et supérieure de Darboux via des fonctions en escalier, pour lesquelles l'intégrale se définit aisément. En effet, pour une fonction en escalier, l'aire sous la courbe correspond simplement à la somme des aires des rectangles formés par cette dernière.
  
  Plus formellement, une fonction en escalier sur un segment $[a,b]$ est une fonction $g:[a,b]\rightarrow \mathbb {R}$ telle qu'il existe une subdivision $\sigma =(x_{0},\dots ,x_{n})$ de ce segment telle que $g$ est constante, sur chaque sous-intervalle $]x_{i-1},x_{i}[$ de la subdivision. Certains ouvrages imposent que $g$ soit constante sur les intervalles $[x_{i-1},x_{i}[$ ou encore sur les intervalles $]x_{i-1},x_{i}]$. Cela n'aura aucun impact sur la notion d'intégrale puisque cette dernière ne dépendra pas des valeurs prises en un nombre fini de points.
  
  Pour une fonction en escalier $g:[a,b]\rightarrow \mathbb {R}$ adaptée à la subdivision $\sigma =(x_{0},\dots ,x_{n})$, on définit son intégrale de la manière suivante :
  
  $\int _{a}^{b}g(t)dt:=\sum _{i=0}^{n}(x_{i-1}-x_{i})c_{i}$
  
  où $c_{i}$ correspond à la valeur prise par $g$ sur $]x_{i-1},x_{i}[$. A noter que cette définition est compatible avec ce qui précède car on peut montrer que l'intégrale de Darboux (telle que définie auparavant) d'une fonction en escalier est bien donnée par la formule ci-dessus.
  
  On constate que les sommes de Darboux peuvent alors s'interpréter comme des intégrales de fonctions en escalier. En effet, soit $f:[a,b]\rightarrow \mathbb {R}$ une fonction bornée et $\sigma =(x_{0},\dots ,x_{n})$ une subdivision. Si l'on définit deux fonctions en escalier $g$ et $h$ telles que $g$ vaut $\inf\{f(t):x_{i-1}\leqslant t\leqslant x_{i}\}$ et $h$ vaut $\sup\{f(t):x_{i-1}\leqslant t\leqslant x_{i}\}$ sur $]x_{i-1},x_{i}[$ pour tout $0\leqslant i\leqslant n$ (et prennent des valeurs quelconques en les $x_{i}$) alors
  
  $S_{-}(f,\sigma )=\int _{a}^{b}g(t)dt,\qquad S_{+}(f,\sigma )=\int _{a}^{b}h(t)dt.$
  
  Ce simple constat permet aisément de réinterpréter les intégrales de Darboux inférieure et supérieure de la manière suivante :
  
  $I_{-}(f)=\sup \left\{\int _{a}^{b}g(t)dt:g{\text{ en escalier et }}g\leq f\right\},\qquad I_{+}(f)=\inf \left\{\int _{a}^{b}h(t)dt:h{\text{ en escalier et }}h\geq f\right\}.$
  
  ## Propriétés
  
  Ici sont répertoriées des propriétés portant sur les sommes de Darboux ainsi que sur les intégrales de Darboux inférieure et supérieure. Des propriétés sur l'intégrale de Darboux peuvent être trouvées dans la section propriétés de l'article sur l'intégrale de Riemann (qui est équivalente à l'intégrale de Darboux, donc satisfait exactement les mêmes propriétés).
  
  ### Raffinement d'une subdivision
  
  Soit $f:[a,b]\rightarrow \mathbb {R}$ une fonction bornée et $\sigma =(x_{0},\dots ,x_{n})$ une subdivision de $[a,b]$. Si $\rho =(z_{0},\dots ,z_{m})$ est un raffinement de $\sigma$, c'est-à-dire, si
  
  $\{x_{0},\dots ,x_{n}\}\subset \{z_{0},\dots ,z_{m}\}$
  
  alors on a les inégalités
  
  $S_{-}(f,\sigma )\leq S_{-}(f,\rho )\quad {\text{et}}\quad S_{+}(f,\rho )\leq S_{+}(f,\sigma )$
  
  Autrement dit, en raffinant une subdivision, les sommes de Darboux se rapprochent de la véritable valeur de l'intégrale de $f$ (lorsqu'elle est Darboux-intégrable).
  
  ### Bornes
  
  Soit $f:[a,b]\rightarrow \mathbb {R}$ une fonction bornée. les sommes de Darboux inférieures sont minorées par l'aire du rectangle de largeur $b-a$ et de hauteur $\inf f$ sur $[a,b]$. De même, les sommes de Darboux supérieures sont majorées par l'aire du rectangle de largeur $b-a$ et de hauteur $\sup f$. Ainsi pour toute subdivision $\sigma$ :
  
  $(b-a)\inf _{[a,b]}f\leq S_{-}(f,\sigma )\leq I_{-}(f)\quad {\text{et}}\quad I_{+}(f)\leq S_{+}(f,\sigma )\leq (b-a)\sup _{[a,b]}f$
  
  Si $\sigma _{1}$ et $\sigma _{2}$ sont deux subdivisions, alors il existe une subdivision $\rho$ qui est, à la fois, un raffinement de $\sigma _{1}$ et de $\sigma _{2}$. Ainsi on a
  
  $S_{-}(f,\sigma _{1})\leq S_{-}(f,\rho )\leq S_{+}(f,\rho )\leq S_{+}(f,\sigma _{2})$
  
  On en déduit alors que
  
  $I_{-}(f)\leq I_{+}(f)$
  
  ### Relation de Chasles
  
  Les intégrales de Darboux inférieure et supérieure satisfont la relation de Chasles (tout comme l'intégrale de Darboux). Plus précisément, soit $f:[a,b]\rightarrow \mathbb {R}$ une fonction bornée et $c\in [a,b]$. Alors
  
      ${\underline {\int _{a}^{b}}}f(x)\,\mathrm {d} x={\underline {\int _{a}^{c}}}f(x)\,\mathrm {d} x+{\underline {\int _{c}^{b}}}f(x)\,\mathrm {d} x\quad {\text{et}}\quad {\overline {\int _{a}^{b}}}f(x)\,\mathrm {d} x={\overline {\int _{a}^{c}}}f(x)\,\mathrm {d} x+{\overline {\int _{c}^{b}}}f(x)\,\mathrm {d} x$
  
  ### Quasi-linéarité
  
  Les intégrales de Darboux inférieure et supérieure ne sont pas nécessairement linéaires (contrairement à l'intégrale de Darboux). En revanche elles satisfont certaines inégalités. soit $f,g:[a,b]\rightarrow \mathbb {R}$ deux fonctions bornées. Alors
  
  ${\begin{aligned}{\underline {\int _{a}^{b}}}f(x)\,\mathrm {d} x+{\underline {\int _{a}^{b}}}g(x)\,\mathrm {d} x&\leq {\underline {\int _{a}^{b}}}(f(x)+g(x))\mathrm {d} x\\[6pt]{\overline {\int _{a}^{b}}}f(x)\,\mathrm {d} x+{\overline {\int _{a}^{b}}}g(x)\,\mathrm {d} x&\geq {\overline {\int _{a}^{b}}}(f(x)+g(x))\,\mathrm {d} x\end{aligned}}$
  
  De plus, pour tout $\lambda \geqslant 0$ :
  
  ${\underline {\int _{a}^{b}}}\lambda f(x)\,\mathrm {d} x=\lambda {\underline {\int _{a}^{b}}}f(x)\,\mathrm {d} x\quad {\text{et}}\quad {\overline {\int _{a}^{b}}}\lambda f(x)\,\mathrm {d} x=\lambda {\overline {\int _{a}^{b}}}f(x)\,\mathrm {d} x$
  
  Et pour tout $\mu \leqslant 0$ :
  
  ${\underline {\int _{a}^{b}}}\mu f(x)\,\mathrm {d} x=\mu {\overline {\int _{a}^{b}}}f(x)\,\mathrm {d} x\quad {\text{et}}\quad {\overline {\int _{a}^{b}}}\mu f(x)\,\mathrm {d} x=\mu {\underline {\int _{a}^{b}}}f(x)\,\mathrm {d} x$
  
  ### Fonction intégrale
  
  Soit $f:[a,b]\rightarrow \mathbb {R}$ une fonction bornée. Alors la fonction
  
  $F:x\in [a,b]\rightarrow {\underline {\int _{a}^{x}}}f(t)\,\mathrm {d} t$
  
  est lipschitzienne donc continue. Un résultat identique est vérifié pour F définie à partir de l'intégrale de Darboux supérieure.
  
  ### Critère d'intégrabilité
  
  Un critère équivalent, parfois utile pour démontrer qu'une fonction est Darboux-intégrable, est donné par le résultat $suivant^,.$
  
  Théorème (critère d'intégrabilité, version somme) — Soit une fonction $f:[a,b]\rightarrow \mathbb {R}$ bornée. Cette fonction est Darboux-intégrable si et seulement si pour tout $\varepsilon >0$, il existe une subdivision $\sigma$ de $[a,b]$ telle que
  
  $S_{+}(f,\sigma )-S_{-}(f,\sigma )\leq \varepsilon$
  
  En termes de fonctions en escalier, cela donne :
  
  Théorème (critère d'intégrabilité, version escalier) — Soit une fonction $f:[a,b]\rightarrow \mathbb {R}$ bornée. Cette fonction est Darboux-intégrable si et seulement si pour tout $\varepsilon >0$, il existe deux fonctions en escalier $g$ et $h$ telles que $g\leqslant f\leqslant h$ et
  
  $\int _{a}^{b}h(t)dt-\int _{a}^{b}g(t)dt\leq \varepsilon$
  
  ## Exemples
  
  ### Une fonction Darboux-intégrable
  
  La fonction f(x) = x est Darboux-intégrable sur tout intervalle [a , b].
  
  On considère la subdivision $\sigma _{n}$ de [a, b] en n sous-intervalles de même longueur (b – a)/n.
  
  Comme f est strictement croissante, les infimum sur tout sous-intervalle sont atteints en a+(b – a)(k – 1)/n, et les supremum y sont atteints en a+(b – a)k/n. Ainsi
  
      ${\begin{aligned}S_{-}(f,\sigma _{n})&=\sum _{k=1}^{n}f\left(a+(b-a){\frac {k-1}{n}}\right){\frac {b-a}{n}}\\&=\sum _{k=1}^{n}\left(a+(b-a){\frac {k-1}{n}}\right){\frac {b-a}{n}}\\&=n\times a{\frac {b-a}{n}}+{\frac {(b-a)^{2}}{n^{2}}}\sum _{k=1}^{n}(k-1)\\&=a(b-a)+{\frac {(b-a)^{2}}{n^{2}}}\times {\frac {(n-1)n}{2}}\end{aligned}}$
  
  et
  
      ${\begin{aligned}S_{+}(f,\sigma _{n})&=\sum _{k=1}^{n}f\left(a+(b-a){\frac {k}{n}}\right){\frac {b-a}{n}}\\&=a(b-a)+{\frac {(b-a)^{2}}{n^{2}}}\times {\frac {n(n+1)}{2}}\end{aligned}}$
  
  On a alors
  
      $S_{+}(f,\sigma _{n})-S_{-}(f,\sigma _{n})={\frac {(b-a)^{2}}{n}}$
  
  Alors pour tout ε > 0, en choisissant une subdivision $\sigma _{n}$ avec $n>{\frac {(b-a)^{2}}{\epsilon }}$ on a
  
      $S_{+}(f,\sigma _{n})-S_{-}(f,\sigma _{n})<\epsilon$
  
  ce qui prouve que f est Darboux-intégrable. La valeur de l'intégrale est alors
  
      $\int _{a}^{b}f(x)\,\mathrm {d} x=\lim _{n\to \infty }S_{-}(f,\sigma _{n})=\lim _{n\to \infty }S_{+}(f,\sigma _{n})={\frac {b^{2}-a^{2}}{2}}$
  
  ### Une fonction non intégrable
  
  On considère la fonction indicatrice des rationnels sur [0, 1] :
  
      ${\begin{aligned}\chi _{\mathbb {Q} }:[0,1]&\to \mathbb {R} \\x&\mapsto {\begin{cases}1&{\text{si }}x\in \mathbb {Q} \\0&{\text{si }}x\notin \mathbb {Q} \end{cases}}\end{aligned}}$
  
  Comme les ensembles des nombres rationnels et irrationnels sont tous deux denses dans ℝ, sur tout sous-intervalle de toute subdivision $\sigma$, la fonction prend les valeurs 0 et 1 donc
  
      $S_{-}(\chi _{\mathbb {Q} },\sigma )=0\quad {\text{et}}\quad S_{+}(\chi _{\mathbb {Q} },\sigma )=1,$
  
  si bien que les intégrales de Darboux inférieure et supérieure sont
  
      $I_{-}(\chi _{\mathbb {Q} })=0\quad {\text{et}}\quad I_{+}(\chi _{\mathbb {Q} })=1.$
  
  Comme elles sont différentes, la fonction n'est pas Darboux-intégrable.
  
  ## Equivalence avec l'intégrale de Riemann
  
  Les intégrales de Darboux inférieure et supérieure sont définies comme le supremum et l'infimum des sommes de Darboux sur l'ensemble des subdivisions. De manière équivalente, ces intégrales peuvent aussi être définies comme la limite des sommes de Darboux lorsque le pas de la subdivision tend vers 0. Cette vision permet de se rapprocher de la notion d'intégrale de Riemann, telle que définie originellement par le mathématicien Bernhard Riemann, c'est-à-dire, en tant que limite des sommes de Riemann lorsque le pas de la subdivision marquée tend vers 0. A partir de là, il est alors relativement aisé de montrer l'équivalence entre l'intégrale de Darboux et celle de $Riemann^,^,.$
  
  Soit $[a,b]$ un segment inclus dans $\mathbb {R}$. Le pas d'une subdivision $\sigma =(x_{0},\dots ,x_{n})$ de $[a,b]$ est la distance maximale entre deux $x_{i}$ consécutifs, c'est-à-dire, $max{x_i−x_{i−1}:1⩽i⩽n}{\textstyle$ \max\{x_{i}-x_{i-1}:1\leqslant i\leqslant n\}}.
  
  Théorème (intégrales inf et sup comme limites des sommes de Darboux) — Soit une fonction $f:[a,b]\rightarrow \mathbb {R}$ bornée. Pour tout $\varepsilon >0$, il existe $p>0$ tel que pour toute subdivision $\sigma$ de pas inférieur ou égal à $p$ on a
  
  $I_{-}(f)-S_{-}(f,\sigma )\leq \varepsilon \qquad S_{+}(f,\sigma )-I_{+}(f)\leq \varepsilon$
  
  On peut résumer le contenu du théorème précédent en écrivant
  
  $I_{-}(f)=\lim _{p\to 0}\inf _{\sigma \in \Sigma (p)}S_{-}(f,\sigma )\qquad I_{+}(f)=\lim _{p\to 0}\sup _{\sigma \in \Sigma (p)}S_{+}(f,\sigma )$
  
  où $\Sigma (p)$ désigne l'ensemble des subdivisions de $[a,b]$ dont le pas est inférieur ou égal à $p$.
  
  Montrons le théorème pour l'intégrale de Darboux inférieure uniquement (le cas de l'intégrale supérieure étant similaire). Soit $\varepsilon >0$. Par définition de l'intégrale de Darboux inférieure, il existe une subdivision $\sigma =(x_{0},\dots ,x_{n})$ telle que
  
  $S_{-}(f,\sigma )\geq I_{-}(f)-{\frac {\varepsilon }{2}}$
  
  Soit $m<M$ deux réels tels que $m\leqslant f\leqslant M$. Fixons $p=\varepsilon /(2n(M-m))$ et $\rho =(z_{0},\dots ,z_{N})$ une subdivision de pas inférieur ou égal à $p$. Notons
  
  $E=\{1\leqslant i\leqslant N:\exists 1\leqslant j\leqslant n,[z_{i-1},z_{i}]\subset [x_{j-1},x_{j}]\}$
  
  Pour chaque $i\in E$ il existe $j$ tel que $[z_{i-1},z_{i}]\subset [x_{j-1},x_{j}]$ et ainsi
  
  $\inf _{[z_{i-1},z_{i}]}f\geq \inf _{[x_{j-1},x_{j}]}f$
  
  Parallèlement, pour chaque $i\notin E$ il existe $j<n$ tel que $x_{j}\in \left]z_{i-1},z_{i}\right[$ et
  
  $\inf _{[z_{i-1},z_{i}]}f\geq \max \left\{\inf _{[x_{j-1},x_{j}]}f,\inf _{[x_{j},x_{j+1}]}f\right\}-(M-m)$
  
  Puisque la fonction $i\notin E\mapsto j$ est injective on déduit que le complémentaire de $E$ contient au plus $n-2$ éléments. Finalement, on obtient
  
  ${\begin{aligned}S_{-}(f,\rho )=\sum _{i=1}^{N}(z_{i-1}-z_{i})\inf _{[z_{i-1},z_{i}]}f&\geq \sum _{i=1}^{n}(x_{i-1}-x_{i})\inf _{[x_{i-1},x_{i}]}f-\vert E^{\mathrm {c} }\vert (M-m)p\\&\geq S_{-}(f,\sigma )-{\frac {\varepsilon }{2}}\geq I_{-}(f)-\varepsilon \end{aligned}}$
  
  On obtient alors le résultat désiré.
  
  Supposons d'abord que $f$ soit Darboux-intégrable sur $[a,b]$ et notons $I$ son intégrale au sens de Darboux. Soit $\varepsilon >0$. Il existe $p>0$ tel que pour toutes subdivisions $\sigma =(x_{0},\dots ,x_{n})$ de pas inférieur ou égal à $p$ on a
  
  $\sum _{i=1}^{n}(x_{i}-x_{i-1})\sup _{[x_{i-1},x_{i}]}f-\varepsilon \leq I\leq \sum _{i=1}^{n}(x_{i}-x_{i-1})\inf _{[x_{i-1},x_{i}]}f+\varepsilon$
  
  Or pour toute subdivision marquée $(\sigma ,t)=(x_{0},\dots ,x_{n},t_{1},\dots ,t_{n})$ de pas inférieur ou égal à $p$ on a :
  
  $\sum _{i=1}^{n}(x_{i}-x_{i-1})\inf _{[x_{i-1},x_{i}]}f\leq \sum _{i=1}^{n}(x_{i}-x_{i-1})f(t_{i})\leq \sum _{i=1}^{n}(x_{i}-x_{i-1})\sup _{[x_{i-1},x_{i}]}f$
  
  Donc
  
  $\left\vert \sum _{i=1}^{n}(x_{i}-x_{i-1})f(t_{i})-I\right\vert \leq \varepsilon$
  
  Réciproquement, supposons que $f$ soit Riemann-intégrable sur $[a,b]$ et notons $I$ sont intégrale au sens de Riemann. Soit $\varepsilon >0$. Il existe $p>0$ tel que pour toutes subdivisions marquées $(\sigma ,t)=(x_{0},\dots ,x_{n},t_{1},\dots ,t_{n})$ de pas inférieur ou égal à $p$ on a
  
  $\left\vert \sum _{i=1}^{n}(x_{i}-x_{i-1})f(t_{i})-I\right\vert \leq \varepsilon$
  
  Soit $\sigma =(x_{0},\dots ,x_{n})$ une subdivision de pas inférieur ou égal à $p$. Pour chaque $1\leqslant i\leqslant n$, prenons $t_{i}\in [x_{i-1},x_{i}]$ tel que
  
  $\left\vert f(t_{i})-\inf _{[x_{i-1},x_{i}]}f\right\vert \leq {\frac {\varepsilon }{b-a}}$
  
  Ainsi on a
  
  $\left\vert \sum _{i=1}^{n}(x_{i}-x_{i-1})\inf _{[x_{i-1},x_{i}]}f-I\right\vert \leq \left\vert \sum _{i=1}^{n}(x_{i}-x_{i-1})f(t_{i})-I\right\vert +\varepsilon \leq 2\varepsilon$
  
  On procède de la même manière pour la somme faisant intervenir le supremum.
  
  