雙曲餘弦

来自testwiki
跳转到导航 跳转到搜索

Template:NoteTA Template:函數數學中,雙曲餘弦是一種雙曲函數,是雙曲幾何中,與歐幾里得幾何的餘弦函數相對應的函數。雙曲餘弦一般以cosh表示[1],在部分較舊的文獻中有時會以𝔬𝔰表示。[2]雙曲餘弦可以用來描述悬链线,即兩端固定自然下垂的繩索,因此可以用於進行悬索桥的工程計算。

定義

雙曲餘弦一般記為cosh[3](有時會簡寫為ch[4]),其在複分析中定義為:

cosh:zez+ez2

其中zezTemplate:Link-ja

複數域雙曲餘弦的色相環複變函數圖形

Template:函數圖形 也就是說,雙曲餘弦可以視為指數函數與其倒數算術平均數[5],即雙曲餘弦為自然指數函數Template:Link-en[6]

在雙曲幾何中,雙曲餘弦函數類似於歐幾里得幾何中的餘弦函數。一般的餘弦可以表示為單位圓上特定角的終邊正向與圓之交點的x座標;而雙曲餘弦則代表單位雙曲線上特定雙曲角的終邊正向與單位雙曲線之交點的x座標[7]。 對於非單位雙曲線的情形,如以下列形式定義的雙曲線:

x2a2y2b2=1

P為雙曲角的終邊與雙曲線的交點,並令P為點P在共軛雙曲線y2b2x2a2=1上對應的點:

P=(xP,yP)
P=(ayPb,bxPa)

此時雙曲角α可以透過交點P 、共軛點P與原點構成的三角形(三角形OPP)與雙曲扇形OAP的面積比來定義[7]

α=sectorOAPOPP

在這個定義下,雙曲餘弦為雙曲角α的終邊正向與單位雙曲線之交點的x座標除以雙曲線方程x2a2y2b2=1係數a的結果[7]

coshα=xPa

Template:Double image 此外,亦可以透過三角形面積比來定義雙曲餘弦。若右圖(a)中雙曲角QOP 定義為[7]

u=sectorOPQOPP

則其雙曲餘弦為[7]

coshu=OQPOPP

這個定義對應到單位圓上則可以定義一般的餘弦函數。若右圖(b)中角QOP 定義為[7]

θ=sectorOPQOPP

則其對應餘弦[7]

cosθ=OQPOPP

性質

雙曲餘弦曲線下的面積(黃色部分)與曲線長度(紅色部分)相同

雙曲餘弦在實數域中是連續函數,在複數域中是全純函數,因此在整個複數域中雙曲餘弦處處可微,其導函數為雙曲正弦函數。雙曲餘弦是偶函數,這意味著,雙曲餘弦滿足以下等式[8]

coshx=cosh(x)

雙曲餘弦曲線下的面積(在有限區間內)總是等於該區間對應的弧長:[9]

area=abcoshxdx=ab1+(ddxcoshx)2dx=arc length.

歐拉公式 eiθ=cosθ+isinθ和雙曲函數與指數函數的關聯ex=coshx+sinhx能推出雙曲餘弦與餘弦的關係:

cosix=coshx

特殊值

雙曲餘弦存在一些特殊值[10]

  • cosh(0)=1
  • cosh(1)=e2+12e
  • cosh(i)=cos(1)
  • cosh(lnφ)=52

其中φ黃金比例e自然對數的底數

對於不同單位複數ωcosh(ωx)的繪圖,其中藍色線為實數部、橙色線為虛數部。可以看到cosh(ix)有實根,即藍色線與橙色線同時與x軸相交

函數的根代表函數值為0的點[11]。雙曲餘弦函數的根可透過求解下列方程得到:

coshx=0

在實數域中,雙曲餘弦的最小值為1,不與x軸相交,因此上述方程無實根[8]

而在複數域中可以找到雙曲餘弦的根。所有雙曲餘弦為零的點都是純虛數[12]

coshz=0ziπ(+12).

原因是,若將z表示成x+iy,其中x,y皆為實數,則由coshz=coshxcosy+isinhxsiny有:

coshz=0(cosy=0sinhx=0)(y{π2+kπk}x=0)

例如:[12]

cosh(πi2)=0.

用途

物理學

Template:Main

不同a值的懸鏈線函數圖形

雙曲餘弦可以用來描述懸鏈線。懸鏈線在物理學中,可以用於描繪軟繩位於水平兩點間,在鉛直方向均勻受力下自然形變後的形狀。[13][14]其可以表示為:[15]

y=acoshxa

其中,y為繩子的高度,繩子的最低點定為y軸(x=0[16]a是一個常數,由繩子本身性質(如密度)、與懸鏈線懸掛的方式決定,通常可以表示為a=T0gλ,其中g重力加速度λ是繩子的密度、T0為繩子上每一點處張力的水平分量。[17]

建築學

聖路易斯拱門是一個使用雙曲餘弦曲線設計的建築物[18]

雙曲餘弦在建築學與工程學中一般用於計算懸索橋工程產生的懸鏈線。安东尼·高迪是最早將雙曲餘弦曲線融入建築設計的建築師之一[19],例如其作品聖家堂以及科洛尼亚桂尔教堂就有用到。

美國密蘇里州聖路易的聖路易斯拱門是一個倒過來的雙曲餘弦曲線外型的建築物。該拱門的最高點離地面約192公尺,其拱頂近似於以下方程:[20]

y=39mcosh(x39)+231m

其中m表示單位為公尺,且x滿足96<x<96公尺。而具體的幾何結構由結構工程師Template:Link-en提供給埃罗·萨里宁的數學方程確定。[21]

y=A(coshCxL1)x=LCcosh1(1+yA),

其中,常量AfcQbQt1= Template:Convert、常數Ccosh1QbQt=3.0022fc=Template:Convert為質心的最高點、Qb=Template:Convert為截面積的最大值(在拱底取到)、Qt=Template:Convert為截面積的最小值(在拱頂取到)、L=Template:Convert質心位於拱底之寬度的一半。[21]

參見

Template:Commons category

參考文獻

Template:Reflist Template:三角函數

  1. (1999) Collins Concise Dictionary, 4th edition, HarperCollins, Glasgow, Template:ISBN, p. 1386
  2. Template:Literatur
  3. Template:Cite web
  4. Template:Cite book
  5. Template:Cite web
  6. Template:Cite web
  7. 7.0 7.1 7.2 7.3 7.4 7.5 7.6 Template:Link-en, "On the introduction of the notion of hyperbolic functions", Template:Link-en 1:6:155–9, full text Template:Wayback
  8. 8.0 8.1 Template:Cite web
  9. Template:Cite book
  10. Template:Cite Mathworld
  11. Template:Cite web
  12. 12.0 12.1 Template:Cite web
  13. Template:Cite web
  14. 14.0 14.1 Template:Cite mathworld
  15. Template:Cite book
  16. Weisstein, Eric W. Catenary. MathWorld[14], 引文:「The parametric equations for the catenary are given by x(t) = t, y(t) = [...] a cosh(t/a), where t=0 corresponds to the vertex [...]」
  17. Template:Cite book
  18. Template:Cite journal
  19. Template:Cite book
  20. Template:Cite web
  21. 21.0 21.1 Template:Cite web