Académique Documents
Professionnel Documents
Culture Documents
Théorème : Toute fonction continue sur un intervalle ; admet des primitives sur cet intervalle .
Démonstration (ROC) : On suppose ici que est une fonction continue admettant un minimum sur
l’intervalle ; . Soit la fonction définie sur ; par = −
De plus, ∀ ∈ ; , ≥ donc ≥0
De plus, on a : = = −
= − + =
On sait aussi que toute primitive F de sur ; est telle que : = +" (avec " ∈ ℝ)
. 1 1
Soit , =3 −1. On a , =6 . Ainsi, 5 = ×6 = ,
2 2
1 1
On a donc : = &4 ×, qui est la dérivée de = &4
2 2
1 ( )*
Ainsi, la fonction définie par = &' est une primitive de sur ℝ .
2
' ' 1 ( )* ( )*
D’où : +
5 &' )*
= + = 3 − 0 = 5 & '×' − & '×+ 6
2
1
=2 & .2 − & )*