雙曲函數簡介
歡迎來到雙曲函數 (Hyperbolic Functions) 的世界！如果你曾經留意過懸掛在兩根電線桿之間的電纜，或是掛在頸上的貴重金鏈，其實你已經見過雙曲函數的應用了。鏈條自然下垂形成的形狀稱為懸鏈線 (catenary)，它正是由 cosh 函數所描述的。
在本章中，我們將探討一些外觀和表現都與你所熟知的三角函數（sin、cos 和 tan）非常相似的函數，但它們並非基於圓形，而是基於雙曲線 (hyperbola)。如果起初覺得有些困難也不用擔心——一旦你掌握了當中的規律，就會發現它們往往比標準的三角函數更容易運算！
1. 定義雙曲函數
三個主要的雙曲函數分別是 sinh（讀作 "shine"）、cosh（讀作 "cosh"）和 tanh（讀作 "than"）。與標準三角函數不同，它們是利用指數函數 \( e^x \) 來定義的。
定義如下：
• 雙曲正弦： \( \sinh x = \frac{e^x - e^{-x}}{2} \)
• 雙曲餘弦： \( \cosh x = \frac{e^x + e^{-x}}{2} \)
• 雙曲正切： \( \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} \)
視覺化函數圖像
• Cosh x： 這看起來像一個「U」形（類似拋物線，但更陡峭）。它從 \( (0, 1) \) 開始，並向兩個方向延伸至無窮大。其值域 (range) 為 \( \cosh x \ge 1 \)。
• Sinh x： 這看起來像一條「三次」曲線。它穿過原點 \( (0, 0) \)。其值域為所有實數。
• Tanh x： 這看起來像一個「拉長的 S」。它被夾在 \( y = 1 \) 和 \( y = -1 \) 這兩條水平漸近線之間。其值域為 \( -1 < \tanh x < 1 \)。
你知道嗎？
美國聖路易市的拱門 (Gateway Arch) 是利用倒轉的 cosh 曲線設計的！它是工程學中最穩固的形狀之一，因為它能完美地分散重量。
重點總結：雙曲函數其實就是 \( e^x \) 和 \( e^{-x} \) 的組合。如果你能進行指數的代數運算，那你就能輕鬆駕馭雙曲函數！
2. 基本恆等式
在標準三角學中，你知道 \( \cos^2 x + \sin^2 x = 1 \)。雙曲函數也有非常相似的規則，只是符號上有一點點「小轉變」。
關鍵恆等式：
\( \cosh^2 x - \sinh^2 x = 1 \)
避免常見錯誤：
許多學生因為習慣了標準三角學，會不小心寫成加號。記憶小撇步：回想一下雙曲線的方程式 \( x^2 - y^2 = 1 \)，當中的「減號」就是雙曲恆等式使用減號的原因！
重點提示：一定要記住中間是減號！\( \cosh^2 x - \sinh^2 x = 1 \)。
3. 微積分：微分與積分
雙曲函數在微積分中最棒的地方在於它們的表現。它們比三角函數「友善」得多，因為我們不必擔心那麼多負號問題。
微分
• \( \frac{d}{dx}(\sinh x) = \cosh x \)
• \( \frac{d}{dx}(\cosh x) = \sinh x \)
• \( \frac{d}{dx}(\tanh x) = \text{sech}^2 x \)（注意：雖然 \( \text{sech } x \) 不是繪圖的重點，但你要認得它是 \( \frac{1}{\cosh x} \)）。
比較技巧：
在三角函數中，\( \frac{d}{dx}(\cos x) = -\sin x \)。
在雙曲函數中，對於 sinh 和 cosh，**所有結果都保持正號**！微分 \( \cosh x \) 時沒有負號。
積分
由於積分是微分的逆運算：
• \( \int \cosh x \, dx = \sinh x + c \)
• \( \int \sinh x \, dx = \cosh x + c \)
快速回顧：要對 sinh 和 cosh 進行微分或積分，你只需把它們互換即可。就是這麼簡單！
4. 反雙曲函數
就像我們有 \( \sin^{-1} x \) 一樣，我們也有反雙曲函數：arsinh、arcosh 和 artanh。由於雙曲函數是由指數構成的，它們的反函數可以用對數 (logarithms) 來表示。
對數形式
你需要能夠運用（有時甚至需要推導）這些公式：
• \( \text{arsinh } x = \ln(x + \sqrt{x^2 + 1}) \)，適用於所有 \( x \)
• \( \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 \)
理解定義域
• arcosh x： 由於 \( \cosh x \) 永遠不會小於 1，所以你只能將 \( \ge 1 \) 的數字代入 \( \text{arcosh } x \)。
• artanh x： 由於 \( \tanh x \) 始終保持在 -1 和 1 之間，所以你只能將 -1 到 1 之間的數字代入 \( \text{artanh } x \)。
逐步推導：arsinh x
1. 從 \( y = \text{arsinh } x \) 開始，即 \( x = \sinh y \)。
2. 使用定義： \( x = \frac{e^y - e^{-y}}{2} \)。
3. 乘以 2： \( 2x = e^y - e^{-y} \)。
4. 將所有項乘以 \( e^y \)： \( 2xe^y = (e^y)^2 - 1 \)。
5. 這是一個隱藏的二次方程式： \( (e^y)^2 - 2x(e^y) - 1 = 0 \)。
6. 使用二次方程式求根公式解出 \( e^y \)，然後取自然對數！
5. 在積分中使用反函數
在考試中，你常會遇到看似與雙曲函數無關的積分，但答案卻包含反雙曲函數。你應該要能辨認出這些「標準形式」：
標準積分：
• \( \int \frac{1}{\sqrt{x^2 + a^2}} \, dx = \text{arsinh}(\frac{x}{a}) + c \)
• \( \int \frac{1}{\sqrt{x^2 - a^2}} \, dx = \text{arcosh}(\frac{x}{a}) + c \)
類比：
把這些視為「模式」。當你看到分母帶有平方根的分數時，檢查它符合「加號」模式 (arsinh) 還是「減號」模式 (arcosh)。
重點提示：如果分母有 \( \sqrt{x^2 + a^2} \)，請聯想到 arsinh。如果分母有 \( \sqrt{x^2 - a^2} \)，請聯想到 arcosh。
章節總結檢核表
你能否：
• 寫出 sinh、cosh 和 tanh 使用 \( e^x \) 的定義？
• 繪製函數圖像並說明其定義域與值域？
• 運用恆等式 \( \cosh^2 x - \sinh^2 x = 1 \)？
• 正確地對雙曲函數進行微分與積分？
• 使用反雙曲函數的對數形式？
• 辨認出導向反雙曲函數的標準積分？