Odpre glavni meni

Osnovni izrek infinitezimalnega računa

Osnovni izrek infinitizimalnega računa (tudi osnovni izrek matematične analize) podaja povezavo med odvodom, nedoločenim integralom in določenim integralom.

Prvi delni dokaz tega izreka je objavil James Gregory (1638-1675), dopolnjeno različico dokaza pa je sestavil Isaac Barrow (1630-1677). Širšo teorijo infinitezimalnega računa sta sestavila istočasno in neodvisno drug od drugega Isaac Newton (1643–1727) in Gottfried Wilhelm Leibniz (1646–1716).

Vsebina

Intuitivno ozadjeUredi

Eden od glavnih problemov integralskega računa je seštevanje infinitezimalno majhnih količin.

Za zgled si poglejmo preprost fizikalni problem: telo, ki se neenakomerno giblje. V infinitezimalno majhnem času dt opravi infinitezimalno majhno pot ds. Razmerje med ds in dt je fizikalno gledano enako hitrosti v določenem trenutku:

 

Matematično gledano pa je to odvod poti s kot funkcije časa (zapis ds/dt je Leibnizov način za zapis odvoda funkcije s po spremenljivki t). Če enačbo preuredimo, dobimo:

 

Zdaj se vprašajmo, kolikšna je celotna pot, ki jo opravi telo. Celotna pot s je seštevek vseh delnih poti ds. Ta seštevek označimo z integralskim znakom, ki izhaja iz velike črke S (S kot suma, seštevek). Če seštevamo delne poti ds seveda dobimo isto, kot če seštevamo ustrezne izraze v(t) dt:

 

To pomeni, da je rezultat integrala funkcija s, katere odvod je funkcija v(t).

Matematična formulacijaUredi

Osnovni izrek infinitezimalnega računa po navadi formuliramo v dveh korakih

Prvi korakUredi

Naj bo realna funkcija f na intervalu [a,b] zvezna. Definirajmo novo funkcijo F s formulo:

 

Izkaže se, da je funkcija F na [a,b] odvedljiva in njen odvod je enak funkciji f:

 

Torej: če določeni integral   odvajamo glede na zgornjo mejo, dobimo kot rezultat f. To pomeni, da sta odvod in integral med seboj nasprotni operaciji.

Drugi korakUredi

Naj bo realna funkcija f na intervalu [a,b] zvezna. Z nedoločenim integralom dobimo primitivno funkcijo in jo označimo F:

  oziroma  

Potem za določeni integral velja:

 

To zvezo imenujemo Newton-Leibnizova formula.

ZgledUredi

 
Zgled

Recimo, da želimo izračunati ploščino lika, ki ga omejujeta abscisna os in graf funkcije f(x) = sin x med dvema zaporednima ničlama (glej sliko).

Ploščina je enaka določenemu integralu funkcije f(x) = sin x na intervalu [0,π]. Določeni integral izračunamo tako, da najprej s pomočjo nedoločenega integrala izračunamo primitivno funkcijo F(x) = −cos x + C in potem uporabimo Newton-Leibnizovo formulo F(b) − F(a) (pri tem se člen C uniči, zato ga po navadi sploh ne zapišemo):

 

Torej je ploščina osenčenega lika enaka 2.

Glej tudiUredi