Soit une fonction continue sur un intervalle . On appelle primitive de toute fonction dérivable sur , de dérivée .
Si est une primitive et , alors est encore une primitive.
Soit une fonction continue sur et une primitive de . Alors l’ensemble des primitives de est l’ensemble des fonctions pour .
On a déjà remarqué que toutes les fonctions sont des primitives. Montrons que ce sont les seules : soit une primitive. Alors est dérivable sur , de dérivée . D’après le théorème des accroissements finis, est constante. Notons sa valeur. On a alors . ∎
Soit une fonction continue sur un intervalle de . Alors :
Il existe une primitive de définie sur .
Soient et dans . Alors la valeur de ne dépend pas du choix de la primitive de .
Soit une fonction continue sur un intervalle de et une primitive. Soient et dans . Alors, on appelle intégrale de entre et le nombre
Le nom de la variable importe peu dans la notation de l’intégrale : .
Le deuxième point découle de la proposition précédente : en effet, si on choisit une autre primitive , alors il existe un réel tel que . On a donc :
On obtient immédiatement
Fixons et observons la fonction . Si est une primitive de , on peut la réécrire . C’est donc la primitive de qui s’annule en . On utilisera donc la notation pour désigner une primitive quelconque.
( Relation de Chasles)