第五章積分.docVIP

前 四章探討了微積分學裡的第一種重要的運算—微分。微分於幾何上的意義為函數切線的斜率，而各種有趣的現象也伴隨著微分而生。第二種重要的運算是積分(integration)。積分並不是一個新的主題，它可以視為函數的反導函數。因此導函數的各項性質對積分的運算而言，其重要性自然是不可言諭的。 5.1 不定積分 5-2 5.2 Maple的積分運算 5-6 5.3 代換積分法 5-9 5.4 定積分：曲線下的面積 5-13 5.5 Sigma符號與面積的估算 5-24 5.6 微積分基本定理 5-34 5.1 不定積分 把函數f微分，可以得到它的導函數。若已知一函數的導函數為，則求其反導函數(anti-derivative)的過程稱為反微分(anti-differentation)。這種關係式可以記為 反微分的算法通常可以由微分的基本法則來求得，首先來看一個簡單的例子。 【例題5.1.1】 試求的反導函數。 【解】 設的導函數為，則即為的反導函數，這種關係可以用下圖來表示： 由導函數的運算可知 故為的反導函數。可是反導函數並不唯一，而也很容易驗證 與 的導函數均為。事實上， ， c為常數 因此的反導函數為 ( 函數g的導函數可以用來表示，而函數f的反導函數則表示成 (5.1.1) 此式稱為的不定積分(indefinite integral)。為積分符號(integral sign)，它像是一個拉長的英文字母s，此符號由數學家萊布尼茲(Leibniz)所提出。求反導函數的過程稱為積分(integration)，因此，的反導函數為，故 其中c稱為積分常數(integration constant)，因為它會伴隨著每一個不定積分運算而生。 【例題5.1.2】 計算與。 【解】由3.4節--三角函數的導函數可知， 所以為的反導函數，因此 相同的，為的反導函數，因此 ( 事實上，由3.4節的微分公式(3.4.5)~ (3.4.8)，可以立即寫出下列4個有關三角函數的的積分公式： (1) (2) (3) (4) 積分的求解也有一定的法則可循，例如，已知 ， 因此不難寫出積分的乘冪律(power rule)，如定理5.1.2所述。 定理5.1.1 積分的乘冪律 於定理5.1.1中，是一個特例，這個部份將在第八章中另做介紹。 此外，積分尚有許多有趣的性質，可以用來輔助複雜積分式的運算。定理5.1.2列出了常用的基本性質。 定理5.1.2 積分的基本性質 (a) ( k為常數) (b) ( k為常數) (c) (d) 【例題5.1.3】 設，試求。 【解】 ( 定理5.1.1 , 定理5.1.2d) 於是可知的積分結果為，亦即為的反導函數，因為 讀者不妨試著把對x微分來驗證之。 ( 【例題5.1.4】 試求。 【解】 =++ ( 定理5.1.2 a, c ) ( 定理5.1.1 ) ( 其中 ) ( 習 題 5.1 於習題1~10中，試求各積分式。 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 設函數 (a) 試驗證 (b) 試驗證 12. 試求的反導函數使其滿足。 13. 試求一函數f使得，且滿足。 5.2 Maple的積分運算 如5.1節所述，積分是微分的反運算。大多數的函數均可求得它的微分式，但積分可就沒這麼幸運。許多看似簡單的式子，但其積分式卻無法求出。例如，簡單的積分即是。雖然如此，若不是數學上的限制，Maple的積分指令幾乎可以積出在微積分課本裡，所有找的到的積分式。 和diff、Diff一樣，積分指令也有兩個版本，一個是int，用來求解函數的積分，另一個是Int，它保留積分的原式，但必要時可以用value指令來求積分值。 int(f(x),x) 指定x為積分變數，計算不定積分 Int(f(x),x) 回應，亦即保留積分的原式，不做任何運算 Maple的積分指令 大部份的符號運算軟體如Maple、Mathematica等，在計算不定積分時多半不會自動加上積分常數，關於這點值得稍稍留意。 這是一個微分式。 Diff(x/(x-2)^2,x):%=value(%); 若再積分上式，則可得到原來的被微分函數，故積分可視為微分的反運算。注