Beruflich Dokumente
Kultur Dokumente
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
'
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
'
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
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
x
e
x
xe
x F x xF x
x x
'
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 ) ( ) ( )) ( ) ( ' ) ( ' ) ( ( +
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
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
'
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
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
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