Hyperbolic Functions

歡迎來到雙曲函數（Hyperbolic Functions）的世界！

歡迎來到高等數學（Further Mathematics）中最優雅的章節之一。如果你曾經好奇為什麼電纜掛起來會呈現特定的曲線，或者聖路易市的「大拱門」（Gateway Arch）是怎麼設計出來的，現在你就要找到答案了！

在本章中，我們將探討雙曲函數。你可以把它們想像成你已經熟悉的三角函數（\(\sin\)、\(\cos\) 和 \(\tan\)）的「表親」。雖然普通的三角函數是基於圓形（circular functions）的，但雙曲函數是基於雙曲線（hyperbolas）的。它們的行為非常相似，這讓學習變得容易，不過它們有一些獨特的「個性特徵」，我們需要好好掌握。

1. 定義：認識家族成員

在普通三角函數中，我們使用單位圓上的坐標。而在雙曲三角函數中，我們使用指數函數 \(e^x\) 來定義一切。這正是雙曲函數的「DNA」。

三大核心函數

1. 雙曲正弦（Hyperbolic Sine，讀作 'shine'）： \( \sinh x = \frac{e^x - e^{-x}}{2} \)

2. 雙曲餘弦（Hyperbolic Cosine，讀作 'kosh'）： \( \cosh x = \frac{e^x + e^{-x}}{2} \)

3. 雙曲正切（Hyperbolic Tangent，讀作 'than' 或 'tansh'）： \( \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \)

快速回顧：

• \(\sinh x\) 是一個奇函數（關於原點對稱）。
• \(\cosh x\) 是一個偶函數（關於 y 軸對稱）。
• \(\cosh x\) 的值永遠不會小於 1。把它想像成一個永遠不會觸碰到地面的「杯子」！

類比： 試著把 \(\sinh\) 和 \(\cosh\) 想像成食譜裡的食材。它們由相同的成分（\(e^x\) 和 \(e^{-x}\)）組成，但 \(\sinh\) 是將它們相減，而 \(\cosh\) 是將它們相加。

重點總結： 所有的雙曲函數都只是 \(e^x\) 和 \(e^{-x}\) 的組合。如果你忘記了某個公式，永遠可以回頭利用這些指數定義推導出來！

2. 視覺化函數：圖像

了解它們的模樣能幫助你解方程式，並理解它們的定義域（\(x\) 可以取什麼值）和值域（\(y\) 可以取什麼值）。

\(y = \cosh x\) 的圖像

這通常被稱為懸鏈線（catenary）。它看起來像一個「U」字形或懸掛著的鏈條。
定義域： \(x \in \mathbb{R}\)（任何實數）
值域： \(y \geq 1\)

\(y = \sinh x\) 的圖像

它看起來有點像立方函數（\(x^3\)），但由於指數項的存在，它上升的速度要快得多。
定義域： \(x \in \mathbb{R}\)
值域： \(y \in \mathbb{R}\)

\(y = \tanh x\) 的圖像

這看起來像一個被夾在兩條水平線（漸近線）之間的「滑梯」。
漸近線： \(y = 1\) 和 \(y = -1\)
定義域： \(x \in \mathbb{R}\)
值域： \(-1 < y < 1\)

重點總結： 只有 \(\cosh x\) 的值域受到限制（\(y \geq 1\)）。\(\tanh x\) 則被「困」在 -1 和 1 之間。

3. 雙曲恆等式

就像 \(\sin^2 x + \cos^2 x = 1\) 一樣，雙曲函數也有它們自己的規則。最重要的一個是：
\( \cosh^2 x - \sinh^2 x \equiv 1 \)

如果這看起來有點難記，別擔心！ 注意那個減號，它與圓形三角函數的恆等式剛好相反。

記憶法：奧斯本法則（Osborne’s Rule）

要將任何普通三角恆等式轉換為雙曲恆等式：
1. 保持公式結構不變。
2. 改變符號：任何涉及兩個正弦函數乘積（例如 \(\sin^2 x\)、\(\tan^2 x\) 或 \(\sin A \sin B\)）的項，都要變號。

例子： \(\cos(2x) = 1 - 2\sin^2 x\) 變成了 \(\cosh(2x) = 1 + 2\sinh^2 x\)。（因為 \(\sinh^2\) 的緣故，我們把減號變成了加號！）

你知道嗎？ 你可以通過將 \(\sinh\) 和 \(\cosh\) 替換為它們的指數定義並展開括號，來證明任何這類恆等式！

重點總結： 使用奧斯本法則來遷移你既有的三角函數知識。只是要小心處理那些含有「正弦平方」項的符號變化！

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 \)

常見錯誤： 學生常會因為習慣了 \(\frac{d}{dx}(\cos x) = -\sin x\)，而在 \(\frac{d}{dx}(\cosh x)\) 時不自覺加上負號。在雙曲世界裡，\(\sinh\) 和 \(\cosh\) 的微分是正向循環的！

重點總結： 對 \(\sinh\) 和 \(\cosh\) 進行微分是一個沒有負號的「循環」。這讓它們在處理冗長的微積分題目時顯得非常友善。

5. 反雙曲函數

如果我們有 \(y = \sinh x\)，那麼它的反函數就是 \(x = \text{arsinh } y\)。我們使用前綴 "ar"（代表 area，面積）而不是 "arc"。

對數形式

由於雙曲函數是由 \(e^x\) 組成的，它們的反函數則是由自然對數（\(\ln\)）構成的。你需要記住這些：

1. \( \text{arsinh } x = \ln(x + \sqrt{x^2 + 1}) \) 對所有 \(x\) 成立

2. \( \text{arcosh } x = \ln(x + \sqrt{x^2 - 1}) \) 對 \(x \geq 1\) 成立

3. \( \text{artanh } x = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right) \) 對 \(|x| < 1\) 成立

如何推導（逐步教學）

如果題目要求你推導 \(y = \text{arcosh } x\)：
1. 將其寫為 \(x = \cosh y\)。
2. 使用定義： \(x = \frac{e^y + e^{-y}}{2}\)。
3. 同乘以 \(2\) 再同乘以 \(e^y\)，得到： \(2xe^y = (e^y)^2 + 1\)。
4. 這是一個偽裝成二次方程式的式子： \((e^y)^2 - 2x(e^y) + 1 = 0\)。
5. 使用二次公式解出 \(e^y\)，然後對兩邊取 \(\ln\) 即可！

重點總結： 反雙曲函數其實就是特定類型的對數。如果你在積分結果中看到含有平方根的式子，它很可能就導向這些反雙曲函數！

本章總結

- 定義： 請務必記住 \(\sinh x = \frac{e^x - e^{-x}}{2}\) 和 \(\cosh x = \frac{e^x + e^{-x}}{2}\)。
- 恆等式： \(\cosh^2 x - \sinh^2 x = 1\)。其他恆等式請使用奧斯本法則。
- 微積分： \(\sinh \to \cosh\) 且 \(\cosh \to \sinh\)。沒有負號！
- 反函數： 這些可以表示為對數形式。使用「偽裝的二次方程」方法來進行推導。