PRIMITIVES : Démonstration de l’unicité et tableaux des primitives
Propriété :
f est une fonction définie sur un intervalle I. On suppose qu'il existe une primitive F de f sur I.
L'ensemble des primitives de f sur I est l'ensemble des fonctions G définies sur I par G(x) = F(x) + C
où C décrit ℝ.
Démo ROC :
Si G est une primitive de f sur I alors G est dérivable sur I et G’ = f donc G’ = F', la dérivée de la
fonction G - F est nulle sur l'intervalle I, G - F est donc constante sur I : il existe un réel C tel que pour
tout réel x de I, G(x) - F(x) = C.
.Réciproquement, si la fonction G est définie sur I par G (x) = F (x) + C avec C réel ; alors G est
dérivable sur I et G' = F' =f. G est donc une primitive de f sur I.
q :
Si la fonction f admet une primitive sur un intervalle alors elle en admet une infinité.
Si F et G sont deux primitives d'une fonction f sur un intervalle I alors elles diffèrent
d'une constante. Il existe un réel C tel que la courbe CGreprésentant G dans un repère
(O ;
,j) soit l'image de la courbe CFreprésentant F par la translation de vecteur C j
Primitive prenant une valeur donnée en un réel donné
Propriété :
f est une fonction définie sur un intervalle I. On Suppose que f admet des primitives sur I. x0est un réel
de I et y0est un réel donné.
Il existe une unique primitive G de f sur I telle que G (x0) = y0
Démo ROC :
Si F est une primitive de f sur I alors toute primitive de f sur I est définie par : G(x) = F(x) + C avec C
réel. La condition G(x0) = y0s'écrit F(x0) + C = y0c'est-à-dire C = y0- F(x0). Il existe donc une unique
primitive G de f sur I telle que G(x0) = y0elle est définie par : G(x) = F(x) + y0- F(x0).