歡迎來到雙曲函數（Hyperbolic Functions）的世界！
在標準的 A Level 數學課程中，你已經花了很多時間研究基於圓形（Circle）的三角函數（Trigonometric Functions）（如 sin, cos 和 tan）。在進階數學（Further Mathematics）中，我們要引入它們的「表親」：雙曲函數。顧名思義，這些函數與雙曲線（Hyperbola）密切相關。
別擔心這些術語聽起來很陌生！你很快就會發現，許多你已經熟悉的三角函數規則，在雙曲函數中都有非常相似的版本。我們在現實工程中會使用這些函數，例如計算電力纜線在兩座電塔之間如何懸垂，或是描述冷卻塔的形狀。
1. 基本定義
與通常由三角形定義的三角函數不同，雙曲函數是使用指數函數 \( e^x \) 來定義的。你需要掌握三個主要的函數：
雙曲正弦（Hyperbolic Sine）： \( \sinh x = \frac{e^x - e^{-x}}{2} \)
雙曲餘弦（Hyperbolic Cosine）： \( \cosh x = \frac{e^x + e^{-x}}{2} \)
雙曲正切（Hyperbolic Tangent）： \( \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \)
倒數雙曲函數
就像 \( \sec x \)、\( \text{cosec } x \) 和 \( \cot x \) 一樣，雙曲函數也有對應的倒數版本：
- 雙曲正割（Hyperbolic Secant）： \( \text{sech } x = \frac{1}{\cosh x} \)
- 雙曲餘割（Hyperbolic Cosecant）： \( \text{cosech } x = \frac{1}{\sinh x} \)
- 雙曲餘切（Hyperbolic Cotangent）： \( \text{coth } x = \frac{1}{\tanh x} \)
快速複習：雙曲函數不過是 \( e^x \) 和 \( e^{-x} \) 的組合。如果你忘記了某個恆等式，隨時可以回到這些指數定義進行證明！
2. 圖像、定義域與值域
理解這些函數的「形狀」有助於你直觀地掌握數學概念。
\( \cosh x \) 的圖像
\( \cosh x \) 的圖像看起來像一個「杯子」形狀或「懸垂的鏈條」。在物理學中，這種形狀被稱為懸鏈線（Catenary）。
- 定義域： 所有實數 \( x \) (\( -\infty < x < \infty \))。
- 值域： \( \cosh x \ge 1 \)。(它永遠不會低於 1！)
- 對稱性： 它是一個偶函數（Even function），這意味著它關於 y 軸對稱 (\( \cosh(-x) = \cosh x \))。
\( \sinh x \) 的圖像
\( \sinh x \) 的圖像是一個穿過原點的「S」形曲線。
- 定義域： 所有實數 \( x \)。
- 值域： 所有實數 \( y \)。
- 對稱性： 它是一個奇函數（Odd function） (\( \sinh(-x) = -\sinh x \))。
\( \tanh x \) 的圖像
\( \tanh x \) 的圖像看起來像一個被夾在兩條隱形線之間的水平「S」形。
- 定義域： 所有實數 \( x \)。
- 值域： \( -1 < \tanh x < 1 \)。
- 漸近線： 它在 \( y = 1 \) 和 \( y = -1 \) 處有水平漸近線。
你知道嗎？ 如果你將一條沈重的項鍊懸掛在雙手中，它形成的曲線正是 \( y = \cosh x \) 的圖像！
3. 雙曲恆等式
你已經知道 \( \cos^2 x + \sin^2 x \equiv 1 \)。雙曲函數也有類似的恆等式，但通常涉及符號改變（Sign change）。
基本恆等式
\( \cosh^2 x - \sinh^2 x \equiv 1 \)
其他關鍵恆等式
- \( \text{sech}^2 x \equiv 1 - \tanh^2 x \)
- \( \text{cosech}^2 x \equiv \text{coth}^2 x - 1 \)
- 倍角公式： \( \sinh 2x \equiv 2\sinh x \cosh x \)
- 倍角公式： \( \cosh 2x \equiv \cosh^2 x + \sinh^2 x \)
記憶小撇步：奧斯本法則（Osborne’s Rule）
要將三角恆等式轉換為雙曲恆等式，只需將 \( \cos \) 替換為 \( \cosh \)，將 \( \sin \) 替換為 \( \sinh \)。但是，如果該恆等式涉及兩個正弦的乘積（如 \( \sin^2 x \) 或 \( \tan^2 x \)，因為 \( \tan^2 = \sin^2 / \cos^2 \)），你必須改變該項前面的符號。
重點總結：如果式子中有 \( \sinh^2 x \) 或 \( \tanh^2 x \)，其前面的正負號通常與三角函數版本相反。
4. 微分與積分
雙曲函數最棒的地方之一就是它們的導數非常「乾淨」。
微分規則
- \( \frac{d}{dx}(\sinh x) = \cosh x \)
- \( \frac{d}{dx}(\cosh x) = \sinh x \) (注意：這裡沒有負號！)
- \( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)
積分規則
- \( \int \cosh x \, dx = \sinh x + C \)
- \( \int \sinh x \, dx = \cosh x + C \)
- \( \int \text{sech}^2 x \, dx = \tanh x + C \)
常見錯誤：學生在對 \( \cosh x \) 微分時經常加上負號，因為他們習慣了三角函數（\( \frac{d}{dx} \cos x = -\sin x \)）。在雙曲函數中，\( \sinh \) 和 \( \cosh \) 互相微分後都保持正號！
5. 反雙曲函數
如果我們想「還原」雙曲函數，我們使用 \( \text{arsinh } x \)、\( \text{arcosh } x \) 和 \( \text{artanh } x \)。
對數形式
由於原始函數是基於 \( e^x \)，因此它們的反函數基於自然對數（\( \ln \)）。你必須知道（並能推導）這些公式：
- \( \text{arsinh } x = \ln(x + \sqrt{x^2 + 1}) \) 適用於所有 \( x \)
- \( \text{arcosh } x = \ln(x + \sqrt{x^2 - 1}) \) 適用於 \( x \ge 1 \)
- \( \text{artanh } x = \frac{1}{2}\ln\left(\frac{1 + x}{1 - x}\right) \) 適用於 \( |x| < 1 \)
反函數的定義域與值域
記住，反函數的定義域就是原始函數的值域！
- \( \text{arcosh } x \)： 由於 \( \cosh x \) 永遠不會低於 1，因此 \( \text{arcosh } x \) 只存在於 \( x \ge 1 \)。
- \( \text{artanh } x \)： 由於 \( \tanh x \) 保持在 -1 和 1 之間，因此 \( \text{artanh } x \) 只存在於 -1 和 1 之間的值。
6. 使用代換法進行積分
雙曲函數在解決涉及二次式平方根的積分時非常有用。
情況 1：涉及 \( \sqrt{x^2 + a^2} \) 的積分
使用代換 \( x = a\sinh u \)。
為什麼？ 因為 \( a^2\sinh^2 u + a^2 = a^2(\sinh^2 u + 1) = a^2\cosh^2 u \)。平方根就消失了！
情況 2：涉及 \( \sqrt{x^2 - a^2} \) 的積分
使用代換 \( x = a\cosh u \)。
為什麼？ 因為 \( a^2\cosh^2 u - a^2 = a^2(\cosh^2 u - 1) = a^2\sinh^2 u \)。同樣地，平方根消失了！
快速複習箱：
- \( \sqrt{x^2 + a^2} \rightarrow \) 使用 \( \sinh \)
- \( \sqrt{x^2 - a^2} \rightarrow \) 使用 \( \cosh \)
- \( \sqrt{a^2 - x^2} \rightarrow \) 使用 \( \sin \) (來自標準 A Level！)
7. 構建證明
你可能會被要求證明一個雙曲恆等式。主要有兩種方法：
- 方法 A（指數定義法）： 將 \( \sinh x \) 和 \( \cosh x \) 替換為它們的 \( e^x \) 公式並進行代數展開。這方法一定可行，但過程可能會很繁瑣。
- 方法 B（恆等式變形法）： 從 \( \cosh^2 x - \sinh^2 x \equiv 1 \) 開始，同除以 \( \cosh^2 x \) 或 \( \sinh^2 x \) 來推導其他恆等式，就像你在三角函數中所做的那樣。
分步提示：在證明反函數的對數形式時，令 \( y = \text{arsinh } x \)，即 \( x = \sinh y \)。寫出 \( x = \frac{e^y - e^{-y}}{2} \)，兩邊同時乘以 \( 2e^y \) 以得到一個關於 \( e^y \) 的二次方程，然後利用二次公式解出它！
總結檢查清單
考試前，請確保你能：
- 說出 \( \sinh, \cosh, \) 和 \( \tanh \) 的指數定義。
- 繪製圖像並說出它們的定義域與值域。
- 使用奧斯本法則（Osborne’s Rule）寫出恆等式。
- 對基礎雙曲函數進行微分與積分。
- 背誦反雙曲函數的對數形式。
- 為積分問題選擇正確的雙曲代換法。
最後鼓勵：雙曲函數可能因為名稱中的「h」看起來很嚇人，但它們運作起來非常有邏輯。掌握好指數定義和奧斯本法則，其餘的一切都會迎刃而解！