Математиканың негізгі теоремасы
Математикалық есептеулер көбінесе өзгеріс пен жинақталуды түсіндіруге арналған «тіл» ретінде түсініледі. Бір жағынан, біз функцияның өзгеру жылдамдығын өлшеу үшін туындыларды зерттейміз. Екінші жағынан, біз жинақталуды есептеу үшін интегралдарды зерттейміз, мысалы, қисық астындағы аудан немесе шаманың жалпы «үздіксіз қосындысы». Математикалық есептеулердің негізгі теоремасы (FTC) бұл екі идеяны байланыстыратын негізгі көпір болып табылады: дифференциациялау мен интеграциялау екі бөлек тақырып емес, керісінше екі өзара амал болып табылады. Бұл теорема математиканы ғылымда, инженерияда, экономикада және басқа да көптеген салаларда соншалықты күшті етеді.
Шолу: өзгерістер және жинақтау
Жолда қозғалып келе жатқан көлікті елестетіп көріңіз. Көліктің жылдамдығы - уақыт өте келе орнының өзгеру жылдамдығы, ал жүріп өткен қашықтық - уақыт өте келе «жылдамдықтың» жинақталуы. Математикалық тұрғыдан алғанда, егер √v(t)√ жылдамдық болса, онда √a√ уақытынан √b√ уақытына дейін жүріп өткен қашықтық интегралмен өрнектелуі мүмкін.
\[
\int_a^bv(t)\, dt.
\]
Сонымен қатар, егер \(s(t)\) позициясы болса, онда жылдамдық туынды болып табылады:
\[
v(t) = s'(t).
\]
Математиканың негізгі теоремасы бұл екі амалдың тығыз байланысты екенін айтады: туындының интегралы функцияның таза өзгерісін, ал анықталған интегралдың туындысы бастапқы функцияны қайтарады. Бұл байланыс ауданды, қашықтықты, массаны, энергияны және басқа да көптеген нәрселерді есептеуді әлдеқайда жүйелі етеді.
Жылдам алғышарт: анықталған интегралдар мен туындылар дегеніміз не?
Теореманың тұжырымдамасына кіріспес бұрын, екі маңызды ұғым бар:
1. Туынды \(f'(x)\): \(x\) аздап өзгерген кезде графиктің көлбеуін немесе \(f(x)\) өзгеру жылдамдығын өлшейді. Интуитивті түрде, егер \(f(x)\) позицияны сипаттаса, онда \(f'(x)\) жылдамдықты сипаттайды.
2. Анықталған интеграл \(\int_a^bf(x)\,dx\): \(f\)-тің \(a,b]\) аралығындағы жинақталуын өлшейді. Геометриялық тұрғыдан ол көбінесе \(x=a\)-дан \(x=b\)-ға дейінгі \(y=f(x)\) қисығының астындағы белгіленген аудан (\(x\) осінің үстіндегі оң аудан, \(x\) осінің астындағы теріс аудан)) ретінде анықталады.
Анық интеграл формальды түрде Риман қосындысының шегі арқылы анықталады, яғни ауданды кіші тіктөртбұрыштармен жуықтап, содан кейін тіктөртбұрыштардың ені нөлге тең болған кезде шекті алады.
Математикалық есептеудің негізгі теоремасының тұжырымы (1-бөлім)
TFK 1-бөлімінде былай делінген: егер \(f\) \([a,b]\) бойынша үздіксіз болса, онда біз жаңа функцияны анықтаймыз
\[
F(x)=\int_a^xf(t)\,dt,
\]
онда \(F\) функциясын \((a,b)\) арқылы алуға болады және
\[
F'(x)=f(x).
\]
Мағынасы өте маңызды: \(f\)-ден «құрылған» интеграл \(f\)-нің антитуынды функциясын береді. Басқаша айтқанда, дифференциалданған кезде \(x\) нүктесіне дейінгі жинақтау процесі сол нүктедегі жинақтау жылдамдығына оралады.
Интуиция 1-бөлім
\(x\) аздаған \(\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-бөлім)
TFK 2-бөлімінде былай делінген: егер \(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 2-бөлімінен алынған, егер \(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{orta}}=\frac{1}{ba}\int_a^bf(x)\,dx.
\]
Бұл деректерді талдау және модельдеуде маңызды.
Маңызды ескертпелер: шарттар мен ережелер
TFK әдетте қарастырылып отырған аралықтағы \(f\) функциясының өрнегінің тегіс болуы үшін оның үздіксіздігін талап етеді. Әрі қарайғы зерттеулерде бұл теореманы міндетті түрде үздіксіз емес функцияларға (мысалы, белгілі бір жағдайларда Риман немесе Лебег интегралданатын функцияларға) кеңейтуге болады, бірақ элементар есептеулер үшін үздіксіздік туралы болжам стандартты болып табылады.
Сонымен қатар, анықталған интегралдар әрқашан «таза геометриялық аудандар» емес, белгіленген аудандарды береді. Егер график х осінің астында болса, интеграл теріс болады. Геометриялық аудандар үшін әдетте абсолютті мәндер немесе интервалдық бөлулер қолданылады.
Жабу
Математикалық есептеудің негізгі теоремасы туынды мен интегралды біріктіретін негізгі элемент болып табылады. 1-бөлімде үздіксіз функцияның жинақталуы дифференциалданған кезде бастапқы функцияға оралатыны көрсетілген. 2-бөлімде анықталған интегралдарды есептеудің жылдам жолы көрсетілген: антитуындыны тауып, айырмашылықты шектерде бағалау жеткілікті. Бұл теоремамен есептеу тек математикалық әдістердің жиынтығы ғана емес, сонымен қатар әлемді түсінудің талғампаз негізіне айналады: заттардың уақыт өте келе қалай өзгеретінін және бұл өзгерістердің қосындыға қалай жиналатынын.
Егер сіз кейінірек интеграция әдістерін, дифференциалдық теңдеулерді немесе физикалық модельдерді зерттесеңіз, TFK-ның артында жұмыс істейтінін көресіз - есептеулерді соншалықты қуатты құрал ететін «көпір».
