第八章反三角函数与反双曲线函数-计画.doc

三 角函數與雙曲線函數對大部分的讀者來說已經不是一個陌生的名詞。三角函數為一周期性的函數，故大自然的許多現象，如潮汐、地球的自轉、彈簧的振動，甚至於是經濟與社會的脈動等均可用三角函數來模擬。而反三角函數則是三角函數的反函數，於微分與積分上均有諸多應用。本章介紹了反函數的一些基本性質，並將這些性質推廣至反三角函數與反雙曲線函數的一些微分與積分之運算。 8.1 反函數 8-2 8.2 反三角函數 8-8 8.3 反三角函數的微分與積分 8-16 8.4 反雙曲線函數 8-20 8.1 反函數 2.1.5節裡已初步的介紹了反函數的一些基本性質，例如函數與反函數的圖形會對稱於直線等等。本節將探討反函數的求法，以及反函數的導函數是如何求得的。首先，先給予反函數一個正式的定義。 定義8.1.1 反函數 (inverse function) 設與為二函數，且 對於的定義域中的每一個自變數x而言，恒有 對於的定義域中的每一個自變數x而言，恒有 則稱為的反函數，且為的反函數，亦即與互為反函數。 通常把的反函數記為(唸為f-inverse)，因此由定義8.1.1可知 且 反函數有個有趣的性質，即其中一個函數可以“還原”另一個函數，例如 ， (與互為反函數) ， (與互為反函數) 8.1.1 反函數的計算 如果函數為已知，很自然的，有兩個問題必須要討論： 1. f 的反導函數是否存在？ 2. 若存在，反導函數要如何求得？ 這兩個問題的答案可以從函數的圖形來找尋。因為函數與反函數的圖形對稱於直線，且反函數本身也是函數，故反函數的圖形一樣必須符合垂直線判定法則。而以幾何的觀點來看，如果函數f要有反函數，則f的圖形最多只能被任何的水平線截交一次，也就是說，f必須為遞增(increasing)或遞減(decreasing)函數，f才有反函數。有關遞增或遞減的定義，讀者可參考4.1節。 定理8.1.1 反函數的判別 設f定義於一區間D，若函數於D內為遞增函數或遞減函數，則f有反函數 圖8.1.1說明了函數與反函數之間的關係。 若f的圖形最多只能被任何的水平線截交一次，則f稱為一對一函數(one to one function)，因此由定理8.1.1可知，若f有反函數，則f為一對一函數。 【例題8.1.1】 試證有反函數。 【解】 因對於所有的x而言，均成立，故f為一遞增函數，由定理8.1.1可知f有反函數。 ( 若為的反函數，則由反函數的定義可知 (8.1.1) 因此，若給予一函數f，則可以利用(8.1.1)式來求解反函數。 【例題8.1.2】 試求的反函數。 【解】 因對於所有的x皆成立，故有反函數。由(8.1.1)式可知，所以 因此可解得f的反函數為 現在再以Maple重複上面的步驟來求解： 定義。 f:=x--1/(x+1); 設，由(8.1.1)式可知。 f(g(x))=x; solve解得反函數，並將結果設回給反函數。 g:=unapply(solve(%,g(x)),x); 繪出(紅色)、(藍色)與(綠色)的圖形。 由圖中可看出與對稱於，且原先於裡的垂直漸近線，對稱於之後變成了反函數裡的水平漸近線。 plot([f(x),g(x),x],x=-6..6, y=-6..6, discont=true,color=[red,blue,green], scaling=CONSTRAINED); ( 反函數的求解過程並不一定都像例題8.1.2般容易。有些反函數即使存在，也可能過於複雜而不易求出。例如於例題8.1.1中，已知函數 有反函數，如果以(8.1.1)式求之，可得 但此方程式因過於複雜而不易解出的數學式。雖然如此，還是可以利用數值方法(如牛頓法等)來解得每一個x所對應的，並繪出的圖形(見習題17)。 8.1.2 反函數的導數 若函數f有反函數，則反函數的導函數之計算可由圖8.1.2來說明。設為f在點的切線斜率，而為在點的切線斜率。 因與的圖形對稱於(即角的斜線)，所以全等於(試驗證之)，故，， ， 於是， (8.1.2) 因，，故由(8.1.2)式可得 (8.1.3) 但因點位於的圖形上，故，將此式代入(8.1.3)式，可得 (8.1.4) 值得注意的是，(8.1.4)僅在時成立。也就是說，f的圖形不能有水平的切線(否則違反了f必須為遞增或遞減的原則)。 定理8.1.2 反函數的導函數 設f於區間D內有反函數，且為可微分，則 ， 事實上，如果設，則，因此， 因而(8.1.4)式可以改