Теоремаи асосии ҳисоб
Ҳисобкунии ададӣ аксар вақт ҳамчун "забон" барои шарҳ додани тағйирот ва ҷамъшавӣ фаҳмида мешавад. Аз як тараф, мо ҳосилаҳоро барои чен кардани суръати тағйирёбии функсия меомӯзем. Аз тарафи дигар, мо интегралҳоро барои ҳисоб кардани ҷамъшавӣ, ба монанди масоҳати зери каҷ ё "ҷамъи пайваста"-и умумии миқдор, меомӯзем. Теоремаи асосии ҳисобкунӣ (FTC) пули асосиест, ки ин ду ғояро ба ҳам мепайвандад: маълум мешавад, ки табақабандӣ ва интегратсия ду мавзӯи алоҳида нестанд, балки ду амалиёти мутақобила мебошанд. Ин теорема он чизест, ки ҳисобкуниро дар илм, муҳандисӣ, иқтисод ва бисёр соҳаҳои дигар ин қадар пурқувват мегардонад.
Шарҳи мухтасар: тағйирот ва ҷамъшавӣ
Тасаввур кунед, ки мошине дар роҳ ҳаракат мекунад. Суръати мошин суръати тағйири мавқеъ дар тӯли вақт аст, дар ҳоле ки масофаи тайшуда ҷамъшавии "суръат" дар тӯли вақт аст. Аз нигоҳи математикӣ, агар \(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-уми ҳиссиёт
Ҳангоми зиёд кардани миқдори ками \(\Delta x\, ба тағйироти ночизи \(F(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 .
\]
Агар \(\Delta x\) хурд бошад, ин интеграл тақрибан ба \(f(x)\Delta x\) баробар аст. Пас,
\[
\frac{F(x+\Delta x)-F(x)}{\Delta x}\approx f(x).
\]
Вақте ки \(\Delta x\to 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)\ бармегардад. Ин Қисми 1-ро ба таври мушаххас нишон медиҳад.
Изҳороти теоремаи асосии ҳисоб (Қисми 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 .
\]
Ин мустақиман аз қисми 2-и 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{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx .
\]
Ин дар таҳлили маълумот ва моделсозӣ муҳим аст.
Эзоҳҳои муҳим: шартҳо ва қоидаҳо
TFK одатан барои ҳамвор будани ифодаи он пайвастагии функсияи \(f\)-ро дар фосилаи мавриди назар талаб мекунад. Дар таҳқиқоти минбаъда, ин теоремаро метавон ба функсияҳое, ки ҳатман пайваста нестанд (масалан, функсияҳое, ки дар шароити муайян интегралшавандаи Риман ё Лебег мебошанд), татбиқ кард, аммо барои ҳисобҳои элементарӣ, фарзияи пайвастагӣ стандартӣ аст.
Ғайр аз ин, интегралҳои муайян майдонҳои имзошударо медиҳанд, на ҳамеша "майдонҳои геометрии холис". Агар график дар зери меҳвари x бошад, интеграл манфӣ аст. Барои майдонҳои геометрӣ одатан арзишҳои мутлақ ё ҷудокунии фосилавӣ истифода мешаванд.
Penutup
Теоремаи асосии ҳисобкунӣ асоси муттаҳидкунандаи ҳосила ва интеграл аст. Қисми 1 нишон дод, ки ҷамъшавии функсияи пайваста ҳангоми дифференсиатсия ба функсияи аслӣ бармегардад. Қисми 2 роҳи зуди ҳисоб кардани интегралҳои муайянро нишон дод: танҳо антиҳосиларо пайдо кунед ва фарқиятро дар ҳудудҳо арзёбӣ кунед. Бо ин теорема, ҳисобкунӣ на танҳо маҷмӯи усулҳои математикӣ, балки ба як чаҳорчӯбаи зебо барои фаҳмидани ҷаҳон табдил меёбад: чӣ гуна чизҳо бо мурури замон тағйир меёбанд ва чӣ гуна ин тағйирот ба як ҷамъ ҷамъ мешаванд.
Агар шумо баъдтар усулҳои интегралӣ, муодилаҳои дифференсиалӣ ё моделҳои физикиро омӯзед, шумо минбаъд низ хоҳед дид, ки TFK дар паси парда кор мекунад - ҳамчун "пул", ки ҳисобкуниро чунин як воситаи пуриқтидор мегардонад.
