歡迎來到雙曲函數（Hyperbolic Functions）的世界！
歡迎來到單元 FP3！在本章中，我們將一起探索雙曲函數。如果你已經學過三角函數（sin、cos 和 tan），那你很幸運——雙曲函數就像它們的「表親」。三角函數是基於圓形（circle）的，而雙曲函數則是基於一種叫做雙曲線（hyperbola）的圖形。
我們為什麼要學這個呢？如果你看過兩根電線桿之間懸掛的電纜，那條曲線其實就是一個雙曲函數（懸鏈線，catenary）！它們在工程學、物理學甚至狹義相對論中都至關重要。別擔心，如果剛開始覺得這些概念有點「複雜」；我們會一步一步把它拆解開來。
1. 定義雙曲函數
在進階純數 3 (Further Pure 3) 中，我們使用指數函數 (\(e^x\)) 來定義這些函數。這是因為雙曲函數能描述各種生長與衰減的規律。
所有雙曲函數的兩個「根基」是 sinh（讀作 'shine'）和 cosh（讀作 'cosh'）：
- 雙曲正弦 (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}} \)
- 雙曲正割 (Hyperbolic Secant)： \( \text{sech } x = \frac{1}{\cosh x} = \frac{2}{e^x + e^{-x}} \)
- 雙曲餘割 (Hyperbolic Cosecant)： \( \text{cosech } x = \frac{1}{\sinh x} = \frac{2}{e^x - e^{-x}} \)
- 雙曲餘切 (Hyperbolic Cotangent)： \( \coth x = \frac{1}{\tanh x} = \frac{e^x + e^{-x}}{e^x - e^{-x}} \)
小複習箱
請記住 \(e^0 = 1\)。這意味著：
\( \cosh 0 = \frac{1+1}{2} = 1 \)
\( \sinh 0 = \frac{1-1}{2} = 0 \)
2. 函數圖像與關鍵性質
理解這些函數的圖像形狀能幫助你直觀地掌握數學概念！
- \( \cosh x \)： 看起來像個「U」字形（類似拋物線但更陡峭）。它永遠不會低於 1。它是一個偶函數（even function），這意味著 \( \cosh(-x) = \cosh(x) \)。
- \( \sinh x \)： 從下方開始，穿過原點 (0,0)，然後向上延伸。它是一個奇函數（odd function），這意味著 \( \sinh(-x) = -\sinh(x) \)。
- \( \tanh x \)： 這個圖像被困在水平漸近線 \( y = 1 \) 和 \( y = -1 \) 之間。它看起來像一個拉長的「S」形。
你知道嗎？ 與 \( \sin x \) 和 \( \cos x \) 不同，雙曲函數不是週期性的。它們不會重複出現；它們只會不斷增長！
3. 雙曲恆等式與奧斯本法則 (Osborne's Rule)
就像 \( \cos^2 x + \sin^2 x = 1 \) 一樣，雙曲函數也有一套自己的規則。不過，正負號會有一個小小的變動。
基本恆等式
\( \mathbf{\cosh^2 x - \sinh^2 x = 1} \)
（注意這裡的減號！你可以利用我們在第 1 節學到的指數定義來證明這一點。）
記憶小撇步：奧斯本法則 (Osborne's Rule)
如果你已經掌握了標準三角恆等式（從 P3 學過的），你可以使用奧斯本法則將它們轉換為雙曲恆等式：
將所有的 \( \cos \) 替換為 \( \cosh \)，將所有的 \( \sin \) 替換為 \( \sinh \)。但是，只要你看到兩個正弦函數的積（例如 \( \sin^2 x \) 或 \( \sin A \sin B \)），就必須翻轉它前面的符號。
例子：
三角函數：\( \cos 2x = 1 - 2\sin^2 x \)
雙曲函數：\( \cosh 2x = 1 + 2\sinh^2 x \) （因為 \( \sinh^2 \) 的緣故，原本的減號變成了加號）。
重點總結
雙曲函數是由 \(e^x\) 定義的。利用奧斯本法則來記憶恆等式，並記住 \( \cosh^2 x - \sinh^2 x = 1 \)。
4. 解方程式
你經常會被要求解這類方程式，例如 \( a \cosh x + b \sinh x = c \)。主要有兩種處理方法：
- 方法 A：指數代換法。 用 \(e^x\) 的定義來替換 \( \sinh x \) 和 \( \cosh x \)。這通常會將方程式轉換為關於 \(e^x\) 的二次方程式。
- 方法 B：利用恆等式。 利用諸如 \( \cosh^2 x - \sinh^2 x = 1 \) 的恆等式，將所有項統一為同一個函數（例如全部轉為 \( \sinh x \)），然後像解標準二次方程式那樣去解。
常見錯誤提醒： 當你解出 \(e^x\) 的值時，請記住 \(e^x\) 必須永遠大於零。如果你算出的結果是 \(e^x = -3\)，你必須捨棄它，因為對於實數 \(x\) 來說這是不可能的。
5. 反雙曲函數
反雙曲函數寫作 arsinh、arcosh 和 artanh。它們告訴我們：「什麼樣的 \(x\) 值會得出這個雙曲函數值？」
對數形式
由於原始函數是基於 \(e^x\) 的，因此它們的反函數是基於自然對數 (\(\ln\)) 的。你需要掌握這三個公式（以及如何證明它們）：
- \( \mathbf{\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})} \) 對於所有 \(x\)
- \( \mathbf{\text{arcosh } x = \ln(x + \sqrt{x^2 - 1})} \) 對於 \(x \ge 1\)
- \( \mathbf{\text{artanh } x = \frac{1}{2}\ln\left(\frac{1+x}{1-x}\right)} \) 對於 \(|x| < 1\)
逐步推導：如何證明 \( y = \text{arsinh } x \)
- 從 \( x = \sinh y \) 開始。
- 寫成 \( x = \frac{e^y - e^{-y}}{2} \)。
- 兩邊乘以 \( 2e^y \) 得到一個二次式： \( 2xe^y = (e^y)^2 - 1 \)。
- 整理： \( (e^y)^2 - 2xe^y - 1 = 0 \)。
- 使用二次公式（quadratic formula）解出 \(e^y\)。
- 對兩邊取 \(\ln\)（並保留正根）。
6. 雙曲函數的微積分
這部分真的很有趣！其導數與三角函數非常相似，但 \( \cosh \) 不需要處理惱人的負號。
微分 (Differentiation)
- \( \frac{d}{dx}(\sinh x) = \cosh x \)
- \( \frac{d}{dx}(\cosh x) = \sinh x \) （這裡沒有負號！）
- \( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)
積分 (Integration)
積分只是微分的逆過程。你還會使用雙曲代換法來解決涉及根式（如 \( \sqrt{x^2 + a^2} \)）的複雜積分。
代換小技巧： 如果你看到 \( \sqrt{x^2 + a^2} \)，試著令 \( x = a \sinh u \)。因為 \( \cosh^2 u - \sinh^2 u = 1 \)，根式部分就能漂亮地簡化為 \( a \cosh u \)！
小複習箱
三角函數導數： \( \sin \to \cos \)， \( \cos \to -\sin \)
雙曲函數導數： \( \sinh \to \cosh \)， \( \cosh \to \sinh \)
它們友好多了！
本章總結
雙曲函數讓我們連結了指數函數與三角函數。要學好這一章，請務必做到：
- 精通 \( \sinh \) 和 \( \cosh \) 的指數定義。
- 使用奧斯本法則來靈活運用你已知的三角恆等式。
- 熟練轉換反雙曲函數與它們的對數形式。
- 解方程式時，務必檢查你的 \(e^x\) 值是否有效（必須為正）。
多練習這些代換與恆等式——這些工具會讓 FP3 後面的章節變得簡單得多！