半正矢

($\left(2k+1\right)\pi$, 1)(360°k+180°, 1)

(2$k\pi$, 0)(360°k, 0)

$2k\pi$（$360^\circ k$）

$k\pi$（$180^\circ k$）

$k\pi-\tfrac{\pi}{2}$（$180^\circ k-90^\circ$）

在數學中，半正矢（英文：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年提出用於視線縮減之更緊湊的方法。

## 定義

<image>

<image>

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

$$\operatorname{hav} z = \frac12\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}$$

## 微分與積分

<image>

半正矢函數的微分為：

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

積分為：

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

## 反半正矢

<image>

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

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

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

$$\operatorname{archav} x = 2 x^\frac12 + \frac{x^\frac32}{3} + \frac{3x^\frac52}{20} + \frac{5x^\frac72}{56} + \cdots = \sum_{n=0}^\infty \frac{1}{2^{2n-1}\left( 2n+1\right)}\binom{2n}{n}x^{n+\frac12}$$

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

$$\frac d{dz}\operatorname{archav} z = \frac1\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)$

## 相關函數

### 半餘矢

<image>

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

半餘矢定義為：

$$\operatorname{hacoversin} z = \frac12\operatorname{coversin} z$$

其他等價的定義包括：

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

### 餘的半正矢

<image>

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

餘的半正矢定義為：

$$\operatorname{havercosin} z = \frac12\operatorname{vercosin} z$$

其他等價的定義包括：

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

<image>

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

升餘弦分佈可以使用餘的半正矢定義如下：

$$f(x;\mu,s)=\frac{1}{s}\operatorname{hvc}\left(\frac{x-\mu}{s}\,\pi\right)\,=\frac{1}{2s} \left[1+\cos\left(\frac{x-\mu}{s}\,\pi\right)\right]\,$$

### 餘的半餘矢

<image>

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

餘的半餘矢定義為：

$$\operatorname{hacovercosin} z = \frac12\operatorname{covercosin} z$$

其他等價的定義包括：

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