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