Les résultats de la section ont montré que la fonction aire est une fonction dont la dérivée est égale à $f$. La nouvelle définition suivante est donc naturelle:

Par le Théorème Fondamental de l’Analyse (1ère partie), toute fonction continue possède au moins une primitive, sa fonction aire associée $A(x)$. (Ceci ne veut pas dire que la fonction $A(x)$ est facile à exprimer!)

De plus, la primitive d’une fonction n’est pas unique. En effet, puisque la dérivée d’une constante $C\in \mathbb{R}$ est nulle, si $F(x)$ est une primitive de $f$, alors $F(x)+C$ l’est aussi.

Donc une fonction qui possède une primitive en possède une infinité.

Le lemme suivant assure que sur un intervalle, toutes les primitives d’une fonction sont de la même forme:

Ce lemme n’est plus vrai si le domaine n’est pas un intervalle mais une union d’intervalles disjoints.

Par le lemme et les remarques ci-dessus, étant donnée une primitive $F$ de $f$ sur un intervalle, on a

$$\int f(x)dx=\{F(x)+C:C\in \mathbb{R}\}.$$

Par abus de notation , on écrira aussi

$$\int f(x)dx=F(x)+C,$$

où $C$ désigne une constante arbitraire.

Quelques exemples de primitives de fonctions élémentaires:

Sur la recherche des primitives

On a

• ${\left(\int f(x)dx\right)}^{\prime }=f(x)$,
• $\int f^{\prime }(x)dx=f(x)+C$,
• (linéarité) $\int (\lambda f(x)+\mu g(x))dx=\lambda \int f(x)dx+\mu \int g(x)dx$
• $\int (f(x)\cdot g(x))dx\ne \int f(x)dx\cdot \int g(x)dx$.

On peut obtenir beaucoup de primitives de fonctions en utilisant les propriétés ci-dessus, et en remarquant que si on peut mettre une fonction sous la forme

$$f^{\prime }(g(x))\cdot g^{\prime }(x),$$

alors la règle de dérivation de la composée permet de conclure que

$$\int f^{\prime }(g(x))\cdot g^{\prime }(x)dx\int (f(g(x){)}^{\prime }dx=f(g(x))+C.$$