正矢

来自testwiki
imported>Billy Mok.20142025年2月4日 (二) 14:42的版本
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

Template:函數

單位圓上兩種正矢函數(versin和vercos)和兩種餘矢函數(coversin和covercos)的位置

正矢(英文:Template:LangTemplate:Lang)是一種三角函數,出現於早期的Template:Link-wd(如梵语Template:Link-en[1]第一節),其值為1和餘弦函數的差versinθ=1cosθ。它的定义域是整个实数集值域在0到2之間。它是周期函数,其最小正周期为2π(360°)。在自变量为(2n+1)π360n+180,其中n为整数)时,该函数有极大值2;在自变量为2nπ(或360n)时,该函数有极小值0。正矢函数是偶函数,其图像关于Template:Math轴对称。

概述

正矢函數(Template:Lang[2][3][4][5][6]Template:Lang[7][8][9][10][11]) 是一個三角函數,常計為versin(θ)sinver(θ)[12][13]vers(θ)ver(θ)[14]siv(θ)[15][16]拉丁語中,其被稱為Template:Lang(翻轉的正弦)、 Template:LangTemplate:LangTemplate:Lang(箭頭)。[17]

其等價定義為:

versin(θ)=1cos(θ)=2sin2(θ2)

相關函數

與上述四個函數類似,還存在四個“半值”函數:

歷史與應用

正矢和餘矢

θ正弦餘弦和正矢,以半徑為1、中心為O單位圓表示。該圖也說明了為什麼正矢有時被稱為sagitta(拉丁語中箭頭的意思)[17][31]。如果把上下角[註 2]Δ=2θ的弧ADB看成是「弓」,弦AB看成是「弦」,那麼正矢對應的線段CD顯然就是「箭矢」
歷史上的三角函數與正弦和餘弦的比較。在SVG檔案中,懸停或點擊圖片可以強調對應函數

普通的正弦函數在歷史上有時被稱為sinus rectus (「straight sine」,直譯「直正弦」),以與「versed」的正弦函數,即正矢函數(sinus versus)進行對比[32]。如果在原始上下文中檢視函數的定義(單位圓),這些術語的含義就會很明顯:

對於單位圓的垂直AB,角θ(代表上下角Δ[註 2]的一半)的正弦是距離AC(垂直弦的一半)。另一方面,θ的正矢是從垂直弦的中心到圓弧中心的距離CD。因此,cos(θ)(等於線OC的長度)和versin(θ)(等於線CD的長度)總和就是半徑OD(長度為單位長)。以這種方式說明,正弦是垂直的,而正矢是水平的(正矢又稱為sinus versus,其中versus字面意思是「相反、不合適」); 兩者都是從點C到圓周的距離,僅差在一個是垂直(正弦),一個是水平(正矢)。

這張圖也說明了為什麼正矢有時被稱為Template:Lang(拉丁語中箭頭的意思)[17][31],源自阿拉伯語用法Template:Lang[33],具有相同的含義。 它本身來自印度單字「sara」(箭頭),通常用來指「Template:Link-en」。 如果把上下角[註 2]Δ=2θ的弧ADB看成是「弓」,弦AB看成是「弦」,那麼正矢對應的線段CD顯然就是「箭矢」。

為了進一步與將正弦解釋為「垂直」並且將正矢解釋為「水平」保持一致,「矢」一字(sagitta)在此也可以視為橫座標(圖中的水平軸)的過時同義詞。[31]

1821年,奧古斯丁-路易·柯西使用術語「sinus versus」(siv)表達正矢,以及使用「cosinus versus」(cosiv)表達餘矢[15][16](不過部分文獻混淆了「餘的正矢」與「餘矢」,柯西在1821年的文獻中並未討論到「餘的正矢」,因此它們可能起源於較晚的時間)[註 3]

θ的所有三角函数在几何上可以依据以O點為圓心的单位圓来构造。

從歷史上看,正矢函數被認為是十分重要的三角函數之一。[11][32][33]

當角θ十分接近於0的時候,正矢versin(θ)的值會是兩個幾乎相等的值的差,因此僅使用餘弦函數三角函數表來計算的話,該表需要非常高的精度才能在避免灾难性抵消對於計算正矢函數時所造成的數值誤差,因此製作專用於正矢函數的三角函數表是有必要的。[11]即使是使用-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-或-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-,由於舍入誤差,對於較小的θ,也會建議使用sin2公式來計算正矢值。

正矢的另一個歷史優勢是它的函數值總是非負的,因此除了單一特殊的角度(如θ=0,2π,及其同界角)為零之外,正矢函數的對數在任何地方都有定義,因此,乘法有涉及正矢函數的計算可以使用對數表來計算。

事實上,現存最早的正弦(半弦長)值表(與托勒密和其他希臘作家列出的弦函數表相對)是印度的Surya Siddhantha計算得出的,其可追溯到公元前3世紀,這個表是一個紀錄了從0到90°之每3.75°的正弦和正矢數值的表。[32]

正矢是應用半角公式sin2(θ2)=12versin(θ)的中間步驟,該公式由托勒密導出,用於建立此類數學用表

半正矢

Template:Further 半正矢函數出現於半正矢公式中,其可以据两点的经度纬度来确定大圆上两点之间距离,且在導航術中被廣泛地使用,因此十九和二十世纪初的导航和三角测量书中包含了半正矢值表和对数表。[34][35][36]1835年,Template:Link-en[13][37][38]在其著作《航海与航海天文学:供英国海员使用》(Navigation and Nautical Astronomy: For the Use of British Seamen)第三版中创造了“半正矢”一词[39]以简化地球表面两点之间的距离计算,應用於球面三角学關於导航的部分。[2]

現代用途

雖然正矢、餘矢和半正矢及其反函數的使用可以追溯到幾個世紀前,但其他五個餘函數的名稱(餘的正矢、餘的餘矢、半餘矢、餘的半正矢、餘的半餘矢)似乎較晚才出現。

即便如此,這些函數到了近代都還是存在相關應用,例如正矢的相關函數半正矢有應用在一些少見領域的計算方法上,以及餘的半正矢的相關函數則運用於訊號處理、控制理論、機率論和統計學中。

其中正矢的半值函數——半正矢函數在近幾十年來發現了新的應用。如1995年來布魯斯·D·斯塔克(Bruce D. Stark)利用Template:Link-en之清晰的月角距計算方法[40][41],以及2014年提出用於Template:Link-en之更緊湊的方法[26]

餘的半正矢

Template:Anchor餘的半正矢(havercosine)是餘的正矢(vercosine)之半值函數,其定義為:

havercosin(θ):=vercosin(θ)2=cos2(θ2)=1+cos(θ)2[27]

一個週期(Template:Math)的正弦或更常見的餘的正矢(vercosine)之半值函數(havercosine)波形也常用於訊號處理和控制理論中,作為脈衝窗函數的形狀(包括Template:Link-en、漢恩–泊松窗和圖基窗),因為它平滑地(在值和斜率上連續)從0遞增到1(對於半正矢)再對稱地遞減回0。[註 1]在這些應用中,它被稱為Template:Link-en升餘弦濾波器。 同樣,餘的正矢(vercosine)之半值函數(havercosine)也用於機率論和統計學的Template:Link-en[42]

結語

綜觀下來,正矢函數被認為是十分重要的三角函數之一[11][32][33],圍繞其的餘函數——餘矢函數亦是如此。主要是為了在-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-與-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-發明之前高度仰賴三角函數表來計算的時代,避免出現灾难性抵消對於計算正矢函數以及餘矢函數時所造成的數值誤差[11]。後來發現其對應的半值函數——半正矢能運用在導航術上因此被廣泛使用。相應的每個函數都有其餘函數,在這些函數發展的晚期,這些其餘函數——如餘的正矢、餘的餘矢、半餘矢、餘的半正矢、餘的半餘矢才逐漸被拿來討論。但到了-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-與-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-發明之後,這些函數的需求逐漸式微,因此變得較少使用,但在特定領域仍有發揮空間,如餘的半正矢能應用在訊號處理與機率統計上。

數學性質

定義

正矢、餘矢、餘的正矢、餘的餘矢、半正矢、半餘矢、餘的半正矢、餘的半餘矢定義如下:

正矢 versin(θ):=2sin2(θ2)=1cos(θ)[3]
餘矢 coversin(θ):=versin(π2θ)=1sin(θ)[3]
餘的正矢 vercosin(θ):=2cos2(θ2)=1+cos(θ)[18]
餘的餘矢 covercosin(θ):=vercosin(π2θ)=1+sin(θ)[20]
半正矢 haversin(θ):=versin(θ)2=sin2(θ2)=1cos(θ)2[3]
半餘矢 hacoversin(θ):=coversin(θ)2=1sin(θ)2[28]
餘的半正矢 havercosin(θ):=vercosin(θ)2=cos2(θ2)=1+cos(θ)2[27]
餘的半餘矢 hacovercosin(θ):=covercosin(θ)2=1+sin(θ)2[30]

圓週旋轉

這些函數具備圓週旋轉性值。例如正矢和餘矢即角度差90度、正矢和餘的正矢角度差180度、正矢和餘的餘矢角度差270度,以此類推。半值函數亦然。

versin(θ)=coversin(θ+π2)=vercosin(θ+π)=covercosin(θ+3π2)haversin(θ)=hacoversin(θ+π2)=havercosin(θ+π)=hacovercosin(θ+3π2)

微分與積分

ddxversin(x)=sinx[43] versin(x)dx=xsinx+C[3][43]
ddxvercosin(x)=sinx vercosin(x)dx=x+sinx+C
ddxcoversin(x)=cosx[19] coversin(x)dx=x+cosx+C[19]
ddxcovercosin(x)=cosx covercosin(x)dx=xcosx+C
ddxhaversin(x)=sinx2[21] haversin(x)dx=xsinx2+C[21]
ddxhavercosin(x)=sinx2 havercosin(x)dx=x+sinx2+C
ddxhacoversin(x)=cosx2 hacoversin(x)dx=x+cosx2+C
ddxhacovercosin(x)=cosx2 hacovercosin(x)dx=xcosx2+C

反函數

這些函數也存在對應的反函數:

  • 反正矢(arcversine)[29]:正矢的反函數,又可以記作arcversin、 arcvers[7][29]、 avers[44][45]或aver。
  • 反餘的正矢(arcvercosine):餘的正矢的反函數,又可以記作arcvercosin、 arcvercos、 avercos或avcs。
  • 反餘矢(arccoversine)[29]:餘矢的反函數,又可以記作arccoversin、 arccovers[7][29]、 acovers[44][45]或acvs。
  • 反餘的餘矢(arccovercosine):餘的餘矢的反函數,又可以記作arccovercosin、 arccovercos、 acovercos或acvc。
  • 反半正矢(archaversine):半正矢的反函數,又可以記作archaversin、 archav[29] 、 haversin−1[46]、 invhav[29][47][48][49]、 ahav[29][44][45]、 ahvs、 ahv或hav−1[50][51]
  • 反餘的半正矢(archavercosine):餘的半正矢的反函數,又可以記作archavercosin、 archavercos或ahvc。
  • 反半餘矢(archacoversine):半餘矢的反函數,又可以記作archacoversin或ahcv。
  • 反餘的半餘矢(archacovercosine):餘的半餘矢的反函數,又可以記作archacovercosin、 archacovercos或ahcc。
arcversin(y)=arccos(1y)[29][44][45]
arcvercos(y)=arccos(y1)
arccoversin(y)=arcsin(1y)[29][44][45]
arccovercos(y)=arcsin(y1)
archaversin(y)=2arcsin(y)=arccos(12y)[29][44][45][46][47][48][50][51]
archavercos(y)=2arccos(y)=arccos(2y1)
archacoversin(y)=arcsin(12y)
archacovercos(y)=arcsin(2y1)

其他性質

這些函數皆可以擴展到複平面。[43][19][21]

馬克勞林級數

versin(z)=k=1(1)k1z2k(2k)!haversin(z)=k=1(1)k1z2k2(2k)!
limθ0versin(θ)θ=0[7]
versin(θ)+coversin(θ)versin(θ)coversin(θ)exsec(θ)+excsc(θ)exsec(θ)excsc(θ)=2versin(θ)coversin(θ)versin(θ)coversin(θ)[versin(θ)+exsec(θ)][coversin(θ)+excsc(θ)]=sin(θ)cos(θ)[7]

近似值

對於角度範圍從0到2π的正矢函數與正矢函數的三個近似值的比較
對於角度範圍從0到π2的正矢函數與正矢函數的三個近似值的比較

v的正矢函數值versine(v)與半徑r相比較小時,可以透過以下公式從半弦長度L(上圖所示的AC長)近似得出正矢值:[52] vL22r.

或者,如果正矢函數值很小,且已知正矢函數值、半徑和半弦長,則可以透過以下公式來估計計弧長s(上圖所示的AD): sL+v2r

這個公式為中國數學家沈括所知,兩個世紀後,郭守敬提出了一個更準確的公式,也涉及弦弧間最大的距離。[53]

工程中使用的更準確的近似是[54]vs32L128r

任意曲線和弦

術語「正矢」(versine)有時也用來描述任意平面曲線中弦與曲線間最大的距離,上面的圓是其中的一個特例。 給定曲線中兩點之間的弦,從弦到曲線(通常在弦中點)的垂直距離Template:Math稱為正矢測量(versine measurement)或軌道曲線正矢測量[55]。對於直線,任何弦的正矢為零,因此該測量表徵了曲線的直線度。在極限情況下,當弦長L趨近於零時,瞬時曲率的比率為8vL2。 這種用法在鐵路運輸中尤其常見,它描述了鐵軌直線度的測量[56],並且它是鐵路測量Template:Link-en之基礎。

其他相關函數

正弦(sin,藍色)、餘弦(cos,洋紅)、全弦(crd,黃色)、正矢(versin,綠色)、和半正矢(haversin,紅色)函數的函數圖形

正矢的值域範圍在0到2之間,類似的函數還有弦函數(crd),值域範圍也在0到2之間,但函數圖形略有差異。正矢函數的圖形與正弦函數的形狀相同,但x軸與y軸都平移了一段距離。正矢函數與其他「正」的三角函數(正弦正切正割)同樣是從零開始遞增的函數。

參見

註釋

Template:Reflist

參考文獻

Template:Refbegin Template:Reflist

Template:Refend

外部連結

Template:三角函數

  1. The Āryabhaṭīya by Āryabhaṭa
  2. 2.0 2.1 Template:Cite book (Fourth edition: [1] Template:Wayback.)
  3. 3.0 3.1 3.2 3.3 3.4 Template:AS ref
  4. Template:Cite web
  5. Template:Cite book
  6. Template:Cite book
  7. 7.0 7.1 7.2 7.3 7.4 Template:Cite book
  8. Template:Cite book
  9. Template:Cite book
  10. 10.0 10.1 Template:AnchorTemplate:Cite book (See errata.)
  11. 11.0 11.1 11.2 11.3 11.4 Template:Cite web
  12. Template:Cite book
  13. 13.0 13.1 13.2 13.3 Template:AnchorTemplate:Cite book (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)
  14. Template:Cite web
  15. 15.0 15.1 15.2 Template:AnchorTemplate:Cite bookaccess-date=2015-11-07--> (reissued by Cambridge University Press, 2009; Template:Isbn)
  16. 16.0 16.1 16.2 Template:AnchorTemplate:Cite book (See errata.)
  17. 17.0 17.1 17.2 Template:Cite book
  18. 18.0 18.1 Template:Cite mathworld
  19. 19.0 19.1 19.2 19.3 Template:Cite mathworld
  20. 20.0 20.1 Template:Cite mathworld
  21. 21.0 21.1 21.2 21.3 Template:Cite mathworld
  22. Template:Cite book
  23. Template:Cite web
  24. Template:Cite book
  25. Template:Cite web
  26. 26.0 26.1 Template:Cite journal
  27. 27.0 27.1 27.2 Template:Cite mathworld
  28. 28.0 28.1 Template:Cite mathworld
  29. 29.00 29.01 29.02 29.03 29.04 29.05 29.06 29.07 29.08 29.09 29.10 Template:Cite web
  30. 30.0 30.1 Template:Cite mathworld
  31. 31.0 31.1 31.2 Template:OED
  32. 32.0 32.1 32.2 32.3 Template:Cite book
  33. 33.0 33.1 33.2 Template:Cite web
  34. H. B. Goodwin, The haversine in nautical astronomy, Naval Institute Proceedings, vol. 36, no. 3 (1910), pp. 735–746: Evidently if a Table of Haversines is employed we shall be saved in the first instance the trouble of dividing the sum of the logarithms by two, and in the second place of multiplying the angle taken from the tables by the same number. This is the special advantage of the form of table first introduced by Professor Inman, of the Portsmouth Royal Navy College, nearly a century ago.
  35. W. W. Sheppard and C. C. Soule, Practical navigation (World Technical Institute: Jersey City, 1922).
  36. E. R. Hedrick, Logarithmic and Trigonometric Tables (Macmillan, New York, 1913).
  37. Template:AnchorTemplate:Cite journal (NB. According to Cajori, 1929[13], this journal has a discussion on the origin of haversines.)
  38. Template:AnchorTemplate:Cite journal (NB. According to Cajori, 1929[13], this journal has a discussion on the origin of haversines.)
  39. Template:OED
  40. Template:Cite book (NB. Contains a table of Gaussian logarithms lg(1+10−x).)
  41. Template:Cite web[2] Template:Wayback[3]
  42. Template:Cite web
  43. 43.0 43.1 43.2 Template:Cite web
  44. 44.0 44.1 44.2 44.3 44.4 44.5 Template:Cite web
  45. 45.0 45.1 45.2 45.3 45.4 45.5 Template:Cite web
  46. 46.0 46.1 Template:Cite news
  47. 47.0 47.1 Template:Cite web
  48. 48.0 48.1 Template:Cite web
  49. Template:Cite web
  50. 50.0 50.1 Template:Cite web
  51. 51.0 51.1 Template:Cite web
  52. Template:Cite book
  53. Template:Cite book
  54. Template:Cite book
  55. Template:Cite web
  56. Template:Cite journal


引用错误:名称为“註”的group(分组)存在<ref>标签,但未找到对应的<references group="註"/>标签