4.2. D ´
EFINITION DE L’INT ´
EGRALE 3
x
f(x)
a b
Approximation par d´ecoupage en petits rectangles
Si on prend des morceaux de plus en plus petits, on “s’appercoit” que les
approximations successives convergent vers une valeur limite.
4.2 D´efinition de l’int´egrale
4.2.1 Cas des fonctions en escalier
D´efinition 4.2.1 Soit f: [a, b]→Rune fonction. On dit que fest une fonction
en escalier s’il existe une subdivision de [a, b]a=a1< a2< . . . < aN+1 =bet
des r´eels α1, . . . , αNtels que pour tout k∈ {1, . . . , N }on ait
∀x∈]ak, ak+1[, f (x) = αk.
Remarque 4.2.1 Dans la d´efinition pr´ec´edente , on demande juste que fsoit
constante sur chaque intervalle ]ak, ak+1[.
D´efinition 4.2.2 Soit fune fonction en escalier. Soit a=a1< a2< . . . <
aN+1 =bune subdivision de [a, b]telle que fest constante ´egale `a αksur chaque
intervalle ]ak, ak+1[. On d´efinit l’int´egrale entre aet bde fpar
Zb
a
f(x)dx :=
N
X
k=1
αk(ak+1 −ak).
Proposition 4.2.1 Soient fet gdeux fonctions en escalier sur [a, b]et λ∈R.
Alors f+get λf sont aussi des fonctions en escalier et on a
Zb
a
f(x)dx =λZb
a
f(x)dx. (4.1)
et
Zb
a
(f+g)(x)dx =Zb
a
f(x)dx +Zb
a
g(x)dx. (4.2)
Preuve. Soient fet λcomme ci dessus. Il existe une subdivision a=a1< . . . <
aN+1 et des r´eels α1, . . . , αNtels que
∀x∈]ak, ak+1[, f (x) = αk.