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

Takođe pogledajte: Istorija računa

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 A(x + h) − A(x). Ove dve vrednosti su aproksimativno jednake, posebno za malo h.

Za kontinuiranu funkciju y = f(x) č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 x + h može se izračunati pronalaženjem područja između 0 i x + h, i zatim oduzimanjem područja između 0 i x. Drugim rečima, površina ove „trake” bila bi A(x + h) − A(x).

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,

$\left|f(x)-{\frac {A(x+h)-A(x)}{h}}\right|={\frac {|{\text{crveni višak}}|}{h}}\leq {\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 f doseže svoj maksimum i svoj minimum, respektivno, na intervalu [x, x + h]. Usled kontinuiteta f, kasniji izraz teži nuli kad h to čini. Stoga se leva strana teži nuli kao i h, iz čega sledi

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

Ovo podrazumeva f(x) = A′(x). 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.

Literatura

• Apostol, Tom M. (1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra (2nd изд.), New York: John Wiley & Sons, ISBN 978-0-471-00005-1 .
• Bartle, Robert (2001), A Modern Theory of Integration, AMS, ISBN 0-8218-0845-1 .
• Leithold, L. (1996), The calculus of a single variable (6th изд.), New York: HarperCollins College Publishers .
• Rudin, Walter (1987), Real and Complex Analysis (third изд.), New York: McGraw-Hill Book Co., ISBN 0-07-054234-1 
• Courant, Richard; John, Fritz (1965), Introduction to Calculus and Analysis, Springer .
• Larson, Ron; Edwards, Bruce H.; Heyd, David E. (2002), Calculus of a single variable (7th изд.), Boston: Houghton Mifflin Company, ISBN 978-0-618-14916-2 .
• 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.
• Stewart, J. (2003), „Fundamental Theorem of Calculus”, Calculus: early transcendentals, Belmont, California: Thomson/Brooks/Cole .
• Turnbull, H. W., ур. (1939), The James Gregory Tercentenary Memorial Volume, London .

Spoljašnje veze

• Hazewinkel Michiel, ур. (2001). „Fundamental theorem of calculus”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• 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
• Alternative proof of the fundamental theorem of calculus
• Fundamental Theorem of Calculus MIT.
• Fundamental Theorem of Calculus Mathworld.