Teyorèm Fondamantal Kalkil la
Souvan yo konprann kalkil kòm yon "langaj" pou eksplike chanjman ak akimilasyon. Yon bò, nou etidye derivasyon pou mezire vitès chanjman yon fonksyon. Yon lòt bò, nou etidye entegral pou kalkile akimilasyon, tankou sifas ki anba yon koub oswa "sòm kontinyèl" total yon kantite. Teyorèm Fondamantal Kalkil la (FTC) se yon gwo pon ki konekte de ide sa yo: li sanble ke diferansyasyon ak entegrasyon se pa de sijè separe, men pito de operasyon resipròk. Teyorèm sa a se sa ki fè kalkil tèlman pwisan nan syans, jeni, ekonomi ak anpil lòt domèn.
Apèsi sou: chanjman ak akimilasyon
Imajine yon machin k ap deplase sou yon wout. Vitès machin nan se to chanjman pozisyon li sou tan, alòske distans li vwayaje a se akimilasyon "vitès" la sou tan. Nan tèm matematik, si \(v(t)\) se vitès la, alò distans ki vwayaje soti nan tan \(a\) rive nan \(b\) ka eksprime pa entegral la
\[
\int_a^bv(t)\, dt.
\]
Pandanstan, si \(s(t)\) se pozisyon, alò vitès la se derive a:
\[
v(t) = s'(t).
\]
Teyorèm Fondamantal Kalkil la deklare ke de operasyon sa yo gen yon relasyon sere: entegral derivatif la retounen chanjman nèt nan fonksyon an, epi derivatif entegral definitif la retounen fonksyon orijinal la. Relasyon sa a fè kalkil sifas, distans, mas, enèji, ak anpil lòt bagay pi sistematik.
Yon ti prérequis: kisa entegral ak derivatif definitif ye?
Anvan nou antre nan deklarasyon teyorèm nan, gen de konsèp enpòtan:
1. Derivatif \(f'(x)\): mezire pant graf la oubyen vitès chanjman \(f(x)\) lè \(x\) chanje yon ti kras. Entwitivman, si \(f(x)\) dekri pozisyon, alò \(f'(x)\) dekri vitès.
2. Entegral defini \(\int_a^bf(x)\,dx\): mezire akimilasyon \(f\) sou entèval \([a,b]\). Jewometrikman, li souvan defini kòm zòn ki gen siy (zòn pozitif anlè aks \(x\) a, zòn negatif anba aks \(x\) a)) anba koub \(y=f(x)\) soti nan \(x=a\) rive nan \(x=b\).
Entegral definitif la defini fòmèlman pa limit sòm Riemann lan, sa vle di, apwoksimasyon sifas la pa ti rektang, answit pran limit la lè lajè rektang yo vin pi pre zewo.
Deklarasyon Teyorèm Fondamantal Kalkil la (Pati 1)
Pati 1 nan TFK deklare: si \(f\) kontinyèl sou \([a,b]\), alò nou defini yon nouvo fonksyon.
\[
F(x)=\int_a^xf(t)\,dt,
\]
lè sa a, \(F\) ka derive sou \((a,b)\) epi
\[
F'(x)=f(x).
\]
Siyifikasyon an trè enpòtan: entegral "konstwi" apati \(f\) la bay fonksyon antiderivatif \(f\) la. Nan lòt mo, pwosesis akimilasyon an jiska pwen \(x\) la lè yo diferansye l ap retounen nan to akimilasyon an nan pwen sa a.
Entwisyon Pati 1
Remake ti chanjman ki fèt nan \(F(x)\) lè \(x\) ogmante pa yon ti kantite \(\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.
\]
Si \(\Delta x\) piti, entegral sa a apeprè egal a \(f(x)\Delta x\). Kidonk,
\[
\frac{F(x + Δx) - F(x)}{Δx}\approx f(x).
\]
Lè \(\Delta x\to 0\), apwoksimasyon an vin egzak, konsa \(F'(x)=f(x)\).
Egzanp senp
Sipoze \(f(t)=2t\). Defini
\[
F(x) = ∫_0^x 2t ∫_dt.
\]
Nou konnen ke \(\int 2t\,dt = t^2\), kidonk \(F(x)=x^2\). Derivatif la se \(F'(x)=2x\), ki tounen nan \(f(x)\). Sa ilistre Pati 1 an yon fason konkrè.
Deklarasyon Teyorèm Fondamantal Kalkil la (Pati 2)
Pati 2 TFK a deklare: si \(f\) kontinyèl sou \([a,b]\) epi \(F\) se yon antiderivatif \(f\) (sa vle di \(F'(x)=f(x)\)), alò
\[
\int_a^bf(x)\,dx = F(b) - F(a).
\]
Sa a se fòm teyorèm ki pi souvan itilize nan kalkil entegral. Li deklare ke pou kalkile yon entegral definitif, nou pa bezwen aplike limit sòm Riemann lan dirèkteman ankò; nou jis jwenn antiderivatif \(F\) a, epi evalye li nan limit siperyè ak enferyè yo.
Egzanp kalkil
Konte:
\[
\int_1^3 (x^2+1)\,dx.
\]
Antiderivatif la se
\[
F(x) = \frac{x^3}{3} + x.
\]
Kidonk:
\[
\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}.
\]
San TFK, nou ta dwe defini entegral la kòm limit sòm sifas rektang yo epi kalkile limit la—li ta pran pi lontan.
Poukisa yo rele l "fondamantal"?
Teyorèm sa a fondamantal paske:
1. Ini de gwo konsèp kalkil: derivatif (chanjman) ak entegral (akimilasyon).
2. Bay yon metòd pratik: entegral definitif yo ka kalkile lè l sèvi avèk antiderivatif.
3. Li anba plizyè aplikasyon: fizik (travay ak enèji), estatistik (distribisyon ak opòtinite), ekonomi (pri total kont pri majinal), byoloji (kwasans popilasyon), elatriye.
Konseptyèlman, kalkil vin tounen yon zouti ki koeran: nou ka chanje ant modèl "total" ak modèl "total" fasilman.
Aplikasyon ki parèt souvan
1. Distans ak vitès
Si \(v(t)\) se vitès la, alò deplasman nèt la se:
\[
s(b) - s(a) = ∫_a^bv(t) ∫_dt.
\]
Sa a soti dirèkteman nan TFK pati 2 si \(v(t)=s'(t)\). Si \(v(t)\) pafwa negatif, entegral la bay deplasman nèt la; pou distans total la, li anjeneral kalkile kòm \(\int_a^b |v(t)|\,dt\).
2. Akimilasyon to chanjman an
Si yo plen yon tank ak yon vitès \(r(t)\) lit/minit, alò volim k ap antre pandan entèval \([a,b]\) a se \(\int_a^br(t)\, dt\). Si gen yon vitès antre ak yon vitès sòti, alò chanjman nèt nan volim nan se entegral (antre − sòti).
3. Teyorèm valè mwayèn pou entegral yo
Apati TFK, plizyè konsekans rive tankou valè mwayèn fonksyon an:
\[
f_{\text{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
Sa enpòtan nan analiz done ak modèlizasyon.
Nòt enpòtan: tèm ak kondisyon yo
Anjeneral, TFK egzije kontinwite fonksyon \(f\) la sou entèval an kesyon an pou ekspresyon li ka lis. Nan etid ki vin apre yo, teyorèm sa a ka pwolonje pou fonksyon ki pa nesesèman kontinyèl (pa egzanp, fonksyon ki ka entegre selon Riemann oswa Lebesgue anba sèten kondisyon), men pou kalkil elemantè, sipozisyon kontinwite a se estanda.
Anplis, entegral definitif yo bay zòn ki gen siy, pa toujou "zòn jewometrik pi". Si graf la anba aks x la, entegral la negatif. Pou zòn jewometrik yo, yo anjeneral itilize valè absoli oswa separasyon entèval.
Penutup
Teyorèm Fondamantal Kalkil la se nwayo ki ini derivatif la ak entegral la. Pati 1 te montre ke akimilasyon yon fonksyon kontinyèl, lè yo diferansye li, retounen nan fonksyon orijinal la. Pati 2 te montre yon fason rapid pou kalkile entegral definitif: tou senpleman jwenn antiderivatif la epi evalye diferans lan nan limit yo. Avèk teyorèm sa a, kalkil vin pa sèlman yon koleksyon teknik matematik, men yon kad elegant pou konprann mond lan: kijan bagay yo chanje sou tan, ak kijan chanjman sa yo akimile pou rive nan yon total.
Si pita ou etidye metòd entegrasyon, ekwasyon diferansyèl, oswa modèl fizik, ou pral kontinye wè TFK ap travay an kulis—kòm "pon" ki fè kalkil yon zouti tèlman pwisan.
