歡迎來到雙曲函數（Hyperbolic Functions）的世界！
你有沒有留意過懸掛在兩點之間的電纜或重型項鍊？它們形成了一條美麗的曲線，看起來有點像拋物線，但實際上它被稱為懸鏈線（catenary）。這條曲線就是由雙曲函數所描述的！在本章中，我們將探索這些函數。你可以把它們想像成你已經熟悉的三角函數（sin、cos 和 tan）的「表親」，只不過它們的基礎不是圓形，而是自然常數 \(e\)。
如果起初覺得這些概念有點抽象，不用擔心。只要你能處理 \(e^x\) 和基本的代數，你已經具備掌握這個主題所需的工具了！
1. 三大巨頭：sinh、cosh 和 tanh
在標準三角學中，我們使用單位圓來定義函數。對於雙曲函數，我們則使用雙曲線（hyperbola）。以下是你必須掌握的三個主要定義，你可以把這些看作本章所有內容的「藍圖」。
定義
雙曲正弦（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}}\)
記憶小撇步：找出差異！
留意 \(\cosh x\) 中間的符號是加號。你可以這樣記：Cosh 是 Complimentary（互補/相加的）。此外，留意這些定義與你在複數（Complex Numbers）章節中使用歐拉公式（Euler’s identity）看到的 \(\sin \theta\) 和 \(\cos \theta\) 定義是多麼相似！
圖像與特性
了解這些函數的圖形有助於記憶它們的定義域（Domain）（即 \(x\) 可以取的值）和值域（Range）（即 \(y\) 的輸出結果）。
- \(\sinh x\)： 看起來像是一個「拉伸過」的 \(x^3\) 圖形。它穿過 \((0,0)\)。值域： 所有實數。
- \(\cosh x\)： 看起來像是一個山谷或懸掛的鎖鏈。它永遠不會低於 1！它穿過 \((0,1)\)。值域： \(y \ge 1\)。
- \(\tanh x\)： 看起來像是一個被限制在兩條水平漸近線之間的「S」形曲線。值域： \(-1 < y < 1\)。
你知道嗎？ \(\cosh x\) 的圖形形狀正是美國聖路易斯大拱門（Gateway Arch）的真實外觀！
重點提示： 雙曲函數只不過是 \(e^x\) 和 \(e^{-x}\) 的特定組合。如果你卡住了，只需將雙曲項替換為它們的 \(e\) 定義即可！
2. 雙曲函數的微積分
雙曲函數最棒的地方之一在於，它們的導數計算比圓形三角函數更容易！需要避開的「負號陷阱」更少。
微分規則
\(\frac{d}{dx}(\sinh x) = \cosh x\)
\(\frac{d}{dx}(\cosh x) = \sinh x\) （注意：這裡沒有負號！）
\(\frac{d}{dx}(\tanh x) = \text{sech}^2 x\)
常見錯誤： 學生常因為習慣了常規三角函數，而誤寫成 \(\frac{d}{dx}(\cosh x) = -\sinh x\)。在雙曲函數的世界裡，微分後的 \(\cosh\) 保持正號！
積分規則
積分只是微分的逆運算。記得不定積分結果一定要加上常數 \(+ C\)！
- \(\int \sinh x \, dx = \cosh x + C\)
- \(\int \cosh x \, dx = \sinh x + C\)
逐步範例： 微分 \(y = \tanh(3x\))
1. 使用連鎖律（Chain rule）。
2. \(\tanh(u)\) 的導數是 \(\text{sech}^2(u)\)。
3. 「內部」函數 (\(3x\)) 的導數是 \(3\)。
4. 將它們相乘：\(\frac{dy}{dx} = 3\text{sech}^2(3x)\)。
3. 反雙曲函數
如果我們想進行反向操作（當已知 \(\sinh x\) 時求 \(x\)），我們使用反函數：\(\text{arsinh } x\)、\(\text{arcosh } x\) 和 \(\text{artanh } x\)。
定義域與值域
由於某些雙曲函數不是「一一對應」（one-to-one）的（例如 \(\cosh\) 的山谷形狀），我們在使用反函數時必須小心：
- \(\text{arsinh } x\)： 定義域為所有 \(x\)。
- \(\text{arcosh } x\)： 僅定義於 \(x \ge 1\)（因為 \(\cosh\) 永遠不會低於 1）。
- \(\text{artanh } x\)： 僅定義於 \(-1 < x < 1\)。
對數形式
由於原始函數是由 \(e^x\) 組成的，反函數由自然對數（\(\ln\)）組成也就合情合理了。你需要學會使用（有時甚至是推導）這些形式：
\(\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})\)
\(\text{arcosh } x = \ln(x + \sqrt{x^2 - 1})\) 對於 \(x \ge 1\)
\(\text{artanh } x = \frac{1}{2}\ln(\frac{1+x}{1-x})\) 對於 \(|x| < 1\)
如何推導 \(\text{arsinh } x\)：
別擔心，這只是代數運算！過程如下：
1. 從 \(x = \sinh y = \frac{e^y - e^{-y}}{2}\) 開始。
2. 兩邊乘以 2：\(2x = e^y - e^{-y}\)。
3. 將整式乘以 \(e^y\) 以消除負指數：\(2xe^y = (e^y)^2 - 1\)。
4. 重排為二次方程：\((e^y)^2 - 2x(e^y) - 1 = 0\)。
5. 使用二次公式（Quadratic formula）解出 \(e^y\)。
6. 對兩邊取 \(\ln\)。
快速複習： 反函數就是「交換」\(x\) 和 \(y\)。如果 \(\cosh(0) = 1\)，那麼 \(\text{arcosh}(1) = 0\)！
4. 進階積分
本章的最後部分是利用雙曲函數來解決涉及平方根的困難積分。這些在考試題目中很常見！
標準結果
你可以利用這些標準模式來處理包含「分數根號」的函數積分：
1. \(\int \frac{1}{\sqrt{x^2 + a^2}} \, dx = \text{arsinh}(\frac{x}{a}) + C\)
2. \(\int \frac{1}{\sqrt{x^2 - a^2}} \, dx = \text{arcosh}(\frac{x}{a}) + C\)
選擇正確的代換法（Substitution）
如果你在積分中看到平方根，嘗試這些代換法來簡化問題：
- 對於 \(\sqrt{x^2 + a^2}\)，嘗試 \(x = a\sinh u\)。
- 對於 \(\sqrt{x^2 - a^2}\)，嘗試 \(x = a\cosh u\)。
類比： 選擇代換法就像選擇正確的鑰匙來開鎖。如果鎖包含「加號」(\(x^2 + a^2\))，那麼 \(\sinh\) 的鑰匙通常最合適，因為有恆等式 \(\cosh^2 u - \sinh^2 u = 1\) 的支撐。
重點提示： 如果積分看起來是一個涉及 \(\sqrt{x^2 \pm a^2}\) 的噩夢，雙曲代換是你最好的朋友，能把它轉化為簡單的形式。
重點總結
- 定義： \(\sinh\) 和 \(\cosh\) 只是 \(e^x\) 的組合。
- 微積分： \(\sinh \rightarrow \cosh\) 而 \(\cosh \rightarrow \sinh\)。\(\cosh\) 微分時沒有負號變化！
- 反函數： 具有對數形式（例如 \(\ln(x + \sqrt{x^2+1})\)）。
- 積分： 使用雙曲代換來處理 \(\sqrt{x^2 \pm a^2}\) 項。
繼續練習！雙曲函數剛開始可能感覺「多此一舉」，但一旦你發現其中的規律，它們就會成為 Further Maths 中最穩定、最可預測的函數之一。