半正矢

在數學中，半正矢（英文：haversed sine、 haversine或semiversus）
或半正矢函數是一種三角函數，是正矢函數的一半，因半正矢公式出名，在早期導航術中，半正矢是一個很重要的函數，因為半正矢公式可以在給定角度位置（如經度和緯度）精確地計算出任何球面上的兩點間的距離，若不使用半正矢函數，則該計算會出現和對應反運算的，因此若有半正矢函數的函數表，則能夠省去平方及平方根的運算。

半正矢函數是一個周期函数，其最小正周期为（360°）。
其定義域為整個實數集，值域是。
在自变量为（，其中为整数）时，该函数有极大值1；在自变量为（或）时，该函数有极小值0。半正矢函数是偶函数，其图像关于y轴对称。

半正矢函數有很多種表示法，包括了haversin(θ)、 semiversin(θ)、 semiversinus(θ)、 havers(θ)、 hav(θ)、 hvs(θ)、在訊號分析中，hvs有時用於半正矢函數（haversine function），也有時代表单位阶跃函数。
sem(θ)或 hv(θ)。

 歷史 
半正矢函數出現於半正矢公式中，其可以据两点的经度和纬度来确定大圆上两点之间距离，且在導航術中被廣泛地使用，因此十九和二十世纪初的导航和三角测量书中包含了半正矢值表和对数表。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.W. W. Sheppard and C. C. Soule, Practical navigation (World Technical Institute: Jersey City, 1922).E. R. Hedrick, Logarithmic and Trigonometric Tables (Macmillan, New York, 1913).第一份英文版的半正矢表由詹姆斯·安德鲁（）在1805年印刷出版。而弗洛里安·卡喬里相信类似的术语在1801年就曾被使用过。

1835年，在其著作《航海与航海天文学：供英国海员使用》（Navigation and Nautical Astronomy: For the Use of British Seamen）第三版中创造了“半正矢”一词以简化地球表面两点之间的距离计算，應用於球面三角学關於导航的部分。

其他備受推崇的半正矢表還有理查德·法利（Richard Farley）發表於1856年的半正矢表   (A haversine table from 0° to 125°/135°.)以及約翰·考菲爾德·漢寧頓（John Caulfield Hannyngton）發表於1876年的半正矢表 (A 7-place haversine table from 0° to 180°, log. haversines at intervals of 15", nat. haversines at intervals of 10".)。

半正矢在導航術中持續有相關應用，而近幾十年來發現了半正矢新的應用。如1995年來布魯斯·D·斯塔克（Bruce D. Stark）利用之清晰的月角距計算方法 (NB. Contains a table of Gaussian logarithms lg(1+10−x).) ，以及2014年提出用於之更緊湊的方法。

 定義 
半正矢定義為正矢函數的一半：

其他等價的定義包括：

對應的指數定義為：

半正矢也可以使用麦克劳林级数來定義：

 微分與積分 
半正矢函數的微分為：

積分為：

 反半正矢 

反半正矢或反半正矢函數是半正矢函數的反函數。由於半正矢函數是週期函數，導致半正矢函數是雙射且不可逆的而不是一個對射函數（即多個值可能只得到一個值，例如1和所有同界角），故無法有反函數，但我們可以限制其定義域，因此，反半正矢是單射和滿射也是可逆的，另外，我們也需要限制值域，將半正矢函數函數的值域定義在（[0,180°]）。在此定義下，其最小值為0、最大值為（180°）。該定義只考慮了實數的部分，進一步的，我們可以將反半正矢以反正弦進行定義，進一步地將之推廣到複數域：

反半正矢函數也可以使用級數來定義：

反半正矢函數的微分與積分為：

 半正矢公式 

对于任何球面上的两点，圆心角的半正矢值可以通过如下公式计算：



  是两点之间的距离（沿大圆，见球面距离）；
  是球的半径；
  ：点 1 的纬度和点 2 的纬度，以弧度制度量；
  ：点 1 的经度和点 2 的经度，以弧度制度量。

左边的等号  是圆心角，以弧度来度量。

 半正矢定理 

给出一个单位球，一个在表面的球面三角形三个过三点  的大圆所围出来的区域。如图，这个球面三角形的三边分别是 （ 至 ），  （ 到 ）和  （ 至 ）并且角  对边  那么有如下关系：

 相關函數 
 半餘矢 
半餘矢（英文：hacoversed sine、hacoversine或 cohaversine）是半正矢的餘角函數，為餘矢函數的一半，寫為hacoversin(θ)、 semicoversin(θ)、 hacovers(θ)、 hacov(θ)或hcv(θ)。

半餘矢定義為：

其他等價的定義包括：

 餘的半正矢 
餘的半正矢（英文：haversed cosine or havercosine），是餘的正矢函數的一半，寫為havercosin(θ), havercos(θ), hac(θ)或 hvc(θ)。
餘的半正矢定義為：

其他等價的定義包括：

一個週期（）的正弦或更常見的餘的半正矢（havercosine）波形也常用於訊號處理和控制理論中，作為脈衝或窗函數的形狀（包括、漢恩–泊松窗和圖基窗），因為它平滑地（在值和斜率上連續）從0遞增到1（對於半正矢），再對稱地遞減回0。在訊號分析中，hvs有時用於半正矢函數（haversine function），也有時代表单位阶跃函数。 在這些應用中，它被稱為或升餘弦濾波器。 同樣，餘的正矢（vercosine）之半值函數（havercosine）也用於機率論和統計學的。

可以使用餘的半正矢定義如下：

 餘的半餘矢 
餘的半餘矢（英文：hacoversed cosine、 hacovercosine或 cohavercosine）是餘的半正矢的餘角函數，可定義為餘的餘矢函數的一半，寫為hacovercosin(θ)、 hacovercos(θ)或 hcc(θ)。
餘的半餘矢定義為：

其他等價的定義包括：

 註釋 

 參考文獻 

Category:三角函数