雙曲函數：為什麼 e^x 主導了 sinh 與 cosh

第一次在計算機上看到標著 sinh、cosh、tanh 的按鍵時，它們看起來像是正弦、餘弦、正切的另一個版本。這些名字讓人覺得，好像有人把三角函數加了個 h，就多弄出三條要背的公式。

這個印象其實是倒過來的。雙曲函數的起點是指數，不是角度。它們取最簡單的兩種指數運動：由 $e^{x}$ 代表的成長，與由 $e^{-x}$ 代表的衰減（兩者都建立在歐拉數 e 之上），再把它們以完全平衡的方式成對地相加或相減。與三角函數的相似之處是後來才出現的：這些成對的組合原來是雙曲線上的坐標，而不是圓上的坐標。

一旦看清楚這兩個指數朝相反方向拉扯，這些定義就不再顯得隨意。主要恆等式變成一條曲線的方程式，導數變得幾乎無可避免，而每本微積分課本裡的懸垂纜線，也終於有了牽涉 cosh 的理由。

雙曲線是圓的表親

三角函數有一個核心圖像：一個點沿著單位圓行走。在參數 t 時，它的坐標是

$$(\cos t, \sin t)$$

這些坐標滿足

$$\cos^{2} t + \sin^{2} t = 1$$

因為每一個點都在圓 $x^{2} + y^{2} = 1$ 上。餘弦提供水平坐標，正弦提供垂直坐標，而畢氏恆等式只不過是用它們的名字寫出來的圓方程式。

雙曲函數在另一條曲線上使用同樣的坐標概念。用參數方程式的語言來說，數對

$$(\cosh t, \sinh t)$$

位於單位雙曲線

$$x^{2} - y^{2} = 1$$

的右支上，所以它的坐標滿足

$$\cosh^{2} t - \sinh^{2} t = 1$$

符號的改變就是這條新曲線的個性。圓保持 $x^{2} + y^{2}$ 不變，雙曲線則保持 $x^{2} - y^{2}$ 不變。就是這一個從加號到減號的改變，讓許多雙曲恆等式看起來像是符號反了一個的三角恆等式。

有一個細微的地方值得弄清楚。圖形 y = cosh x 是一個 U 形函數，它不是單位雙曲線 $x^{2} - y^{2} = 1$。雙曲線是在 cosh 與 sinh 合作當作坐標時才出現的：x = cosh t 且 y = sinh t。其中一個函數是水平坐標，另一個是垂直坐標，就像餘弦與正弦合作描出一個圓。

參數 t 有時被稱為雙曲角，但它不是繞著圓旋轉來量的一般角度。在單位雙曲線上，t 等於從 (1, 0) 到移動點所掃過的雙曲扇形的有向面積的兩倍。在大多數計算中，只需把 t 當作讓這個點沿著雙曲線移動的共同輸入即可。當 t = 0 時，點在 (1, 0)。t 為正時，它沿著右支向上移動；t 為負時，則向下移動。

sinh 與 cosh 平衡了成長與衰減

幾何解釋了這些名字，定義則解釋了這些函數究竟是怎麼運作的：

$$\sinh x = \frac{e^{x} - e^{-x}}{2}$$ $$\cosh x = \frac{e^{x} + e^{-x}}{2}$$

兩者都從同一對指數出發。其中一個隨 x 增加而成長，另一個則縮小。Cosh 把它們相加，所以量的是它們對稱的總和。Sinh 把它們相減，所以量的是哪個方向佔了上風。

在 x = 0 時，兩個指數都等於 1。它們的和是 2，差是 0，所以

$$\cosh 0 = 1, \quad \sinh 0 = 0$$

這給出點 (1, 0)，也就是右支雙曲線的「腰」。

現在把 x 換成 -x。兩個指數項互換位置。它們的和不變，所以 cosh(-x) = cosh x。Cosh 是偶函數，圖形對 y 軸對稱。它們的差會變號，所以 sinh(-x) = -sinh x。Sinh 是奇函數，圖形對原點有旋轉對稱。

一個小小的精確例子可以讓這套機制看得清楚。取 x = ln 2。於是 $e^{x} = 2$，$e^{-x} = \frac{1}{2}$，所以

$$\cosh(\ln 2) = \frac{2 + \frac{1}{2}}{2} = \frac{5}{4}$$ $$\sinh(\ln 2) = \frac{2 - \frac{1}{2}}{2} = \frac{3}{4}$$

這個點是 (5/4, 3/4)。檢查它是否在雙曲線上：

$$(5/4)^{2} - (3/4)^{2} = 25/16 - 9/16 = 1$$

這個恆等式並不是定義之後才額外加上的巧合。平衡的和與差會讓它自動成立。

當 x 是很大的正數時，$e^{-x}$ 變得非常小，所以 sinh x 與 cosh x 都趨近 $e^{x}$ 的一半。當 x 是很大的負數時，cosh 仍然為正，而 sinh 變成負的。這就是它們的圖形看起來相關卻不相同的原因：cosh 是兩個正指數相加所得的 U 形總和，而 sinh 記錄的是兩者之間帶正負號的差。

減號恆等式

最重要的雙曲公式是

$$\cosh^{2} x - \sinh^{2} x = 1$$

你可以把它記成雙曲線方程式，也可以用一行代數推導出來。令 A = $e^{x}$、B = $e^{-x}$。於是 AB = 1，而且

$$\cosh x = \frac{A + B}{2}, \quad \sinh x = \frac{A - B}{2}$$

把兩個平方相減：

$$\left(\frac{A + B}{2}\right)^{2} - \left(\frac{A - B}{2}\right)^{2} = AB = 1$$

這裡全靠平方差的形式在運作。相減時 $A^{2}$ 與 $B^{2}$ 項互相抵銷，而交叉項合併後剩下 AB = $e^{x}$ 乘以 $e^{-x}$，也就是 1。

這個恆等式讓你得到整個家族的其他成員。除以 $\cosh^{2} x$ 就得到

$$1 - \tanh^{2} x = \operatorname{sech}^{2} x$$

其中 tanh x = sinh x / cosh x，sech x = 1 / cosh x。在 sinh x 不為零之處，改為除以 $\sinh^{2} x$，就得到 coth 與 csch 對應的恆等式。這些名稱看起來擁擠，但結構與三角函數相同：正切是比值，正割與餘割是倒數，而核心的曲線方程式產生了所有恆等式。

最可靠的記憶線索不是「雙曲三角函數有古怪的符號」，而是那條曲線。圓代表加號，雙曲線代表減號。只要你能想像自己位於哪一個方程式上，符號就不再是擲硬幣。

tanh 衡量的是什麼

雙曲正切是比值

$$\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^{x} - e^{-x}}{e^{x} + e^{-x}}$$

這個比值把成長與衰減的差，和它們的總和相比。在 x = 0 時兩邊平衡，所以 tanh 0 = 0。隨著 x 變大，$e^{x}$ 主導了分子與分母，所以它們的比值趨近 1。當 x 變得非常負時，$e^{-x}$ 佔上風，比值趨近 -1。

這使 tanh 成為夾在 -1 與 1 之間的 S 形函數。它在零附近的表現幾乎就像 x，然後隨著其中一個指數壓倒另一個而逐漸變平。與一般的正切不同，它沒有重複的分支，也沒有鉛直漸近線。兩者共用名字，是因為它們都是類正弦與類餘弦坐標的比值，而不是因為圖形相同。

每當需要讓一個無界的輸入產生平滑而有界的輸出時，這種有界的形狀就很有用。不過在純數學課程裡，重點更簡單：tanh 就是把帶正負號的失衡量 sinh，用正的總量 cosh 加以正規化的結果。

其餘的函數遵循同樣的帳目：

• $\operatorname{sech} x = \frac{1}{\cosh x}$
• $\operatorname{csch} x = \frac{1}{\sinh x}$
• $\coth x = \frac{\cosh x}{\sinh x}$

對任何實數 x，cosh 都不會等於零，所以 sech 處處有定義。Sinh 在 x = 0 時等於零，所以 csch 與 coth 在那裡沒有定義。只要從定義去讀，這些就不是需要另外背的事實。

為什麼微積分喜歡雙曲函數

指數定義使導數特別乾淨。對 sinh 微分：

$$\frac{d}{dx} \sinh x = \frac{d}{dx} \left[\frac{e^{x} - e^{-x}}{2}\right] = \frac{e^{x} + e^{-x}}{2} = \cosh x$$

第二項從減號變成加號，是因為對 $e^{-x}$ 微分會多帶出一個負號。對 cosh 微分，符號則走向另一邊：

$$\frac{d}{dx} \cosh x = \sinh x$$

一般的餘弦在微分時會多出一個負號，雙曲餘弦則不會。這個差異形成了一個有用的對比：

• sin x 與 cos x 滿足 y'' = -y，這會產生振盪
• sinh x 與 cosh x 滿足 y'' = y，這會產生指數成長與衰減

這就是雙曲函數自然出現在微分方程式裡的原因，微分方程式描述的是導數之間的關係。y'' = y 的通解可以寫成 A $e^{x}$ + B $e^{-x}$，也可以寫成 C cosh x + D sinh x。這兩種形式包含相同的資訊。Cosh 與 sinh 只是把對稱與反對稱的組合打包起來，而且常常更貼合初始條件。

例如，滿足 y(0) = 1 且 y'(0) = 0 的解是 cosh x。它從高度 1 出發，切線是水平的。滿足 y(0) = 0 且 y'(0) = 1 的解是 sinh x。它從原點出發，斜率為 1。這些起始條件從圖形上立刻就能看出來。

tanh 的導數同樣漂亮：

$$\frac{d}{dx} \tanh x = \operatorname{sech}^{2} x$$

由於 $\operatorname{sech}^{2} x$ 為正，tanh 永遠是遞增的。又因為 sech 在遠離原點處趨近零，tanh 的斜率也趨近零，這就解釋了它的圖形兩端為什麼會變平。

雙曲函數也會出現在積分與變數變換之中。它們的反函數可以表示含平方根的反導函數，例如 sqrt($x^{2}$ + 1) 或 sqrt($x^{2}$ - 1)。你不需要那些公式也能理解這些函數，不過這層關聯解釋了為什麼微積分課程會在指數函數與三角代換之後不久就引入它們。

為什麼懸垂的纜線用 cosh

最顯眼的應用是懸垂的纜線。一條均勻、可彎曲的纜線懸掛在兩點之間，除了自身重量外不承受任何負載，會自然形成懸鏈線。當最低點置於 y 軸上時，它的方程式形如

$$y = a \cosh(x / a) + C$$

常數 C 決定垂直位置。如果選擇坐標原點使 C 等於零，它就變成大家熟悉的 y = a cosh(x / a)。常數 a 控制曲線的淺或深：a 大則纜線較平，a 小則下垂較緊。它在底部附近的形狀很像拋物線，這就是人們常猜測懸掛的鏈條是拋物線的原因，但纜線在自身重量下的精確平衡曲線是 cosh 曲線。

這個公式並不是裝飾性的巧合。纜線張力的水平分量保持不變，而不斷變化的垂直分量則與累積的重量平衡。這個力的平衡導出一條微分方程式，而 cosh 正是它的解。當物理上的力沿著曲線平衡時，同樣那個由 $e^{x}$ 與 $e^{-x}$ 的平衡而來的函數再次出現。

錯誤從哪裡來

雙曲函數的錯誤通常是類比錯誤。這些函數與三角函數夠相似，足以誘人猜測，卻沒有相似到每一條三角函數的事實都能保留。

第一個錯誤是把 sinh x 讀成 sin(hx)，好像 h 是乘在角度上的變數。這個名稱要念作「雙曲正弦」，並當作一個函數看待。這個 h 只是標籤，不是輸入。

第二個是照搬圓的恆等式而保留加號。正確的公式是 $\cosh^{2} x$ - $\sinh^{2} x$ = 1。想像 $x^{2} - y^{2} = 1$，符號就會自己修正。

第三個是因為一般餘弦的導數是 -正弦，就把 cosh 的導數寫成 -sinh。回頭看指數：cosh 是它們的和，它的導數就是它們的差，所以 $\frac{d}{dx} \cosh x = \sinh x$。

第四個是把反函數和倒數混為一談。依教科書不同，sinh 的反函數可能寫成 asinh、arcsinh 或 sinh⁻¹。它的倒數是 csch，不是 sinh⁻¹。同樣地，cosh 的反函數是 acosh 或 arcosh，倒數則是 sech。

反函數的定義域也很重要。Sinh 涵蓋所有實數輸出，所以 asinh 接受所有實數輸入。Cosh 的最小值是 1，而且在零的兩側重複取值，所以它的實數反函數採用受限的分支 x 至少為 0，並且接受至少為 1 的輸入。Tanh 產生嚴格介於 -1 與 1 之間的值，所以 atanh 只接受該區間內的輸入。

最後，不要說 y = cosh x「是一條雙曲線」。它的圖形是懸鏈線形狀的 U。數對 (cosh t, sinh t) 才描出一條雙曲線。把圖形與參數化的曲線分開，可以避免一個出奇常見的概念糾結。

Math Zen 在哪裡派上用場

雙曲函數位於指數、恆等式與導數的交會處。如果指數定義穩固，這個主題的大部分都可以重建，而不必死背。如果定義不穩，sinh、cosh、tanh、sech、csch 與 coth 就會變成又多出來的六個按鍵，配上六張互不相關的規則表。

Math Zen 的「雙曲函數」練習就是順著這個依賴關係設計的。「雙曲函數求值」讓你熟悉 sinh 與 cosh 的定義。「雙曲恆等式」的題目強化雙曲線的減號。「雙曲函數的導數」的題目呈現乾淨的 sinh 與 cosh 互換，之後的題目則培養處理「反雙曲函數」的流暢度。目標不是一次把表背完，而是認出哪一幅圖像能讓這張表變得理所當然。

一個有用的練習順序短而混合：求一個精確值、驗證一個恆等式、對一個函數微分，然後找出正確的反函數或倒數。隔一段時間再回來做這組題，如數學練習的間隔重複所述。與一般三角函數反覆對照，正是讓符號與名稱留在記憶裡的原因。

結語

雙曲函數是平衡的指數。Cosh 把成長與衰減相加，sinh 把它們相減，tanh 則拿它們的差與總和比較。把 cosh 與 sinh 一起當作坐標，它們就描出 $x^{2} - y^{2} = 1$，這就是為什麼許多類似的恆等式看起來像三角恆等式，只是把圓的加號換成雙曲線的減號。

把雙曲線圖像和指數定義合在一起，就能解釋核心恆等式、圖形與導數。它們也解釋了為什麼這些函數會出現在成長與衰減結合的地方，從微分方程式 y'' = y 到懸垂纜線的懸鏈線。那個 h 並沒有築起一道新的公式牆。它指向的是一條不同的曲線，以及它們底下一種不同的運動。