L’intégrale possède des propriétés qui facilitent son calcul ou son encadrement, ce qui permet d’en obtenir une valeur approchée.
I. Propriétés relatives aux bornes
Soit f une fonction continue sur un intervalle I. Pour tous a, b de I, on a :
∫aaf(t)dt=0
∫baf(t)dt=−∫abf(t)dt
La variable t est muette. On note indifféremment ∫abf(t)dt , ∫abf(x)dx, etc.
Relation de Chasles : Soit f une fonction continue sur un intervalle I. Pour tous a, b, c de I, on a :
∫acf(t)dt=∫abf(t)dt+∫bcf(t)dt
II. Linéarité de l’intégrale
Soient f et g des fonctions continues sur un intervalle I. Pour tous a, b de I et pour tout λ réel, on a :
∫ab(f(t)+g(t))dt=∫abf(t)dt+∫abg(t)dt
∫abλf(t)dt=λ∫abf(t)dt
III. Positivité et croissance de l’intégrale
Soient f et g des fonctions continues sur un intervalle [a ; b], a≤b.
Si f(t)≥0 pour tout t∈[a ; b], alors ∫abf(t)dt≥0
Si f(t)≥g(t) pour tout t∈[a ; b], alors ∫abf(t)dt≥∫abg(t)dt
IV. Intégration par parties
Soient u et v deux fonctions dérivables à dérivées continues sur un intervalle [a ; b],a≤b. Alors :
∫abu′(t)v(t)dt=[u(t)v(t)]ab−∫abu(t)v′(t)dt
Méthodes
Majorer ou minorer une intégrale
∫021+t2t3dt
On pose A=∫021+t2t3dt. Montrer que 0≤A≤4.
Étape 1 Encadrez la fonction t↦1+t2t3 sur l’intervalle d’intégration [0 ; 2] par des fonctions dont on sait déterminer une primitive.
Étape 2 Utilisez la positivité et la croissance de l’intégrale.
Solution
Étape 1 Pour tout t∈[0 ; 2],1+t2≥1 donc 0≥1+t21≥1. t étant positif, on en déduit que pour tout t∈[0 ; 2], 0≤1+t2t3≤t3.
Étape 2 Par positivité et croissance de l’intégrale, on en déduit que 0≤∫021+t2t3dt≤∫02t3dt
∫02t3dt=[4t4]02=4
2 Appliquer le théorème d’intégration par parties
Calculer ∫01tetdt à l’aide d’une intégration par parties.
Identifiez les fonctions u′ et v du théorème, de telle sorte que l’intégrale ∫01u(t)v′(t)dt soit facile à calculer.
Solution
Pour tout t∈[0 ; 1], on pose u′(t)=et et v(t)=t, on a alors u(t)=et et v′(t)=1.
Les fonctions u et v ainsi définies sont dérivables sur [0 ; 1] à dérivées continues. Le théorème d’intégration par parties donne donc :
∫01tetdt=[tet]01−∫01etdt=e−(e−1) et ∫01tetdt=1.