半正矢

($\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}$$