Teorema dasar kalkulus - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-24T23:07:35Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 24 Agustus 2026 23.07
Baris 1:		Baris 1:
	'''Teorema dasar kalkulus''' menjelaskan relasi antara dua operasi pusat [[kalkulus]], yaitu [[turunan\|pendiferensialan]] dan [[integral\|pengintegralan]].		'''Teorema dasar kalkulus''' menjelaskan relasi antara dua operasi pusat [[kalkulus]], yaitu [[turunan\|pendiferensialan]] dan [[integral\|pengintegralan]].

	Bagian pertama dari teorema ini, kadang disebut sebagai teorema dasar kalkulus pertama, menunjukkan bahwa sebuah [[antiturunan\|integral tak tentu]] dapat dibalikkan menggunakan pendiferensialan.		Bagian pertama dari teorema ini, kadang disebut sebagai teorema dasar kalkulus pertama, menunjukkan bahwa sebuah [[antiturunan\|integral tak tentu]]<ref>Lebih tepatnya, teorema ini berkutat pada integral tertentu dengan limit atas variabel dan limit bawah sembarang. Jenis integral tertentu ini mengijinkan kita menghitung satu dari banyak antiturunan sebuah fungsi (kecuali untuk yang tidak nol). Oleh karena itu, ia hampir setara (ekuivalen) dengan integral tak tentu, didefinisikan oleh kebanyakan penulis sebagai sebuah operasi yang menghasilkan salah satu antiturunan sembarang sebuah fungsi, meliputi yang tidak nol.</ref> dapat dibalikkan menggunakan pendiferensialan.

	Bagian kedua, kadang disebut sebagai teorema dasar kalkulus kedua, mengizinkan seseorang menghitung [[integral tertentu]] sebuah fungsi menggunakan salah satu dari banyak [[antiturunan]]. Bagian teorema ini memiliki aplikasi yang sangat penting, karena ia dengan signifikan mempermudah perhitungan integral tertentu.		Bagian kedua, kadang disebut sebagai teorema dasar kalkulus kedua, mengizinkan seseorang menghitung [[integral tertentu]] sebuah fungsi menggunakan salah satu dari banyak [[antiturunan]]. Bagian teorema ini memiliki aplikasi yang sangat penting, karena ia dengan signifikan mempermudah perhitungan integral tertentu.
Baris 8:		Baris 8:

	== Sejarah ==		== Sejarah ==
	Penyataan yang pertama kali dipublikasikan dan [[bukti matematika]] dari versi terbatas teorema dasar ini diberikan oleh [[James Gregory]] (1638-1675). [[Isaac Barrow]] (1630-1677) membuktikan versi umum bagian pertama teorema ini, sedangkan murid Barrow, [[Isaac Newton]] (1643-1727) menyelesaikan perkembangan dari teori matematika di sekitarnya. [[Gottfried Leibniz]] (1646–1716) menyistematisasi ilmu ini menjadi kalkulus untuk kuantitas infinitesimal.		Penyataan yang pertama kali dipublikasikan dan [[bukti matematika]] dari versi terbatas teorema dasar ini diberikan oleh [[James Gregory]] (1638-1675).<ref>Lihat Marlow Anderson, Victor J. Katz, Robin J. Wilson, ''Sherlock Holmes in Babylon and Other Tales of Mathematical History'', Mathematical Association of America, 2004, [http://books.google.com/books?vid=ISBN0883855461&id=BKRE5AjRM3AC&pg=PA114&lpg=PA114&ots=Z01TZKrQXY&dq=%22james+gregory%22+%22fundamental+theorem%22&sig=6xDqL0oNAhWw66IqPdI5fQX7euA hlm. 114].</ref> [[Isaac Barrow]] (1630-1677) membuktikan versi umum bagian pertama teorema ini, sedangkan murid Barrow, [[Isaac Newton]] (1643-1727) menyelesaikan perkembangan dari teori matematika di sekitarnya. [[Gottfried Leibniz]] (1646–1716) menyistematisasi ilmu ini menjadi kalkulus untuk kuantitas infinitesimal.

	== Pengertian geometri ==		== Pengertian geometri ==

	Untuk suatu fungsi kontinu <math>y =f(x)</math> yang grafiknya digambar sebagai kurva, setiap nilai <math>x</math> memiliki fungsi luas berpadanan <math>A(x)</math> yang mewakilkan luas di bawah kurva <math>f(x)</math> antara <math>0</math> dan <math>x</math>. Fungsi <math>A(x)</math> tidak diketahui, tetapi mengingat bahwa fungsi tersebut mewakilkan luas di bawah kurva.		Untuk suatu fungsi kontinu <math>y =f(x)</math> yang grafiknya digambar sebagai kurva, setiap nilai <math>x</math> memiliki fungsi luas berpadanan <math>A(x)</math> yang mewakilkan luas di bawah kurva <math>f(x)</math> antara <math>0</math> dan <math>x</math>. Fungsi <math>A(x)</math> tidak diketahui, tetapi mengingat bahwa fungsi tersebut mewakilkan luas di bawah kurva.

Baris 28:		Baris 27:
	: <math>f(x) = \frac{A(x+h)-A(x)}{h} - \frac{\text{Luas tambahan berwarna merah}}{h}</math>.		: <math>f(x) = \frac{A(x+h)-A(x)}{h} - \frac{\text{Luas tambahan berwarna merah}}{h}</math>.

	Ketika <math>h</math> mendekati <math>0</math> di [[limit]], pecahan yang terakhir dapat ditunjukkan mendekati nol. Ini benar karena luas daerah tambahan berwarna merah lebih kecil sama dengan luas dari batas persegi panjang hitam. Lebih tepatnya,		Ketika <math>h</math> mendekati <math>0</math> di [[limit]], pecahan yang terakhir dapat ditunjukkan mendekati nol.<ref>Bers, Lipman. ''Calculus'', hlm. 180–181 (Holt, Rinehart and Winston (1976).</ref> Ini benar karena luas daerah tambahan berwarna merah lebih kecil sama dengan luas dari batas persegi panjang hitam. Lebih tepatnya,

	: <math>\left\|f(x) - \frac{A(x+h) - A(x)}{h}\right\| = \frac{h} \le \frac{h(f(x+h_1) - f(x+h_2))}{h} = f(x+h_1) - f(x+h_2)</math>,		: <math>\left\|f(x) - \frac{A(x+h) - A(x)}{h}\right\| = \frac{\|\text{Luas tambahan berwarna merah}\|}{h} \le \frac{h(f(x+h_1) - f(x+h_2))}{h} = f(x+h_1) - f(x+h_2)</math>,

	dengan <math>x+h_1</math> dan <math>x+h_2</math> adalah masing-masing titik ketika <math>f</math> mendekati nilai maksimum dan minimum di selang <math>[x,x+h]</math>. Melalui kekontinuan <math>f</math>, bentuk terakhir mendekati nol sama seperti <math>h</math>. Karena itu, ruas kiri mendekati nol sama seperti <math>h</math>.		dengan <math>x+h_1</math> dan <math>x+h_2</math> adalah masing-masing titik ketika <math>f</math> mendekati nilai maksimum dan minimum di selang <math>[x,x+h]</math>. Melalui kekontinuan <math>f</math>, bentuk terakhir mendekati nol sama seperti <math>h</math>. Karena itu, ruas kiri mendekati nol sama seperti <math>h</math>.
Baris 55:		Baris 54:

	=== Bagian pertama ===		=== Bagian pertama ===

	Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus pertama.		Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus pertama.

Baris 63:		Baris 61:
	:<math>F'(x) = f(x)\,</math>		:<math>F'(x) = f(x)\,</math>
	untuk semua ''x'' pada (''a'', ''b'')		untuk semua ''x'' pada (''a'', ''b'')


	Andaikan		Andaikan
Baris 113:		Baris 110:
	:<math>F'(x_1) = f(x_1) \,.</math>		:<math>F'(x_1) = f(x_1) \,.</math>
	yang menyelesaikan pembuktian		yang menyelesaikan pembuktian


	=== Bagian kedua ===		=== Bagian kedua ===

	Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus kedua atau '''aksioma''' '''Newton–Leibniz'''.		Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus kedua atau '''aksioma''' '''Newton–Leibniz'''.

Baris 123:		Baris 118:
	Maka		Maka
	:<math>\int_a^b f(x)\,dx = F(b) - F(a)\,.</math>		:<math>\int_a^b f(x)\,dx = F(b) - F(a)\,.</math>


	Ini adalah pembuktian limit menggunakan [[Integral Riemann\|penjumlahan Riemann]].		Ini adalah pembuktian limit menggunakan [[Integral Riemann\|penjumlahan Riemann]].
Baris 165:		Baris 159:

	:<math>F(b) - F(a) = \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,. \qquad (2)</math>		:<math>F(b) - F(a) = \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,. \qquad (2)</math>


	Perhatikan bahwa kita sedang menjelaskan luas persegi panjang, dengan lebar kali tinggi, dan kita menggabungkan total semua luas persegi panjang tersebut. Setiap persegi panjang, dengan [[teorema nilai purata]], merupakan pendekatan dari bagian kurva yang digambar. Juga perhatikan bahwa <math>\Delta x_i</math> tidak perlulah sama untuk setiap nilai <math>i</math>, atau dengan kata lain lebar persegi panjang dapat berbeda-beda. Apa yang perlu kita lakukan adalah mendekatkan kurva tersebut dengan <math>n</math> persegi panjang. Semakin kecil partisi ini dan semakin besar n, maka kita akan mendapatkan luas wilayah kurva yang semakin mendekati nilai sebenarnya.		Perhatikan bahwa kita sedang menjelaskan luas persegi panjang, dengan lebar kali tinggi, dan kita menggabungkan total semua luas persegi panjang tersebut. Setiap persegi panjang, dengan [[teorema nilai purata]], merupakan pendekatan dari bagian kurva yang digambar. Juga perhatikan bahwa <math>\Delta x_i</math> tidak perlulah sama untuk setiap nilai <math>i</math>, atau dengan kata lain lebar persegi panjang dapat berbeda-beda. Apa yang perlu kita lakukan adalah mendekatkan kurva tersebut dengan <math>n</math> persegi panjang. Semakin kecil partisi ini dan semakin besar n, maka kita akan mendapatkan luas wilayah kurva yang semakin mendekati nilai sebenarnya.
Baris 181:		Baris 174:
	:<math>F(b) - F(a) = \int_{a}^{b} f(x)\,dx\,,</math>		:<math>F(b) - F(a) = \int_{a}^{b} f(x)\,dx\,,</math>
	yang menyelesaikan pembuktian.		yang menyelesaikan pembuktian.


	== Korolari ==		== Korolari ==
Baris 240:		Baris 232:
	* [[Diferensiasi terhadap tanda integral]]		* [[Diferensiasi terhadap tanda integral]]
	* [[Teorema dasar kalkulus untuk integral garis]]		* [[Teorema dasar kalkulus untuk integral garis]]

	~~== Catatan kaki ==~~


	~~== Referensi ==~~
	* Larson, Ron, Bruce H. Edwards, David E. Heyd. ''Calculus of a single variable''. 7th ed. Boston: Houghton Mifflin Company, 2002.
	* Leithold, L. (1996). ''The calculus 7 of a single variable''. 6th ed. New York: HarperCollins College Publishers.
	* Malet, A, ''Studies on James Gregorie (1638-1675)'' (PhD Thesis, Princeton, 1989).
	* Stewart, J. (2003). Fundamental Theorem of Calculus. In Integrals. In ''Calculus: early transcendentals''. Belmont, California: Thomson/Brooks/Cole.
	* Turnbull, H W (ed.), ''The James Gregory Tercentenary Memorial Volume'' (London, 1939)

	== Pranala luar ==		== Pranala luar ==
	* [https://web.archive.org/web/20060212072618/http://mathdl.maa.org/convergence/1/ Pembuktian Euclides teorema dasar kalkulus James Gregory]di		* [https://web.archive.org/web/20060212072618/http://mathdl.maa.org/convergence/1/ Pembuktian Euclides teorema dasar kalkulus James Gregory]di
	* [http://www.maths.uwa.edu.au/~schultz/3M3/L18Barrow.html Pembuktian Isaac Barrow dari teorema dasar kalkulus]		* [http://www.maths.uwa.edu.au/~schultz/3M3/L18Barrow.html Pembuktian Isaac Barrow dari teorema dasar kalkulus]
	* [http://www.ulrichmutze.de/articles/04-165.pdf Teorema dasar kalkulus untuk variable n]		* [http://www.ulrichmutze.de/articles/04-165.pdf Teorema dasar kalkulus untuk variable n]

			== Referensi ==
			<references />

	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teorema+dasar+kalkulus&oldid=28086002 Wikipedia bahasa Indonesia], revisi 28086002 (2025-10-17T22:23:01Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teorema+dasar+kalkulus&oldid=28086002 Wikipedia bahasa Indonesia], revisi 28086002 (2025-10-17T22:23:01Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

			<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28086002; atribusi sumber disertakan.

2026-08-24T22:42:04Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28086002; atribusi sumber disertakan.

Halaman baru

'''Teorema dasar kalkulus''' menjelaskan relasi antara dua operasi pusat [[kalkulus]], yaitu [[turunan|pendiferensialan]] dan [[integral|pengintegralan]].

Bagian pertama dari teorema ini, kadang disebut sebagai teorema dasar kalkulus pertama, menunjukkan bahwa sebuah [[antiturunan|integral tak tentu]] dapat dibalikkan menggunakan pendiferensialan.

Bagian kedua, kadang disebut sebagai teorema dasar kalkulus kedua, mengizinkan seseorang menghitung [[integral tertentu]] sebuah fungsi menggunakan salah satu dari banyak [[antiturunan]]. Bagian teorema ini memiliki aplikasi yang sangat penting, karena ia dengan signifikan mempermudah perhitungan integral tertentu.

'''Teorema dasar kalkulus''' kadang-kadang juga disebut sebagai '''Teorema dasar kalkulus Leibniz''' atau '''Teorema dasar kalkulus Torricelli-Barrow'''.

== Sejarah ==
Penyataan yang pertama kali dipublikasikan dan [[bukti matematika]] dari versi terbatas teorema dasar ini diberikan oleh [[James Gregory]] (1638-1675). [[Isaac Barrow]] (1630-1677) membuktikan versi umum bagian pertama teorema ini, sedangkan murid Barrow, [[Isaac Newton]] (1643-1727) menyelesaikan perkembangan dari teori matematika di sekitarnya. [[Gottfried Leibniz]] (1646–1716) menyistematisasi ilmu ini menjadi kalkulus untuk kuantitas infinitesimal.

== Pengertian geometri ==

Untuk suatu fungsi kontinu <math>y =f(x)</math> yang grafiknya digambar sebagai kurva, setiap nilai <math>x</math> memiliki fungsi luas berpadanan <math>A(x)</math> yang mewakilkan luas di bawah kurva <math>f(x)</math> antara <math>0</math> dan <math>x</math>. Fungsi <math>A(x)</math> tidak diketahui, tetapi mengingat bahwa fungsi tersebut mewakilkan luas di bawah kurva.

Luas di bawah kurva antara <math>x</math> dan <math>x+h</math> dapat dihitung dengan mencari luas di antara <math>0</math> dan <math>x+h</math>, lalu mengurangi luas di antara <math>0</math> dan <math>x</math>. Dengan kata lain, luas "strip" adalah <math>A(x + h) - A(x)</math>.

Ada cara lain untuk ''mengestimasi'' luas strip tersebut. Seperti yang ditunjukkan dalam gambar di samping, <math>h</math> dikali <math>f(x)</math> memperoleh luas persegi panjang yang kira-kira sama dengan luas strip. Jadi:

: <math>A(x+h)-A(x) \approx f(x) \cdot h</math>

Nyatanya, estimasi ini mendekati kesamaan yang sempurna jika kita menambah bagian luas tambahan yang berwarna merah seperti di gambar. Jadi:

: <math>A(x+h)-A(x)=f(x)\cdot h+(\text{Luas tambahan berwarna merah})</math>

Dengan menyusun bentuk memperoleh:

: <math>f(x) = \frac{A(x+h)-A(x)}{h} - \frac{\text{Luas tambahan berwarna merah}}{h}</math>.

Ketika <math>h</math> mendekati <math>0</math> di [[limit]], pecahan yang terakhir dapat ditunjukkan mendekati nol. Ini benar karena luas daerah tambahan berwarna merah lebih kecil sama dengan luas dari batas persegi panjang hitam. Lebih tepatnya,

: <math>\left|f(x) - \frac{A(x+h) - A(x)}{h}\right| = \frac{h} \le \frac{h(f(x+h_1) - f(x+h_2))}{h} = f(x+h_1) - f(x+h_2)</math>,

dengan <math>x+h_1</math> dan <math>x+h_2</math> adalah masing-masing titik ketika <math>f</math> mendekati nilai maksimum dan minimum di selang <math>[x,x+h]</math>. Melalui kekontinuan <math>f</math>, bentuk terakhir mendekati nol sama seperti <math>h</math>. Karena itu, ruas kiri mendekati nol sama seperti <math>h</math>.

: <math>f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h}</math>

Ini menyiratkan <math>f(x) = A'(x)</math>. Artinya, turunan fungsi luas <math>A(x)</math> sama dengan fungsi asalnya, <math>f(x)</math>. Demikian juga, fungsi luasnya adalah antiturunan fungsi asalnya. Dengan menghitung turunan fungsi dan mencari luas di bawah kurvanya merupakan operasi "kebalikan". Pengertian ini merupakan bagian terpenting mengenai Teorema Dasar Kalkulus.

== Intuisi ==
Secara intuitif, teorema ini dengan sederhana menyatakan bahwa jumlah perubahan [[infinitesimal]] suatu kuantitas terhadap waktu (atau terhadap kuantitas lainnya) akan menumpuk menjadi perubahan total kuantitas.

Untuk memahami pernyataan ini, diberikan sebuah contoh: Misalkan sebuah partikel berpindah mengikuti garis lurus dengan posisinya diberikan sebagai ''x''(''t''), dengan ''t'' adalah waktu dan ''x''(''t'') berarti ''x'' adalah fungsi dari ''t''. Turunan dari fungsi ini sama dengan perbuahan infinitesimal kuantitas, d''x'', per perubahan infinitesimal waktu, d''t'' (tentu saja turunannya sendiri tergantung pada waktu). Didefinisikan pula perubahan jarak terhadap perubahan waktu ini sebagai kecepatan ''v'' partikel. Dalam [[notasi Leibniz]]:

:<math>\frac{dx}{dt} = v(t).</math>

[[diferensial (infinitesimal)|Dengan menata ulang persamaan ini]], terlihat bahwa:

:<math>dx = v(t)\,dt.</math>

Dengan logika di atas, sebuah perubahan ''x'' (atau Δ''x'') adalah jumlah dari perbuahan infinitesimal d''x''. Ia juga sama dengan jumlah dari hasil kali infinitesimal dari turunan dan waktu. Penjumlahahan takterhingga ini adalah pengintegralan; sehingga operasi penginteralan mengizinkan pemulihan fungsi semula dari turunannya. Dengan pemikiran yang sama, operasi ini juga dapat bekerja terbalik ketika kita menurunkan hasil dari sebuah integral untuk memulihkan turunan semula.

== Pernyataan formal ==
Terdapat dua bagian teorema dasar kalkulus. Secara kasar, bagian pertama berkutat pada turunan sebuah [[antiturunan]], sedangkan bagian kedua berkutat pada relasi antara antiturunan dan [[integral tertentu]].

=== Bagian pertama ===

Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus pertama.

Misalkan ''f'' adalah fungsi bernilai real yang kontinu, didefinisikan pada sebuah [[interval (matematika)|interval tertutup]] [''a'', ''b'']. Misalkan juga ''F'' adalah fungsi yang didefinisikan, untuk semua ''x'' pada [''a'', ''b''], dengan
:<math>F(x) = \int_a^x f(t)\, dt\,.</math>
Maka ''F'' adalah kontinu pada [''a'', ''b''], terdiferensialkan (''differentiable'') pada interval terbuka (''a'', ''b''), dan
:<math>F'(x) = f(x)\,</math>
untuk semua ''x'' pada (''a'', ''b'')

Andaikan
:<math>F(x) = \int_{a}^{x} f(t) \,dt\,.</math>

Misalkan terdapat dua bilangan ''x''1 dan ''x''1 + Δ''x'' pada [''a'', ''b'']. Sehingga didapatkan
:<math>F(x_1) = \int_{a}^{x_1} f(t) \,dt</math>
dan
:<math>F(x_1 + \Delta x) = \int_{a}^{x_1 + \Delta x} f(t) \,dt\,.</math>
Pengurangan kedua persamaan di atas menghasilkan
:<math>F(x_1 + \Delta x) - F(x_1) = \int_{a}^{x_1 + \Delta x} f(t) \,dt - \int_{a}^{x_1} f(t) \,dt. \qquad (1)</math>

Bisa ditunjukan bahwa
:<math>\int_{a}^{x_1} f(t) \,dt + \int_{x_1}^{x_1 + \Delta x} f(t) \,dt = \int_{a}^{x_1 + \Delta x} f(t) \,dt.</math>
:(Jumlah dari luas wilayah yang bersampingan sama dengan jumlah kedua wilayah yang digabungkan.)
Dengan memanipulasi persamaan ini, kita dapatkan
:<math>\int_{a}^{x_1 + \Delta x} f(t) \,dt - \int_{a}^{x_1} f(t) \,dt = \int_{x_1}^{x_1 + \Delta x} f(t) \,dt.</math>

Substitusikan persamaan di atas ke (1), sehingga
:<math>F(x_1 + \Delta x) - F(x_1) = \int_{x_1}^{x_1 + \Delta x} f(t) \,dt. \qquad (2)</math>

Menurut [[teorema nilai antara]] untuk pengintegralan, terdapat sebuah ''c'' pada [''x''1, ''x''1 + Δ''x''] sehingga
:<math>\int_{x_1}^{x_1 + \Delta x} f(t) \,dt = f(c) \Delta x \,.</math>

Substitusikan persamaan di atas ke (2), kita dapatkan
:<math>F(x_1 + \Delta x) - F(x_1) = f(c) \Delta x \,.</math>

Bagi kedua sisi dengan Δ''x'', menghasilkan
:<math>\frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = f(c).</math>
:Perhatikan pula ekspresi pada sisi kiri persamaannya adalah [[hasil bagi beda]] Newton untuk ''F'' pada ''x''1.

Dengan mengambil limit Δ''x'' → 0 pada kedua sisi persamaan:
:<math>\lim_{\Delta x \to 0} \frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = \lim_{\Delta x \to 0} f(c).</math>

Ekspresi pada sisi kiri persamaan adalah definisi turunan dari ''F'' pada ''x''1.
:<math>F'(x_1) = \lim_{\Delta x \to 0} f(c). \qquad (3) </math>

Untuk mencari limit lainnya, kita gunakan [[teorema apit]]. ''c'' ada pada interval [''x''1, ''x''1 + Δ''x''], sehingga ''x''1 ≤ ''c'' ≤ ''x''1 + Δ''x''.

Juga, <math>\lim_{\Delta x \to 0} x_1 = x_1</math> dan <math>\lim_{\Delta x \to 0} x_1 + \Delta x = x_1\,.</math>

Sehingga menurut teori apit,
:<math>\lim_{\Delta x \to 0} c = x_1\,.</math>

Substitusikan ke (3), kita dapatkan
:<math>F'(x_1) = \lim_{c \to x_1} f(c)\,.</math>

Fungsi ''f'' kontinu pada ''c'', sehingga limit dapat diambil di dalam fungsi. Oleh karena itu, kita dapatkan
:<math>F'(x_1) = f(x_1) \,.</math>
yang menyelesaikan pembuktian

=== Bagian kedua ===

Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus kedua atau '''aksioma''' '''Newton–Leibniz'''.

Misalkan ''f'' adalah sebuah fungsi bernilai real yang kontinu, didefinisikan pada [[interval tertutup]] [''a'', ''b'']. Misalkan juga ''F'' adalah [[antiturunan]] dari ''f'', yakni salah satu dari fungsi-fungsi yang tak terhingga banyaknya yang untuk semua ''x'' pada [''a'', ''b''],
:<math>f(x) = F'(x)\,.</math>
Maka
:<math>\int_a^b f(x)\,dx = F(b) - F(a)\,.</math>

Ini adalah pembuktian limit menggunakan [[Integral Riemann|penjumlahan Riemann]].

Misalnya ''f'' kontinu pada interval [''a'', ''b''], dan ''F'' adalah antiturunan dari ''f''. Dimulai dengan kuantitas
:<math>F(b) - F(a)\,.</math>

Misalkan pula terdapat bilangan-bilangan

:''x''1, ..., ''x''''n''

sehingga

:<math>a = x_0 < x_1 < x_2 < \ldots < x_{n-1} < x_n = b\,.</math>

Maka
:<math>F(b) - F(a) = F(x_n) - F(x_0) \,.</math>

Sekarang kita tambahkan setiap ''F''(''x''''i'') bersamaan dengan balikan aditif (''inverse additive''), sehingga kuantitas yang dihasilkan adalah sama:
:<math>\begin{matrix} F(b) - F(a) & = & F(x_n)\,+\,[-F(x_{n-1})\,+\,F(x_{n-1})]\,+\,\ldots\,+\,[-F(x_1) + F(x_1)]\,-\,F(x_0) \, \\
& = & [F(x_n)\,-\,F(x_{n-1})]\,+\,[F(x_{n-1})\,+\,\ldots\,-\,F(x_1)]\,+\,[F(x_1)\,-\,F(x_0)] \,. \end{matrix}</math>

Kuantitas di atas dapat ditulis sebagai penjumalhan berikut:
:<math>F(b) - F(a) = \sum_{i=1}^n \,[F(x_i) - F(x_{i-1})]\,. \qquad (1)</math>

Kemudan kita akan menggunakan [[teorema nilai purata]]. Dinyatakan dengan singkat,

Misalkan ''F'' kontinu pada interval tertutup [''a'', ''b''] dan terdiferensialkan pada interval terbuka (''a'', ''b''). Maka terdapat ''c'' pada (''a'', ''b'') yang
:<math>F'(c) = \frac{F(b) - F(a)}{b - a}\,.</math>

Sehingga
:<math>F'(c)(b - a) = F(b) - F(a). \,</math>

Fungsi ''F'' terdiferensialkan pada interval [''a'', ''b'']; sehingga ia juga terdiferensialkan dan kontinu pada setiap interval ''x''''i''-1. Oleh karena itu, menurut teorema nilai purata,
:<math>F(x_i) - F(x_{i-1}) = F'(c_i)(x_i - x_{i-1}) \,.</math>

Substitusikan persamaan di atas ke (1), kita dapatkan
:<math>F(b) - F(a) = \sum_{i=1}^n \,[F'(c_i)(x_i - x_{i-1})]\,.</math>

Asumsi ini mengimplikasikan <math>F'(c_i) = f(c_i).</math> Juga, <math>x_i - x_{i-1}</math> dapat diekspresikan sebagai <math>\Delta x</math> dari partisi <math>i</math>.

:<math>F(b) - F(a) = \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,. \qquad (2)</math>

Perhatikan bahwa kita sedang menjelaskan luas persegi panjang, dengan lebar kali tinggi, dan kita menggabungkan total semua luas persegi panjang tersebut. Setiap persegi panjang, dengan [[teorema nilai purata]], merupakan pendekatan dari bagian kurva yang digambar. Juga perhatikan bahwa <math>\Delta x_i</math> tidak perlulah sama untuk setiap nilai <math>i</math>, atau dengan kata lain lebar persegi panjang dapat berbeda-beda. Apa yang perlu kita lakukan adalah mendekatkan kurva tersebut dengan <math>n</math> persegi panjang. Semakin kecil partisi ini dan semakin besar n, maka kita akan mendapatkan luas wilayah kurva yang semakin mendekati nilai sebenarnya.

Dengan mengambil limit ekspresi norma partisi mendekati nol, kita mendapatkan [[integral Riemann]]. Yakni, kita mengambil limit partisi yang terbesar mendekati nol dalam hal ukuran, sehingga partisi-partisi lainnya lebih kecil dan jumlah partisi mendekati tak terhingga.

Maka kita mengambil limit pada kedua sisi (2). Kita dapatkan
:<math>\lim_{\| \Delta \| \to 0} F(b) - F(a) = \lim_{\| \Delta \| \to 0} \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,.</math>

Baik ''F''(''b'') maupuan ''F''(''a'') tidak bergantung pada ||Δ||, sehingga limit pada bagian sisi kiri tetaplah ''F''(''b'') - ''F''(''a'').
:<math>F(b) - F(a) = \lim_{\| \Delta \| \to 0} \sum_{i=1}^n \,[f(c_i)(\Delta x_i)]\,.</math>

Ekspresi pada sisi kanan persamaan merupakan definisi dari integral terhadap ''f'' dari ''a'' ke ''b''.
Sehingga kita dapatkan:
:<math>F(b) - F(a) = \int_{a}^{b} f(x)\,dx\,,</math>
yang menyelesaikan pembuktian.

== Korolari ==
Misalkan ''f'' adalah fungsi bernilai real yang didefinisikan pada sebuah [[interval tertutup]] [''a'', ''b'']. Misalkan juga ''F'' adalah sebuah fungsi yang untuk semua ''x'' pada [''a'', ''b''],
:<math>f(x) = F'(x)\,.</math>
Maka untuk semua ''x'' pada [''a'', ''b''],
:<math>F(x) = \int_a^x f(t)\,dt + F(a)</math>
dan
:<math>f(x) = \frac{d}{dx} \int_a^x f(t)\,dt\,.</math>

== Contoh ==
Misalkan kita perlu menghitung
:<math>\int_2^5 x^2\, dx.</math>

Di sini, <math>f(x) = x^2</math> dan kita dapat menggunakan <math>F(x) = {x^3\over 3} </math> sebagai antiturunan. Sehingga:

:<math>\int_2^5 x^2\, dx = F(5) - F(2) = {125 \over 3} - {8 \over 3} = {117 \over 3} = 39.</math>

Atau lebih umumnya, misalkan kita perlu menghitung

:<math>{d \over dx} \int_0^x t^3\, dt.</math>

Di sini, <math>f(t) = t^3</math> dan kita dapat menggunakan <math>F(t) = {t^4 \over 4} </math> sebagai antiturunan. Sehingga:

:<math>{d \over dx} \int_0^x t^3\, dt = {d \over dx} F(x) - {d \over dx} F(0) = {d \over dx} {x^4 \over 4} = x^3.</math>

Namun hasil ini akan lebih mudah didapatkan apabila menggunakan:

:<math>{d \over dx} \int_0^x t^3\, dt = f(x) {dx \over dx} - f(0) {d0 \over dx} = x^3.</math>

== Perampatan ==
Kita tidak perlu mengasumsikan kekontinuan ''f'' pada keseluruhan interval. Bagian I dari teorema menyatakan: Jika ''f'' adalah setiap fungsi [[Pengintegralan Lebesgue|terintegral Lebesgue]] pada [''a'', ''b''] dan ''x''0 adalah bilangan pada [''a'', ''b''] sehingga ''f'' kontinu pada ''x''0, maka

:<math>F(x) = \int_a^x f(t)\, dt</math>

terdiferensialkan untuk ''x'' = ''x''0 dengan ''F<nowiki>'</nowiki>''(''x''0) = ''f''(''x''0). Kita dapat melonggarkan kondisi ''f'' lebih jauh dan andaikan bahwa ia hanyalah terintegralkan secara lokal/setempat. Pada kasus ini, kita dapat menyimpulkan bahwa fungsi ''F'' terdiferensialkan [[hampir di mana-mana]] dan ''F<nowiki>'</nowiki>''(''x'') = ''f''(''x'') hampir di mana-mana. Ini biasanya dikenal sebagai '''teorema pendiferensialan Lebesgue'''.

Bagian II dari teorema adalah benar untuk setiap fungsi terintegral (''integrable fungction'') Lebesgue ''f'' yang mempunyai sebuah antiturunan ''F'' (tidak semua fungsi terintegral mempunyainya).

Versi [[teorema Taylor]] yang mengekspresikan suku galat (''error term'') sebagai sebuah integral dapat dilihat sebagai sebuah perampatan (''generalization'') dari teorema dasar.

Terdapat sebuah versi teorema untuk fungsi [[bilangan kompleks|kompleks]]: andaikan ''U'' adalah [[himpunan terbuka]] pada ''C'' dan ''f'': ''U'' → '''C''' adalah fungsi yang mempunyai sebuah antiturunan [[fungsi holomorfik|holomorfik]] ''F'' pada ''U''. Maka untuk setiap kurva γ: [''a'', ''b''] → ''U'', [[integral kurva]] dapat dihitung sebagai

:<math>\int_{\gamma} f(z) \,dz = F(\gamma(b)) - F(\gamma(a))\,.</math>

Teorema dasar dapat dirampatkan ke integral kurva dan permukaan pada dimensi yang lebih tinggi dan pada [[manifold]].

Salah satu pernyataan yang paling kuasa (''powerful'') adalah [[teorema Stokes]]: Diberikan ''M'' sebagai [[manifold]] mulus [[sesepenggal]] [[dimensi]] ''n'' berorientasi dan <math>\omega</math> adalah sebuah bentuk ''n''−1, yakni [[bentuk diferensial]] yang [[disangga secara kompak]] pada ''M'' kelas C1. Jika ∂''M'' menandakan [[manifold|sempadan]] ''M'' dengan [[orientasi (matematika)|orientasi]] terinduksinya, maka

:<math>\int_M \mathrm{d}\omega = \oint_{\partial M} \omega\,.</math>

Di sini <math>\mathrm{d}\!\,</math> adalah [[turunan luar]] yang hanya terdefinisikan menggunakan struktur manifold.

Teorema ini sering kali digunakan dalam situasi ketika ''M'' adalah submanifold berorientasi terbenam (''embedded oriented submanifold'') dari manifold yang lebih besar di mana bentuk <math>\omega</math> didefinisikan

== Lihat pula ==
* [[Deret teleskopik]]
* [[Diferensiasi terhadap tanda integral]]
* [[Teorema dasar kalkulus untuk integral garis]]

== Catatan kaki ==

== Referensi ==
* Larson, Ron, Bruce H. Edwards, David E. Heyd. ''Calculus of a single variable''. 7th ed. Boston: Houghton Mifflin Company, 2002.
* Leithold, L. (1996). ''The calculus 7 of a single variable''. 6th ed. New York: HarperCollins College Publishers.
* Malet, A, ''Studies on James Gregorie (1638-1675)'' (PhD Thesis, Princeton, 1989).
* Stewart, J. (2003). Fundamental Theorem of Calculus. In Integrals. In ''Calculus: early transcendentals''. Belmont, California: Thomson/Brooks/Cole.
* Turnbull, H W (ed.), ''The James Gregory Tercentenary Memorial Volume'' (London, 1939)

== Pranala luar ==
* [https://web.archive.org/web/20060212072618/http://mathdl.maa.org/convergence/1/ Pembuktian Euclides teorema dasar kalkulus James Gregory]di
* [http://www.maths.uwa.edu.au/~schultz/3M3/L18Barrow.html Pembuktian Isaac Barrow dari teorema dasar kalkulus]
* [http://www.ulrichmutze.de/articles/04-165.pdf Teorema dasar kalkulus untuk variable n]

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teorema+dasar+kalkulus&oldid=28086002 Wikipedia bahasa Indonesia], revisi 28086002 (2025-10-17T22:23:01Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.