Préliminaires

À certaines parties du plan on associe une mesure qu'on appelle aire.

RappelPropriétés demandées à une mesure

Cela consiste à définir sur l'ensemble \(A\) de ces parties une fonction \(a\) ayant les propriétés suivantes :

  1. \(\displaystyle{a (R) = L\times H}\) si \(R\) désigne un rectangle dont les mesures des côtés sont respectivement \(L\) et \(H\),

  2. \(\displaystyle{\forall E_1\in A,\forall E_2\in A,E_1\subset E_2\Rightarrow a(E_1)\leq a(E_2)}\)

  3. \(\displaystyle{\forall E_1\in A,\forall E_2\in A,E_1\cap E_2=\emptyset\Rightarrow a(E_1\cup E_2)=a(E_1)+a(E_2)}\)

Les conditions 2, 3 entraînent :

\(\displaystyle{\forall E_1\in A,\forall E_2\in A,a(E_1\cup E_2)=a(E_1)+a(E_2)-a(E_1\cap(E_2)}\)

Soient \(I\) un intervalle de\(\mathbf R\), \(f\) une application de \(I\) dans \(\mathbf R_+\), \(a\) et \(b\) deux points de l'intervalle \(I\),\(a< b\); on note :

\(\displaystyle{E_{a,b}(f)=\{(x,y)\in\mathbf R^2,a\leq x\leq b,0\leq y\leq f(x)\}}\)

et on cherche à définir le symbole\(\displaystyle{\int_a^bf(t)dt}\) de telle sorte que ce nombre représente l'aire de \(E_{a,b} (f)\).

Compte tenu des propriétés demandées (de mesure), les conditions suivantes doivent être vérifiées :

1. si \(f\) est constante positive : \(\displaystyle{\forall x\in[a,b]f(x)=k>0}\), on a alors \(\displaystyle{\int_a^bf(t)dt=k(b-a)}\)

2. si \(\displaystyle{\forall(x)\in[a,b]m\leq f(x)\leq M}\) on a alors \(\displaystyle{m(b-a)\leq\int_a^bf(t)dt\leq M(b-a)}\)

3. si \(c\in]a,b[\) on a alors : \(\displaystyle{\int_a^cf(t)dt+\int_c^bf(t)dt=\int_a^bf(t)dt}\)

On complète ces conditions par :

4. si \(f\) est constante négative :\(\displaystyle{\forall x\in[a,b]f(x)=k<0}\), alors \(\displaystyle{\int_a^bf(t)dt=k(b-a)}\)

ce qui revient à compter négativement les aires en dessous de l'axe des \(x\).

Désormais on ne supposera donc plus la fonction considérée \(f\) positive. On a ainsi établi quatre conditions nécessaires, elles entraînent que si \(c\) est un point de \(] a, b[\) et si l'on pose :

\(m_1=\displaystyle{\inf_{x\in[a,c]}}f(x)\),\(m_2=\displaystyle{\inf_{x\in[c,b]}}f(x)\) et \(M_1=\displaystyle{\sup_{x\in[a,c]}}f(x)\), \(M_2=\displaystyle{\sup_{x\in[c,b]}}f(x)\)

le nombre \(\displaystyle{\int_a ^b f(t) dt}\) doit vérifier :

\(\displaystyle{m_1(c-a)+m_2(b-c)\leq\int_a^bf(t)dt< M_1(c-a)+M_2(b-c)}\).

On va définir le symbole \(\displaystyle{\int_a ^b f(t) dt}\) en :

  • découpant l'intervalle \([ a, b ]\),

  • encadrant la fonction \(f\) par des fonctions constantes sur chaque intervalle (d'où la nécessité pour \(f\) d'être bornée sur \([ a, b ]\)),

  • additionnant les aires correspondantes.