🚀 歡迎來到雙曲函數：你的 FP3 學習指南！

你好，未來的進階數學家！歡迎來到奇妙的雙曲函數 (Hyperbolic Functions) 世界。別擔心，這名字聽起來可能有點嚇人，但這些函數其實和你已經熟悉的三角函數（圓函數）是「好夥伴」。三角函數與圓形相關，而這些函數則是與雙曲線 (Hyperbola) 相關。

在本章中，我們將學習它們的定義、探索它們獨有的恆等式，並掌握微分與積分的技巧。這是高等微積分和幾何學的基礎章節，讓我們開始吧！

第 1 節：基礎構件 —— 定義與圖像

雙曲函數是利用指數函數 \(\text{e}^x\) 來定義的。這使它們在工程學、物理學（特別是相對論）和建築學中非常有用。

1.1 主要定義

兩個基本的雙曲函數是 sinh（讀作 "shine"）和 cosh（讀作 "kosh"）。

  • 雙曲正弦 (\(\sinh x\))：
    \[ \sinh x = \frac{\text{e}^x - \text{e}^{-x}}{2} \]

    類比：由於算式中帶有減號，\(\sinh x\) 是奇函數（像 \(\sin x\) 一樣）——它會通過原點。

  • 雙曲餘弦 (\(\cosh x\))：
    \[ \cosh x = \frac{\text{e}^x + \text{e}^{-x}}{2} \]

    類比：由於算式中帶有加號，\(\cosh x\) 是偶函數（像 \(\cos x\) 一樣）——它關於 y 軸對稱，且在 \(x=0\) 處有最小值。

💡 記憶小貼士： \(\cosh x\) 中的 "C" 可以讓你聯想到 懸鏈線 (Catenary)，這正是懸掛著的鏈條或電纜所形成的形狀。這條曲線呈現 U 型，這也證實了 \(\cosh x\) 永遠為正值。

1.2 次要定義

就像三角學一樣，我們根據主要函數來定義正切、正割、餘割和餘切：

  • 雙曲正切 (\(\tanh x\))： \[ \tanh x = \frac{\sinh x}{\cosh x} = \frac{\text{e}^x - \text{e}^{-x}}{\text{e}^x + \text{e}^{-x}} \]
  • 雙曲正割 (\(\text{sech } x\))： \[ \text{sech } x = \frac{1}{\cosh x} \]
  • 雙曲餘割 (\(\text{cosech } x\))： \[ \text{cosech } x = \frac{1}{\sinh x} \]
  • 雙曲餘切 (\(\coth x\))： \[ \coth x = \frac{1}{\tanh x} \]
1.3 定義的重點回顧


指數定義是所有一切的基礎。如果你不記得某個恆等式或導數，總是可以回到這些定義來進行證明或運算！

第 2 節：基本恆等式 —— 雙曲線的規則

這一節至關重要！雙曲恆等式看起來與三角恆等式非常相似，但請務必留意符號——它們經常是相反的。

2.1 核心恆等式

最重要的恆等式連結了 \(\cosh x\) 和 \(\sinh x\)。

雙曲畢氏恆等式： \[ \cosh^2 x - \sinh^2 x = 1 \]

🔥 重要提示： 在三角學中，恆等式是 \(\cos^2 \theta + \sin^2 \theta = 1\)。但在雙曲函數中，符號是相減的！這個減號正是定義雙曲線的關鍵。

逐步證明（快速回顧）：

  1. 從 \(\cosh^2 x - \sinh^2 x\) 開始。
  2. 代入定義： \( \left(\frac{\text{e}^x + \text{e}^{-x}}{2}\right)^2 - \left(\frac{\text{e}^x - \text{e}^{-x}}{2}\right)^2 \)
  3. 展開分子： \( \frac{(\text{e}^{2x} + 2 + \text{e}^{-2x}) - (\text{e}^{2x} - 2 + \text{e}^{-2x})}{4} \)
  4. 化簡： \( \frac{4}{4} = 1 \)。證明完畢 (Q.E.D.)。

2.2 衍生恆等式

我們可以透過將核心恆等式分別除以 \(\cosh^2 x\) 或 \(\sinh^2 x\) 來導出另外兩個主要恆等式：

  • 除以 \(\cosh^2 x\)： \[ 1 - \frac{\sinh^2 x}{\cosh^2 x} = \frac{1}{\cosh^2 x} \] \[ 1 - \tanh^2 x = \text{sech}^2 x \quad \implies \quad \mathbf{1 - \tanh^2 x = \text{sech}^2 x} \]

    （對比三角學：\(1 + \tan^2 \theta = \sec^2 \theta\)。同樣地，符號反轉了！）

  • 除以 \(\sinh^2 x\)： \[ \frac{\cosh^2 x}{\sinh^2 x} - 1 = \frac{1}{\sinh^2 x} \] \[ \coth^2 x - 1 = \text{cosech}^2 x \quad \implies \quad \mathbf{\coth^2 x - 1 = \text{cosech}^2 x} \]

    （對比三角學：\(1 + \cot^2 \theta = \csc^2 \theta\)。符號反轉了！）

2.3 加法公式

這些是倍角公式和複合角公式的類比。它們在解方程或簡化表達式時非常有用。

複合角公式：

  • \(\cosh(A+B) = \cosh A \cosh B + \sinh A \sinh B\)
  • \(\cosh(A-B) = \cosh A \cosh B - \sinh A \sinh B\)
  • \(\sinh(A+B) = \sinh A \cosh B + \cosh A \sinh B\)
  • \(\sinh(A-B) = \sinh A \cosh B - \cosh A \sinh B\)
  • \(\tanh(A+B) = \frac{\tanh A + \tanh B}{1 + \tanh A \tanh B}\)

💡 觀察： 注意 \(\sinh\) 的加法公式保留了原始符號（加號仍為加號，減號仍為減號），就像 \(\sin\) 一樣。然而，\(\cosh\) 的公式與 \(\cos\) 不同：對於 \(\cosh(A+B)\)，符號是「加號」，而對於 \(\cos(\alpha+\beta)\)，符號是「減號」。

倍角公式（設 \(A=B=x\)）：

  • \(\cosh(2x) = \cosh^2 x + \sinh^2 x\) （這點與三角學不同，沒有簡單的類比！）
  • \(\cosh(2x) = 2\cosh^2 x - 1\)
  • \(\cosh(2x) = 1 + 2\sinh^2 x\)
  • \(\sinh(2x) = 2\sinh x \cosh x\)

重點總結： 在處理雙曲恆等式時，除非你已證明其正確性，否則一律假設符號與三角恆等式相反！\(\cosh^2 x - \sinh^2 x = 1\) 永遠是你的定海神針。

第 3 節：反雙曲函數（對數形式）

就像求 \(\arcsin\) 可以得到一個角，求 \(\text{arsinh}\) 則可以得到產生該函數值的數值 \(x\)。

我們使用 \(\text{arsinh } x\)、\(\text{arcosh } x\) 等符號，雖然你可能也會看到 \(\sinh^{-1} x\) 的寫法。

FP3 課程的一個關鍵要求是用自然對數 (\(\ln\)) 來表示這些反函數。

3.1 導出對數形式

讓我們看看 \(\text{arsinh } x\) 是如何導出的。這個過程是常見的考試題型。

步驟 1：設 \(y = \text{arsinh } x\)。
這意味著 \(x = \sinh y\)。

步驟 2：使用指數定義。
\[ x = \frac{\text{e}^y - \text{e}^{-y}}{2} \]

步驟 3：消除分母並乘以 \(\text{e}^y\)。
\( 2x = \text{e}^y - \text{e}^{-y} \)
\( 2x\text{e}^y = (\text{e}^y)^2 - 1 \)

步驟 4：重新排列成關於 \(\text{e}^y\) 的一元二次方程。
\[ (\text{e}^y)^2 - 2x\text{e}^y - 1 = 0 \]

步驟 5：使用二次公式求解。
令 \(A=\text{e}^y\)。 \( A = \frac{-(-2x) \pm \sqrt{(-2x)^2 - 4(1)(-1)}}{2(1)} \)
\( A = \frac{2x \pm \sqrt{4x^2 + 4}}{2} = \frac{2x \pm 2\sqrt{x^2 + 1}}{2} \)
\( A = x \pm \sqrt{x^2 + 1} \)

步驟 6：選擇正確的根並解出 \(y\)。
由於 \(A = \text{e}^y\) 必須為正值，且 \(\sqrt{x^2+1}\) 永遠大於 \(x\)，我們必須選擇正根： \( \text{e}^y = x + \sqrt{x^2 + 1} \)。
因此，\( y = \ln \left( x + \sqrt{x^2 + 1} \right) \)。

3.2 標準對數形式

你必須記住以下這三個標準結果：


1. 反雙曲正弦 (定義域: \(x \in \mathbb{R}\)) \[ \mathbf{\text{arsinh } x = \ln \left( x + \sqrt{x^2 + 1} \right)} \]

2. 反雙曲餘弦 (定義域: \(x \ge 1\)) \[ \mathbf{\text{arcosh } x = \ln \left( x + \sqrt{x^2 - 1} \right)} \]

（注意定義域限制：由於 \(\cosh x \ge 1\)，輸入 \(x\) 必須至少為 1。）

3. 反雙曲正切 (定義域: \(-1 < x < 1\)) \[ \mathbf{\text{artanh } x = \frac{1}{2} \ln \left( \frac{1+x}{1-x} \right)} \]

（注意定義域限制：\(\tanh x\) 的值永遠在 -1 到 1 之間。）

快速回顧： 對數形式對於解方程和某些積分技巧至關重要。請多練習導出過程，尤其是 \(\text{arsinh } x\)。

第 4 節：雙曲函數的微積分

這就是雙曲函數在進階數學中大放異彩的地方。它們的導數和積分非常優雅，且具有美麗的對稱性。

4.1 標準雙曲函數的微分

微分雙曲函數時，規則幾乎與三角函數相同，但符號問題容易處理得多！

關鍵差異： 你幾乎不需要引入負號。

  • \[ \frac{\text{d}}{\text{d}x} (\sinh x) = \cosh x \]
  • \[ \frac{\text{d}}{\text{d}x} (\cosh x) = \sinh x \]
  • \[ \frac{\text{d}}{\text{d}x} (\tanh x) = \text{sech}^2 x \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{sech } x) = -\text{sech } x \tanh x \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{cosech } x) = -\text{cosech } x \coth x \]
  • \[ \frac{\text{d}}{\text{d}x} (\coth x) = -\text{cosech}^2 x \]

💡 記憶小貼士： 在三角學中，以 'co' 開頭的導數（\(\cos, \cot, \csc\)）通常會產生負號。在雙曲函數中，只有倒數函數（\(\text{sech}, \text{cosech}, \coth\)）微分後會產生負號。

範例：連鎖律（別忘了內層微分！）
如果 \(y = \cosh(3x^2)\)，那麼 \(\frac{\text{d}y}{\text{d}x} = \sinh(3x^2) \times (6x) = 6x \sinh(3x^2)\)。

4.2 反雙曲函數的微分

這些導數經常被考到，因為它們是標準積分形式的基礎。你可以透過對它們的對數形式進行微分來證明這些結果。

  • \[ \frac{\text{d}}{\text{d}x} (\text{arsinh } x) = \frac{1}{\sqrt{x^2 + 1}} \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{arcosh } x) = \frac{1}{\sqrt{x^2 - 1}} \quad (x>1) \]
  • \[ \frac{\text{d}}{\text{d}x} (\text{artanh } x) = \frac{1}{1 - x^2} \quad (|x|<1) \]

你知道嗎？ \(\text{artanh } x\) 的導數在複變分析和工程學中極其重要。注意這些形式與反三角函數的導數有多相似，但再次提醒：一定要注意符號！

4.3 標準雙曲函數的積分

積分是微分的逆運算。由於微分規則大多是正數，積分規則也非常直觀：

  • \[ \int \sinh x \text{d}x = \cosh x + C \]
  • \[ \int \cosh x \text{d}x = \sinh x + C \]
  • \[ \int \text{sech}^2 x \text{d}x = \tanh x + C \]
4.4 導向反雙曲函數的積分

FP3 課程的一大重點是識別那些積分結果為反雙曲函數的積分，特別是從 4.2 節微分規則導出的形式。這些通常透過變數代換法或直接識別以下標準形式來處理：

必須背誦的標準形式（\(a\) 為常數）：

  1. 導向 \(\text{arsinh}\) 的積分： \[ \mathbf{\int \frac{1}{\sqrt{x^2 + a^2}} \text{d}x = \text{arsinh} \left(\frac{x}{a}\right) + C} \] （或寫成對數形式： \( \ln \left( x + \sqrt{x^2 + a^2} \right) + C \)）
  2. 導向 \(\text{arcosh}\) 的積分： \[ \mathbf{\int \frac{1}{\sqrt{x^2 - a^2}} \text{d}x = \text{arcosh} \left(\frac{x}{a}\right) + C} \] （或寫成對數形式： \( \ln \left( x + \sqrt{x^2 - a^2} \right) + C \)。必須符合 \(|x| > a\)。）
  3. 導向 \(\text{artanh}\) 的積分： \[ \mathbf{\int \frac{1}{a^2 - x^2} \text{d}x = \frac{1}{2a} \ln \left( \frac{a+x}{a-x} \right) + C} \] （這是 \(\frac{1}{a} \text{artanh} \left(\frac{x}{a}\right) + C \) 的結果。必須符合 \(|x| < a\)。）

常見錯誤警告： 學生經常會把這些雙曲積分形式與反三角積分形式（如 \(\int \frac{1}{\sqrt{a^2 - x^2}} \text{d}x = \arcsin (\frac{x}{a}) \)）搞混。請仔細檢查符號的位置！

總結：雙曲微積分

掌握雙曲微積分包含兩項技能：1) 熟悉標準導數與積分公式，2) 能夠識別何時定積分需要將最終答案代入對數形式來計算。請多練習在 \(\text{arsinh}\) 及其 \(\ln\) 形式之間進行轉換！