# Bab 45: Teorema Dasar Kalkulus (Fundamental Theorem of Calculus) ## 45.1 Teorema Dasar Kalkulus Bagian Pertama Penjelasan master untuk Bab 45: teorema dasar kalkulus menyatukan kalkulus diferensial dan kalkulus integral. Master menyebutnya penemuan terbesar dalam sejarah matematika. Penjelasan master untuk unit ini: turunan dari fungsi integral tentu adalah fungsi aslinya sendiri, $$\frac d{dx}\int_a^xf(t)\,dt=f(x).$$ Bab 39–42 membangun turunan sebagai limit hasil bagi selisih. Bab 43–44 membangun integral sebagai supremum jumlah bawah dan infimum jumlah atas. Kedua konstruksi tidak saling menyebut. Unit ini membuktikan bahwa keduanya saling invers, dalam bentuk yang tepat: rumus master berlaku di setiap titik tempat $f$ kontinu, dan dapat gagal di titik ketidakkontinuan. Unit 45.2 membuktikan arah sebaliknya, yaitu evaluasi integral dengan antiturunan. Prasyarat: Bab 43–44; Definisi 39.1.1 (turunan, termasuk turunan sepihak di ujung domain); aturan rantai (Teorema 40.1.2); Akibat 41.2.3. ### Fungsi Integral #### Definisi 45.1.1 (Fungsi Integral) Misalkan $f$ terintegralkan pada $[a,b]$. Fungsi integral $f$ dengan titik dasar $a$ adalah $$F(x)=\int_a^xf(t)\,dt,\qquad x\in[a,b].$$ Definisi ini sah. $F(a)=0$ menurut Definisi 44.2.4. Untuk $ay$ simetris, dan kasus $x=y$ trivial. Kontinuitas seragam mengikuti dengan $\delta=\tfrac\varepsilon K$ untuk $K>0$; bila $K=0$, $F$ konstan. $\square$ Jadi pengintegralan menghaluskan: $f$ boleh meloncat atau tidak kontinu di tak hingga banyak titik, tetapi $F$ selalu kontinu. ### Teorema Utama #### Teorema 45.1.3 (Teorema Dasar Kalkulus I) Misalkan $f$ terintegralkan pada $[a,b]$, $F(x)=\int_a^xf$, dan $f$ kontinu di $c\in[a,b]$. Maka $F$ terdiferensialkan di $c$, dan $$F'(c)=f(c).$$ Di $c=a$ atau $c=b$, turunannya adalah turunan sepihak, sesuai Definisi 39.1.1 dengan domain $[a,b]$. Bukti. Untuk $h\ne0$ dengan $c+h\in[a,b]$, $(\ast)$ dan Contoh 43.1.10 memberi $$\frac{F(c+h)-F(c)}h-f(c)=\frac1h\int_c^{c+h}f(t)\,dt-\frac1h\int_c^{c+h}f(c)\,dt=\frac1h\int_c^{c+h}\bigl(f(t)-f(c)\bigr)\,dt.$$ Untuk $h<0$, kesamaan kedua juga benar, karena $\int_c^{c+h}f(c)\,dt=-f(c)(c-(c+h))=f(c)h$ menurut Definisi 44.2.4. Misalkan $\varepsilon>0$. Kontinuitas $f$ di $c$ memberi $\delta>0$ sehingga $|f(t)-f(c)|\leq\varepsilon$ untuk setiap $t\in[a,b]$ dengan $|t-c|<\delta$. Bila $0<|h|<\delta$, setiap $t$ di antara $c$ dan $c+h$ memenuhi $|t-c|\leq|h|<\delta$. Teorema 44.2.5(b) dan (c), pada interval di antara $c$ dan $c+h$ yang panjangnya $|h|$, memberi $$\Bigl|\int_c^{c+h}\bigl(f(t)-f(c)\bigr)\,dt\Bigr|\leq\varepsilon|h|.$$ Jadi $$\Bigl|\frac{F(c+h)-F(c)}h-f(c)\Bigr|\leq\varepsilon\qquad\text{untuk }0<|h|<\delta,$$ yang tepat merupakan definisi $F'(c)=f(c)$. $\square$ Inti bukti: $\tfrac1h\int_c^{c+h}f$ adalah nilai rata-rata $f$ pada interval kecil di sekitar $c$, dan kontinuitas memaksa rata-rata itu mendekati $f(c)$. Bila $f$ kontinu pada seluruh $[a,b]$, Teorema 44.2.7 bahkan memberi $\xi_h$ di antara $c$ dan $c+h$ dengan $\tfrac{F(c+h)-F(c)}h=f(\xi_h)$, sehingga hasilnya langsung. Bukti di atas lebih umum, karena hanya memerlukan kontinuitas di satu titik $c$. #### Akibat 45.1.4 (Keberadaan Antiturunan) Misalkan $I$ interval tak merosot dan $f:I\to\mathbb{R}$ kontinu. Tetapkan $x_0\in I$ dan $F(x)=\int_{x_0}^xf$ untuk $x\in I$. Maka $F$ terdiferensialkan pada $I$ dengan $F'=f$. Setiap fungsi $G$ dengan $G'=f$ pada $I$ berbentuk $G=F+C$ untuk suatu konstanta $C$. Bukti. $F$ terdefinisi, karena $f$ kontinu pada interval tertutup di antara $x_0$ dan $x$ (Teorema 44.1.1). Misalkan $c\in I$. Karena $I$ interval tak merosot, ada $\alpha<\beta$ di $I$ sehingga $[\alpha,\beta]$ memuat $x_0$ dan $c$, dan $c$ titik dalam $[\alpha,\beta]$ kecuali bila $c$ ujung $I$ yang termuat di $I$. Dalam kasus terakhir, $c$ juga ujung $[\alpha,\beta]$ yang sepihak sama. Jadi $[\alpha,\beta]$ dan $I$ memuat titik-titik yang sama di sekitar $c$. Pada $[\alpha,\beta]$, $F(x)=\int_\alpha^xf-\int_\alpha^{x_0}f$ menurut konvensi orientasi. Teorema 45.1.3 pada $[\alpha,\beta]$ memberi $F'(c)=f(c)$, karena hasil bagi selisih di $c$ hanya memakai nilai di sekitar $c$. Bagian terakhir adalah Akibat 41.2.4. $\square$ Akibat ini menjawab pertanyaan yang belum terjawab sejak Bab 40: setiap fungsi kontinu mempunyai antiturunan. Contohnya, $\exp(-x^2)$ mempunyai antiturunan $\int_0^x\exp(-t^2)\,dt$, walaupun antiturunan itu tidak dapat dituliskan dengan fungsi dasar. Fakta terakhir ini dicatat tanpa bukti dan tidak dipakai. ### Contoh #### Contoh 45.1.5 (Contoh Master) (a) $f(t)=t^2$ kontinu. Solusi 44.2-2 memberi $F(x)=\int_0^xt^2\,dt=\tfrac{x^3}3$ untuk $x>0$, sehingga $F'(x)=x^2=f(x)$, sesuai rumus master. Di sini rumus master diperiksa dengan dua perhitungan yang terpisah: integral dihitung dengan jumlah Darboux, dan turunan dengan Proposisi 39.1.3. (b) $\tfrac d{dx}\int_1^x\tfrac{dt}t=\tfrac1x$ untuk $x>0$, menurut Akibat 45.1.4 pada $I=(0,\infty)$. Fungsi $\ln$ mempunyai turunan yang sama (Teorema 40.2.6(a)) dan bernilai $0$ di $1$. Akibat 45.1.4 memberi $\ln x=\int_1^x\tfrac{dt}t$. Hasil ini dicatat ulang sebagai Teorema 45.2.4. (c) Batas atas berupa fungsi. Misalkan $G(x)=\int_0^{x^2}\exp(t^2)\,dt$. Dengan $F(u)=\int_0^u\exp(t^2)\,dt$, $G=F\circ s$ untuk $s(x)=x^2$. Aturan rantai dan Akibat 45.1.4 memberi $$G'(x)=F'(x^2)\cdot2x=2x\exp(x^4).$$ Kesalahan umum adalah menulis $G'(x)=\exp(x^4)$, yang melupakan faktor $2x$. #### Contoh 45.1.6 (Ketidakkontinuan: Rumus Master Gagal) (a) Loncatan. Misalkan $f(t)=0$ untuk $t<0$ dan $f(t)=1$ untuk $t\geq0$, pada $[-1,1]$. Maka $F(x)=\int_{-1}^xf$ sama dengan $0$ untuk $x\leq0$ dan $x$ untuk $x>0$ (aditivitas, Contoh 43.1.10, dan Latihan 43.1-5). Turunan kiri $F$ di $0$ adalah $0$, sedangkan turunan kanannya $1$. Jadi $F$ tidak terdiferensialkan di $0$. Rumus master gagal tepat di titik tempat $f$ tidak kontinu. (b) Titik terisolasi. Misalkan $f(0)=1$ dan $f(t)=0$ untuk $t\ne0$, pada $[-1,1]$. Maka $F\equiv0$ (Latihan 43.1-5), sehingga $F'(0)=0\ne1=f(0)$. Di sini $F$ terdiferensialkan di $0$, tetapi turunannya bukan $f(0)$. Integral tidak "melihat" nilai di satu titik. (c) Fungsi Thomae pada $[0,1]$, yang di sini ditulis $\tau$ agar tidak bentrok dengan variabel integrasi $t$ (Contoh 43.2.9 menulisnya $t$). Untuk $00$, misalkan $G(x)=\int_x^{2x}\tfrac{dt}t$. Buktikan bahwa $G$ konstan, tanpa menghitung integralnya, dan berikan batas bawah dan atas untuk nilai konstanta itu. Latihan 45.1-3. Untuk $x\in[0,3]$, hitung $F(x)=\int_0^x\lfloor t\rfloor\,dt$. Tentukan di titik mana $F$ terdiferensialkan, hitung turunan sepihak di titik lain, dan bandingkan $F'(3)$ dengan $\lfloor3\rfloor$. Latihan 45.1-4. Misalkan $f$ kontinu pada $[a,b]$ dan $\int_a^xf=\int_x^bf$ untuk setiap $x\in[a,b]$. Buktikan bahwa $f\equiv0$. Latihan 45.1-5. Tentukan semua pasangan $(f,c)$, dengan $f:\mathbb{R}\to\mathbb{R}$ kontinu dan $c\in\mathbb{R}$, yang memenuhi $\int_c^xf(t)\,dt=x^2-4$ untuk semua $x$. Latihan 45.1-6. Buktikan bahwa $\lim_{x\to0}\tfrac1x\int_0^x\exp(t^2)\,dt=1$. Untuk $00$, menurut Teorema 40.2.13. ### Logaritma sebagai Integral #### Teorema 45.2.4 (Penutupan P32-LN) Untuk setiap $t>0$: $$\ln t=\int_1^t\frac{dx}x,$$ dengan konvensi orientasi untuk $t<1$. Bukti. Untuk $t>1$, terapkan Teorema 45.2.1 pada $[1,t]$ dengan $G=\ln$, yang terdiferensialkan pada $(0,\infty)$ dengan $\ln'(x)=\tfrac1x$ (Teorema 40.2.6(a)). Integran $\tfrac1x$ kontinu pada $[1,t]$. Hasilnya $\int_1^t\tfrac{dx}x=\ln t-\ln1=\ln t$. Untuk $0\tfrac12$. Untuk $k\in\mathbb{N}_+$, tetapkan $s_k=k$ bila $|\cos k|\geq\tfrac12$, dan $s_k=2k$ bila tidak. Pilihan ini deterministik, dan $|\cos s_k|\geq\tfrac12$. Untuk $x_k=\tfrac1{\sqrt{s_k}}\in(0,1]$: $$|F'(x_k)|\geq\frac2{x_k}\cdot\frac12-2x_k=\sqrt{s_k}-\frac2{\sqrt{s_k}}\geq\sqrt k-2,$$ karena $y\mapsto y-\tfrac2y$ naik pada $(0,\infty)$ dan $\sqrt{s_k}\geq\sqrt k\geq1$. Ruas kanan tak terbatas. Fungsi terintegralkan Riemann harus terbatas (Bab 43). $\square$ Jadi tidak setiap turunan terintegralkan, dan hipotesis keterintegralan pada Teorema 45.2.1 tidak dapat dibuang. Untuk contoh ini, nilai $F(1)-F(0)=\sin1$ tetap dapat dipulihkan sebagai integral tak wajar, yaitu limit $\int_\varepsilon^1F'$ untuk $\varepsilon\to0^+$ (Bab 46). Juga diketahui bahwa ada turunan yang terbatas tetapi tidak terintegralkan Riemann (fungsi Volterra). Fakta ini dicatat tanpa bukti dan tidak dipakai. Sebaliknya, fungsi terintegralkan tidak harus mempunyai antiturunan. Fungsi tangga terintegralkan, tetapi bukan turunan apa pun, karena turunan mempunyai sifat nilai antara (Teorema 41.1.6). Jadi dua kelas fungsi, yaitu turunan dan fungsi terintegralkan, saling beririsan tetapi tidak saling memuat. Irisannya, bersama hipotesis Teorema 45.2.1, adalah tempat rumus $\int_a^bG'=G(b)-G(a)$ berlaku. ### Latihan Latihan 45.2-1. Hitung, dengan menyebut antiturunan dan alasan keterintegralannya: (a) $\int_0^2(x^3-3x)\,dx$; (b) $\int_1^e\tfrac{dx}x$; (c) $\int_1^8x^{-1/3}\,dx$; (d) $\int_0^1\exp(2x)\,dx$. Latihan 45.2-2. Untuk partisi seragam $[1,3]$ dengan $n=6$, hitung $L(x^2,P_6)$ dan $U(x^2,P_6)$ sebagai pecahan, lalu periksa bahwa $\tfrac{26}3$ terletak di antaranya. Latihan 45.2-3. Dengan Teorema 45.2.4 dan Teorema 44.2.5(b), buktikan bahwa $1-\tfrac1x\leq\ln x\leq x-1$ untuk setiap $x>0$. Latihan 45.2-4. Jelaskan kesalahan dalam "perhitungan" $\int_{-1}^1\tfrac{dx}{x^2}=\bigl[-\tfrac1x\bigr]_{-1}^1=-2$. Latihan 45.2-5. Hitung $\int_0^2|x-1|\,dx$ dengan aditivitas dan Teorema 45.2.1, lalu bandingkan dengan Latihan 45.1-1. Latihan 45.2-6. Misalkan $G(x)=x^2\sin\tfrac1x$ untuk $x\ne0$ dan $G(0)=0$. Buktikan bahwa $G'$ ada di setiap titik $[0,1]$, terbatas, tidak kontinu di $0$, tetapi terintegralkan, dan $\int_0^1G'=\sin1$. Latihan 45.2-7. Buktikan bahwa $\lim_{n\to\infty}\sum_{k=1}^n\tfrac n{(n+k)^2}=\tfrac12$. Latihan 45.2-8. Misalkan $H(x)=0$ untuk $x<0$ dan $H(x)=1$ untuk $x\geq0$. Buktikan bahwa $H$ terintegralkan pada $[-1,1]$ dengan $\int_{-1}^1H=1$, tetapi tidak ada $G$ dengan $G'=H$ pada $[-1,1]$. ### Solusi Solusi 45.2-1. Semua integran kontinu pada intervalnya (Teorema 44.1.1), sehingga Akibat 45.2.2 berlaku. (a) $G=\tfrac{x^4}4-\tfrac{3x^2}2$: $G(2)-G(0)=4-6=-2$. Nilai negatif ini wajar, karena integrannya negatif pada $(0,\sqrt3)$. (b) $G=\ln$: $\ln e-\ln1=1$. (c) $G=\tfrac32x^{2/3}$, dengan Teorema 40.2.8(d): $\tfrac32(4-1)=\tfrac92$. (d) $G=\tfrac12\exp(2x)$, dengan aturan rantai: $\tfrac{e^2-1}2$. $\square$ Solusi 45.2-2. $h=\tfrac13$, dan titik partisinya $\tfrac33,\tfrac43,\ldots,\tfrac93$, dengan kuadrat $\tfrac9{9},\tfrac{16}9,\tfrac{25}9,\tfrac{36}9,\tfrac{49}9,\tfrac{64}9,\tfrac{81}9$. $x^2$ naik pada $[1,3]$, sehingga $$L=\tfrac13\cdot\tfrac{9+16+25+36+49+64}9=\tfrac{199}{27},\qquad U=\tfrac13\cdot\tfrac{16+25+36+49+64+81}9=\tfrac{271}{27}.$$ $\tfrac{26}3=\tfrac{234}{27}$ terletak di antaranya. $U-L=\tfrac{72}{27}=\tfrac83=(9-1)\cdot\tfrac26$, sesuai Teorema 44.1.3. $\square$ Solusi 45.2-3. Untuk $x>1$: pada $[1,x]$, $\tfrac1x\leq\tfrac1t\leq1$, sehingga $\tfrac{x-1}x\leq\ln x\leq x-1$, dan $\tfrac{x-1}x=1-\tfrac1x$. Untuk $00$. Buktikan bahwa $\int_{-a}^af=0$ bila $f$ ganjil, dan $\int_{-a}^af=2\int_0^af$ bila $f$ genap. Buktikan juga $\int_a^bf(x)\,dx=\int_{a+k}^{b+k}f(x-k)\,dx$ untuk $f$ kontinu pada $[a,b]$ dan $k\in\mathbb{R}$. Latihan 45.3-4. Buktikan $\ln(xy)=\ln x+\ln y$ untuk $x,y>0$ hanya dari $\ln t=\int_1^t\tfrac{ds}s$, dengan substitusi $\varphi(s)=xs$, tanpa memakai $\exp$. Latihan 45.3-5. Misalkan $J_n=\int_0^1(1-x^2)^n\,dx$ untuk $n\in\mathbb{N}$. Buktikan bahwa $(2n+1)J_n=2nJ_{n-1}$ untuk $n\geq1$. Hitung $J_1$, $J_2$, dan $J_3$, lalu periksa $J_3$ dengan ekspansi binomial. Latihan 45.3-6. Dengan Contoh 45.3.3, hitung $I_4$ dan $I_5$ dalam bentuk $pe+q$ dengan $p,q$ bilangan bulat, periksa keduanya dengan batas $\tfrac1{n+1}\leq I_n\leq\tfrac e{n+1}$, dan buktikan bahwa $I_n\to0$. Latihan 45.3-7. Misalkan rekursi $\tilde I_n=\tilde e-n\tilde I_{n-1}$, dengan $\tilde I_0=\tilde e-1$, dijalankan dengan nilai hampiran $\tilde e=e+\delta$. Buktikan bahwa $d_n=\tilde I_n-I_n$ memenuhi $d_0=\delta$ dan $d_n=\delta-nd_{n-1}$. Hitung $\tfrac{d_n}\delta$ untuk $n\leq6$, dan perkirakan galat $\tilde I_6$ untuk $\tilde e=2{,}718$. Latihan 45.3-8. Hitung $\int_0^2(t-1)\exp\bigl((t-1)^2\bigr)\,dt$ dengan dua cara: Teorema 45.3.4 dengan $\varphi(t)=(t-1)^2$, yang tidak injektif, dan kesimetrian. ### Solusi Solusi 45.3-1. $u=\ln x$ dan $v=\tfrac{x^2}2$: $\bigl[\tfrac{x^2}2\ln x\bigr]_1^e-\int_1^e\tfrac x2\,dx=\tfrac{e^2}2-\tfrac{e^2-1}4=\tfrac{e^2+1}4\approx2{,}097$. Kewajaran: pada $[1,e]$, $0\leq x\ln x\leq e$, sehingga integralnya di antara $0$ dan $e(e-1)\approx4{,}67$. $\square$ Solusi 45.3-2. Parsial: $u=x$ dan $v=-\tfrac{(1-x)^6}6$, sehingga $v'=(1-x)^5$, menurut aturan rantai. Hasilnya $\bigl[-\tfrac{x(1-x)^6}6\bigr]_0^1+\tfrac16\int_0^1(1-x)^6\,dx=0+\tfrac16\cdot\tfrac17=\tfrac1{42}$, dengan antiturunan $-\tfrac{(1-x)^7}7$. Substitusi: untuk $g$ kontinu pada $[0,1]$, Teorema 45.3.4 dengan $\varphi(t)=1-t$ dan $\varphi'=-1$ memberi $-\int_0^1g(1-t)\,dt=\int_1^0g=-\int_0^1g$, sehingga $\int_0^1g(1-t)\,dt=\int_0^1g$. Dengan $g(x)=(1-x)x^5$, diperoleh $g(1-t)=t(1-t)^5$, sehingga $$\int_0^1t(1-t)^5\,dt=\int_0^1(1-x)x^5\,dx=\tfrac16-\tfrac17=\tfrac1{42}.\ \square$$ Solusi 45.3-3. Dengan $\varphi(t)=-t$ pada $[0,a]$, nilainya di $[-a,0]$, Teorema 45.3.4 memberi $\int_0^af(-t)(-1)\,dt=\int_0^{-a}f$, sehingga $\int_{-a}^0f=\int_0^af(-t)\,dt$. Untuk $f$ ganjil, ini $-\int_0^af$, sehingga totalnya $0$. Untuk $f$ genap, ini $\int_0^af$, sehingga totalnya $2\int_0^af$. Translasi: $\varphi(t)=t-k$ pada $[a+k,b+k]$, dengan $\varphi'=1$, memberi $\int_{a+k}^{b+k}f(t-k)\,dt=\int_a^bf$. $\square$ Solusi 45.3-4. Aditivitas dengan konvensi orientasi memberi $\ln(xy)=\int_1^x\tfrac{dt}t+\int_x^{xy}\tfrac{dt}t$. Bila $y=1$, integral kedua bernilai $0=\ln1$. Misalkan $y\ne1$. Untuk integral kedua, $\varphi(s)=xs$ pada interval tertutup di antara $1$ dan $y$ memenuhi $\varphi(1)=x$, $\varphi(y)=xy$, dan $\varphi'=x$. Fungsi $f(t)=\tfrac1t$ kontinu pada interval tertutup di antara $x$ dan $xy$. Teorema 45.3.4, dengan konvensi orientasi bila $y<1$, memberi $$\int_x^{xy}\frac{dt}t=\int_1^y\frac1{xs}\,x\,ds=\int_1^y\frac{ds}s=\ln y.$$ Jadi $\ln(xy)=\ln x+\ln y$. Ini memberi jalan kedua menuju logaritma, yang mendefinisikan $\ln$ sebagai integral, dan $\exp$ sebagai inversnya. Buku ini memilih jalan deret di Bab 40. Teorema 45.2.4 menyatakan bahwa kedua jalan memberi fungsi yang sama. $\square$ Solusi 45.3-5. Integrasi parsial dengan $u=(1-x^2)^n$ dan $v=x$, dengan $u'=-2nx(1-x^2)^{n-1}$: $$J_n=\bigl[x(1-x^2)^n\bigr]_0^1+2n\int_0^1x^2(1-x^2)^{n-1}\,dx=0+2n\int_0^1\bigl(1-(1-x^2)\bigr)(1-x^2)^{n-1}\,dx=2n(J_{n-1}-J_n).$$ Jadi $(2n+1)J_n=2nJ_{n-1}$. Dengan $J_0=1$: $J_1=\tfrac23$, $J_2=\tfrac45\cdot\tfrac23=\tfrac8{15}$, dan $J_3=\tfrac67\cdot\tfrac8{15}=\tfrac{16}{35}$. Ekspansi: $\int_0^1(1-3x^2+3x^4-x^6)\,dx=1-1+\tfrac35-\tfrac17=\tfrac{16}{35}$. $\square$ Solusi 45.3-6. $I_4=e-4(6-2e)=9e-24\approx0{,}4645$, dengan $\tfrac15=0{,}2\leq0{,}4645\leq\tfrac e5\approx0{,}544$. $I_5=e-5(9e-24)=120-44e\approx0{,}3956$, dengan $\tfrac16\approx0{,}167\leq0{,}3956\leq\tfrac e6\approx0{,}453$. Batas atas $\tfrac e{n+1}\to0$ dan $I_n\geq0$, sehingga $I_n\to0$ menurut teorema apit. $\square$ Solusi 45.3-7. Kurangkan $I_n=e-nI_{n-1}$ dari $\tilde I_n=\tilde e-n\tilde I_{n-1}$: $d_n=\delta-nd_{n-1}$, dan $d_0=(\tilde e-1)-(e-1)=\delta$. Jadi $\tfrac{d_n}\delta$ untuk $n=0,\ldots,6$ adalah $1,0,1,-2,9,-44,265$. Sebagai contoh, $1-2\cdot0=1$, $1-3\cdot1=-2$, $1-4\cdot(-2)=9$, $1-5\cdot9=-44$, dan $1-6\cdot(-44)=265$. Untuk $\tilde e=2{,}718$, $\delta=2{,}718-e\approx-0{,}000282$, sehingga $d_6\approx265\delta\approx-0{,}075$. Nilai sebenarnya $I_6=e-6I_5=265e-720\approx0{,}3447$, sedangkan $\tilde I_6=265\cdot2{,}718-720=0{,}27$. Galat relatifnya lebih dari $20\%$, walaupun $\tilde e$ benar sampai tiga desimal. Dari $|d_n|\geq n|d_{n-1}|-|\delta|$, faktor $|d_n/\delta|$ tumbuh hampir secepat faktorial. Contohnya, $|d_n|\geq(n-1)|d_{n-1}|$ bila $|d_{n-1}|\geq|\delta|$. Jadi untuk $n$ besar, rekursi maju tidak dapat dipakai dengan $e$ yang dibulatkan. $\square$ Solusi 45.3-8. Integrannya $\tfrac12\exp(\varphi(t))\varphi'(t)$, dengan $\varphi(t)=(t-1)^2$ dan $\varphi'(t)=2(t-1)$. $\exp$ kontinu pada $[0,1]\supseteq\varphi([0,2])$. Teorema 45.3.4 memberi $\tfrac12\int_{\varphi(0)}^{\varphi(2)}\exp=\tfrac12\int_1^1\exp=0$. Kesimetrian: translasi $x=t-1$ (Latihan 45.3-3) memberi $\int_{-1}^1x\exp(x^2)\,dx$, dan integrannya ganjil, sehingga nilainya $0$. $\square$ ### Ringkasan Integrasi parsial, $\int_a^buv'=[uv]_a^b-\int_a^bu'v$, adalah aturan hasil kali yang diintegralkan dengan teorema dasar kalkulus bagian kedua. Hipotesisnya: $u,v$ terdiferensialkan dengan turunan terintegralkan. Substitusi, $\int_\alpha^\beta f(\varphi)\varphi'=\int_{\varphi(\alpha)}^{\varphi(\beta)}f$, adalah aturan rantai yang diintegralkan, dengan $F(x)=\int_c^xf$ dari bagian pertama. Hipotesisnya: $\varphi'$ terintegralkan dan $f$ kontinu pada seluruh interval yang dilalui $\varphi$. $\varphi$ tidak harus injektif. Contoh yang dikerjakan meliputi $\int x\exp$, $\int\ln$, rekursi $I_n=e-nI_{n-1}$ dengan ketakstabilan numeriknya, rekursi Wallis $J_n$, substitusi arah balik, dan substitusi lambang yang salah pada $\int_{-1}^1x^2$ beserta diagnosisnya.