\[\int_1^3 {\frac{{dx}}{x} = \left[ {\ln x} \right]} _1^3 = \ln 3\]
Il s'ensuit fort logiquement que:
\[\int_1^3 {\frac{{dx}}{x^2} \leqslant \ln 3 \leqslant \int_1^3 {\frac{{dx}}{{\sqrt x}}}} \]
Si vous avez du mal à passer à l'étape suivante, relisez la page sur les primitives usuelles. \(\left[ { - \frac{1}{x}} \right]_1^3 < \ln 3 < \left[ {2\sqrt x} \right]_1^3\)
\(\Leftrightarrow \frac{2}{3} \leqslant \ln 3 \leqslant 2\sqrt{3} - 2\)
Vous pouvez d'ailleurs le vérifier à l'aide de votre calculatrice préférée.
Il est clair que F s'annule en a,
et pour toute autre primitive G de f s'annulant en a,
la différence F − G est de dérivée nulle donc est constante
mais s'annule en a, donc F − G = 0. Toute fonction continue sur un intervalle I de R admet une primitive sur I. Au lieu d'utiliser l'intégrale de Riemann, on peut aussi démontrer ce corolaire d'une autre manière et transformer le théorème fondamental de l'analyse en définition de l'intégrale pour une fonction continue. Les propriétés de l'introduction s'en déduisent facilement. Soit f une fonction continue
sur un intervalle I
et F une primitive de f
sur cet intervalle. Alors pour tout ( a, b) ∈ I 2 on a ∫ a b f ( t) d t = [ F ( t)] a b = F ( b) − F ( a). Cette propriété permet de calculer de nombreuses intégrales grâce aux formules de dérivées des fonctions de référence. Intégration par parties
Soient f et g deux fonctions continues sur un intervalle I, avec g dérivable sur I. Soit F une primitive de f sur I et ( a, b) ∈ I 2. Alors on a ∫ a b f ( t) g ( t) d t
= [ F ( t) g ( t)] a b − ∫ a b F ( t) g ′( t)d t.