Exercice 1 : Qu'est-ce qu'une primitive ?
La figure montre trois primitives de : les paraboles , et . Elles se déduisent l'une de l'autre par translation verticale, et c'est exactement ce que dit la constante d'intégration.
- a) Énoncez la définition d'une primitive, puis vérifiez que est une primitive de .
- b) Montrez que et sont toutes deux des primitives de . Est-ce contradictoire ? Quel théorème règle la question ?
- c) Trouvez la primitive de qui vérifie . Combien y a-t-il de telles primitives ?
- d) En vous appuyant sur la figure : pourquoi les trois courbes ont-elles la même pente en chaque abscisse, et pourquoi une seule primitive passe-t-elle par un point donné du plan ?
Voir la correction
a) Définition : est une primitive de sur un intervalle si est dérivable sur et pour tout . Vérification : ✓. Les deux s'annulent, et c'est tout l'intérêt de la forme proposée. Notez qu'on ne CHERCHE pas la primitive ici, on la VÉRIFIE : vérifier est toujours plus facile que trouver, et c'est la raison pour laquelle toute réponse d'intégration se contrôle par dérivation.
b) ✓ et ✓. Aucune contradiction : , une CONSTANTE. Le théorème qui règle la question : si deux fonctions ont la même dérivée sur un intervalle, leur différence y est constante (conséquence du théorème des accroissements finis, puisque ). Deux primitives d'une même fonction ne peuvent donc différer que d'une constante, et c'est précisément ce que le encode. Attention à l'hypothèse d'INTERVALLE : sur un domaine en deux morceaux, comme celui de , la « constante » peut valoir une valeur à gauche de zéro et une autre à droite.
c) . La condition donne , donc et . Il y en a exactement UNE : la condition initiale sélectionne un unique membre de la famille infinie. C'est le mécanisme central des équations différentielles plus tard dans la session : l'intégration fournit la famille, la condition initiale choisit la solution.
d) Les trois courbes sont des translatées verticales l'une de l'autre : passer de à ajoute la même quantité partout, ce qui ne change aucune pente. Leur dérivée commune est , donc en une abscisse donnée les trois tangentes sont parallèles. Et par un point du plan il passe exactement une primitive, car l'équation a une solution unique . Géométriquement : la famille des primitives remplit le plan sans qu'aucune ne se croise, ce qui donne l'image juste du comme d'un curseur vertical.