歡迎來到雙曲函數（Hyperbolic Functions）的世界！
你好！今天我們將探索雙曲函數。如果你已經學過三角函數，你一定對圓形以及 \(\sin\) 和 \(\cos\) 等函數非常熟悉。雙曲函數與三角函數非常相似，但它們並不是基於圓形，而是基於一條稱為雙曲線（hyperbola）的曲線。
起初如果覺得這些概念有點「抽象」也別擔心。看完這些筆記後，你會發現它們其實就是你已經熟悉的指數函數（\(e^x\)）的一種特殊組合方式。這些函數在工程學和物理學中非常有用——例如，懸掛的電纜所形成的形狀，其實就是一條雙曲曲線！
1. 三大主力：定義
在標準三角學中，我們有正弦（sine）、餘弦（cosine）和正切（tangent）。在雙曲數學中，我們則有 sinh（讀作 "shine"）、cosh（讀作 "cosh"）和 tanh（讀作 "tansh"）。
它們是利用指數常數 \(e\) 定義的：
• 雙曲正弦： \(\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}}\)
類比：增長與衰減的平均值
將 \(e^x\) 想成「增長」，將 \(e^{-x}\) 想成「衰減」。
\(\cosh x\) 正好是增長與衰減之間的「中間值」（平均值）。
\(\sinh x\) 則是增長與衰減之差的一半。
快速複習：
永遠記住 \(\cosh x\) 和 \(\sinh x\) 只是 \(e^x\) 和 \(e^{-x}\) 的組合。如果你忘記了某個恆等式，隨時可以回到這些 \(e\) 的定義進行推導！
2. 圖形長什麼樣子？
視覺化這些函數能幫助你了解它們的行為。
• \(\cosh x\) 的圖形： 它看起來像一個「U」型，與拋物線類似，但實際上它被稱為懸鏈線（catenary）。它始於 \((0, 1)\)，並在兩側向上無限延伸。它永遠不會低於 1。
• \(\sinh x\) 的圖形： 這個看起來有點像 \(x^3\) 的圖形。它通過原點 \((0, 0)\)，向正無窮大和負無窮大方向延伸。
• \(\tanh x\) 的圖形： 這個非常「扁平」。它始終保持在 \(y = -1\) 和 \(y = 1\) 之間，在這兩個數值處有水平漸近線。
你知道嗎？
如果你在兩根柱子之間懸掛一條沉重的鐵鍊，它自然形成的形狀正好就是 \(y = \cosh x\) 的圖形！建築師利用這個特性來設計穩定的拱門，例如聖路易的捷運拱門（Gateway Arch）。
3. 雙曲恆等式
就像 \(\sin^2 x + \cos^2 x = 1\) 一樣，雙曲函數也有一套自己的規則。不過，這裡有一個微小的「符號」變動！
基本恆等式：
\(\cosh^2 x - \sinh^2 x = 1\)
其他關鍵恆等式：
• \(1 - \tanh^2 x = \text{sech}^2 x\)
• \(\sinh(x \pm y) = \sinh x \cosh y \pm \cosh x \sinh y\)
• \(\cosh(x \pm y) = \cosh x \cosh y \pm \sinh x \sinh y\)
記憶法：奧斯本規則（Osborn’s Rule）
別擔心要死記兩套公式！你可以使用奧斯本規則將任何三角恆等式轉化為雙曲恆等式：
1. 將 \(\sin\) 替換為 \(\sinh\)，將 \(\cos\) 替換為 \(\cosh\)。
2. 訣竅： 如果原來的三角恆等式涉及兩個正弦函數的乘積（例如 \(\sin^2 x\) 或 \(\tan^2 x\)，後者等於 \(\sin^2/\cos^2\)），請反轉該項前面的符號。
例子： \(\cos 2x = 1 - 2\sin^2 x\) 會變為 \(\cosh 2x = 1 + 2\sinh^2 x\)（因為 \(\sin^2\) 變成了 \(\sinh^2\)，所以我們把減號改成了加號）。
關鍵要點：
雙曲恆等式與三角恆等式幾乎一模一樣，但只要你看到兩個 \(\sinh\) 項的乘積，就必須改變符號。
4. 反雙曲函數
有時我們需要反向操作。如果 \(\sinh x = y\)，那麼 \(x = \text{arsinh } y\)。這些被稱為面積函數（area functions）（這就是為什麼我們用 "ar" 而不是單純的 "inv"）。
由於原函數是由 \(e^x\) 組成的，反函數則由自然對數（\(\ln\)）組成：
• \(\text{arsinh } x = \ln(x + \sqrt{x^2 + 1})\)
• \(\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{arcosh } x\) 只在 \(x \geq 1\) 時才有定義。如果你嘗試代入較小的數，你就會試圖對負數進行開方，或者對非正數取對數！
5. 雙曲函數的微積分
這部分是雙曲函數比三角函數更容易的地方！
微分
在三角學中，\(\frac{d}{dx}(\cos x) = -\sin x\)。但在雙曲世界中，基本函數對中沒有負號：
• \(\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\)
步驟示範：微分
如果你被要求對 \(y = \cosh(3x^2)\) 進行微分：
1. 使用連鎖律（Chain Rule）。
2. 「外部」（\(\cosh\)）的導數是 \(\sinh\)。
3. 「內部」（\(3x^2\)）的導數是 \(6x\)。
4. 將它們相乘：\(\frac{dy}{dx} = 6x \sinh(3x^2)\)。
6. 總結與最後提示
重要記住點：
• 雙曲函數只是 \(e^x\) 和 \(e^{-x}\) 的特定組合。
• \(\cosh x\) 是「懸掛鏈」函數。
• 使用奧斯本規則將三角恆等式轉換為雙曲恆等式（遇到 \(\sinh \times \sinh\) 時反轉符號）。
• \(\text{arsinh}\)、\(\text{arcosh}\) 和 \(\text{artanh}\) 都可以寫成對數形式。
• \(\sinh\) 和 \(\cosh\) 的導數始終是彼此的正值版本。
不要被這些新名字嚇倒。把它們想成是你已經熟悉的三角函數的「指數表親」。練習繪製幾次圖形，你很快就能掌握這一章的內容！