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

半正矢函數是一個週期函數，其最小正週期為 $2\pi $ （360°）。其定義域為整個實數集，值域是 $[0,1]$ 。在自變數為 $(2n+1)\pi $ （ $360^{\circ }n+180^{\circ }$ ，其中 $n$ 為整數）時，該函數有極大值 1；在自變數為 $2n\pi $ （或 $360^{\circ }n$ ）時，該函數有極小值 0。半正矢函數是偶函數，其圖像關於 y 軸對稱。

半正矢函數有很多種表示法，包括了 haversin(_θ_)、 semiversin(_θ_)、 semiversinus(_θ_)、 havers(_θ_)、 hav(_θ_)、 hvs(_θ_)、 sem(_θ_) 或 hv(_θ_)。



歷史

半正矢函數出現於半正矢公式中，其可以據兩點的經度和緯度來確定大圓上兩點之間距離，且在導航術中被廣泛地使用，因此十九和二十世紀初的導航和三角測量書中包含了半正矢值表和對數表。第一份英文版的半正矢表由詹姆斯・安德魯（James Andrew）在 1805 年印刷出版。而弗洛里安・卡喬里相信類似的術語在 1801 年就曾被約瑟夫・德門多薩以里奧斯使用過。

1835 年，詹姆斯・英曼在其著作《航海與航海天文學：供英國海員使用》（Navigation and Nautical Astronomy: For the Use of British Seamen）第三版中創造了「半正矢」一詞以簡化地球表面兩點之間的距離計算，應用於球面三角學關於導航的部分。

其他備受推崇的半正矢表還有理察・法利（Richard Farley）發表於 1856 年的半正矢表以及約翰・考菲爾德・漢寧頓（John Caulfield Hannyngton）發表於 1876 年的半正矢表。

半正矢在導航術中持續有相關應用，而近幾十年來發現了半正矢新的應用。如 1995 年來布魯斯・D・斯塔克（Bruce D. Stark）利用高斯對數之清晰的月角距計算方法，以及 2014 年提出用於視線縮減之更緊湊的方法。



定義

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

　
: $\operatorname {hav} z={\frac {1}{2}}\operatorname {vers} z$

其他等價的定義包括：

　
: $\operatorname {hav} z={\frac {1-\cos z}{2}}=\sin ^{2}{\frac {z}{2}}$

對應的指數定義為：

　
: $\operatorname {hav} z={\frac {2-e^{iz}-e^{-iz}}{4}}$

半正矢也可以使用馬克勞林級數來定義：

　
: $\operatorname {hav} z={\frac {z^{2}}{4}}-{\frac {z^{4}}{48}}+{\frac {z^{6}}{1440}}-{\frac {z^{8}}{80640}}+\cdots =\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{2(2k)!}}z^{2k}$



微分與積分

半正矢函數的微分為：

　
: ${\frac {d}{dz}}\operatorname {hav} z={\frac {\sin z}{2}}$

積分為：

　
: $\int \operatorname {hav} z\;dz={\frac {z-\sin z}{2}}+C\,\!$



反半正矢

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

　
: $\operatorname {archav} z=2\arcsin {\sqrt {z}}$

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

　
: $\operatorname {archav} x=2x^{\frac {1}{2}}+{\frac {x^{\frac {3}{2}}}{3}}+{\frac {3x^{\frac {5}{2}}}{20}}+{\frac {5x^{\frac {7}{2}}}{56}}+\cdots =\sum _{n=0}^{\infty }{\frac {1}{2^{2n-1}\left(2n+1\right)}}{\binom {2n}{n}}x^{n+{\frac {1}{2}}}$

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

　
: ${\frac {d}{dz}}\operatorname {archav} z={\frac {1}{\sqrt {\left(1-z\right)z}}}$

　
: $\int \operatorname {archav} z\;dz=\left(2z-1\right)\arcsin \left({\sqrt {z}}\right)+{\sqrt {z\left(1-z\right)}}+C\,\!$



半正矢公式

對於任何球面上的兩點，圓心角的半正矢值可以通過如下公式計算：

　
: $\operatorname {hav} \left({\frac {d}{r}}\right)=\operatorname {hav} (\varphi _{2}-\varphi _{1})+\cos(\varphi _{1})\cos(\varphi _{2})\operatorname {hav} (\lambda _{2}-\lambda _{1})$

 
* $d$ 是兩點之間的距離（沿大圓，見球面距離）；

* $r$ 是球的半徑；

* $\varphi _{1}\varphi _{2}$ ：點 1 的緯度和點 2 的緯度，以弧度制度量；

* $\lambda _{1}\lambda _{2}$ ：點 1 的經度和點 2 的經度，以弧度制度量。

左邊的等號 ${\frac {d}{r}}$ 是圓心角，以弧度來度量。



半正矢定理

給出一個單位球，一個在表面的球面三角形三個過三點 $(u,v,w)$ 的大圓所圍出來的區域。如圖，這個球面三角形的三邊分別是 $a$ （ $\mathbf {u} $ 至 $\mathbf {v} $ ）， $b$ （ $\mathbf {u} $ 到 $\mathbf {w} $ ）和 $c$ （ $\mathbf {v} $ 至 $\mathbf {w} $ ）並且角 $C$ 對邊 $c$ 那麼有如下關係：

　
: $\operatorname {hav} (c)=\operatorname {hav} (a-b)+\sin(a)\sin(b)\operatorname {hav} (C)$



相關函數

半餘矢

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

半餘矢定義為：

　
: $\operatorname {hacoversin} z={\frac {1}{2}}\operatorname {coversin} z$

其他等價的定義包括：

　
: $\operatorname {hacoversin} z={\frac {1-\sin z}{2}}$

餘的半正矢

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

　
: $\operatorname {havercosin} z={\frac {1}{2}}\operatorname {vercosin} z$

其他等價的定義包括：

　
: $\operatorname {hacoversin} z=\cos ^{2}\!\left({\frac {z}{2}}\right)={\frac {1+\cos z}{2}}$

餘的半餘矢

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

　
: $\operatorname {hacovercosin} z={\frac {1}{2}}\operatorname {covercosin} z$

其他等價的定義包括：

　
: $\operatorname {hacovercosin} z={\frac {1+\sin z}{2}}$



註釋



參考文獻