歡迎來到雙曲函數（Hyperbolic Functions）的世界！
在 GCSE 和 A-level 的學習中，大家對 \(\sin\)、\(\cos\) 和 \(\tan\) 等三角函數應該已經非常熟悉了。這些函數通常被稱為「圓函數」（circular functions），因為它們與圓上的坐標有關。
在這一章，我們要認識它們的「親戚」：雙曲函數。如果剛開始覺得很陌生，別擔心！雖然它們的名字（\(\sinh\)、\(\cosh\) 和 \(\tanh\)）看起來很像，但其實它們是由指數函數 \(e^x\) 所構建的。你會發現它們擁有一些與圓函數相似的性質，但卻帶有一些有趣的細節變化。
為什麼要學這個？雙曲函數不僅僅是抽象的數學，它們還能描述懸掛的電纜或沉重項鍊形成的形狀（這條曲線稱為懸鏈線，catenary），並廣泛應用於工程學和狹義相對論中！
1. 定義：它們是什麼？
這些函數不是基於單位圓，而是基於雙曲線（hyperbola）。我們使用 \(e^x\) 和 \(e^{-x}\) 來定義這三個主要函數。你需要背誦這三個定義：
- 雙曲正弦（Hyperbolic Sine）： \(\sinh x = \frac{e^x - e^{-x}}{2}\) （讀作 "shine"）
- 雙曲餘弦（Hyperbolic Cosine）： \(\cosh x = \frac{e^x + e^{-x}}{2}\) （讀作 "cosh"）
- 雙曲正切（Hyperbolic Tangent）： \(\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}\) （讀作 "tansh"）
小貼士：注意 \(\sinh x\) 的分子是減號，而 \(\cosh x\) 的分子是加號。你可以這樣記：\(\cosh\) 是比較「厚重」（"heavier"）的那一個（因為是加法），它創造了懸垂鏈條的形狀！
重點總結：
雙曲函數其實就是 \(e^x\) 和 \(e^{-x}\) 的組合。如果你解題時卡住了，永遠可以將雙曲函數替換為它們的指數定義來進行運算。
2. 繪製圖像
透過視覺化這些函數，可以幫助你理解它們的行為。讓我們來看看它們的形狀：
\(y = \sinh x\) 的圖像
\(\sinh x\) 的圖像看起來有點像 \(y = x^3\)。它從原點 \((0,0)\) 出發，並在兩個方向上延伸至無窮大。它是一個奇函數（odd function），這意味著它對原點具有旋轉對稱性。
\(y = \cosh x\) 的圖像
這就是「懸鏈線」曲線。
- 它永遠不會低於 \(y = 1\)。
- y 軸截距永遠是 \((0, 1)\)，因為 \(\frac{e^0 + e^0}{2} = \frac{1+1}{2} = 1\)。
- 它是一個偶函數（even function）（對 y 軸對稱），就像一般的 \(\cos x\) 一樣。
\(y = \tanh x\) 的圖像
這個圖像被「困」在兩條水平漸近線之間：\(y = 1\) 和 \(y = -1\)。它通過原點，看起來像一個拉長的「S」形。無論 \(x\) 多大，它都永遠不會真正達到 1 或 -1！
常見錯誤提醒：很多學生會不小心把 \(\cosh x\) 從原點畫起。請記住：\(\cosh 0 = 1\) 而 \(\sinh 0 = 0\)。
3. 雙曲恆等式
就像 \(\cos^2 x + \sin^2 x \equiv 1\) 一樣，雙曲函數也有屬於它們自己的規則。不過，符號上有一點點不同！
你必須掌握的基本恆等式是：
\(\cosh^2 x - \sinh^2 x \equiv 1\)
你知道嗎？這個恆等式就是它們被稱為「雙曲」函數的原因。標準雙曲線的方程是 \(x^2 - y^2 = 1\)。如果你令 \(x = \cosh t\) 且 \(y = \sinh t\)，它們剛好符合這個方程！
如何證明：
如果你需要證明它，只需代入指數定義即可：
\(\left(\frac{e^x + e^{-x}}{2}\right)^2 - \left(\frac{e^x - e^{-x}}{2}\right)^2\)
展開括號時，\(e^{2x}\) 和 \(e^{-2x}\) 項會抵消，最終剩下 1。
4. 反雙曲函數
如果我們想為給定的 \(\sinh x\) 找出 \(x\) 的值，我們需要使用反函數：\(\text{arsinh } x\)、\(\text{arcosh } x\) 和 \(\text{artanh } x\)。（有些計算機使用 \(\sinh^{-1} x\)）。
關於 \(\text{arcosh } x\) 的重要註記：由於 \(\cosh x\) 的圖像呈 U 型，它並非「一對一」的（兩個不同的 \(x\) 值可以得到相同的 \(y\) 值）。為了要有反函數，我們只考慮 \(x \geq 0\) 的正半部分。因此，\(\text{arcosh } x\) 只在 \(x \geq 1\) 時才有定義。
對數形式
因為原始函數是由 \(e^x\) 組成的，所以反函數是由自然對數（\(\ln\)）構成的。你應該要能運用這些公式：
- \(\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})\) 對所有 \(x\) 成立
- \(\text{arcosh } x = \ln(x + \sqrt{x^2 - 1})\) 對 \(x \geq 1\) 成立
- \(\text{artanh } x = \frac{1}{2} \ln(\frac{1+x}{1-x})\) 對 \(|x| < 1\) 成立
如果這些公式看起來很嚇人，不用擔心！你其實可以自己推導它們。例如，要找出 \(\text{arsinh } x\)，你可以令 \(y = \sinh x\)，將 \(\sinh x\) 換成其指數定義，然後利用二次方程公式解出 \(x\)。這在考試中是非常常見的題目！
5. 步驟詳解：解雙曲方程
例子：解 \(2\sinh x + \cosh x = 1\)
第一步：用指數定義取代。
\(2(\frac{e^x - e^{-x}}{2}) + (\frac{e^x + e^{-x}}{2}) = 1\)
第二步：化簡分數。
\((e^x - e^{-x}) + \frac{1}{2}e^x + \frac{1}{2}e^{-x} = 1\)
將整式乘以 2 以消除分數：\(2e^x - 2e^{-x} + e^x + e^{-x} = 2\)
\(3e^x - e^{-x} = 2\)
第三步：轉化為二次方程。
將整個方程乘以 \(e^x\)（記住 \(e^x \cdot e^{-x} = 1\)）：
\(3e^{2x} - 1 = 2e^x\)
\(3(e^x)^2 - 2e^x - 1 = 0\)
第四步：解二次方程。
令 \(u = e^x\)：\(3u^2 - 2u - 1 = 0\)
因式分解得 \((3u + 1)(u - 1) = 0\)，所以 \(u = 1\) 或 \(u = -1/3\)。
第五步：求 \(x\)。
由於 \(e^x = u\)，我們有 \(e^x = 1\)（這意味著 \(x = 0\)）。
我們也有 \(e^x = -1/3\)，但由於 \(e^x\) 永遠為正，這部分沒有實數解。
最終答案：\(x = 0\)
速查框
關鍵恆等式：
\(\tanh x \equiv \frac{\sinh x}{\cosh x}\)
\(\cosh^2 x - \sinh^2 x \equiv 1\)
關鍵數值：
\(\sinh 0 = 0\)
\(\cosh 0 = 1\)
\(\tanh 0 = 0\)
「終極秘訣」：如果題目看起來太難，將所有東西轉換成 \(e^x\) 和 \(e^{-x}\)。這幾乎總能把它變成一個你可以解的二次方程！