Vous êtes sur la page 1sur 10

I Le rsultat fondamental

A) Thorme
Thorme :
Soit I un intervalle de R, et
R I f :
une fonction continue. Soit I a .
Alors lapplication

x
a
dt t f x
I F
) (
:

R
(qui est bien dfinie sur I car I x ,
I x a

] , [
,
et donc f est continue sur ce segment) est drivable de drive f.
Dmonstration :
Soit
I x
0
. Montrons que F est drivable en
0
x
et que
) ( ) ( '
0 0
x f x F
.
Pour cela, tudions
) (
) ( ) (
0
0
0
x f
x x
x F x F

pour
{ }
0
\ x I x
, de manire montrer que
cela tend vers 0 quand x tend vers
0
x
.

,
_

0
0
0
0
) ( ) (
) ( ) (
x x f
x x
x F x F

Pour cela, tudions


) ( ) ( ) ( ) (
0 0 0
x f x x x F x F
pour
{ }
0
\ x I x
:
[ ]
[ ]

'


0 0
,
0 0
0 0
,
0 0
0
0 0
0 0 0 0 0
si ) ( ) ( sup ) ( ) ( ) (
si ) ( ) ( sup ) ( ) ( ) (
)) ( ) ( (
) ( ) ( ) (
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
0
0
0
0
0
0
0
x x x f t f x x dt x f t f
x x x f t f x x dt x f t f
dt x f t f
x f x x dt t f
x f x x dt t f dt t f x f x x x F x F
x x t
x
x
x x t
x
x
x
x
x
x
x
a
x
a
Dans les deux cas :
) ( ) ( sup ) ( ) ( ) ( ) (
0
] , [
0 0 0 0
0
x f t f x x x f x x x F x F
x x t

Donc
) ( ) ( sup ) (
) ( ) (
0
] , [
0
0
0
0
x f t f x f
x x
x F x F
x x t

Or,
0 ) ( ) ( sup
0
0
0
] , [

x x
x x t
x f t f
. En effet :
Soit 0 > , soit 0 > tel que
< < ) ( ) ( ,
0 0
x f x f x x I x
(

existe car f
est continue en
0
x
). Alors, pour I x tel que
<
0
x x
, on a
] , [
0

x x t
,
< t x
0
.
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 1 sur 10
Chapitre 4 : Intgrale dune fonction
continue sur un segment et drivation
Donc
] , [
0

x x t
,
< ) ( ) (
0
x f t f
.
Donc

) ( ) ( sup
0
] , [
0
x f t f
x x t
, soit

) ( ) ( sup
0
] , [
0
x f t f
x x t
Donc

,
_

< > >

) ( ) ( sup , , 0 , 0
0
] , [
0
0
x f t f x x I x
x x t
, ce qui montre la
limite voulue.
Do on tire alors le rsultat voulu.
B) Remarques
Soit f une fonction dfinie sur I, o I est un intervalle. On suppose f non continue,
mais cependant continue par morceaux sur tout segment contenu dans I.
Alors, pour tout I a ,

x
a
dt t f x
I F
) (
:

R
est parfaitement dfinie car f est continue
par morceaux sur le segment
] , [

x a
.
Elle est continue :
Soit
I x
0
, 0 > h . Soit
[ ] I h x h x S +
0 0
,
. Pour tout S x , on a :
) ( sup ) ( ) ( ) (
0 0
0
t f x x dt t f x F x F
S t
x
x

Donc F est lipschitzienne sur S, donc sur un voisinage de


0
x
. Donc F est continue
en
0
x
.
De plus, la dmonstration prcdente montre que F est drivable en tout
I x
0

o f est continue.
En revanche, F nest pas drivable en un
0
x
o f nest pas continue. Exemple :
l'
l
0
x h x
0
h x +
0
f tant continue par morceaux sur un segment contenant
0
x
, elle admet une limite
finie

'

l x
l x
disons , en gauche
' disons , en droite
0
0
En se plaant dans le cas de la figure :
F est drivable de drive f sur
] [
0 0
, x h x
, mais aussi sur
] [ h x x +
0 0
,
.
Si F tait drivable en
0
x
, le thorme sans nom dirait :

'
0
) ( ' lim ) ( ' ) ( ' lim
0
0
0
0
l
x x
x x
l
x x
x x
x F x F x F
>

<


, do contradiction.
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 2 sur 10
C) Consquence du thorme
Thorme :
Soit f une fonction continue sur un intervalle I.
Alors :
(1) f admet des primitives sur I.
(2) Si G est une primitive de f sur I, alors les primitives de f sur I sont exactement
les cte + G
(3) Pour tout I a ,

x
a
dt t f x ) ( est lunique primitive de f qui sannule en a.
(4) Si G est une primitive de f, alors, pour tout
I b a ,
, on a :
) ( ) ( ) ( a G b G dt t f
b
a

, not [ ]
b
a
t G ) (
Dmonstration :
(1) Voir thorme : si on se donne I a ,

x
a
dt t f x F ) ( : est une primitive de f.
(2) Si F et G sont deux primitives de f sur I, alors :
) ( ' ) ( ' , t G t F I t
, donc
0 ) ( )' ( , t G F I t
. Donc cte G F car I est un
intervalle. Inversement, si G est une primitive, alors cte + G en est aussi une
(3)

x
a
dt t f x ) ( est une primitive, elle est nulle en a, et cest la seule daprs (2).
(4) Soit G une primitive de f. Alors la fonction
) ( ) ( : a G t G t F
est une
primitive de f qui sannule en a. Alors ) ( ) ( ) ( ) ( a G b G b F dt t f
b
a

D) Exercices dapplication
Soit


x
t
dt e x F
0
2
: . Alors, comme
2
t
e t

est continue sur R, F est dfinie


et drivable sur R, et :
2
) ( ' ,
x
e x F x

R . Do tude (en exercice)
Soit


2
1
:
x
x
t
dt
t
e
x .
- Dj,


2
1
x
x
t
dt
t
e
a un sens lorsque
1
:
t
e
t f
t
est dfinie et continue
(intgrable suffit mais ici cest pareil) sur le segment
] , [
2

x x
, c'est--dire
lorsque 1 nappartient pas au segment
] , [
2

x x
, c'est--dire lorsque 1 > x ou
1 1 < < x . Ainsi, le domaine de dfinition de

est ] [ { } 1 \ , 1 + D
- Justifier que

est drivable sur D, donner


) ( ' x
:
o Drivabilit sur ] [ + , 1 :
f est continue sur lintervalle ] [ + , 1 . Donc elle y admet une primitive, disons
F. Alors ] [ ) ( ) ( ) ( , , 1
2
x F x F x x + ((4) du thorme prcdent).
Donc

est drivable sur ] [ + , 1 et, pour tout ] [ + , 1 x :


1 1
2
) ( ' ) ( ' 2 ) ( '
2
2
2


x
e
x
xe
x F x xF x
x x

Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation


Analyse Page 3 sur 10
o Drivabilit sur ] [ 1 , 1 : analogue.
E) Les choses fausses
f intgrable sur un segment
[ ]
/
b a,
f admet une primitive sur
[ ] b a,
f admet une primitive sur
[ ]
/
b a,
f est intgrable sur
[ ] b a,
Exemples :
Si f est continue par morceaux sur
[ ] b a,
(mais pas continue)
Alors f est intgrable sur [ ] b a, , mais nadmet pas de primitive sur [ ] b a, :
Si F en tait une, il y aurait contradiction avec le thorme sans nom pour
) ( ' c F
o
c est un point de discontinuit.
Considrons
] ]

'

0 si 0
1 , 0 si
1
sin
:
2
2
x
x
x
x
x F
Alors F est drivable sur ] ] 1 , 0 , et :
] ]
2 2 2
2
3 2
1
cos
2 1
sin 2
1
cos
2 1
sin 2 ) ( ' , 1 , 0
x x x
x
x
x
x x
x x F x
De plus, pour tout ] ] 1 , 0 x : 0
1
sin
0
) 0 ( ) (
0 2

x
x
x
x
F x F
. Donc F est
drivable en 0 et
0 ) 0 ( ' F
La fonction
] ]

'

0 si 0
1 , 0 si
1
sin 2
:
2
x
x
x
x
x g
est continue sur [ ] 1 , 0 . Elle y admet donc
une primitive G. Ainsi, pour tout [ ] 1 , 0 x :
) ( ' ) ( '
1
cos
2
2
x F x G
x x

La fonction
] ]

'

0 si 0
1 , 0 si
1
cos
2
2
x
x
x x
x
admet donc une primitive sur [ ] 1 , 0 ( savoir
F G ), mais elle nest pas intgrable car non borne.
(Remarque : elle nest pas continue en 0, ni continue par morceaux sur [ ] 1 , 0 car, en
0, il ny a pas de limite finie droite)
On rappelle aussi que pour f continue sur D, si F est une primitive de f sur D, il
est faux en gnral que les primitives de f sur D sont les cte + F (car D nest pas
forcment un intervalle)
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 4 sur 10
II Tableau des primitives usuelles
Tableau donnant la valeur en x dune primitive F pour une fonction f continue sur un
intervalle I :
{ }
] [
] [
] [
] [ ] [ ] [
] [
] [ ] [
cte cos ln
2
,
2
tan
cte Argcoth
cte Argth
cte 1 ln
2
1
1 ln
2
1
1 , , , 1
1 , 1
, 1 , 1 , 1 , 1 ,
1
1
cte ) ( Argch
cte Argch
1 ,
, 1
1
1
cte Argsh
1
1
cte Arccos ou
cte Arcsin
1 , 1
1
1
cte Arctan
1
1
x
cte ch sh
cte sh ch
cte cos sin
cte sin cos
cte
cte
1
*
1 \ ,
cte ln
cte ) ln(
cte ln
*
*
cte
1
*
ou
*
2 ,
cte
1
,
2
2
2
2
2
1
1
1
1
+

1
]
1
+ +
+
+
+ + +
+

+
+

+

+
+
+
+

+
+
+
+
+
+
+
+
+

+

+
+
+
+

+
+

+
+

+
+
+

+
x x k k I x x
x x
x x
x x x
x
x
x x
x x
x
x
x x
x
x
x x
x x
x
x
x x
x
x x x x
x x x x
x x x x
x x x x
e x e x
x
x x x
x x
x x
x x
x x
n
x
x n x x
n
x
x n x x
F I f
k
x x
n
n
n
n

R
R
R
R
R
R
R
R R
R
R
R R
R N
III Intgration par parties
A) Thorme
Thorme :
Soient
R b a,
.
Soient f, g deux fonctions de classe C
1
sur le segment
] , [

b a
.
Alors [ ]


b
a
b
a
b
a
dt t g t f t g t f dt t g t f ) ( ) ( ' ) ( ) ( ) ( ' ) ( .
Dmonstration :
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 5 sur 10
) ( ' ) ( t g t f t
et
) ( ) ( ' t g t f t
sont continues sur
] , [

b a
, donc dj les deux
intgrales on un sens. De plus, une primitive de la fonction
) ( ' ) ( ) ( ) ( ' t g t f t g t f t +

(continue) est
) ( ) ( t g t f t
. Donc [ ]
b
a
b
a
t g t f dt t g t f t g t f ) ( ) ( )) ( ) ( ' ) ( ' ) ( ( +

Do le rsultat par linarit.


B) Exemples pratiques
[ ] [ ] 2 ln
2
1
4
) 1 ln(
2
1
4 1
Arctan Arctan
1
0
2
1
0
2
2
1
0
) ( 1 ) ( '
1
1
) ( ' Arctan ) (
parties par n intgratio
1
0
2
+
+



+


t dt
t
t
t t dt t
t t g t g
t
t f t t f
Remarque : pour tout R x , on a de mme :

0
2
0
cte ) 1 ln(
2
1
Arctan Arctan

+ +

x x x dt t
x
Or,

x
dt t x
0
Arctan est une primitive de la fonction continue Arctan . Ainsi, une
primitive de Arctan est ) 1 ln(
2
1
Arctan
2
x x x x +
On trouve parfois (mais il faut viter de lutiliser) la notation :
cte ) 1 ln(
2
1
Arctan Arctan
2
indfinie intgrale
+ +

x x x dx x

Pour tout
*
+
R x ,
[ ] 1 ln ln ln
1
1
) ( 1 ) ( '
1
) ( ' ln ) (
1
+


x x x dt t t tdt
x
x
t t g t g
t
t f t t f
x
Ainsi, une primitive de ln sur
*
+
R
est x x x x ln .
Pour tout N n (voire mme { } 1 \ Z ) :

2
) 1 (
1
1
1
1
1
1
1
1
cte
1
ln
1
1 1
1
ln
1
ln
+
+
+
+ +
+

,
_

1
]
1


n
n
n
x
n
x
n
x
n
n
x
x x
n
dt
t n
t
t
n
t
tdt t
pour 1 n :
[ ]


x
x
x
dt
t
t
t dt
t
t
1
1
2
1
ln
ln
ln
, do x dt
t
t
x
2
1
ln
2
1 ln

Pour tout R x , N n on note

x
t n
n
dt e t x I
0
) (
Alors :
[ ] ) ( ) 1 ( ) 1 ( ) (
1
0
0
1
0
1
1
x I n e x dt e t n e t dt e t x I
n
x n
x
t n
x
t n
x
t n
n
+ +
+ + +
+

[ ]

+

0
0
2
0
2
cos 2 cos sin xdx x x x xdx x
et [ ] [ ]

0
0
0
0
cos sin sin cos 2 x xdx x x xdx x

. Donc 4 sin
2
0
2

xdx x
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 6 sur 10
C) Formule de Taylor avec reste intgral
Thorme :
Soient
R b a,
, N n .
Soit f de classe
1 + n
C sur
] , [

b a
.
Alors :

+ +

+ +
b
a
n
n
n
n
dx x f
n
x b
a f
n
a b
a f
a b
a f a b a f b f ) (
!
) (
) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) 1 ( ) (
2
Dmonstration : par rcurrence sur n.
Pour 0 n : le thorme dit que pour f de classe
1
C sur
] , [

b a
:

+
b
a
dt t f a f b f ) ( ' ) ( ) ( . Ok
Soit N n , supposons le thorme vrai pour n.
Dj, f est de classe
1 + n
C , donc :

n
R
b
a
n
n
n
n
dx a f
n
x b
a f
n
a b
a f a b a f b f

+

+ + + ) (
!
) (
) (
!
) (
... ) ( ' ) ( ) ( ) (
) 1 ( ) (
Or,

+
+
+

+
+
+

1
]
1

+
+
b
a
n
n
t f
n
a b
b
a
n
n
n
dt t f
n
t b
t f
n
t b
R
n
n
) (
)! 1 (
) (
) (
)! 1 (
) (
) 2 (
1
) (
)! 1 (
) (
) 1 (
1
) 1 (
1

Ce qui achve la rcurrence.
Intrt de la formule : trs simple dmontrer par rapport aux autres.
IV Changement de variable
A) Le thorme
Thorme :
Soient
R b a,
.
Soit
R

] , [ : b a
de classe
1
C .
Soit f une fonction continue sur un intervalle I contenant
]) , ([

b a
(et valeurs
relles)
Alors


) (
) (
) ( ) ( ' )) ( (
b
a
b
a
dx x f dt t t f


On dit quon a fait le changement de variable

'

dt t dx
t x
) ( '
) (

Dmonstration :
La fonction
) ( ' )) ( ( t t f t
est continue sur
] , [

b a
.
En effet,

est de classe
1
C sur
] , [

b a
, et f est continue sur I, contenant
]) , ([

b a
.
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 7 sur 10
Donc
f
est continue sur
] , [

b a
.
Enfin,

est de classe
1
C sur
] , [

b a
, donc
'
est continue sur
] , [

b a
.
Donc, par produit,
) ( ' )) ( ( t t f t
est continue sur
] , [

b a
.
La fonction f est continue sur I. Elle y admet donc une primitive F.
Alors
)) ( ( t F t
est drivable sur
] , [

b a
, de drive
) ( ' )) ( ( ' t t F t
, soit
) ( ' )) ( ( t t f t
Ainsi, la fonction continue
) ( ' )) ( ( t t f t
admet la primitive
)) ( ( t F t
.
Donc [ ]
b
a
b
a
t F dt t t f )) ( ( ) ( ' )) ( (

Or,
[ ] [ ]


) (
) (
) (
) (
) ( ) ( )) ( ( )) ( ( )) ( (
b
a
b
a
b
a
dx x f t F a F b F t F


.
(Puisque f est continue sur I, qui contient
) (a
et
) (b
et F en est une primitive)
B) Exemples
[ ] ) cos( 1 cos sin ) sin( 2
2
0
0
2
variable de changement
0
2
2
2
2

x xdx dt t t
tdt dx
t x
[ ] ) 2 2 ln 2 17 17 ln 17 (
4
1
ln
4
1
ln
4
1
) 1 ln(
17
2
17
2
4
1
2
1
4 3
3
4
+ +

x x x xdx dt t t
dt t dx
t x
x u udu dt
t
t
x
x
dt
t
t
du
t u
x
2
ln
0
2
ln
0
ln
1
ln
2
1
2
1 ln

1
]
1

[ ]
4
sin sin sin cos 1 1
2
0
, 0 pour
sin
2
0
2
2
1 , 0 pour
0 ,
2
pour
sin
cos
1
0
2
2

d d dt t
t
t
d dt
t

(dans ce dernier, on va de droite gauche , contrairement aux autres exemples.)
Ici,
cos :
(de classe
1
C sur R),
2
1 : t t f
(continue sur [ ] 1 , 1 )
Remarque : on pouvait voir que


1
0
2
1 dt t correspond aussi
4
1
de laire du
cercle trigonomtrique
) 3 / 1 ( Arctan
3
3 2
1 3
3 2
3
1
3
2
3
2
tan 3
) tan 1 (
tan 1
tan 1
2
cos 2
3 / 1
0
2
3 /
3 /
1
0
2
1
0
2
) tan 1 (
tan
2
0
2
2
2
2
2
0
2
2
2
2
2
0
2
2
2
1
2

,
_

+
+

u
du
t
dt
t
dt d d d
dt du
t u
d dt
t

Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation


Analyse Page 8 sur 10
Variante : on peut faire aussi plutt le changement de variable :

'

2
1
2
d
Arctan 2
t
dt
t

(on a
2
2
1
1
cos
t
t
+

; pour
0 , 0 t
, pour
2
, 1

t )
...
1
1
2
1
2
cos 2
1
0
2
2
2
2
0

+

+
+

+

t
t
dt
t
d

C) Application aux fonctions paires, impaires, priodiques


Proposition :
Soit I un intervalle de R contenant 0 et symtrique par rapport 0.
Soit
R I f :
continue. Alors :
Si f est paire, alors



x x
dt t f dt t f I x
0 0
) ( ) ( , (et

x x
x
dt t f dt t f
0
) ( 2 ) ( )
Si f est impaire, alors



x x
dt t f dt t f I x
0 0
) ( ) ( , (et 0 ) (

x
x
dt t f )
Dmonstration :
Pour tout I x , on a :



x
dt du
t u
x
du u f dt t f
0 0
) ( ) (
, et on obtient le rsultat voulu dans les deux cas.
Proposition :
Soit f une fonction T-priodique sur R et continue. Alors :
(1) pour tout
R b a,
,


+
+
b
a
T b
T a
dt t f dt t f ) ( ) (
(Lintgrale de f est invariante par translation de vecteur T de lintervalle
dintgration)
(2) pour tout R a ,


+ T T a
a
dt t f dt t f
0
) ( ) (
(Lintgrale de f sur un segment damplitude T ne dpend pas de ce segment)
Dmonstration :
(1) On fait le changement de variable T t u + ( dt du )
(2) Relation de Chasles :

+ +

+ + T
f
T a
T
T
a
T a
a
f f f f f
a
0 0
0
0

Application :

+

+
+
+

+

+

0
paire est
cos 2
1
car
priodique - 2
est
cos 2
1
car
cos 2
3 3
cos 2
4
cos 2
2
cos 2 cos 2 cos 2
d d d d d
d


Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 9 sur 10
Et :
+

+
<

a
a
a
d d
0 0
cos 2
lim
cos 2

car

+
x
d
x
0
cos 2

est continue, (et mme


drivable)
Pour tout [ [ , 0 a :

3
3
3
tan
Arctan
3
3 2
1 3
3 2
3
2
cos 2
2
tan
3
1
0
2
tan
0
2
0
2 2

,
_

+
a
a
a
a a
u
du
t
dt d
Donc

3
3 4
cos 2
3

d
V Un thorme de la moyenne
Thorme :
Soit [ ] R b a f , : , continue.
Alors il existe [ ] b a c , (et mme ] [ b a, si b a ) tel que :
) ( ) ( ) ( c f a b dt t f
b
a

.
Dmonstration :
Cest le thorme des accroissements finis appliqu une primitive de F de la fonction
continue f.
(Le thorme est hors programme, il faut donc le redmontrer chaque fois)
Ainsi, la valeur moyenne de f sur [ ] b a, est une valeur atteinte (do le nom du thorme).
Attention, ce thorme ne se gnralise pas aux fonctions valeurs dans C !
Chapitre 4 : Intgrale dune fonction continue sur un segment et drivation
Analyse Page 10 sur 10

Vous aimerez peut-être aussi