x0x0+h
f(x0)
f(x0+h)
ab
C
Comme h > 0, on a donc
h×f(x0)6Zx0+h
x0
f(t) dt6h×f(x0+h)
h×f(x0)6F(x0+h)−F(x0)6h×f(x0+h)
f(x0)6F(x0+h)−F(x0)
h6f(x0+h)
Comme fest continue sur [a;b], lim
h→0f(x0+h) = f(x0).
D’apr`es le th´eor`eme des gendarmes, si h > 0, on a lim
h→0
h>0
F(x0+h)−F(x0)
h=f(x0).
– 2`eme cas : si h < 0.
On ´etablit de mˆeme l’encadrement
f(x0+h)6F(x0+h)−F(x0)
h6f(x0)
Il vient toujours d’apr`es le th´eor`eme des gendarmes, lim
h→0
h<0
F(x0+h)−F(x0)
h=f(x0).
On a donc montr´e que lim
h→0
F(x0+h)−F(x0)
h=f(x0).
Donc Fest d´erivable en x0et F′(x0) = f(x0).
On a montr´e ce r´esultat pour un r´eel x0quelconque de l’intervalle [a;b], donc Fest d´erivable sur
[a;b] et F′=f.
Remarque
On admet le th´eor`eme dans le cas g´en´eral.
D´efinition
Soit fune fonction continue sur un intervalle I.
On appelle primitive de fsur Itoute fonction Fd´erivable sur Iet dont la d´eriv´ee est f.
Ainsi, pour tout x∈I,F′(x) = f(x).
Th´eor`eme
Toute fonction continue sur un intervalle Iadmet des primitives sur I.
D´emonstration
Pour la d´emonstration, on se limite au cas o`u I= [a;b] et o`u fadmet un minimum msur I.
La fonction gd´efinie par g(x) = f(x)−mest continue et positive sur [a;b].
D’apr`es le th´eor`eme fondamental, elle admet pour primitive la fonction G:x7→ Zx
a
g(t) dt.
Alors, la fonction Fd´efinie par F(x) = G(x) + mx est une primitive de fsur [a;b].
En effet, Fest d´erivable sur [a;b] et F′(x) = G′(x) + m=g(x) + m=f(x)−m+m=f(x).
Donc fadmet des primitives sur [a;b].
5