« Intégration de Riemann/Intégrale et primitives » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-d'abord +d’abord)
m Robot : Remplacement de texte automatisé (- c'est + c’est )
Ligne 135 :
 
<u>Remarques :</u>
* Dans la première partie du Théorème, la variable <math>x</math> est la "borne d'en haut" de l'intégrale : c'estc’est pour cela qu'on parle parfois de "l'intégrale fonction de la borne d'en haut".
* Dans la deuxième partie du Théorème, la primitive <math>F</math> choisie est quelconque et ce n'est pas nécessairement celle donnée dans la première partie.
* C'est ce Théorème qui permet de montrer que toute fonction continue admet des primitives.
 
{{Démonstration déroulante|contenu =
* Il est clair que <math>F</math> s'annule en <math>a</math> : <math>F(a) = \int_a^a f(t)\mathrm{d}t = 0</math> .<br />Il faut montrer maintenant que <math>F</math> est bien une primitive de <math>f</math> , c'est-à-dire que <math>F'=f</math> ou encore (par [[Fonctions d'une variable réelle/Dérivabilité|définition de la dérivée]]) que<br /><math>\forall x_0 \in \R\quad\lim_{x\to x_0} \frac{F(x)-F(x_0)}{x-x_0} = f(x_0).</math><br />La relation de Chasles donne :<br /><math>\frac{F(x)-F(x_0)}{x-x_0}= \frac{1}{x-x_0}\left(\int_a^x f(t)\mathrm{d}t - \int_a^{x_0} f(t)\mathrm{d}t\right)=\frac{1}{x-x_0}\int_{x_0}^{x} f(t)\mathrm{d}t</math><br />donc :<br /><math>\frac{F(x)-F(x_0)}{x-x_0}-f(x_0)=\frac{1}{x-x_0}\left(\int_{x_0}^{x} f(t)\mathrm{d}t-(x-x_0)f(x_0)\right)=\frac{1}{x-x_0}\int_{x_0}^x\left(f(t)-f(x_0)\right)\mathrm{d}t.</math><br />Soit <math>\varepsilon>0</math>. Par continuité de <math>f</math> au point <math>x_0</math>, il existe <math>\eta>0</math> tel que<br /><math>\forall t\in[x_0-\eta,x_0+\eta]\quad|f(t)-f(x_0)|\le\varepsilon</math><br />donc tel que<br /><math>\forall x\in[x_0-\eta,x_0+\eta]\quad\left|\frac{F(x)-F(x_0)}{x-x_0}-f(x_0)\right|\le\frac{1}{x-x_0}\int_{x_0}^x\left|f(t)-f(x_0)\right|\mathrm{d}t\le\varepsilon</math> : c'estc’est précisément ce qu’il fallait démontrer.
* Soit <math>G</math> la primitive qui était désignée par <math>F</math> dans la première partie du Théorème.<br />Alors <math>\int_a^b f(x)\mathrm{d}x = G(b) = G(b) - G(a)</math> puisque <math>G(a) = 0</math> .<br />Toute autre primitive <math>F</math> de <math>f</math> diffère de <math>G</math> par une constante <math>k\in \R</math> , donc <math>F(x) = G(x) + k \,\forall x \in [a;b]</math> et :<br /><math>F(b)-F(a) = (G(b)+k)-(G(a)+k) = G(b)-G(a)= G(b) = \int_a^b f(x)\mathrm{d}x</math>, ce qui est le résultat annoncé.}}
 
Ligne 223 :
3/ Calculer <math>\int \ln x \mathrm{d}x.</math>
 
On ne connaît pas ''a priori'' de primitive de <math>x \mapsto \ln x</math> (et c'estc’est bien ce qu'on cherche).
 
L'astuce dans ces cas-là (une fonction "seule" dont on ne connaît que la dérivée mais pas la primitive) consiste à intégrer par parties en posant :