Vous êtes sur la page 1sur 33

CALCUL INTÉGRAL

1. Définition de l'intégrale dans le cas d'une fonction continue positive sur un segment [a, b]

1.1. Définition L'unité d'aire y


r r
Soit P un plan muni d'un repère orthogonal (O ; i , j ).

Soient I, J et K les points définis par : J K


r
uur r uuur r uuur r r j 1 u.a.
OI = i , OJ = j et OK = i + j r
O i I x
On appelle unité d'aire (notée en abrégé u.a.) l'unité de mesure des aires telle que :
Aire(rectangle OIKJ) = 1 u.a.

Remarques :
r r
· OIKJ peut être un carré lorsque le repère (O ; i , j ) est orthonormé.

· Si l'on a, par exemple, OI = 3 cm et OJ = 2 cm, alors une unité d'aire correspond à 6 cm2.

1.2. Définition Notion d'intégrale d'une fonction continue positive en tant qu'aire
r r
Soit P un plan muni d'un repère orthogonal (O ; i , j ).

Soient :
· a et b deux réels avec a  b.

· ¦ une fonction continue (ou continue par morceaux(1)) et positive sur le segment(2) [a, b].
On appelle intégrale de ¦ de a à b l'aire, exprimée en u.a., du domaine D suivant :
D = {M(x, y) Î P tels que a  x  b et 0  y  ¦(x)}
(D est le domaine délimité par la courbe de ¦, l'axe des abscisses et les deux droites verticales d'équations x = a et x = b)

ò
b b
On note cette quantité :
a
¦ (t ) dt ou ò a
¦( x ) dx

Les réels a et b s'appellent les bornes de l'intégrale.


1 u.a. = une unité d'aire
Illustration :
y
L'aire de D est de mesure

FINIE. En effet, ¦ est continue
sur le segment [a, b] donc
1 D majorée. Il existe donc un
rectangle contenant D.
a O 1 b x

Remarques :
La variable t (ou x ou autre) figurant dans l'intégrale est "muette" ; elle peut être notée par toute autre lettre. Le
symbole dt (ou dx) ne joue aucun rôle pour le moment, si ce n'est de préciser quelle est la variable.

(1)
Cette hypothèse est indispensable pour définir l'intégrale d'une fonction en escalier.
(2)
Un segment est un intervalle fermé borné.
Calcul intégral. Page 1 G. COSTANTINI http://bacamaths.net/
Premiers exemples :
r r r r
Rapportons le plan à un repère orthonormé (O ; i , j ) avec || i || = || j || = 1 cm. (Ainsi 1 u.a. correspond à 1 cm2)

Cas d'une fonction ¦ égale à une constante positive (notée k Î +) sur [a, b] alors :

ò
b b

a
¦ (t ) dt = ò a
k dt = (b - a)k u.a .

(On a simplement appliqué la formule longueur ´ largeur pour calculer l'aire d'un rectangle !)


k

D
J
1 u.a.

O I a b x

ò
b
En particulier, si ¦ est nulle sur [a, b] alors : ¦ (t ) dt = 0
a

Cas d'une fonction ¦ affine (notons ¦(x) = mx + p) supposée positive sur [a, b] alors :
(petite base + grande base) ´ hauteur
ò
b
¦ (t ) dt = Aire du trapèze ABB'A' =
a 2

y
mb + p
B'

ma + p
A' D
J
1 u.a.
A B
O I a b x

( AA¢ + BB¢) AB (ma + p + mb + p)(b - a) 1 La formule ci-contre


ò
b
¦ (t ) dt = = = m(b2 - a2) + p(b - a) n'est pas à connaître
a 2 2 2 par cœur.

Cas de la parabole. Soit ¦ la fonction définie sur  par :

¦(x) = x 2
On a vu (voir le DM 1 sur la quadrature de la parabole) qu'alors :
1
ò
1
x 2 dx =
0 3

Cas d'une fonction en escalier (toujours supposée positive) sur [a, b] :


L'ensemble {a0 ; a1 ; ... ; an} est
Il s'agit des fonctions pour lesquelles il existe des réels a0, a1, ..., an vérifiant :
appelé une subdivision adaptée à ¦.
a = a0 < a1 < ... < an = b
tels que ¦ soit constante sur chacun des intervalles ouverts ]ai , ai+1[ (0  i  n - 1)

Calcul intégral. Page 2 G. COSTANTINI http://bacamaths.net/


En notant li la valeur constante de ¦ sur ]ai , ai+1[, on a alors :
n -1

ò å (a
b
¦ (t ) dt = i +1 - ai ) li
a
i =0

(Pas de panique, cette formule n'est qu'une somme d'aires de rectangles !)

Illustration avec n = 4.

Remarque : ¦ peut prendre


y
des valeurs quelconques en
les points de la subdivision,
cela n'aura pas d'incidence
l1 sur l'aire. des rectangles.

l0

l4

l3

O a = a0 a1 a2 a3 a4 = b x

Remarques :
· ¦ peut prendre n'importe quelle valeur en chacun des points ai ; cela ne modifie pas l'aire.
· La formule donnée ci-dessus pour les fonctions en escaliers en fondamentale. C'est cette formule
(généralisée à des li réels quelconques) qui sera prise en définition plus tard (classes post-bac). En effet,
d'une part, il est facile de prouver les propriétés (telle que la linéarité) des intégrales pour les fonctions en
escaliers. D'autre part, il y a un résultat très fort qui est que "toute fonction continue sur un segment peut
être approchée par des fonctions en escaliers" ce qui permet d'étendre les propriétés obtenues sur les
fonctions en escaliers aux fonctions continues. C'est ainsi que l'on construit, par exemple, l'intégrale dite de
Riemann.

Exemple fondamental : quadrature de l'hyperbole


x1
Notons, pour tout x Î [1, +¥[, S(x) l'intégrale : S(x) = ò 1 t
dt

D'après la définition 1.2., S(x) est l'aire du domaine :


D(x) = {M(t, y) Î P tels que 1  t  x et 0  y  ¦(t)}
(D(x) est le domaine délimité par la courbe de la fonction inverse, l'axe des abscisses et les droites verticales d'équations t = 1 et t = x)

Soit t0 un réel fixé de l'intervalle [1, +¥[.


Soit t un réel de l'intervalle [1, +¥[.
Distinguons deux cas :

Calcul intégral. Page 3 G. COSTANTINI http://bacamaths.net/


y

1
t0
1
t

O 1 t0 t x

Cas 1 : t0  t. Alors S(t) - S(t0) est l'aire du domaine délimité par la courbe de la fonction inverse, l'axe des

abscisses et les deux droites verticales d'équations x = t0 et x = t.


1 1
Or, par décroissance de la fonction inverse, on a : 
t t0
1 1
S(t) - S(t0) est encadrée par l'aire de deux rectangles, de largeur (t - t0) et de hauteurs respectives et :
t t0
t - t0 t - t0
 S(t) - S(t0) 
t t0
1 S (t ) - S (t 0 ) 1
On a donc :  
t t - t0 t0

En passant à la limite lorsque t tend vers t0, le théorème des gendarmes permet d'affirmer que l'accroissement
S (t ) - S (t 0 ) 1
moyen admet une limite en t0 égal à , la fonction S est donc dérivable à droite en t0.
t - t0 t0

Cas 2 : t  t0. Un raisonnement analogue à ci-dessus montre que S est dérivable à gauche en t0.
1
Bilan : on a donc : S'(t0) =
t0
Ce raisonnement étant valable pour tout réel t0 de [1, +¥[, on a donc pour tout x de [1, +¥[ :
1
S'(x) =
x
Considérons maintenant la fonction ¦ définie sur [1, +¥[ par :
¦(x) = S(x) - ln x
La fonction ¦ est dérivable sur [1, +¥[ (car la fonction S et le logarithme népérien le sont) et on a :
1 1
¦'(x) = S'(x) - (ln x)' = - =0
x x
En conséquence, ¦ est constante sur [1, +¥[ : ¦(x) = k
Or, ¦(1) = S(1) - ln 1 = 0
D'où k = 0 et ¦ est nulle sur [1, +¥[, on conclut : S = ln
x1
On a montré que pour tout réel x de [1, +¥[ : ò 1 t
dt = ln x

On montre, de même, ce résultat pour x Î ]0 ; 1[.

Calcul intégral. Page 4 G. COSTANTINI http://bacamaths.net/


Exercice :

Soit ¦ la fonction définie sur [-1 ; 1] par : ¦(x) = 1 - x 2


1. Vérifier que la courbe C¦ représentant ¦ est le demi-cercle de centre O et de rayon 1 qui est situé dans le
demi-plan des ordonnées positives.
1 p
2. En déduire : ò 0
1 - x 2 dx =
4
Solution :

1. Soit M(x, y) un point de C¦ . On a alors : y = 1 - x2  0


Donc M est situé dans le demi-plan des ordonnées positives.

De plus : OM2 = x 2 + y 2 = x 2 + 1 - x 2 = 1

Et comme OM  0 (c'est une distance) : OM = 1


Donc M est situé sur le demi-cercle de centre O et de rayon 1 correspondant aux ordonnées positives.
Réciproquement, soit N(a, b) un point de ce demi-cercle. On a alors :
b  0 et ON2 = 1

b  0 et a 2 + b 2 = 1

b  0 et b 2 = 1 - a 2

Et comme a Î [-1, 1], on a 1 - a 2  0, d'où : b = 1 - a 2

b = ¦(a)
N Î C¦
On a montré que la courbe C¦ coïncide avec le demi-cercle de centre O et de rayon 1 qui est situé dans le
demi-plan des ordonnées positives.
1
2. La quantité ò 0
1 - x 2 dx représente l'aire du domaine délimité par C¦, l'axe des abscisses et les droites

verticales d'équations respectives x = 0 et x = 1. Ce domaine est un quart de disque de rayon 1. Son aire est
p
donc égale à :
4
1 p
ò 0
1 - x 2 dx =
4
u.a.

y
1

-1 O 1 x

Calcul intégral. Page 5 G. COSTANTINI http://bacamaths.net/


1.3. Propriété Calcul de l'aire située entre deux courbes
Soient ¦ et g deux fonctions continues et définies sur un segment [a, b].
On suppose que : 0  g  ¦ sur [a, b]
Alors, l'aire du domaine D défini par
D = {M(x, y) Î P tels que a  x  b et g(x)  y  ¦(x)}
b
ò
b
est donnée, en u.a., par :
a
¦ (t ) dt - ò a
g (t ) dt

Démonstration :
Notons, pour toute fonction continue ¦ sur [a, b] :
D(¦) = {M(x, y) Î P tels que a  x  b et y compris entre 0 et ¦(x)}

Ainsi, on a la partition : D(g) C D = D(¦) ( C : union disjointe)

En passant aux aires : Aire(D(g)) + Aire(D) = Aire(D(¦))


b
ò
b
ò a
g (t ) dt + Aire(D) =
a
¦ (t ) dt

D'où le résultat.

Exemple :
Cg C¦
Avec ¦ et g définies sur [0 ; 1] par :
1
¦(x) = x et g(x) = x 2
L'aire D hachurée ci-contre est donnée par :
1 1 1
ò ò
1 1
Aire(D) = x dx - x 2 dx = - =
0 0 2 3 6 1

Exercice :
1
ò
2
Démontrer que : x dx =
0 3
(On pourra se placer dans un repère orthonormé et utiliser la fait que les courbes représentatives des fonctions

définies sur + par x a x 2 et x a x sont symétriques par rapport à la droite d'équation y = x)

1.4. Définition Permutation des bornes


r r
Soit P un plan muni d'un repère (O ; i , j ).

Soient a et b deux réels avec a  b et ¦ une fonction continue sur [a, b].
a b
On convient alors que : ò b
¦(t ) dt = - ò a
¦(t ) dt

Autrement dit, permuter les bornes de l'intégrale change le signe de celle-ci.

Calcul intégral. Page 6 G. COSTANTINI http://bacamaths.net/


2. Extension aux fonctions de signe quelconque sur un segment [a, b]

2.1. Définition Cas d'une fonction négative


r r
Soit P un plan muni d'un repère (O ; i , j ).

Soient a et b deux réels avec a  b.

Soit ¦ une fonction continue (ou continue par morceaux) et négative sur le segment [a, b].
On appelle intégrale de ¦ de a à b l'opposé de l'aire, exprimée en u.a., du domaine D suivant :
D = {M(x, y) Î P tels que a  x  b et ¦(x)  y  0}
b
Cette quantité est encore notée ò a
¦ (t ) dt .

Autrement dit, lorsque ¦ est négative sur [a, b], on a :


b b
ò a
¦ (t ) dt = - ò a
¦ (t ) dt

Exemple :
1
Calculer l'intégrale : ò 0
(-2 x - 2) dx

On vérifie que l'application x a (-2x - 2) est bien négative sur [0 ; 1].


Le domaine D = {M(x, y) Î P tels que 0  x  1 et ¦(x)  y  0} est ici un trapèze d'aire 3 u.a. (exercice)
Comme la fonction intégrée est négative sur [0 ; 1], on en déduit :
1
ò 0
(-2 x - 2) dx = -3

2.2. Définition Cas d'une fonction de signe quelconque


r r
Soit P un plan muni d'un repère (O ; i , j ).

Soient a et b deux réels avec a  b.

Soit ¦ une fonction continue (ou continue par morceaux) sur le segment [a, b].
On définit deux nouvelles fonctions continues(1) (ou continues par morceaux) ¦+ et ¦- par :
ì¦ ( x) si ¦ (x )  0 ì¦ ( x) si ¦ (x )  0
¦+(x) = í et ¦-(x) = í
î0 sinon î0 sinon
(Évidemment ¦+ est positive et ¦- est négative)

On appelle alors intégrale de ¦ de a à b la quantité


b b b
ò ò ò
Cette dernière intégrale est
¦ (t ) dt = ¦ + (t ) dt + ¦ - (t ) dt
a a a négative (car ¦- l'est).

b
En d'autres termes, ò a
¦ (t ) dt se calcule en comptant positivement l'aire des domaines où ¦ est positive et

négativement l'aire des domaines où ¦ est négative.

(1) ¦+ ¦ ¦- ¦
Le lecteur consciencieux pourra vérifier que ¦+ + ¦- = ¦ et ¦+ - ¦- = |¦|. Il en déduira les relations ¦+ = . Ensuite, et ¦- =
2 2
comme ¦ est supposée continue (ou continue par morceaux), l'application |¦| l'est également (par composition) ; et comme la somme (et la
¦+ ¦ ¦- ¦
différence) de fonctions continues (ou continues par morceaux) l'est encore, on en déduit que les applications ¦+ = et ¦- = sont
2 2
bien continues (ou continues par morceaux).
Calcul intégral. Page 7 G. COSTANTINI http://bacamaths.net/
Illustration et représentation des fonctions ¦+ et ¦- :

y

+
a +
O
-
b x
-

y
C¦+

a
O b x

a
O b x

C¦-

2
Exemple :
5
Calculer : I = ò 2
( x - 3) dx
1 C¦

+
1 2 3
Après un calcul élémentaire, on obtient :

I=-
1
+2=
3
O
- 4 5 x

2 2
-1

Calculer l'aire A du domaine hachuré.


Cette fois-ci : -2
1 5
A= +2=
2 2
-3

Calcul intégral. Page 8 G. COSTANTINI http://bacamaths.net/


Remarques :
· L'intégrale (d'une fonction continue sur un segment) est donc une aire algébrique.
· On verra, plus loin, une méthode plus rapide de calcul des intégrales à l'aide des fonctions primitives.

3. Premières propriétés de l'intégrale d'une fonction ¦ sur un segment [a, b]

3.1. Propriété Positivité de l'intégrale


Si ¦ est continue et positive sur le segment [a, b] avec a  b, alors :
b
ò a
¦ (t ) dt  0

Démonstration :
C'est immédiat puisque une aire est positive.
Remarques :
Évidemment, si ¦ est négative sur [a, b] alors son intégrale est négative.
Par contre, on ne peut rien dire, a priori, du signe de l'intégrale d'une fonction changeant de signe sur [a, b].

3.2. Propriété Compatibilité avec l'ordre (intégration d'une inégalité)


Si ¦ et g sont continues sur le segment [a, b] avec a  b alors :
b b
¦  g sur [a, b] Þ ò a
¦ (t ) dt  ò a
g (t ) dt

Démonstration :
Étudions d'abord le cas où ¦ et g sont positives (on a donc 0  ¦  g sur [a, b]) :

Notons pour toute fonction continue ¦ sur [a, b] :


D(¦) = {M(x, y) Î P tels que a  x  b et 0  y  ¦(x)}
et
D = {M(x, y) Î P tels que a  x  b et ¦(x)  y  g(x)}

Cg

D(¦)

O a b x

Vu les hypothèses, on a la partition suivante :


D(g) = D(¦) C D
b
ò
b
D'où :
a
g (t ) dt = ò a
¦ (t ) dt + Aire(D)

Calcul intégral. Page 9 G. COSTANTINI http://bacamaths.net/


b
ò
b
Et comme Aire(D)  0, nous obtenons : ò a
¦ (t ) dt 
a
g (t ) dt

Étudions maintenant le cas où ¦ et g sont de signes quelconques sur [a, b].


On suppose toujours que : ¦  g sur [a, b]

Comme ¦ est continue sur [a, b], elle est bornée (et atteint ses bornes). Notons m le minimum de ¦ sur [a, b].
Ainsi les fonctions ¦ - m et g - m sont positives sur [a, b].
Il est clair que l'aire du domaine D compris entre les courbes de ¦ et de g est égale à celle du domaine compris
entre les courbes translatées de ¦ - m et g - m :
b
ò
b b b
Aire(D) =
a
g (t ) dt - ò a
¦ (t ) dt = ò a
( g (t ) - m) dt - ò a
(¦ (t ) - m) dt

b
ò
b
On en déduit, là encore que : ò a
¦ (t ) dt 
a
g (t ) dt

Exemple :
1. Démontrer que pour tout réel t Î + :
1
1-t 1
1+ t
2. En déduire que pour tout x Î + :

x2
x-  ln(1 + x)  x
2
Solution :

1. Comme t Î +, on peut écrire : 1 - t2  1  1 + t

(1 - t)(1 + t)  1  1 + t

1
Et en divisant par 1 + t > 0 : 1-t 1
1+ t
2. Soit x Î +. En intégrant, entre 0 et x, l'encadrement ci-dessus, on obtient :
x x x
ò ò ò
1
(1 - t ) dt  dt  1dt
0 0 1+ t 0

Or, l'aire sous la courbe représentant la fonction t a


1
entre les points d'abscisses 0 et x est la même
1+ t
(via une translation) que celle sous la courbe de la fonction inverse entre les points d'abscisses 1 et x + 1.
D'après le résultat obtenu lors de la quadrature de l'hyperbole, on a :
x x +1 1
ò ò
1
dt = dt = ln(x + 1)
0 1+ t 1 t Naturellement, nous verrons plus
loin des techniques plus pratiques
Par ailleurs, on calcule facilement :
pour calculer ces intégrales à l'aide
x x2 x
ò (1 - t ) dt = x - ò 1dt = x des fonctions primitives.
et
0 2 0

x2
D'où : x-  ln(1 + x)  x
2

Calcul intégral. Page 10 G. COSTANTINI http://bacamaths.net/


3.3. Propriété Inégalité triangulaire
Soit ¦ une fonction continue sur un segment [a, b] (a  b).
b b
Alors : ò a
¦(t ) dt  ò a
¦(t ) dt

Démonstration :
On a toujours : -|¦|  ¦  |¦| sur [a, b]

En intégrant les inégalités entre a et b (a  b), on obtient :


b b b
- ò a
¦(t ) dt  ò a
¦ (t ) dt  ò a
¦(t ) dt

b b
D'où : ò a
¦(t ) dt  ò a
¦(t ) dt

3.4. Propriété Relation de Chasles


Soit ¦ une fonction continue sur un segment I.
Soient a, b et c dans I.
b c b
Alors : ò a
¦ (t ) dt = ò a
¦ (t ) dt + ò c
¦ (t ) dt

Démonstration :
r r
Notons P le plan muni d'un repère orthogonal (O ; i , j ).

Pour tous réels a et b de I, on note :


D(a, b) = {M(x, y) Î P, a  x  b et y compris entre 0 et ¦(x)}
(D(a, b) est le domaine délimité par la courbe de ¦, l'axe des abscisses et les deux droites verticales d'équations respectives x = a et x = b)

Distinguons plusieurs cas :


Cas a  c  b :

Dans ce cas, on a : D(a, b) = D(a, c) C D(c, b) ( C : union disjointe)


En passant aux aires, on obtient :
Aire(D(a, b)) = Aire(D(a, c)) + Aire(D(c, b))
b c b
D'où : ò a
¦ (t ) dt = ò a
¦ (t ) dt + ò c
¦ (t ) dt

a b
Autres cas : ils se déduisent du précédent à l'aide de la relation ò b
¦(t ) dt = - ò a
¦(t ) dt .

Pour mémoire, démontrons l'un de ces autres cas, par exemple a  b  c.


D'après la relation de Chasles (cas précédent), on peut écrire :
c b c
ò a
¦ (t ) dt = ò a
¦ (t ) dt + ò b
¦ (t ) dt

b c c c b
D'où : ò a
¦ (t ) dt = ò a
¦ (t ) dt - ò b
¦ (t ) dt = ò a
¦ (t ) dt + ò c
¦ (t ) dt

Calcul intégral. Page 11 G. COSTANTINI http://bacamaths.net/


Remarques :
Cette relation de Chasles sera utilisée dans les deux sens (comme sa cousine pour les vecteurs), soit pour
décomposer une intégrale en deux (ou plus) soit pour regrouper plusieurs intégrales en une seule.
La relation de Chasles admet une généralisation par récurrence :
n -1

åò
an ai +1
Pour tout a0, a1, ..., an dans I : ò a0
¦ (t ) dt =
i =0
ai
¦ (t ) dt

Exemple d'utilisation de la relation de Chasles : divergence de la série harmonique.


n

åk
1
On pose, pour tout n Î  : un =
k =1

1
Soit n  2. Comme l'application t a est décroissante sur ]0 ; +¥[, on a, pour tout k  1:
t
k +1 1
ò
1
dt 
k t k
En sommant, pour k allant de 1 à n, la relation de Chasles donne :
n La méthode ci-contre est
n +1 1
ò å
1
dt  une des plus efficace
1 t k =1
k
pour prouver la

n divergence vers +¥ de la

å
1
ln(n + 1)  série harmonique.
k =1
k
Or, lim ln(n + 1) = +¥, donc, par comparaison, la suite (un) diverge.
n ® +¥

3.5. Propriété Compatibilité avec l'addition

Soient ¦ et g deux fonctions continues sur un segment [a, b]. Alors :

b
( ¦ (t ) + g (t ) ) dt = ò ¦ (t ) dt + ò g (t ) dt
b b
ò a a a

Démonstration (Hors programme)

C'est un cas particulier de la linéarité de l'intégrale et c'est très délicat à prouver. Nous aurons besoin de deux
lemmes importants sur les fonctions en escalier.

Lemme 1 Propriété de compatibilité avec l'addition pour les fonctions en escaliers

Soient j et y deux fonctions en escaliers sur un segment [a, b]. Alors :


b b b
ò a
( j(t ) + y(t ) ) dt = ò j(t ) dt + ò y(t ) dt
a a

Démonstration (Hors programme)


Il existe donc un entier m Î * et des réels a0, ..., am vérifiant :

a = a0 < a1 < ... < am = b

et tels que : "k Î 0, m - 1, j est constante sur ]ak, ak+1[

Calcul intégral. Page 12 G. COSTANTINI http://bacamaths.net/


De même, il existe un entier n Î * et des réels b0, ..., bn vérifiant :

a = b0 < b1 < ... < bn = b

et tels que : "k Î 0, n - 1, y est constante sur ]bk, bk+1[

Notons s1 = {a0 ; ... ; am}, s2 = {b0 ; ... ; bn} et s = s1 È s2.


La subdivision s contient au maximum m + n + 2 abscisses distinctes et au minimum 2.
Notons c0, ..., cr les éléments ordonnés de cette subdivision s (1  r  m + n + 1).

Ainsi j et y sont des constantes (notées lk et mk respectivement) sur chaque intervalle ]ck, ck+1[ (0  k  r - 1).
On a alors :
r -1 r -1 r -1

å (l ål åm
b b b
ò a
( j(t ) + y(t ) ) dt =
k =0
k + mk ) ( ck +1 - ck ) =
k =0
k ( ck +1 - ck ) +
k =0
k ( ck +1 - ck ) = ò a
j(t ) dt + ò a
y(t ) dt

(On a utilisé la propriété suivante :


l'intégrale d'une fonction en escalier e est indépendante de la subdivision adaptée à e)

Lemme 2
Soit ¦ une fonction continue sur un segment [a, b]. Soit e Î +.

Il existe des fonctions en escaliers j et y telles que :


j  ¦  y sur I et y - j  e sur I

Démonstration (Hors programme)


Pour tout n Î *, on définit une subdivision régulière {a0, a1, ..., an} du segment [a, b] par :

"k Î 0, n, ak = a + k


b-a
n
Comme ¦ est continue sur [a, b], elle l'est aussi sur chacun des segments [ak, ak+1] (0  k  n - 1), donc y est

bornée, ce qui permet de définir : Mk = sup ¦ (t ) et mk = inf ¦ (t )


t Î[ ak , ak +1 ] t Î[ ak , ak +1 ]

On définit alors des applications en escalier j et y sur [a, b] par :

"k Î 0, n - 1, "t Î [ak, ak+1], j(t) = mk et y(t) = Mk

et : j(b) = mn-1 et y(b) = Mn-1


Ainsi, on a bien : j  ¦  y sur [a, b]

Par ailleurs, ¦ étant continue sur le segment [a, b], elle y est uniformément continue (théorème de Heine) :

"e Î  *+ , $h Î  *+ , "(x, y) Î [a, b]2, (|x - y|  h Þ |¦(x) - ¦(y)|  e)

Soit h le réel obtenu pour le réel e fixé dans les hypothèses.


b-a
On sait que le pas de la subdivision est :
n
Soit k Î 0, n - 1 et (x, y) Î [ak, ak+1]. On a donc :
b-a
|x - y|  ak+1 - ak 
n
Choisissons un pas plus fin que h, obtenu pour les entiers n qui vérifient :

Calcul intégral. Page 13 G. COSTANTINI http://bacamaths.net/


æb-aö
n  Eç ÷+1
è h ø
Ainsi : |x - y|  h

De la continuité uniforme de ¦, on déduit : |¦(x) - ¦(y)|  e

Cette dernière inégalité étant valable pour tous x et y de [ak, ak+1].


En particulier pour un x tel que ¦(x) = Mk et un y tel que ¦(y) = mk (existent bien car ¦ atteint ses bornes) :
Mk - mk  e

D'où y - j  e sur chaque [ak, ak+1] et donc sur [a, b]


Fin de la démonstration du lemme 2.
Prouvons maintenant la propriété de compatibilité avec l'addition :

Soit e Î  *+ . D'après le lemme, il existe j1, j2, y1 et y2 en escaliers sur [a, b] telles que :
e e
j1  ¦  y1, j2  g  y2, y1 - j1  et y2 - j2  sur [a, b]
2 2
Posons : j = j1 + j2 et y = y1 + y2
j et y sont alors des fonctions en escalier (ce n'est pas très difficile à prouver en considérant une subdivision
adaptée à la fois à j1 et j2 (pour j) ou y1 et y2 (pour y) ; il suffit pour cela de considérer la réunion des points
de chacune des deux subdivisions)
Ainsi on a évidemment : j  ¦ + g  y et y - j  e
De plus, d'après la propriété d'intégration d'une inégalité :
b b b
ò a
( ¦ (t ) + g (t ) ) dt  ò Y (t ) dt 
a ò a
j(t ) + e dt

Et comme l'intégrale des fonctions en escaliers est compatible avec l'addition :


b b
ò a
j(t ) + e dt = ò a
j(t ) dt + e(b - a)

D'après le lemme 1, comme j est la somme des fonctions en escalier j1 et j2 :


b b b
ò a
j(t ) dt = ò a
j1 (t ) dt + ò a
j2 (t ) dt

b b b
D'où : ò a
( ¦ (t ) + g (t ) ) dt  ò a
j1 (t ) dt + ò a
j2 (t ) dt + e(b - a)

Et d'après la propriété d'intégration d'une inégalité, il vient finalement :


b
( ¦ (t ) + g (t ) ) dt  ò ¦ (t ) dt + ò g (t ) dt + e(b - a)
b b
ò a a a

Par des arguments du même genre :


b
ò
b b b b b b
ò a
¦ ( t ) dt +
a
g (t ) dt  ò a
y1 (t ) dt + ò a
y 2 (t ) dt  ò a
y(t ) dt  ò a
j(t ) dt + e(b - a)  ò a
( ¦ (t ) + g (t ) ) dt + e(b - a)

En faisant tendre e vers 0 dans les deux inégalités, on obtient finalement :


b
( ¦ (t ) + g (t ) ) dt = ò ¦ (t ) dt + ò g (t ) dt
b b
ò a a a

D'autres propriétés seront évoquées plus loin après le paragraphe 4 sur les primitives.

Calcul intégral. Page 14 G. COSTANTINI http://bacamaths.net/


4. Notion de primitive d'une fonction sur un intervalle

4.1. Définition
Soit ¦ une fonction définie sur un intervalle I.
On appelle primitive de ¦ sur I toute fonction F dérivable sur I telle que F' = ¦ sur I.

Exemple :

On considère la fonction ¦ définie sur  par : ¦(x) = 3 x 2 - 2x + cos x

Trouver (mentalement) une primitive F de ¦ sur .

La fonction F définie ci-après convient : F(x) = x 3 - x 2 + sin x


En effet, pour tout x Î , la fonction F est dérivable (comme somme de fonctions qui le sont) et on a :

F'(x) = 3 x 2 - 2x + cos x = ¦(x)

Remarquons que si l'on avait choisi pour F la fonction définie par F(x) = x 3 - x 2 + sin x + 24, nous aurions
encore eu une candidate satisfaisante. Donc si une fonction ¦ admet une primitive, alors elle en admet une
infinité.
Remarque : la définition reste valable si I est une partie (non vide) de .

4.2. Théorème
Soit ¦ une fonction admettant des primitives sur un intervalle I.
Soient F et G deux primitives d'une fonction ¦ sur un intervalle I.
Alors F et G diffèrent d'une constante :

F(x) = G(x) + c (c Î ) pour tout x Î I

Démonstration :
Puisque F et G sont des primitives de ¦ sur I, on a :
F' = G' = ¦ sur I
Par conséquent : F'- G' = 0 sur I
Or, F'- G' = (F - G)' (c'est la linéarité de la dérivation).
Donc : (F - G)' = 0 sur I
Or, les seules fonctions qui ont une dérivée nulle sont les fonctions constantes(1), donc on a, sur I, :
F - G = c où c est une constante.

CF
CG
Graphiquement, dans un repère orthonormal c
r r
(O ; i , j ) les représentations graphiques CF

et CG se correspondent par une translation de


®
r j
vecteur c j . O ®
a b x
i

(1)
Ce résultat (qui a été admis en classe de première) se démontre à l'aide du théorème des accroissements finis.
Calcul intégral. Page 15 G. COSTANTINI http://bacamaths.net/
4.3. Tableau des primitives usuelles
Les résultats de ces tableaux s'établissent en vérifiant que l'on a bien F' = ¦ sur l'intervalle considéré.

Fonction ¦ Fonction primitive F (c = Intervalle I


constante)

¦(x) = k (constante) F(x) = kx + c 

1 2
¦(x) = x F(x) = x +c 
2

1
¦(x) = ax + b F(x) = a x 2 + bx + c 
2

 si n > 0 ;
x n +1
¦(x) = x n (n Î * et n ¹ -1) F(x) = +c
n +1 ]-¥ ; 0 [ ou ]0 ; +¥[ si n  -2

1
¦(x) = F(x) = 2 x + c ]0 ; +¥[
x

1 1
¦(x) = F(x) = - +c ]-¥ ; 0[ ou ]0 ; +¥[
x2 x

¦(x) = cos x F(x) = sin x + c 

¦(x) = sin x F(x) = -cos x + c 

¦(x) = 1 + tan2 x =
1
F(x) = tan x + c ùp p é
cos2 x úû 2 + k p ; 2 + (k + 1)p êë (k Î )

1
¦(t) = cos(wt + j) (w ¹ 0) F(t) = sin(wt + j) + c 
w

1
¦(t) = sin(wt + j) (w ¹ 0) F(t ) = - cos(wt + j) + c 
w

¦(x) = e x F(x) = e x + c 

1
¦(x) = F(x) = ln x + c ]0 ; +¥[
x

Exemples : trouver une primitive :


p p
· Fonction g définie sur I = ùú - ; éê par : g(x) = tan2 x tan2 x représente (tan(x))2.
û 2 2ë
Posons : h(x) = g(x) + 1 = 1 + tan2 x
Une primitive H de h sur I est définie par :
H(x) = tan x = x + G(x) où G est une primitive de g sur I
D'où : G(x) = H(x) - x = tan x - x
p
· Fonction ¦ définie sur J = ùú 0 ; éê par :
û 2ë

Calcul intégral. Page 16 G. COSTANTINI http://bacamaths.net/


3 2
¦(x) = 2 sin(3x) - 3cos(2x) + 4 + tan2 x - + 2
x x
Une primitive F de ¦ sur J est définie par :
2 3 2
F(x) = - cos(3x) - sin(2x) + 3x + tan x - 6 x - (+ c)
3 2 x

4.4. Opérations sur les primitives

OPÉRATIONS SUR LES PRIMITIVES


lorsque u et v sont des fonctions dérivables sur un intervalle I

Fonction Une primitive Conditions

u' + v' u+v

ku' (k : constante) ku

u n+1 u ¹ 0 sur I si n  0
u' u n (n Î  et n ¹ -1)
n +1


2 u u > 0 sur I
u

v¢ 1
- v ¹ 0 sur I
v2 v

u' eu eu

u¢ ln u si u > 0 sur I
u ln(-u) si u < 0 sur I

u' (v' o u) vou

Exemple :
Trouver une primitive F de la fonction ¦ définie sur ]0 ; +¥[ par :
ln x
¦(x) =
x
1 2
La fonction ¦ est de la forme u' u. Donc F est de la forme u :
2
1
F(x) = (ln x)2 (+ c)
2

Exercice :
2
Soit F la fonction définie sur ]0 ; +¥[ par : F(x) = x x
3
Calculer F'(x). Qu'a-t-on démontré ?

Calcul intégral. Page 17 G. COSTANTINI http://bacamaths.net/


4.5. Théorème Primitive définie par une condition initiale
Soit ¦ une fonction définie sur un intervalle I admettant des primitives sur I.
Soient x0 Î I et y0 Î .
Il existe une unique primitive F de ¦ sur I satisfaisant la condition initiale F(x0) = y0.

Démonstration :
Soit G une primitive de ¦ sur I (existe par hypothèse).
D'après le théorème 4.2., toutes les primitives F de ¦ sur I sont de la forme F = G + c (où c est une constante)
La condition F(x0) = y0 impose c = y0 - G(x0).
La constante c est déterminée de manière unique, ce qui démontre le théorème.
Exemple :
x
Soit ¦ la fonction définie sur  par : ¦(x) =
x2 + 1
Trouver l'unique primitive F de ¦ sur  telle que F(0) = 2.
2x
Remarquons que ¦(x) peut s'écrire : ¦(x) =
2 x2 + 1
On reconnaît l'expression dérivée de x2 + 1 .
Les primitives F de ¦ sur I sont de la forme : F(x) = x2 + 1 + c

La condition initiale F(0) = 2 s'interprète par 02 + 1 + c = 2 d'où c = 1.

Conclusion : la primitive cherchée est la fonction F définie par F(x) = x 2 + 1 + 1.

Remarque : une question légitime qui se pose dans ce paragraphe est la suivante : une fonction admet-elle
toujours des primitives ? La réponse est non en général. Cependant si notre fonction est continue... Eh bien c'est
ce que nous allons voir dans le paragraphe suivant.

5. Théorème fondamental du calcul intégral. Formule de Newton-Leibniz

Nous allons voir maintenant le théorème fondamental du calcul intégral qui aura pour conséquence que toute
fonction continue admet des primitives.

5.1. Théorème
Soit ¦ une fonction continue sur un intervalle I.
Soit x0 Î I.
La fonction F définie sur I par
x
F(x) = ò x0
¦ (t ) dt

est l'unique primitive de ¦ sur I s'annulant en x0.


Autrement dit :
F(x0) = 0, F est dérivable sur I et pour tout réel x Î I : F'(x) = ¦(x)

Démonstration (Hors programme)

Le fait que F(x0) soit nul est une banalité.

Calcul intégral. Page 18 G. COSTANTINI http://bacamaths.net/


F ( x ) - F ( x1 )
Soit x1 Î I. Nous allons montrer que l'accroissement moyen admet une limite lorsque x tend vers
x - x1

x1 et que cette limite est précisément ¦(x1).


Évaluons :
F ( x ) - F ( x1 ) x x1
ò ò
1
- ¦( x1 ) = ¦(t ) dt - ¦(t ) dt - ( x - x1 )¦ ( x1 )
x - x1 x - x1 x0 x0

En utilisant la relation de Chasles et la formule d'intégration pour une fonction constante, on peut écrire :

F ( x ) - F ( x1 ) x x
ò ò
1
- ¦( x1 ) = ¦ (t ) dt - ¦( x1 ) dt
x - x1 x - x1 x1 x1

Mais d'après la propriété de compatibilité avec l'addition :


x x x
ò x1
¦ (t ) dt - ò x1
¦( x1 ) dt = ò x1
( ¦ (t ) - ¦ ( x1 ) ) dt

F ( x ) - F ( x1 ) x
ò
1
D'où : - ¦( x1 ) = ( ¦ (t ) - ¦( x1 ) ) dt
x - x1 x - x1 x1

Et d'après l'inégalité triangulaire :

F ( x ) - F ( x1 ) x
ò
1
- ¦( x1 )  ¦ (t ) - ¦ ( x1 ) dt
x - x1 x - x1 x1

Or, ¦ est continue en x1 donc admet une limite finie en x1. Cela signifie que tout intervalle ouvert et centré en
¦(x1) contient toutes les valeurs de ¦(t) pour t assez proche de x1 :

Soit e Î  *+ et I = ]¦(x1) - e, ¦(x1) + e[. Alors, il existe un réel h tel que pour tout t Î ]x1 - h, x1 + h[, on ait :

¦(t) Î ]¦(x1) - e, ¦(x1) + e[


C'est-à-dire : |¦(t) - ¦(x1)| < e

F ( x ) - F ( x1 )
D'où : - ¦( x1 )  e
x - x1

Comme e peut être choisi aussi petit que voulu, on a bien :


F ( x ) - F ( x1 )
lim = ¦(x1)
x ® x1 x - x1

Donc, F est dérivable en x1 et : F'(x1) = ¦(x1)


Et comme ce raisonnement est valable pour tout x1 Î I, F est bien une primitive de ¦ sur I.

Remarque : dans le cas où ¦ est une fonction croissante sur I, il existe une démonstration plus simple (cette
démonstration est au programme et fait partie des connaissances exigibles) :
F ( x ) - F ( x1 )
Soit x1 Î I fixé. Nous allons montrer que l'accroissement moyen admet une limite lorsque x tend
x - x1

vers x1 et que cette limite est précisément ¦(x1).


Cas 1 : soit x Î I avec x > x1.
Pour tout t Î I tel que x1  t  x, la croissance de la fonction ¦ nous permet d'écrire :

¦(x1)  ¦(t)  ¦(x)


En intégrant cet encadrement entre x1 et x, nous obtenons :

Calcul intégral. Page 19 G. COSTANTINI http://bacamaths.net/


x
¦(x1)(x - x1)  ò x1
¦ (t ) dt  ¦(x)(x - x1)

Or, d'après la relation de Chasles :


x x0 x x x1
ò x1
¦ (t ) dt = ò x1
¦ (t ) dt + ò x0
¦ (t ) dt = ò x0
¦ (t ) dt - ò x0
¦ (t ) dt = F(x) - F(x1)

Puisque x > x1, on peut donc écrire :


F ( x ) - F ( x1 )
¦(x1)   ¦(x)
x - x1

Comme ¦ est continue en x1 : lim ¦(x) = ¦(x1)


x ® x1
x > x1

D'où, par le théorème des gendarmes :


F ( x ) - F ( x1 )
lim = ¦(x1)
x ® x1 x - x1
x > x1

Cas 2 : soit x Î I avec x < x1.


Pour tout t Î I tel que x  t  x1, la croissance de la fonction ¦ nous permet d'écrire :

¦(x)  ¦(t)  ¦(x1)


En intégrant cet encadrement entre x et x1, nous obtenons :
x1
¦(x)(x1 - x)  ò x
¦ (t ) dt  ¦(x1)(x1 - x)

Or, d'après la relation de Chasles :


x1 x0 x1 x1 x
ò x
¦ (t ) dt = ò x
¦ ( t ) dt + ò x0
¦ (t ) dt = ò x0
¦ (t ) dt - ò x0
¦ (t ) dt = F(x1) - F(x)

Puisque x1 > x, on peut donc écrire :


F ( x1 ) - F ( x)
¦(x)   ¦(x1)
x1 - x

Comme ¦ est continue en x1 : lim ¦(x) = ¦(x1)


x ® x1
x < x1

D'où, par le théorème des gendarmes :


F ( x ) - F ( x1 )
lim = ¦(x1)
x ® x1 x - x1
x < x1

F ( x ) - F ( x1 )
Bilan : on a bien : lim = ¦(x1)
x ® x1 x - x1

Ceci étant valable pour tout x1 Î I. Donc la fonction F est dérivable sur I et pour tout x Î I :
F'(x) = ¦(x)

Calcul intégral. Page 20 G. COSTANTINI http://bacamaths.net/


Ce théorème admet les corollaires fondamentaux suivants :

5.2. Corollaire 1 Existence de primitives pour les fonctions continues


Toute fonction continue sur un intervalle I admet des primitives sur I.

Démonstration
C'est immédiat car si ¦ désigne une fonction continue sur I, une primitive F de ¦ sur I est donnée par :
x
F(x) = ò x0
¦ (t ) dt (x0 Î I)

Question : une fonction non continue ¦ peut-elle admettre des primitives sur ses intervalles de continuité ?
Réponse 1 : oui si ¦ est continue par morceaux :
1
ì1 si x  0
Par exemple : ¦(x) = í
î- 1 sinon
-1
Sur [0 ; +¥[, ¦ admet des primitives F+ de la forme : F+(x) = x + c+.
Sur ]-¥, 0[, ¦ admet des primitives F- de la forme : F-(x) = -x + c-.
Notons que l'on peut très bien choisir c+ ¹ c-.

ì x + c+ si x  0
On peut alors construire une fonction F sur  qui est continue par morceaux : F(x) = í
î- x + c- sinon

CF+

CF-
c+

c-

On peut même s'arranger pour que F soit continue, il suffit de recoller les morceaux en choisissant c+ = c-.
Cependant, F n'est pas une primitive de ¦ sur  car non dérivable en 0.

Réponse 2 : non si ¦ admet une infinité de discontinuités :

ì1 si x Î
Par exemple : ¦(x) = í
î0 si x Î \ 

5.3. Corollaire 2 Formule de Newton-Leibniz


Soit ¦ une fonction continue sur un intervalle I et F une primitive de ¦ sur I. Alors pour tous a et b dans I :
b
ò a
¦ (t ) dt = F(b) - F(a)

Démonstration
x
Soit x0 Î I et G la primitive de ¦ définie par : G(x) = ò a
¦ (t ) dt

On sait que deux primitives F et G diffèrent d'une constante. Donc il existe un réel k tel que pour tout x de I :
F(x) = G(x) + k
b
On a alors : F(b) - F(a) = G(b) - G(a) = ò a
¦ (t ) dt

Notation : la quantité F(b) - F(a) se note très souvent [ F (t )] ba (c'est commode dans la pratique).

Calcul intégral. Page 21 G. COSTANTINI http://bacamaths.net/


Exemples :
2
2 é 1ù
ò
1 1 1
· dx = êë- =- +1=
1 x2 x úû1 2 2
p
p
p æ pö
ò cos t dt = [ sin t ] -2 p = sin
2
· - sin ç - ÷ = 2
-
p
2 2 2 è 2ø
1
ò
1
· e t dt = éëet ùû = e - 1
0 0

1
ò e dt = éëe ùû
1
· t t
= e - ex
x x

x1
ò dt = [ lnt ]1 = ln x - ln 1 = ln x
x
·
1 t
1
é x n+ 1 ù
ò
1 1
· x n dx = ê ú =
0
ë n + 1 û0 n +1

x
é t 1- n ù 1 é 1 ù
ò
x 1 x
·
1 tn
dt =
1 ò
t - n dt = ê
ë 1 - n
ú =
û1 1 - n êë x n -1 - 1úû

ò
e 1 e

ò [ ]2
· dt = x dt = ln(ln t ) e = -ln(ln 2)
2 x ln x 2 ln x

Commentaires :
Le choix de la primitive F choisie n'influe pas le résultat de l'intégrale. En effet, si F et G sont deux primitives
d'une même fonction ¦ sur I, alors elles différent d'une constante. Les quantités F(b) - F(a) et G(b) - G(a) sont
donc égales.

Application de la formule de Newton-Leibniz : une démonstration de l'inégalité des accroissements finis :


Soit ¦ une fonction dérivable sur un intervalle I telle que ¦' soit continue sur I.
S'il existe un réel M tel que |¦'|  M sur I alors :

pour tous réels a et b de I, on a : |¦(b) - ¦(a)|  M|b - a|


Pour a < b, on a :
b b
|¦(b) - ¦(a)| = ò a
¦ ¢(t ) dt  ò
a
¦¢(t ) dt  M(b - a)  M|b - a|

Pour a > b, on a :
a a
|¦(b) - ¦(a)| = ò
b
¦¢(t ) dt  ò
b
¦¢(t ) dt  M(a - b)  M|b - a|

Remarque : la démonstration traditionnelle de l'inégalité des accroissements finis (en étudiant les variations des
fonctions x a ¦(x) - Mx et x a ¦(x) + Mx) permet de se passer de la condition "¦' continue sur I ".

Calcul intégral. Page 22 G. COSTANTINI http://bacamaths.net/


5.4. Propriété Linéarité de l'intégrale

Soient ¦ et g deux fonctions continues sur un segment [a, b] et k un réel. Alors :


b b b b b
ò a
( ¦(t ) + g (t )) dt = ò a
¦ (t ) dt + ò a
g (t ) dt et ò a
k ¦ (t ) dt = k ò a
¦ (t ) dt

Démonstration :
La première égalité a déjà été démontrée (compatibilité avec l'addition)
La deuxième, qui n'a encore jamais été utilisée dans les démonstrations précédentes se prouve facilement avec
la formule de Newton-Leibniz. Soit F une primitive de ¦ sur [a, b]. Alors, une primitive de k¦ est kF d'où :
b b
ò a
k ¦ (t ) dt = kF(b) - kF(a) = k[F(b) - F(a)] = k ò a
¦ (t ) dt

Exemple :
1
Calculer : I= ò 0
e3 x dx

1
ò
1
Il suffit d'écrire, par linéarité : I= 3e3 x dx
3 0

Comme une primitive de x a 3 e3x sur [0, 1] est x a e3x , nous avons :

1 3 x 1 e3 - 1
I= ée ù =
3 ë û0 3

Exercice simple :
ln x
On considère la fonction ¦ définie sur ]0 ; +¥[ par : ¦(x) = -x + 5 - 2 . On note C¦ son graphe.
x
1. Démontrer que C¦ admet une asymptote oblique D en +¥ dont on précisera son équation ainsi que sa
position par rapport à C¦.

2. Étudier les variations de ¦. (On étudiera le signe de g : x a - x 2 - 2 + 2ln x)


3. Calculer une primitive F de ¦ et déterminer l'aire A (en u.a.) du domaine :

[ ]
e
{(x ; y) tels que 1  x  e et ¦(x)  y  -x + 5} (Réponse : ( ln x ) 2 1 = 1)

6. Parité et périodicité

6.1. Théorème (Parité)


Soit ¦ une fonction continue sur un intervalle symétrique [-a, a].
a a
· Si ¦ est paire alors : ò -a
¦ (t ) dt = 2 ò 0
¦ (t ) dt
a
· Si ¦ est impaire alors : ò -a
¦ (t ) dt = 0

Calcul intégral. Page 23 G. COSTANTINI http://bacamaths.net/


6.2. Théorème (Périodicité)
Soit ¦ une fonction continue sur  et T-périodique. Alors, pour tout réel a :
a +T T
ò a
¦(t ) dt = ò 0
¦ (t ) dt

Démonstrations :
Relation de Chasles puis changement de variable (x = -t) pour la parité.
Périodicité : encore d'après la relation de Chasles :
a +T 0 T a +T
ò a
¦(t ) dt = ò a
¦ (t ) dt + ò 0
¦ (t ) dt + ò T
¦(t ) dt

a +T a
En posant u = t - T, dans la troisième intégrale, on obtient (du = dt) : ò T
¦(t ) dt = ò 0
¦(u + T ) du

a a
Et comme ¦ est T-périodique : ¦(u + T) = ¦(u) pour tout u, d'où ò 0
¦(u + T ) du = ò 0
¦ (u) du

a +T 0 T a T
Et finalement : ò a
¦(t ) dt = ò a
¦ (t ) dt + ò 0
¦ (t ) dt + ò 0
¦ (u) du = ò 0
¦ (t ) dt

x 92 ( cos x )
27
1 sin x
Exemple : ò x dx = 0
( x + 1)
-1 2 28

7. Valeur moyenne d'une fonction ¦ sur un segment [a, b]

Introduction : supposons que l'on veuille niveler un terrain dont le profil n'est pas horizontal (de sorte que les
remblais compensent exactement les déblais). Comment procéder ?

a b

Notons ¦ la fonction représentant le profil. On cherche dont une constante m vérifiant :

ò
b
m(b - a) = ¦ (t ) dt
a

b
ò
1
On a donc : m= ¦ (t ) dt
b-a a

Calcul intégral. Page 24 G. COSTANTINI http://bacamaths.net/


7.1. Définition
Soit ¦ une fonction continue sur un segment I = [a, b].
On appelle valeur moyenne de ¦ sur l'intervalle I le nombre réel m défini par :
b
ò
1
m= ¦ (t ) dt
b-a a
On note souvent ¦ au lieu de m.

Exemple : Soit ¦ le signal sinusoïdal 2p-périodique défini par : ¦(t) = sin t.

Calculer la moyenne ¦ sur [0, 2p] ainsi que la moyenne quadratique ¦ 2 sur [0, 2p].

ò
1 2p
¦= sin t dt = 0
2p 0

2p 2p
ò
2
ò [ t ] 2p = 2 d'où
1 1 1 1
¦2 = sin 2 t dt = 1 - cos(2t ) dt = ¦2 =
2p 0 4p 0 4p 0 2
Lien avec l'électricité :
On appelle intensité efficace Ieff d'un courant alternatif, l'intensité d'un courant continu (on devrait plutôt dire
"constant") qui produirait, à travers la même résistance R, le même effet calorifique pendant la durée d'une
période T. Dans le cas d'un courant de type sinusoïdal :
si I(t) = Imax sin(wt) est l'intensité du courant à l'instant t du courant alternatif, la loi de Joule donne :
T
E(T) = R I eff T= ò
2
RI 2 (t ) dt
0

2 2
T T I2
ò ò [ t ] 0 = max
1 I max I max T
D'où : 2
I eff = 2
I max sin2 (wt ) dt = 1 - cos(2wt ) dt =
T 0 2T 0 2T 2

D'où la relation : Imax = 2 Ieff

7.2. Théorème (inégalité de la moyenne) Une fonction continue sur un

Soit ¦ une fonction continue sur un intervalle I = [a, b]. intervalle [a, b] est toujours
bornée (et de plus atteint ses
Soit m et M des réels tels que : m  ¦  M sur I
bornes). Les réels m et M ci-
b
Alors : m(b - a)  ò a
¦ (t ) dt  M(b - a) contre existent donc toujours.

Le nom de ce théorème est légitime, en effet, on peut le reformuler ainsi : si m  ¦  M alors m  m  M.

Démonstration : il suffit d'intégrer l'inégalité m  ¦  M sur [a, b].


Exemple : à l'aide de l'inégalité de la moyenne, on peut retrouver l'inégalité :

x + 1  e x pour tout x Î 

Soit x Î +. Comme la fonction exponentielle est croissante sur [0 ; x], on a pour tout t Î [0 ; x] :

1  et  e x

Et d'après l'inégalité de la moyenne appliquée à la fonction ¦ : t a e t sur l'intervalle [0 ; x] :


x
x ò 0
et dt  x e x

x  ex - 1  x ex

Calcul intégral. Page 25 G. COSTANTINI http://bacamaths.net/


D'où, pour tout x Î + : x + 1  ex

Si maintenant x est un réel négatif, on a pour tout t Î [x ; 0] :

e x  et  1
0
Et d'après l'inégalité de la moyenne : -x e x  ò x
et dt  -x

1 - e x  -x

D'où, pour tout x Î - : x + 1  ex

Bilan : on a bien, pour tout réel x : x + 1  ex

Comme le théorème de l'inégalité des accroissements finis, on a une version avec valeurs absolues :

7.2. bis. Théorème (inégalité de la moyenne)


Soit ¦ une fonction continue sur un intervalle I = [a, b].
b
Si |¦|  M sur I alors ò a
¦ (t ) dt  M|b - a|

Démonstration :
b
D'après la première version, on a : -M(b - a)  ò a
¦ (t ) dt  M(b - a)

b
La distance entre ò a
¦ (t ) dt et 0 est donc inférieure à celle entre M(b - a) et 0 d'où :

b
ò a
¦ (t ) dt  M|b - a|

Notons que ce théorème peut se démontrer aussi avec l'inégalité des accroissements finis appliquée à la fonction
x
F définie par : F(x) = ò a
¦ (t ) dt

Exemple : démontrer que pour tous réels x et y :


|sin x - sin y|  |x - y|

On applique l'inégalité de la moyenne à la fonction t a cos t sur l'intervalle [x ; y] (si x  y) ou [y ; x] sinon.

Comme on a pour tout réel t : -1  cos t  1

y
On obtient lorsque x  y : ò x
cos t dt  |y - x|

|sin y - sin x|  |y - x|
x
Et lorsque y  x : ò y
cos t dt  |x - y|

|sin x - sin y|  |x - y|
Ce qui est la même inégalité que celle obtenue pour x  y.

Calcul intégral. Page 26 G. COSTANTINI http://bacamaths.net/


Exercice : démontrer la "première formule de la moyenne"
Soient ¦ et g deux fonctions continues définies sur un intervalle [a, b] avec g positive. Alors
b b
Il existe c dans [a, b] tel que ò a
ƒ( x) g ( x ) dx = ¦(c) ò a
g ( x) dx

Comme ¦ est continue sur le segment [a, b], il existe des constantes m et M telles que :
m  ¦  M sur [a, b]

Comme g est positive : m g  ¦ g  M g sur [a, b]


En intégrant cet encadrement entre a et b (a < b) :
b b b
m ò a
g ( x) dx  ò a
ƒ( x) g ( x ) dx  M ò a
g ( x) dx

b
· Si ò a
g ( x) dx = 0, alors la formule de la moyenne est évidente (tout c de [a, b] convient)

b
b ò ƒ( x) g ( x ) dx
· Si ò g ( x) dx ¹ 0, alors on pose : l=
a
b
ò
a
g ( x ) dx
a

b
Comme ò a
g ( x) dx > 0 (puisque g l'est), on a : m  l  M

Et d'après le théorème des valeurs intermédiaires, il existe c dans [a, b] tel que ¦(c) = l.
D'où le résultat.

8. Intégration par parties

On dit qu'une fonction ¦ est de classe C1 sur un intervalle I si elle est dérivable sur I et si sa dérivée ¦' est
continue sur I.

8.1. Théorème
Soient u et v deux fonctions de classe C1 sur [a, b], alors :
b b
ò u (t )v¢(t ) dt = [ u ( t ) v ( t ) ] a - ò u ¢(t )v(t ) dt
b
a a

Démonstration : on sait que pour tout t Î [a, b] :

(uv)'(t) = u'(t)v(t) + u(t)v'(t)

b b
En intégrant de a à b : ò a
(u (t )v (t ))¢ dt = ò a
u ¢(t )v (t ) + u (t )v ¢(t ) dt

Et d'après la linéarité de l'intégrale :


b b b
ò a
(u (t )v (t ))¢ dt = ò a
u ¢(t )v(t ) dt + ò a
u (t )v¢(t ) dt

b b
[ u(t )v (t )]ba = ò a
u ¢(t )v(t ) dt + ò a
u (t )v¢(t ) dt

D'où le théorème.

Calcul intégral. Page 27 G. COSTANTINI http://bacamaths.net/


ò ln t dt
1 x
Exemples : calculer I = ò te dt et J(x) =
t
0 1

On pose : u(t) = t v'(t) = et


u'(t) = 1 v(t) = et (à une constante près)

[ ] òe
1 1
D'où : I = tet - t
dt = e - (e - 1) = 1
0 0

On pose : u(t) = ln t v'(t) = 1


1
u'(t) = v(t) = t (à une constante près) On a déterminé ici une
t
primitive de la fonction
logarithme.

ò
x
J(x) = [ t ln t ]1 -
x
D'où : dt = x ln x - (x - 1) = x ln x - x + 1
1

z
9. Calcul de volumes
r r r Section d'aire
Dans l'espace muni d'un repère orthogonal (O ; i , j , k ), b S(z)

on considère un solide délimité par des plans


parallèles d'équation z = a et z = b. Si la fonction S qui, z
à toute cote z associe l'aire de la section contenue dans
r
le plan perpendiculaire à l'axe (O, k ) est continue sur
[a ; b] alors le volume V du solide est donné par la a
formule :
b
V= ò a
S ( z ) dz u.v.
y
O

(L'unité de volume est le volume du parallélépipède unité) x

z
Exemples :
R
· Volume d'une sphère de rayon R :
r
On a r2 = R2 - z2, d'où S(z) = p(R2 - z2) z

R
R R é z3 ù O
ò ò
y
V=p R 2 - z 2 dz = 2p R 2 - z 2 dz = 2p ê R 2 z - ú
-R 3 û0
0
ë
æ R3 ö 4 3 x
V = 2p çç R 3 - ÷ = pR u.v.
è 3 ÷ø 3
z

R
· Volume d'un cône de hauteur h et de rayon de base R : S(z) = pr2. h

r z
D'après le théorème de Thalès : = z r
R h
R2 2
Donc S(z) = p z. y
h2 O

R2 pR 2 h
ò
h
V=p z 2 dz = u.v.
h2 0 3 x

Calcul intégral. Page 28 G. COSTANTINI http://bacamaths.net/


10. Vrai ou faux ?

¦ et g désignent des fonctions continues sur les intervalles considérés.


b b 1 13
ò ò ò ò
3
· Si ¦ (t ) dt  g (t ) dt alors ¦  g sur [a, b] (Faux : t dt  dt et pourtant t  sur [0 ; 1] !)
a a 0 0 4 4
b b
· Si ò a
¦ (t ) dt = ò a
g (t ) dt alors ¦ = g sur [a, b] (Faux : prendre ¦(t) = t et g(t) = -t sur [-1 ; 1])

2 x 2 e x ln(1 + x 2 )
· ò 1 (1 + x 4 )
dt  0 (Vrai : positivité)

11. Quelques exercices


p
p 1 + cos( 2t )
· ò 2
0
cos2 (t ) dt =
4
(Linéariser : cos2 t =
2
)

ò
2 1 3
· 2
cos3 (t ) dt = (Linéariser : cos3 t = cos(3t) + cos(t))
0 3 4 4
3p 3p 3p
p
· ò p
2
2 sin t dt = 2 (Utiliser Chasles : ò p
2
2 = ò p
2
+ ò p
2
ce qui permet de supprimer les valeurs absolues)

p
æ p ö
ò
1 ç e 2 - 1÷ (Intégrer deux fois par parties de façon à retomber sur l'intégrale I)
· I= 2
e x sin x dx =
ç ÷
0 2 è ø
p

ò (t )
1
ò ( sin x) n dx
n
· In = 2
et Jn = 2
- 1 dt (intégrales de Wallis, voir complément 3)
0 -1

Calculer I0 et I1. Établir une relation de récurrence entre In+2 et In.


Calculer J0. Établir une relation de récurrence entre Jn+1 et Jn.
p
(On trouve I0 = , I1 = 1. Intégrer In+2 par parties, en écrivant que sinn+2 x = sinn+1 x ´ sin x. On peut alors
2
n +1
exprimer In+2 en fonction de In. On trouve : In+2 = In. On trouve J0 = 2. Puis on intègre Jn+1 par parties,
n+2

( ) ( ) ( )
n +1 1 2 n n
en écrivant t 2 - 1 = 2t ´ t t - 1 - t 2 - 1 . On peut alors exprimer Jn+1 en fonction de Jn. On
2
2n + 2
trouve : Jn+1 = - Jn )
2n + 3
1
· Trouver un réel a tel que ò -1
x 2 - a dx = 0.

1
ò
1 3
Trouver un réel b tel que x 4 - bx 2 dx = 0. (a = et b = )
-1 3 5
2e 1
· Étudier la limite suivante : lim
e®0 ò e t
dt . (On trouve ln 2 et non 0...)

x
· Soit n Î . On considère la fonction In définie pour x > 0 par : In(x) = ò 0
t n e - t dt . On note In = lim In(x).
x ® +¥

(On admettra que cette limite est réelle)


À l'aide d'une intégration par parties, montrer que In+1 = (n + 1)In.
Calculer I0 et en déduire, par récurrence, que In = n!

Calcul intégral. Page 29 G. COSTANTINI http://bacamaths.net/


Complément 1 : intégrales de Riemann

Soit a un nombre réel quelconque.


Soit e > 0 et A > 1. On considère les intégrales suivantes :

ò ò
1 1 A 1
Ia(e) = a dt et Ja(A) = dt
et 1 ta
Le but du problème est de déterminer :
· les valeurs de a pour lesquelles Ia admet une limite finie lorsque e tend vers 0.
· les valeurs de a pour lesquelles Ja admet une limite finie lorsque A tend vers +¥.

Étude de Ia
1. Étude du cas a = 1
a) Démontrer que I1(e) = -ln e.
b) En déduire lim I1(e).
e®0

2. Étude du cas a ¹ 1
1 e1- a
a) Démontrer que : Ia(e) = -
1- a 1- a
(1- a ) ln e
b) En écrivant e 1- a = e , déterminer les valeurs du réel a pour lesquelles e 1- a admet une limite
finie lorsque e tend vers 0.
c) Conclure : Ia admet une limite finie lorsque e tend vers 0 si et seulement si ............................

ò ò
1 1 1 1 1
Remarque : on note dans ce cas a dt cette limite et on a donc a dt =
0t 0t 1- a

Étude de Ja
1. Étude du cas a = 1
a) Démontrer que J1(A) = ln A.
b) En déduire lim J1(A).
A® +¥

2. Étude du cas a ¹ 1
A1- a 1
a) Démontrer que : Ja(A) = -
1- a 1- a
b) En écrivant A1- a = e (1-a ) ln A , déterminer les valeurs du réel a pour lesquelles A1- a admet une limite
finie lorsque A tend vers +¥.
c) Conclure : Ia admet une limite finie lorsque A tend vers +¥ si et seulement si ............................
+¥ +¥
ò ò
1 1 1
Remarque : on note dans ce cas dt cette limite et on a donc a dt =
1 ta 1 t a -1
RÉSUMÉ

ò ò
1 1 1 1
a dt existe si et seulement si a < 1. (On dit alors que l'intégrale a dt converge)
0t 0t

+¥ +¥
ò ò
1 1
dt existe si et seulement si a > 1. (On dit alors que l'intégrale dt converge)
1 ta 1 ta

Calcul intégral. Page 30 G. COSTANTINI http://bacamaths.net/


Complément 2 : fonction G

On considère la fonction G définie pour tout réel x de ]0, +¥[ par :



G(x) = ò 0
t x -1e - t dt

Dans tout ce qui suit x est un réel strictement positif fixé.



1. Justification de l'écriture ò 0
t x -1e - t dt

a) Étude en 0. On considère la fonction Ix définie pour tout e de  *+ par :


1
Ix(e) = ò e
t x -1e - t dt

i) Démontrer que pour tout réel t de [e ; 1], on a :


1
0  t x -1e - t 
t 1- x
ii) En déduire (en utilisant les résultats sur les intégrales de Riemann) que Ix admet une limite finie
lorsque e tend vers 0.
1
On note ò 0
t x -1e - t dt cette limite.

b) Étude au voisinage de +¥. On considère la fonction Jx définie pour tout réel X de ]1, +¥[ par :
X
Jx(X) = ò 1
t x -1e -t dt

i) Démontrer qu'il existe un réel A positif tel que pour tout réel t de [A, +¥[ :

0  t x+1e-t  1

(On pourra utiliser le fait que lim t x+1e-t = 0)


t ®+¥

En déduire que pour tout réel t de [A, +¥[ :


1
0  t x -1e - t 
t2
X
ii) On suppose ici que X  A. En écrivant Jx(X) = Jx(A) + ò A
t x -1e -t dt , démontrer (en utilisant les

résultats sur les intégrales de Riemann) que Jx admet une limite finie lorsque X tend vers +¥.

On note ò 1
t x -1e - t dt cette limite.
1 +¥
Comme les intégrales ò 0
t x -1e - t dt et ò 1
t x -1e - t dt ont toutes les deux un sens, la fonction G est donc

bien définie et l'écriture ò 0
t x -1e - t dt a bien un sens.

2. Propriétés de la fonction G
a) Calculer G(1).
b) À l'aide d'une intégration par parties, démontrer que : pour tout x > 0 :
G(x + 1) = xG(x)
c) Démontrer, par récurrence, que pour tout n Î * :

G(n) = (n - 1)!

Calcul intégral. Page 31 G. COSTANTINI http://bacamaths.net/


Complément 3 : intégrales de Wallis

Il s'agit, pour n Î , des intégrales suivantes :


p p
1 1
In = ò (cos t )n dt Jn = ò (sin t )n dt Kn = ò (1 - t 2 )n dt Ln = ò (t 2 - 1)n dt
2 2

0 0 -1 -1

Calcul de In par IPP


p
p
On a immédiatement : I0 = et I1 = cos t dt = 1. ò
2

2 0

Pour tout n  0, on a par IPP : (u(t) = (cos t) et v'(t) = cos t)


n+1

p p p

In+2 = ò (cos t ) n +1 cos t dt = éë (cos t )n +1 sin t ùû 2 + (n + 1) ò (cos t )n (sin t ) 2 dt


2 2

0 0 0

In+2 = (n + 1)(In - In+2)


n +1
In+2 = In
n+2
n -1
(Variante : In = I n - 2 pour tout n  2)
n
1 p 2 2 3 3p
On en déduit immédiatement : I2 = I0 = ; I3 = I1 = ; I4 = I2 =
2 4 3 3 4 16
Formule générale :
2p -1 2 p - 3 1
Si n pair (n = 2p) I2p = ´ ´ ... ´ I0
2p 2p - 2 2

æ2pö
(2 p)! p ç p ÷p
I2p = 2 p +1
= è 2 p +ø1
2 ( p!) 2 2

2p 2p - 2 2
Si n impair (n = 2p + 1) I2p+1 = ´ ´ ... ´ I1
2p +1 2p -1 3

2 2 p ( p!) 2
I2p+1 =
(2 p + 1)!
Calcul de Jn en se ramenant à In
p
En posant u = - t, on obtient :
2
p p
0 p
Jn = ò (sin t )n dt = ò (sin( - u ))n (-du ) = ò (cos u )n du = In
2 2
p
0 - 2 0
2

Calcul de Kn en se ramenant à I2n+1


é p pù
En posant u = Arcsin t. (Bijection de [-1 ; 1] dans ê - , ú ). On a donc : t = sin u.
ë 2 2û
22 n +1 (n!) 2
p
1
Kn = ò (1 - t ) dt = ò (cos u )2 n cos u du = 2 I2n+1 =
2 n 2

-1 -
p
2
(2n + 1)!

Calcul de Ln en se ramenant à Kn
1 (-1) n 2 2 n +1 (n!) 2
Ln = ò (t 2 - 1)n dt = (-1) Kn =
n
-1 (2n + 1)!

Calcul intégral. Page 32 G. COSTANTINI http://bacamaths.net/


Équivalent des intégrales de Wallis lorsque n tend +¥

On raisonne avec la suite (In).


é pù
On a, pour tout n Î  et tout t Î ê 0; ú : 0  cosn+1 t  cosn t
ë 2û
p
En intégrant pour t allant de 0 à : 0  In+1  In
2
En conséquence, la suite (In) est décroissante.
On a donc : 0  In+2  In+1  In
I n +1 I
Et comme In+2 > 0 : 1  n
In+2 In+2

In n+2
Or, on a vu que : = (1)
In+2 n +1

I n +1 n+2
D'où : 1 
In+2 n +1

I n +1
Par encadrement, on en déduit que admet une limite égale à 1 en +¥.
In+2

Autrement dit : In ~ In+1 (2)


Montrons enfin que la suite (un) définie par un = (n + 1)In In+1 est constante :
(1)
un+1 = (n + 2) In+1 In+2 = (n + 1) In In+1 = un
La suite (un) est donc bien constante.
p p
Et comme u0 = I0 I1 = , on a, pour tout entier n : un =
2 2
En multipliant l'équivalent (2) par (n + 1)In :
p
(n + 1) I n2 ~ un ~
+¥ +¥ 2
p p
D'où : In ~ ~
+¥ 2(n + 1) + ¥ 2n
p
p
ò (cos t ) n dt ~
2
On retiendra ce résultat très utile :
0 +¥ 2n

Calcul intégral. Page 33 G. COSTANTINI http://bacamaths.net/

Vous aimerez peut-être aussi