Фундаментальная тэарэма вылічэння
Вылічэнне часта разумеюць як «мову» для тлумачэння змяненняў і назапашвання. З аднаго боку, мы вывучаем вытворныя, каб вымераць хуткасць змены функцыі. З іншага боку, мы вывучаем інтэгралы, каб вылічыць назапашванне, напрыклад, плошчу пад крывой або поўную «бесперапынную суму» велічыні. Асноўная тэарэма вылічэння (АТС) — гэта важны масток, які злучае гэтыя дзве ідэі: аказваецца, што дыферэнцыяванне і інтэграванне — гэта не дзве асобныя тэмы, а хутчэй дзве ўзаемныя аперацыі. Гэтая тэарэма робіць вылічэнне такім магутным у навуцы, тэхніцы, эканоміцы і многіх іншых галінах.
Агляд: змены і назапашванне
Уявіце сабе аўтамабіль, які рухаецца па дарозе. Хуткасць аўтамабіля — гэта хуткасць змены становішча з цягам часу, а пройдзеная адлегласць — гэта назапашванне «хуткасці» з цягам часу. У матэматычных тэрмінах, калі \(v(t)\) — гэта хуткасць, то пройдзеная адлегласць ад часу \(a\) да \(b\) можа быць выражана інтэгралам
\[
\int_a^bv(t)\, dt.
\]
Тым часам, калі \(s(t)\) — гэта становішча, то хуткасць — гэта вытворная:
\[
v(t) = s'(t).
\]
Асноўная тэарэма вылічэння сцвярджае, што гэтыя дзве аперацыі цесна звязаны: інтэграл ад вытворнай вяртае чыстую змену функцыі, а вытворная ад пэўнага інтэграла вяртае зыходную функцыю. Гэта суадносіны робіць разлік плошчы, адлегласць, маса, энергія і многія іншыя рэчы становяцца значна больш сістэматычнымі.
Кароткая перадумова: што такое пэўныя інтэгралы і вытворныя?
Перш чым перайсці да фармулёўкі тэарэмы, варта ўлічваць дзве важныя канцэпцыі:
1. Вытворная \(f'(x)\): вымярае нахіл графіка або хуткасць змены \(f(x)\) пры нязначнай змене \(x\). Інтуітыўна зразумела, што калі \(f(x)\) апісвае становішча, то \(f'(x)\) апісвае хуткасць.
2. Пэўны інтэграл \(\int_a^bf(x)\,dx\): вымярае назапашванне \(f\) на інтэрвале \([a,b]\). Геаметрычна ён часта вызначаецца як плошча са знакам (дадатная плошча над воссю \(x\), адмоўная плошча пад воссю \(x\)) пад крывой \(y=f(x)\) ад \(x=a\) да \(x=b\).
Пэўны інтэграл фармальна вызначаецца граніцай сумы Рымана, гэта значыць апраксімацыяй плошчы малымі прамавугольнікамі, а затым прыняццем граніцы пры імкненні шырыні прамавугольнікаў да нуля.
Сцвярджэнне асноўнай тэарэмы вылічэння (частка 1)
У частцы 1 TFK гаворыцца: калі функцыя \(f\) бесперапынная на \([a,b]\), то мы вызначаем новую функцыю
\[
F(x)=\int_a^xf(t)\,dt,
\]
тады \(F\) можна атрымаць на \((a,b)\) і
\[
F'(x)=f(x).
\]
Сэнс вельмі важны: інтэграл, «пабудаваны» з \(f\), дае первісную функцыю \(f\). Іншымі словамі, працэс назапашвання да пункта \(x\) пасля дыферэнцыявання вернецца да хуткасці назапашвання ў гэтым пункце.
Інтуіцыя. Частка 1
Звярніце ўвагу на невялікую змену ў \(F(x)\), калі \(x\) павялічваецца на невялікую велічыню \(\Delta x\):
\[
F(x + Δx) - F(x) = \int_a^{x + Δx} f(t) \,dt – \int_a^xf(t) \,dt = \int_x^{x + Δx} f(t) \,dt.
\]
Калі Δx малое, гэты інтэграл прыблізна роўны f(x)Δx. Такім чынам,
\[
\frac{F(x + Δx) - F(x)}{Δx} прыблізна f(x).
\]
Калі Δx роўна 0, прыбліжэнне становіцца дакладным, так што F'(x) = f(x).
Просты прыклад
Дапусцім, што f(t) = 2t. Вызначым
\[
F(x)=\int_0^x 2t\,dt.
\]
Мы ведаем, што \(\int 2t\,dt = t^2\), таму \(F(x)=x^2\). Вытворная роўная \(F'(x)=2x\), што вяртае нас да \(f(x)\). Гэта канкрэтна ілюструе першую частку.
Сцвярджэнне асноўнай тэарэмы вылічэння (частка 2)
У частцы 2 TFK гаворыцца: калі \(f\) бесперапынная на \([a,b]\) і \(F\) з'яўляецца первіснай функцыяй \(f\) (г.зн. \(F'(x)=f(x)\)), то
\[
\int_a^bf(x)\,dx = F(b) - F(a).
\]
Гэта найбольш часта выкарыстоўваная форма тэарэмы ў інтэгральных вылічэннях. Яна сцвярджае, што для вылічэння пэўнага інтэграла нам больш не трэба непасрэдна ўжываць граніцу сумы Рымана; проста знайсці первобразную ад \(F\), а затым ацаніць яе на верхняй і ніжняй межах.
Прыклад разліку
Колькасць:
\[
\int_1^3 (x^2+1)\,dx.
\]
Першапачатковая функцыя — гэта
\[
F(x)=\frac{x^3}{3}+x.
\]
Такім чынам:
\[
\int_1^3 (x^2+1)\,dx = \left(\frac{3^3}{3}+3\right)-\left(\frac{1^3}{3}+1\right)
= \left(9+3\right)-\left(\frac{1}{3}+1\right)
=12-\frac{4}{3}=\frac{32}{3}.
\]
Без TFK нам давялося б вызначыць інтэграл як граніцу сумы плошчу прамавугольніка і вылічыць мяжа — значна даўжэйшая.
Чаму яго называюць «фундаментальным»?
Гэтая тэарэма з'яўляецца фундаментальнай, таму што:
1. Аб'яднайце два асноўныя паняцці вылічэння: вытворную (змяненне) і інтэграл (назапашванне).
2. Забяспечвае практычны метад: пэўныя інтэгралы можна вылічыць з дапамогай первісных.
3. Ляжыць у аснове многіх прыкладанняў: фізіка (праца і энергія), статыстыка (размеркаванне і магчымасці), эканоміка (агульны кошт у параўнанні з гранічным коштам), біялогія (рост насельніцтва) і г.д.
Канцэптуальна, вылічэнне становіцца лагічным інструментам: мы можам лёгка пераключацца паміж мадэлямі «хуткасці» і «агульнага» ўзроўню.
Часта з'яўляюцца праграмы
1. Адлегласць ад хуткасці
Калі \(v(t)\) — хуткасць, то чыстае зрушэнне роўнае:
\[
s(b) - s(a) = \int_a^bv(t) \,dt.
\]
Гэта ўзята непасрэдна з другой часткі TFK, калі \(v(t)=s'(t)\). Калі \(v(t)\) часам адмоўнае, інтэграл дае чыстае зрушэнне; для поўнай адлегласці яно звычайна вылічваецца як \(\int_a^b |v(t)|\,dt\).
2. Назапашванне хуткасці змены
Калі рэзервуар напаўняецца з хуткасцю \(r(t)\) літраў/хвіліну, то аб'ём, які паступае за прамежак часу \([a,b]\), роўны \(\int_a^br(t)\, dt\). Калі ёсць як прыток, так і адток, то чыстае змяненне аб'ёму роўна інтэгралу ад (прыток − адток).
3. Тэарэма аб сярэднім значэнні для інтэгралаў
З TFK вынікаюць розныя наступствы, такія як сярэдняе значэнне функцыі:
\[
f_{\text{сярэдні}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
Гэта важна пры аналізе і мадэляванні дадзеных.
Важныя заўвагі: правілы і ўмовы
Тэарэма ФК звычайна патрабуе непарыўнасці функцыі (f) на разгляданым інтэрвале, каб яе выраз быў гладкім. У далейшых даследаваннях гэтая тэарэма можа быць распаўсюджана на функцыі, якія не абавязкова з'яўляюцца непарыўнымі (напрыклад, функцыі, якія з'яўляюцца інтэграбельнымі па Рыману або Лебега пры пэўных умовах), але для элементарнага вылічэння дапушчэнне непарыўнасці з'яўляецца стандартным.
Акрамя таго, пэўныя інтэгралы даюць плошчы са знакам, а не заўсёды «чыста геаметрычныя плошчы». Калі графік знаходзіцца ніжэй восі x, інтэграл адмоўны. Для геаметрычных плошчаў звычайна выкарыстоўваюцца абсалютныя значэнні або інтэрвальныя падзелы.
Закрыццё
Асноўная тэарэма вылічэння — гэта аснова, якая аб'ядноўвае вытворную і інтэграл. У частцы 1 было паказана, што назапашванне бесперапыннай функцыі пасля дыферэнцыявання вяртаецца да зыходнай функцыі. У частцы 2 быў паказаны хуткі спосаб вылічэння пэўных інтэгралаў: проста знайсці першасную і ацаніць рознасць у межах. З дапамогай гэтай тэарэмы вылічэнне становіцца не проста наборам матэматычных прыёмаў, а элегантнай асновай для разумення свету: як рэчы змяняюцца з цягам часу і як гэтыя змены назапашваюцца ў агульную суму.
Калі пазней вы будзеце вывучаць метады інтэгравання, дыферэнцыяльныя ўраўненні або фізічныя мадэлі, вы будзеце працягваць бачыць, як ТФК працуе за кулісамі — як «мост», які робіць вылічэнне такім магутным інструментам.
