La méthode de vérification en trois lignes
#primitive#verification#redaction
Construit sur :Définition d'une primitive
Pour montrer que est une primitive de sur :
- préciser que est dérivable sur ;
- calculer ;
- conclure que pour tout .
Modèle de rédaction.
La fonction est dérivable sur . Pour tout , . Donc est une primitive de sur .
Cette structure courte contient exactement la justification attendue.