Θεώρημα 22. (Θεμελιώδες θεώρημα του ολοκληρωτικού λογισμού) Έστω f μια συνεχής συνάρτηση σ’ ένα διάστημα . Αν G είναι μια παράγουσα της f στο
, τότε
(ΗΜ. 2002, ΗΜ. 2013)
Έστω f μια συνεχής συνάρτηση σ’ ένα διάστημα και G είναι μια παράγουσα της f στο
.
Η συνάρτηση
είναι μια παράγουσα της f στο .
Επειδή και η G είναι μια παράγουσα της f στο, θα υπάρχει
τέτοιο ώστε,
Από την (1), για x = α , έχουμε οπότε
Επομένως,
οπότε, για x = β , έχουμε
και άρα