U ovom poglavlju dokazat ćemo osnovni teorem integralnog računa koji
daje vezu između neodređenog i određenog integrala.
Teorem 2.2 Neka je funkcija
integrabilna na
i neka za nju postoji primitivna funkcija
takva da je
za svaki
. Tada vrijedi
Newton-Leibnitzova formula:
Dokaz.
Neka je
proizvoljna podjela segmenta
kao u definiciji 2.1.
Za svaki
funkcija
je neprekidna na intervalu
i derivabilna na intervalu
. Prema Lagrangeovom teoremu
srednje vrijednosti (vidi M1, teorem 5.9) postoji točka
za koju vrijedi
S druge strane vrijedi
što povlači
Zbrajajući ove nejednakosti dobivamo
odnosno
Ove nejednakosti vrijede za proizvoljnu podjelu
segmenta
iz čega
slijedi
Integrabilnost funkcije
povlači
pa je konačno
i teorem j dokazan.
Q.E.D.
Iz teorema zaključujemo da se određeni integral može riješiti tako da
se nađe neodređeni integral podintegralne funkcija, odnosno jedna primitivna funkcija,
a onda uvrste granice. Newton-Leibnitzovu formulu još zapisujemo kao
Primjer 2.2Površina između funkcije
i
-osi od 0
do
jednaka je
Slično, površina između kvadratne parabole
i
-osi od 0
do
jednaka je
U teoremu 2.2 pokazali smo kako se određeni integral može
izračunati pomoću primitivne funkcije.
Sljedeći teorem daje obrnutu vezu, odnosno kazuje kako se
primitivna funkcija može dobiti pomoću određenog integrala, to jest
pomoću površine između podintegralne funkcije i
-osi. Također, sljedeći
teorem daje i nešto jaču verziju teorema 2.2 bez uvjeta na
derivabilnost funkcije
za svaki
.
Teorem 2.3Neka je funkcija
integrabilna na intervalu
i neka je
skup svih točaka prekida funkcije
. Tada za funkciju
definiranu s
ako je skup
konačan ili prebojiv, onda je
primitivna funkcija
funkcije
na intervalu
te za bilo koju primitivnu funkciju
funkcije
na intervalu
vrijedi Newton-Leibnitzova formula
Dokaz.
i.
Tvrdnja je očita.
ii.
Za proizvoljan
vrijedi
pa omeđenost funkcije
,
povlači
odnosno
iii.
Za proizvoljan
vrijedi
pa slične ocjene kao u točki (ii) daju
Ako je funkcija
neprekidna u točki
, odnosno, ako je
, onda izraz na desnoj strani teži nuli kada
pa je
.
iv.
Ako je skup
konačan ili prebrojiv, onda je
i primitivna
funkcija funkcije
na intervalu
. Prema teoremu 1.2 za
bilo koju primitivnu funkciju
funkcije
na intervalu
vrijedi