Ìlànà Pàtàkì ti Ìṣirò
A sábà máa ń lóye Calculus gẹ́gẹ́ bí “èdè” fún ṣíṣàlàyé ìyípadà àti ìkójọpọ̀. Ní ọwọ́ kan, a máa ń kẹ́kọ̀ọ́ àwọn àbájáde láti wọn ìwọ̀n ìyípadà iṣẹ́ kan. Ní ọwọ́ kejì, a máa ń kẹ́kọ̀ọ́ àwọn ohun èlò láti ṣírò ìkójọpọ̀, bíi agbègbè tí ó wà lábẹ́ ìlà tàbí àpapọ̀ “àròpọ̀ tí ń bá a lọ” ti iye kan. Ìlànà Ìpìlẹ̀ ti Calculus (FTC) jẹ́ afárá pàtàkì kan tí ó so àwọn èrò méjì wọ̀nyí pọ̀: ó hàn gbangba pé ìyàtọ̀ àti ìṣọ̀kan kì í ṣe kókó méjì ọ̀tọ̀ọ̀tọ̀, bí kò ṣe iṣẹ́ méjì tí ó jọra. Ìlànà yìí ni ó mú kí calculus lágbára tó bẹ́ẹ̀ nínú ìmọ̀ sáyẹ́ǹsì, ìmọ̀ ẹ̀rọ, ètò ọrọ̀ ajé, àti ọ̀pọ̀lọpọ̀ àwọn ẹ̀ka mìíràn.
Àkópọ̀: àwọn àyípadà àti ìkójọpọ̀
Fojú inú wo ọkọ̀ ayọ́kẹ́lẹ́ kan tó ń rìn lójú ọ̀nà. Ìyára ọkọ̀ ayọ́kẹ́lẹ́ náà ni ìwọ̀n ìyípadà ipò rẹ̀ lórí àkókò, nígbà tí ìjìnnà tí a rìn náà jẹ́ ìkójọpọ̀ "ìyára" lórí àkókò. Ní ti ìṣirò, tí \(v(t)\) bá jẹ́ iyára, nígbà náà ìjìnnà tí a rìn láti àkókò \(a\) sí \(b\) lè hàn nípasẹ̀ integral
\[
\int_a^bv(t)\, dt.
\]
Nibayi, ti \(s(t)\) ba jẹ ipo, lẹhinna iyara jẹ itọsẹ:
\[
v(t) = s'(t).
\]
Ìwé Ìròyìn Àkọ́kọ́ ti Ìlànà Àkọ́kọ́ sọ pé àwọn iṣẹ́ méjèèjì yìí ní ìbáṣepọ̀ tímọ́tímọ́: ìṣọ̀kan ti ìyípadà náà yóò dá àyípadà àpapọ̀ nínú iṣẹ́ náà padà, àti ìṣọ̀kan ti ìṣọ̀kan pàtó yóò dá iṣẹ́ àkọ́kọ́ padà. Ìbáṣepọ̀ yìí yóò mú kí iṣiro agbegbe, ijinna, iwuwo, agbara, ati ọpọlọpọ awọn nkan miiran di eto diẹ sii.
Ohun tí a gbọ́dọ̀ ṣe kíákíá: kí ni àwọn ohun tí a lè ṣe àtúnṣe àti àwọn ohun tí a lè ṣe àtúnṣe?
Kí a tó bẹ̀rẹ̀ sí í sọ èrò inú ẹ̀kọ́ náà, àwọn èrò pàtàkì méjì ló wà:
1. Àtúnṣe \(f'(x)\): wọ́n ìtẹ̀sí ti àwòrán náà tàbí ìwọ̀n ìyípadà \(f(x)\) nígbà tí \(x\) bá yípadà díẹ̀. Ní òye, tí \(f(x)\) bá ṣàpèjúwe ipò, nígbà náà \(f'(x)\) ṣàpèjúwe iyára.
2. Àkójọpọ̀ tó dájú \(\int_a^bf(x)\,dx\): wọ́n ìkójọpọ̀ \(f\) lórí ààrín \([a,b]\). Ní ti gíómẹ́trìkì, a sábà máa ń túmọ̀ rẹ̀ sí agbègbè tí a fọwọ́ sí (agbègbè rere lókè ààrín \(x\)-, agbègbè òdì ní ìsàlẹ̀ ààrín \(x\)-)) lábẹ́ ìlà \(y=f(x)\) láti \(x=a\) sí \(x=b\).
A fi ààlà iye Riemann ṣe àfihàn ìṣọ̀kan pàtó náà, ìyẹn ni pé, a fi àwọn onígun mẹ́rin kékeré ṣe àfihàn agbègbè náà, lẹ́yìn náà a gba ààlà náà bí fífẹ̀ àwọn onígun mẹ́rin náà ṣe ń lọ sí òdo.
Gbólóhùn Ìlànà Ìpìlẹ̀ ti Ìṣirò (Apá Kejì)
TFK Apá 1 sọ pé: tí \(f\) bá ń tẹ̀síwájú lórí \([a,b]\), a ó túmọ̀ iṣẹ́ tuntun kan
\[
F(x)=\int_a^xf(t)\,dt,
\]
lẹ́yìn náà \(F\) le jẹ́yọ lórí \((a,b)\) àti
\[
F'(x)=f(x).
\]
Ìtumọ̀ náà ṣe pàtàkì gan-an: “tí a kọ́” láti inú \(f\) tí ó jẹ́ àpapọ̀ mú iṣẹ́ ìdènà ìyọrísí ti \(f\) jáde. Ní ọ̀rọ̀ mìíràn, ìlànà ìkójọpọ̀ títí dé ojú ìwòye \(x\) nígbà tí a bá yà sọ́tọ̀ yóò padà sí ìwọ̀n ìkójọpọ̀ ní ojú ìwòye náà.
Ìmọ̀lára Apá Kìíní
Ṣàkíyèsí ìyípadà kékeré nínú \(F(x)\) nígbàtí \(x\) bá pọ̀ sí i pẹ̀lú iye díẹ̀ \(\Delta x\):
\[
F(x+\Delta x)-F(x)=\int_a^{x+\Delta x} f(t)\,dt – \int_a^xf(t)\,dt = \int_x^{x+\Delta x} f(t)\,dt.
\]
Tí \(\Delta x\) bá kéré, ìṣọ̀kan yìí dọ́gba pẹ̀lú \(f(x)\Delta x\). Nítorí náà,
\[
\frac{F(x+\Delta x)-F(x)}{\Delta x}\approx f(x).
\]
Nígbà tí \(\Delta x\to 0\), ìsúnmọ́ náà yóò di òótọ́, débi pé \(F'(x)=f(x)\).
Àpẹẹrẹ tó rọrùn
Ká sọ pé \(f(t)=2t\). Ṣàlàyé
\[
F(x)=\int_0^x 2t\,dt.
\]
A mọ̀ pé \(\int 2t\,dt = t^2\), nítorí náà \(F(x)=x^2\). Àtúnṣe náà ni \(F'(x)=2x\), èyí tí ó padà sí \(f(x)\). Èyí ṣe àfihàn Apá Kìíní ní tààràtà.
Gbólóhùn Ìlànà Ìpìlẹ̀ ti Ìṣirò (Apá Kejì)
TFK Apá Kejì sọ pé: tí \(f\) bá ń tẹ̀síwájú lórí \([a,b]\) àti \(F\) jẹ́ àbájáde ìyọrísí \(f\) (ìyẹn ni \(F'(x)=f(x)\)), nígbà náà
\[
\int_a^bf(x)\,dx = F(b)-F(a).
\]
Èyí ni ọ̀nà tí a sábà máa ń lò jùlọ nínú ìṣírò àpapọ̀. Ó sọ pé láti ṣírò àpapọ̀ pàtó kan, a kò nílò láti lo ààlà iye Riemann tààrà mọ́; kàn wá ààlà ìyọrísí ti \(F\), lẹ́yìn náà ṣe àyẹ̀wò rẹ̀ ní ààlà òkè àti ìsàlẹ̀.
Àpẹẹrẹ ìṣirò
Iye:
\[
\int_1^3 (x^2+1)\,dx.
\]
Àìtọ́pinpin náà ni
\[
F(x)=\frac{x^3}{3}+x.
\]
Nítorí náà:
\[
\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}.
\]
Láìsí TFK, a gbọ́dọ̀ túmọ̀ àpapọ̀ náà gẹ́gẹ́ bí ààlà àpapọ̀ náà agbegbe onigun mẹrin ati iṣiro ààlà náà—ó gùn jù bẹ́ẹ̀ lọ.
Kí nìdí tí a fi pè é ní “àṣà pàtàkì”?
Ilana yii jẹ ipilẹ nitori:
1. So àwọn èrò pàtàkì méjì nípa ìṣirò pọ̀: àtúnṣe (ìyípadà) àti ìṣọ̀kan (ìkójọpọ̀).
2. Ó pèsè ọ̀nà tó wúlò: a lè ṣírò àwọn ìṣọ̀kan pàtó nípa lílo àwọn antiderivatives.
3. Ó ní ipa lórí ọ̀pọ̀lọpọ̀ ohun tí a lè lò: fisiksi (iṣẹ́ àti agbára), statistiki (pínpínkiri àti àǹfààní), ọrọ̀ ajé (ìnáwó àpapọ̀ àti iye owó tí kò tó nǹkan), ìmọ̀ nípa ẹ̀dá (ìdàgbàsókè iye ènìyàn), àti bẹ́ẹ̀ bẹ́ẹ̀ lọ.
Ní èrò, calculus di ohun èlò tó ṣọ̀kan: a lè yípadà láàrín àwọn àpẹẹrẹ “oṣùwọ̀n” àti “àpapọ̀” pẹ̀lú ìrọ̀rùn.
Àwọn ohun èlò tí ó máa ń hàn nígbà gbogbo
1. Ijinna lati iyara
Tí \(v(t)\) bá jẹ́ iyára, nígbà náà ìyípadà àpapọ̀ náà ni:
\[
s(b)-s(a)=\int_a^bv(t)\,dt.
\]
Èyí tààrà láti apá TFK 2 tí \(v(t)=s'(t)\). Tí \(v(t)\) bá jẹ́ òdì nígbà míì, ìṣọ̀kan náà fún ni ìyípadà àpapọ̀; fún gbogbo ìjìnnà náà, a sábà máa ń ṣírò rẹ̀ gẹ́gẹ́ bí \(\int_a^b |v(t)|\,dt\).
2. Ìkójọpọ̀ ìwọ̀n ìyípadà
Tí a bá kún ojò kan ní ìwọ̀n lítà \(r(t)\)/ìṣẹ́jú kan, nígbà náà ni ìwọ̀n tí ó ń wọlé nígbà tí ààrin \([a,b]\) bá wà ni \(\int_a^br(t)\, dt\). Tí ìwọ̀n ìṣàn omi àti ìwọ̀n ìṣàn omi bá wà, nígbà náà ni ìyípadà àpapọ̀ nínú ìwọ̀n omi jẹ́ àpapọ̀ (inflow − ìṣàn omi).
3. Ìlànà iye apapọ fun awọn integrals
Láti TFK, onírúurú àbájáde ló máa ń dìde bí iye àpapọ̀ iṣẹ́ náà:
\[
f_{\text{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
Èyí ṣe pàtàkì nínú ìwádìí àti àwòṣe ìwádìí.
Awọn akọsilẹ pataki: awọn ofin ati awọn ipo
TFK sábà máa ń nílò ìtẹ̀síwájú iṣẹ́ \(f\) lórí àlàfo tí a ń sọ̀rọ̀ nípa rẹ̀ kí ìfarahàn rẹ̀ lè rọrùn. Nínú àwọn ìwádìí síwájú sí i, a lè fa ìlànà yìí sí àwọn iṣẹ́ tí kì í ṣe pé ó ń tẹ̀síwájú (fún àpẹẹrẹ, àwọn iṣẹ́ tí a lè so pọ̀ mọ́ Riemmannian tàbí Lebesgue lábẹ́ àwọn ipò kan), ṣùgbọ́n fún àwọn ìṣirò àkọ́kọ́, ìtẹ̀síwájú jẹ́ ìwọ̀n.
Síwájú sí i, àwọn ìṣọ̀kan pàtó máa ń mú àwọn agbègbè tí a fi àmì sí jáde, kì í ṣe “àwọn agbègbè onípele-ìrísí mímọ́” nígbà gbogbo. Tí àwòrán náà bá wà lábẹ́ àsìkò x, ìṣọ̀kan náà jẹ́ òdì. Fún àwọn agbègbè onípele-ìrísí, a sábà máa ń lo àwọn ìwọ̀n pípé tàbí ìyàtọ̀ àárín.
Penutup
Ìlànà Ìpìlẹ̀ ti Calculus ni kókó tí ó so àwọn ohun tí ó jẹ́ àtúnṣe àti ohun tí ó jẹ́ àdàpọ̀ pọ̀. Apá Kìíní fihàn pé ìkójọpọ̀ iṣẹ́ tí ń bá a lọ, nígbà tí a bá yà wọ́n sọ́tọ̀, yóò padà sí iṣẹ́ àtilẹ̀wá. Apá Kejì fihàn ọ̀nà kíákíá láti ṣírò àwọn ohun tí ó jẹ́ àdàpọ̀ pàtó: kàn wá àwọn ohun tí ó jẹ́ àdàpọ̀ kí o sì ṣe àyẹ̀wò ìyàtọ̀ ní àwọn ààlà. Pẹ̀lú ìlànà yìí, calculus kìí ṣe àkójọpọ̀ àwọn ọ̀nà ìṣirò nìkan, ṣùgbọ́n ó jẹ́ ètò tí ó dára fún òye ayé: bí àwọn nǹkan ṣe ń yípadà nígbà tí àkókò bá ń lọ, àti bí àwọn ìyípadà wọ̀nyẹn ṣe ń kó jọ dé àpapọ̀.
Tí o bá wá kẹ́kọ̀ọ́ nípa àwọn ọ̀nà ìṣọ̀kan, àwọn ìṣètò ìyàtọ̀, tàbí àwọn àpẹẹrẹ ara, o máa ń rí TFK tó ń ṣiṣẹ́ lẹ́yìn ìṣẹ̀lẹ̀—gẹ́gẹ́ bí “afárá” tó mú kí calculus jẹ́ irinṣẹ́ tó lágbára.
