Ke Kumumanaʻo Kumu o ka Calculus
Hoʻomaopopo pinepine ʻia ka Calculus ma ke ʻano he "ʻōlelo" no ka wehewehe ʻana i ka loli a me ka hōʻiliʻili ʻana. Ma kekahi ʻaoʻao, ke aʻo nei mākou i nā derivatives e ana i ka wikiwiki o ka loli o kahi hana. Ma kekahi ʻaoʻao, ke aʻo nei mākou i nā integrals e helu i ka hōʻiliʻili ʻana, e like me ka ʻāpana ma lalo o kahi piʻo a i ʻole ka huina "hoʻomau" o kahi nui. ʻO ka Fundamental Theorem of Calculus (FTC) kahi alahaka nui e hoʻopili ana i kēia mau manaʻo ʻelua: ua ʻike ʻia ʻaʻole ʻelua mau kumuhana kaʻawale ka hoʻokaʻawale ʻana a me ka hoʻohui ʻana, akā ʻelua mau hana like. ʻO kēia theorem ka mea e hoʻoikaika ai i ka calculus i ka ʻepekema, ka ʻenekinia, ka hoʻokele waiwai, a me nā ʻoihana ʻē aʻe he nui.
ʻIke holoʻokoʻa: nā loli a me ka hōʻiliʻili ʻana
E noʻonoʻo i kahi kaʻa e neʻe ana ma ke alanui. ʻO ka wikiwiki o ke kaʻa ka wikiwiki o ka loli o ke kūlana i ka hala ʻana o ka manawa, ʻoiai ʻo ka mamao i hele ʻia ka hōʻiliʻili ʻana o ka "wikiwiki" i ka hala ʻana o ka manawa. Ma nā huaʻōlelo makemakika, inā ʻo \(v(t)\) ka wikiwiki, a laila hiki ke hōʻike ʻia ka mamao i hele ʻia mai ka manawa \(a\) a i \(b\) e ka integral
\[
\int_a^bv(t)\, dt.
\]
I kēia manawa, inā ʻo \(s(t)\) ke kūlana, a laila ʻo ka velocity ka derivative:
\[
v(t) = s'(t).
\]
ʻŌlelo ke Kumumanaʻo Kumu o ka Calculus ua pili loa kēia mau hana ʻelua: ʻo ka integral o ka derivative e hoʻihoʻi i ka loli net o ka hana, a ʻo ka derivative o ka integral definite e hoʻihoʻi i ka hana mua. ʻO kēia pilina e hoʻolilo i ka helu ʻana i ka ʻāpana, ka mamao, ka nuipa, ka ikehu, a me nā mea ʻē aʻe he nui i ʻoi aku ka ʻōnaehana.
Koho mua wikiwiki: he aha nā integrals paʻa a me nā derivatives?
Ma mua o ke komo ʻana i loko o ka ʻōlelo o ka theorem, aia ʻelua mau manaʻo koʻikoʻi:
1. Derivative \(f'(x)\): ana i ka piʻo o ka pakuhi a i ʻole ka wikiwiki o ka loli o \(f(x)\) ke loli iki ʻo \(x\). Ma ke ʻano maʻalahi, inā wehewehe ʻo \(f(x)\) i ke kūlana, a laila wehewehe ʻo \(f'(x)\) i ka wikiwiki.
2. Hoʻohui paʻa \(\int_a^bf(x)\,dx\): ana i ka hōʻiliʻili ʻana o \(f\) ma ka wā \([a,b]\). Ma ke ʻano geometric, ua wehewehe pinepine ʻia ʻo ia ka wahi i kau inoa ʻia (wahi maikaʻi ma luna o ke axis \(x\)-, wahi maikaʻi ʻole ma lalo o ke axis \(x\)-)) ma lalo o ke kūlou \(y=f(x)\) mai \(x=a\) a i \(x=b\).
Ua wehewehe kūhelu ʻia ka hoʻohui paʻa e ka palena o ka huina Riemann, ʻo ia hoʻi, ke hoʻokokoke ʻana i ka ʻāpana e nā huinahā liʻiliʻi, a laila e lawe i ka palena i ka wā e hele ai ka laulā o nā huinahā i ka ʻole.
Ka ʻŌlelo o ke Kumumanaʻo Kumu o ka Calculus (Māhele 1)
ʻŌlelo ʻo TFK Māhele 1: inā hoʻomau ʻia ʻo \(f\) ma \([a,b]\), a laila wehewehe mākou i kahi hana hou
\[
F(x)=\int_a^xf(t)\,dt,
\]
a laila hiki ke loaʻa ʻo \(F\) ma \((a,b)\) a me
\[
F'(x)=f(x).
\]
He mea nui loa ke ʻano: ʻo ka integral "i kūkulu ʻia" mai \(f\) e hua mai i ka hana antiderivative o \(f\). I nā huaʻōlelo ʻē aʻe, ʻo ke kaʻina hana hōʻiliʻili a hiki i ke kiko \(x\) i ka wā i hoʻokaʻawale ʻia e hoʻi i ka helu hōʻiliʻili ma ia kiko.
Māhele Manaʻo 1
E nānā i ka loli liʻiliʻi ma \(F(x)\) ke hoʻonui ʻia ʻo \(x\) e kahi liʻiliʻi \(\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.
\]
Inā liʻiliʻi ʻo \(\Delta x\), ua like kēia integral me \(f(x)\Delta x\). No laila,
\[
\frac{F(x+\Delta x)-F(x)}{\Delta x}\approx f(x).
\]
I ka wā o \(\Delta x\to 0\), lilo ka hoʻokokoke ʻana i mea pololei, no laila \(F'(x)=f(x)\).
Laʻana maʻalahi
Manaʻo ʻia \(f(t)=2t\). Wehewehe
\[
F(x)=\int_0^x 2t\,dt.
\]
Ua ʻike mākou ʻo \(\int 2t\,dt = t^2\), no laila \(F(x)=x^2\). ʻO ka derivative ʻo \(F'(x)=2x\), ʻo ia hoʻi i \(f(x)\). Hōʻike maopopo kēia i ka Māhele 1.
Ka ʻŌlelo o ke Kumumanaʻo Kumu o ka Calculus (Māhele 2)
ʻŌlelo ʻo TFK Māhele 2: inā he hoʻomau ʻo \(f\) ma \([a,b]\) a ʻo \(F\) he antiderivative o \(f\) (ʻo ia hoʻi \(F'(x)=f(x)\)), a laila
\[
ʻO \int_a^bf(x)\,dx = F(b)-F(a).
\]
ʻO kēia ke ʻano i hoʻohana pinepine ʻia o ka theorem i ka helu integral. Ke ʻōlelo nei ia no ka helu ʻana i kahi integral paʻa, ʻaʻole pono mākou e hoʻopili pololei i ka palena o ka huina Riemann; e ʻimi wale i ka antiderivative o \(F\), a laila e loiloi iā ia ma nā palena kiʻekiʻe a me lalo.
Laʻana helu
Helu:
\[
\int_1^3 (x^2+1)\,dx.
\]
ʻO ka antiderivative
\[
F(x)=\frac{x^3}{3}+x.
\]
No laila:
\[
\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}.
\]
Me ka ʻole o TFK, pono mākou e wehewehe i ka hoʻohui ʻana ma ke ʻano he palena o ka huina o nā ʻāpana o nā huinahā a helu i ka palena—ʻoi aku ka lōʻihi.
No ke aha i kapa ʻia ai ʻo "kumu"?
He mea nui kēia theorem no ka mea:
1. E hoʻohui i ʻelua mau manaʻo nui o ka calculus: derivative (hoʻololi) a me integral (hōʻiliʻili).
2. Hāʻawi i kahi ʻano hana: hiki ke helu ʻia nā integrals paʻa me ka hoʻohana ʻana i nā antiderivatives.
3. Ma lalo o nā noi he nui: physics (hana a me ka ikehu), helu helu (hoʻolaha a me ka manawa kūpono), hoʻokele waiwai (kumukūʻai holoʻokoʻa e kūʻē i ke kumukūʻai palena), biology (ulu ʻana o ka heluna kanaka), a pēlā aku.
Ma ke ʻano manaʻo, lilo ka calculus i mea hana kūlike: hiki iā mākou ke hoʻololi ma waena o nā kumu hoʻohālike "helu" a me "holoʻokoʻa" me ka maʻalahi.
Nā polokalamu e ʻike pinepine ʻia
1. Ka mamao mai ka wikiwiki
Inā ʻo \(v(t)\) ka wikiwiki, a laila ʻo ka neʻe ʻupena:
\[
s(b)-s(a)=\int_a^bv(t)\,dt.
\]
Pololei kēia mai ka ʻāpana TFK 2 inā \(v(t)=s'(t)\). Inā he maikaʻi ʻole ʻo \(v(t)\) i kekahi manawa, hāʻawi ka integral i ka neʻe ʻupena; no ka mamao holoʻokoʻa ua helu pinepine ʻia ʻo ia he \(\int_a^b |v(t)|\,dt\).
2. Hōʻiliʻili ʻana o ka wikiwiki o ka loli
Inā hoʻopiha ʻia kahi pahu ma ka wikiwiki o \(r(t)\) lita/minuke, a laila ʻo ka nui e komo ana i ka wā \([a,b]\) ʻo \(\int_a^br(t)\, dt\). Inā he helu komo a he helu puka, a laila ʻo ka loli net i ka nui ka integral o (ka holo ʻana − ka holo ʻana).
3. ʻO ke kumumanaʻo waiwai awelika no nā hoʻohui
Mai TFK, kū mai nā hopena like ʻole e like me ka waiwai awelika o ka hana:
\[
f_{\text{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
He mea nui kēia i ka nānā ʻana a me ke kumu hoʻohālike ʻikepili.
Nā memo koʻikoʻi: nā ʻōlelo a me nā kūlana
Ma keʻano laulā, koi ʻo TFK i ka hoʻomau ʻana o ka hana \(f\) ma ka wā i nīnau ʻia no ka maʻalahi o kona hōʻike ʻana. I nā haʻawina hou aʻe, hiki ke hoʻonui ʻia kēia theorem i nā hana ʻaʻole pono e hoʻomau (e.g., nā hana i hiki ke hoʻohui ʻia ʻo Riemannian a i ʻole Lebesgue ma lalo o kekahi mau kūlana), akā no ka calculus mua, ʻo ke kuhiakau hoʻomau ka mea maʻamau.
Eia kekahi, loaʻa i nā integrals paʻa nā wahi i hōʻailona ʻia, ʻaʻole mau nā "wahi geometric maʻemaʻe." Inā aia ka pakuhi ma lalo o ka axis-x, he maikaʻi ʻole ka integral. No nā wahi geometric, hoʻohana pinepine ʻia nā waiwai paʻa a i ʻole nā hoʻokaʻawale interval.
Pani
ʻO ke Kumumanaʻo Kumu o Calculus ke kikowaena e hoʻohui ana i ka derivative a me ka integral. Ua hōʻike ka Māhele 1 i ka hōʻiliʻili ʻana o kahi hana hoʻomau, ke hoʻokaʻawale ʻia, e hoʻi i ka hana mua. Ua hōʻike ka Māhele 2 i kahi ala wikiwiki e helu ai i nā integrals definite: e ʻimi wale i ka antiderivative a loiloi i ka ʻokoʻa ma nā palena. Me kēia theorem, ʻaʻole lilo ka calculus i hōʻiliʻili o nā ʻano hana makemakika, akā he ʻōnaehana nani no ka hoʻomaopopo ʻana i ke ao: pehea e loli ai nā mea i ka hala ʻana o ka manawa, a pehea e hōʻiliʻili ai kēlā mau loli i ka huina.
Inā ʻoe e aʻo ma hope aku i nā ʻano hoʻohui, nā hoʻohālikelike ʻokoʻa, a i ʻole nā kumu hoʻohālike kino, e hoʻomau ʻoe e ʻike iā TFK e hana ana ma hope o nā hiʻohiʻona—ma ke ʻano he "alahaka" e hoʻolilo ai i ka calculus i mea hana ikaika loa.
