Fundamentalna teorema računa

Fundamentalna teorema računa je teorema koja povezuje koncept diferenciranja funkcije sa konceptom integriranja funkcija.

Prvi deo teoreme, koji se ponekad naziva prvom fundamentalnom teoremom računa, navodi da se jedan od antiderivata (koji se takođe naziva neodređeni integral), i.e. -{F}-, neke funkcije -{f}- može dobiti kao integral od -{f}- sa promenljivom granicom integracije. To podrazumeva postojanje antiderivata za kontinuirane funkcije.

Nasuprotno tome, drugi deo teoreme, koji se ponekad naziva i drugom fundamentalnom teoremom računa, navodi da se integral funkcije -{f}- na nekom intervalu može izračunati korišćenjem bilo kojeg, i.e. -{F}-, od beskonačno velikog broja antiderivata. Ovaj deo teoreme ima ključne praktične primene, jer se eksplicitnim pronalaženjem antiderivativa funkcije simboličkom integracijom izbegava numerička integracija za računanje integrala. To generalno daje bolju numeričku tačnost.

Istorija

Fundamentalna teorema računa povezuje diferencijaciju i integraciju, pokazujući da su ove dve operacije u suštini inverzne jedna drugoj. Pre otkrića ove teoreme nije bilo poznato da su ove dve operacije povezane. Drevni grčki matematičari znali su kako da izračunaju površinu pomoću infinitezimala, operacije koja bi se sada nazivala integracijom. Poreklo diferencijacije takođe je prethodilo fundamentalnoj teoremi računa stotinama godina; na primer, u četrnaestom veku, Oksfordski kalkulatori i drugi učenjaci proučavali su koncepte kontinuiteta funkcija i kretanja. Istorijska relevantnost fundamentalne teoreme računa nije sposobnost izračunavanja ovih operacija, već spoznaja da su dve naizgled različite operacije (izračunavanje geometrijskih područja i izračunavanje brzina) u stvari usko povezane.

Prvu objavljenu izjavu i dokaz rudimentarnog oblika fundamentalne teoreme, snažno geometrijskog karaktera, dao je Džejms Gregori (1638–1675). Ajzak Barou (1630–1677) dokazao je opštiju verziju teoreme, dok je njegov učenik Isak Njutn (1642–1727) dovršio razvoj okolne matematičke teorije. Gotfrid Lajbnic (1646–1716) sistematizovao je znanje u proračun za beskonačno male količine i uveo notaciju koja se danas koristi.

Geometrijsko značenje

Oblast zasenčene crveno je blizo -{h}- puta -{f(x)}-. Alternativno, kad bi funkcije A(x) bile poznate, oba površina bi bila Шаблон:Nowrap Ove dve vrednosti su približno jednake, posebno za malo -{h}-.

Za kontinuiranu funkciju Шаблон:Nowrap čiji je graf prikazan kao kriva, svaka vrednost x ima odgovarajuću površinsku funkciju A(x), koja predstavlja područje ispod krive između 0 i x. Funkcija A(x) možda nije poznata, ali je poznato da predstavlja područje ispod krive.

Područje ispod krive između x i Шаблон:Nowrap može se izračunati pronalaženjem područja između 0 i Шаблон:Nowrap i zatim oduzimanjem područja između 0 i x. Drugim rečima, površina ove „trake” bila bi Шаблон:Nowrap.

Postoji još jedan način da se proceni površina iste trake. Kao što je prikazano na priloženoj slici, -{h}- se množi sa -{f(x)}- da bi se pronašlo područje pravougaonika koje je približno iste veličine kao i ova traka. Tako da je:

$A(x+h)-A(x)\approx f(x)\cdot h$

Zapravo, ova procena postaje savršena jednakost ako se doda crveni deo područja „viška” prikazanog na dijagramu. Tako da je:

$A(x+h)-A(x)=f(x)\cdot h+(\text{crveni višak})$

Usklađujući članove dobija se:

$f(x)=\frac{A(x+h)-A(x)}{h}-\frac{\text{crveni višak}}{h}$.

Kako se -{h}- približava 0 u limitu, može se pokazati da poslednja frakcija ide u nulu. To je tačno jer je površina crvenog dela područja viška manja ili jednaka od površine malog crno-obrubljenog pravougaonika. Preciznije,

$|f(x)-\frac{A(x+h)-A(x)}{h}|=\frac{|\text{crveni višak}|}{h}\le \frac{h(f(x+h_1)-f(x+h_2))}{h}=f(x+h_1)-f(x+h_2),$

gde su $x+h_1$ i $x+h_2$ tačke gde Шаблон:Mvar doseže svoj maksimum i svoj minimum, respektivno, na intervalu Шаблон:Math. Usled kontinuiteta Шаблон:Math, kasniji izraz teži nuli kad Шаблон:Math to čini. Stoga se leva strana teži nuli kao i Шаблон:Math, iz čega sledi

$f(x)=\underset{h\to 0}{\lim }\frac{A(x+h)-A(x)}{h}.$

Ovo podrazumeva Шаблон:Math. Odnosno, derivat područja funkcije -{A(x)}- postoji i izvorna je funkcija -{f(x)}-; te je funkcija područja jednostavno antiderivat originalne funkcije. Računanje derivata funkcije i „pronalaženje područja” ispod njene krive su „suprotne” operacije. To je srž fundamentalne teoreme računa.

Fizička intuicija

Intuitivno, osnovna teorema kaže da su integracija i diferencijacija u suštini inverzne operacije koje preokreću jedna drugu.

Druga fundamentalna teorema navodi da se zbir infinitezimalano malih promena u količini tokom vremena (integral izvoda količine) dodaje do neto promene količine. Da bi se ovo vizualizovalo, može se zamisliti da se putuje automobilom i da se želi da se zna pređenu udaljenost (neto promena položaja duž puta). Može se viditi brzina na brzinomeru, ali se ne može videti lokacija. Svake sekunde se može pronaći koliko je daleko automobil prešao koristeći Шаблон:Math, množeći trenutnu brzinu (u kilometrima ili miljama na sat) sa vremenskim intervalom (1 sekunda = $\frac{1}{3600}$ sata). Sumirajući sve ove male korake, može se izračunati ukupna pređena udaljenost, a da se nikada ne pogleda van automobila:$$\text{pređeno rastojanje}=\sum \left(\begin{array}{c}\text{brzina u}\\ \text{datom vremenu}\end{array}\right)\times \left(\begin{array}{c}\text{vremenski}\\ \text{interval}\end{array}\right)=\sum v(t)\times \mathrm{\Delta }t.$$ Kako $\mathrm{\Delta }t$ postaje infinitezimalano malo, sumiranje odgovara integraciji. Dakle, integral funkcije brzine (izvod položaja) izračunava koliko je automobil prešao (neto promena položaja).

Prva osnovna teorema navodi da je svaka količina stopa promene (derivacije) integrala veličine od fiksnog vremena do promenljivog vremena. Nastavljajući gornji primer, ako se zamisli funkcija brzine, ona se može integrisati od vremena početka do bilo kog datog vremena da bi se dobila funkciju udaljenosti čiji je izvod data brzina. (Da bi se dobila poziciju markera autoputa, ovom integralu se mora dodati početna pozicija.)

Formalne izjave

Postoje dva dela teoreme. Prvi deo se bavi izvodom antiderivata, dok se drugi bavi odnosom antiderivata i određenih integrala.

Prvi deo

Ovaj deo se ponekad pominje kao prva fundamentalna teorema računa.

Neka je Шаблон:Mvar neprekidna funkcija realne vrednosti definisana na zatvorenom intervalu [a, b]. Neka je Шаблон:Mvar funkcija definisana za svako Шаблон:Mvar u [a, b], sa $$F(x)=\underset{a}{\overset{x}{\int }}f(t)dt.$$

Tada je Шаблон:Mvar uniformno neprekidna na [a, b] i diferencibilna na otvorenom intervalu (a, b), i $$F^{\prime }(x)=f(x)$$ za svako Шаблон:Mvar u (a, b) tako da je Шаблон:Mvar antiderivat od Шаблон:Mvar.

Zaključak

Osnovna teorema računa (animacija)

Osnovna teorema se često koristi za izračunavanje određenog integrala funkcije $f$ za koju je poznat antiderivat $F$. Konkretno, ako je $f$ neprekidna funkcija realne vrednosti na $[a,b]$ i $F$ je antiderivat od $f$ u $[a,b]$ onda je $$\underset{a}{\overset{b}{\int }}f(t)dt=F(b)-F(a).$$

Zaključak pretpostavlja kontinuitet na celom intervalu. Ovaj rezultat je malo pojačan u sledećem delu teoreme.

Drugi deo

Ovaj deo se ponekad naziva druga fundamentalna teorema računa ili Njutn-Lajbnicova teorema.

Neka je $f$ funkcija realne vrednosti na zatvorenom intervalu $[a,b]$ i $F$ neprekidna funkcija na $[a,b]$ koja je antiderivat od $f$ na $(a,b)$: $$F^{\prime }(x)=f(x).$$

Ako je $f$ integrabilna po Rimanu na $[a,b]$ onda je $$\underset{a}{\overset{b}{\int }}f(x)dx=F(b)-F(a).$$

Drugi deo je nešto jači od zaključka, jer ne pretpostavlja da je $f$ neprekidna.

Kada postoji antiderivat $F$ od $f$, onda postoji beskonačno mnogo antiderivata za $f$, dobijenih dodavanjem proizvoljne konstante na $F$. Takođe, prema prvom delu teoreme, antiderivati za $f$ uvek postoje kada je $f$ neprekidna.

Dokaz prvog dela

Za datu funkciju Шаблон:Math, definiše se funkcija Шаблон:Math kao $$F(x)=\underset{a}{\overset{x}{\int }}f(t)dt.$$

Za bilo koja dva broja Шаблон:Math i Шаблон:Math u [a, b], postoji $$\begin{array}{cc}F(x_1+\mathrm{\Delta }x)-F(x_1)& =\underset{a}{\overset{x_1+\mathrm{\Delta }x}{\int }}f(t)dt-\underset{a}{\overset{x_1}{\int }}f(t)dt\\ & =\underset{x_1}{\overset{x_1+\mathrm{\Delta }x}{\int }}f(t)dt,\end{array}$$ potonja jednakost proizilazi iz osnovnih svojstava integrala i aditivnosti površina.

Prema teoremi srednje vrednosti za integraciju, postoji realan broj $c\in [x_1,x_1+\mathrm{\Delta }x]$ takav da je $$\underset{x_1}{\overset{x_1+\mathrm{\Delta }x}{\int }}f(t)dt=f(c)\cdot \mathrm{\Delta }x.$$

Sledi da je $$F(x_1+\mathrm{\Delta }x)-F(x_1)=f(c)\cdot \mathrm{\Delta }x,$$ i stoga da je $$\frac{F(x_1+\mathrm{\Delta }x)-F(x_1)}{\mathrm{\Delta }x}=f(c).$$

Uzimajući granicu kao $\mathrm{\Delta }x\to 0,$ a imajući u vidu da je $c\in [x_1,x_1+\mathrm{\Delta }x],$ dobija se $$\underset{\mathrm{\Delta }x\to 0}{\lim }\frac{F(x_1+\mathrm{\Delta }x)-F(x_1)}{\mathrm{\Delta }x}=\underset{\mathrm{\Delta }x\to 0}{\lim }f(c),$$ što je, $$F^{\prime }(x_1)=f(x_1),$$ prema definiciji izvoda, kontinuitetu Шаблон:Mvar i teoremi sažimanja.

Literatura

• Шаблон:Citation.
• Шаблон:Citation.
• Шаблон:Citation.
• Шаблон:Citation
• Шаблон:Citation.
• Шаблон:Citation.
• Malet, A., Studies on James Gregorie (1638-1675) (PhD Thesis, Princeton, 1989).
• Hernandez Rodriguez, O. A.; Lopez Fernandez, J. M. . "Teaching the Fundamental Theorem of Calculus: A Historical Reflection", Loci: Convergence (MAA), January 2012.
• Шаблон:Citation.
• Шаблон:Citation.
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation

Spoljašnje veze

• Шаблон:Springer
• -{James Gregory's Euclidean Proof of the Fundamental Theorem of Calculus at Convergence}-
• -{Isaac Barrow's proof of the Fundamental Theorem of Calculus}-
• -{Fundamental Theorem of Calculus at imomath.com Шаблон:Wayback}-
• -{Alternative proof of the fundamental theorem of calculus}-
• -{Fundamental Theorem of Calculus MIT.}-
• -{Fundamental Theorem of Calculus Mathworld.}-