
(6) In´egalit´e de Schwarz :
b
a
f(x)g(x)dx2
6b
a
f2(x)dx ·b
a
g2(x)dx.
D´
emonstration : Pour tout t∈Ron a b
a
(f(x)−tg(x))2dx >0 ce qui donne
b
a
(f2(x)−2tf(x)g(x) + t2g2(x)) dx >0
et par (3) b
a
f2(x)dx −2tb
a
f(x)g(x)dx +t2b
a
g2(x)dx >0
et ceci pour tout t. Le discriminant de cette ´equation du 2`eme degr´e en tdoit donc ˆetre
n´egatif ou nul. Ainsi
∆ = B2−4AC = 4 b
a
f(x)g(x)dx2
−4b
a
f2(x)dx b
a
g2(x)dx 60.
Remarque 1.4. La variable d’int´egration est une variable muette. Son changement n’af-
fecte en rien la valeur de l’int´egrale :
b
a
f(x)dx =b
a
f(u)du.
D´efinition 1.5. fest continue par morceaux sur I= [a;b] s’il existe Ik= [xk−1;xk]
k= 1,2, . . . , n avec x0=aet xn=bde telle sorte que f(x) soit continue sur chaque
intervalle ouvert ]xk−1;xk[, continue `a gauche en x1,x2,. . . ,xnet continue `a droite en
chaque x0,x1,. . . ,xn−1.
Th´eor`eme 1.6. Toute fonction continue par morceaux est int´egrable.
Sans d´emonstration.
1.1.3 Th´eor`eme fondamental du calcul int´egral
Dans cette section, nous allons montrer le lien entre l’int´egrale d´efinie et la d´eriv´ee.
Lemme 1.7 (Th´eor`eme de la moyenne du calcul int´egral).Soit I= [a;b],f∈C0(I). Alors
il existe ξ∈Itel que b
a
f(x)dx =f(ξ)·(b−a).