半正矢

半正矢函数出现于半正矢公式中，其可以据两点的经度和纬度来确定大圆上两点之间距离，且在导航术中被广泛地使用，因此十九和二十世纪初的导航和三角测量书中包含了半正矢值表和对数表。^[8][9][10]第一份英文版的半正矢表由詹姆斯·安德鲁（James Andrew）在1805年印刷出版^[11]。而弗洛里安·卡乔里相信类似的术语在1801年就曾被约瑟夫·德门多萨以里奥斯（英语：Josef de Mendoza y Ríos）使用过^[12][13]。

1835年，詹姆斯·英曼（英语：James Inman）^[13][14][15]在其著作《航海与航海天文学：供英国海员使用》（Navigation and Nautical Astronomy: For the Use of British Seamen）第三版中创造了“半正矢”一词^[16]以简化地球表面两点之间的距离计算，应用于球面三角学关于导航的部分。^[17][16]

其他备受推崇的半正矢表还有理查德·法利（Richard Farley）发表于1856年的半正矢表^[18][19]以及约翰·考菲尔德·汉宁顿（John Caulfield Hannyngton）发表于1876年的半正矢表^[18][20]。

半正矢在导航术中持续有相关应用，而近几十年来发现了半正矢新的应用。如1995年来布鲁斯·D·斯塔克（Bruce D. Stark）利用高斯对数（英语：Gaussian logarithm）之清晰的月角距计算方法^[21][22]，以及2014年提出用于视线缩减（英语：Sight reduction）之更紧凑的方法^[7]。

半正矢定义为正矢函数的一半：^[1]

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

其他等价的定义包括：^[1]

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

对应的指数定义为：^[23]

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

半正矢也可以使用麦克劳林级数来定义：^[1]

${\displaystyle \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}}$ 

半正矢函数的微分为：^[1]

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

积分为：^[1]

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

反半正矢或反半正矢函数是半正矢函数的反函数。由于半正矢函数是周期函数，导致半正矢函数是双射且不可逆的而不是一个双射函数（即多个值可能只得到一个值，例如1和所有同界角），故无法有反函数，但我们可以限制其定义域，因此，反半正矢是单射和满射也是可逆的，另外，我们也需要限制值域，将半正矢函数函数的值域定义在${\displaystyle \left[0,\pi \right]}$ （[0,180°]）。在此定义下，其最小值为0、最大值为${\displaystyle \pi }$ （180°）。该定义只考虑了实数的部分，进一步的，我们可以将反半正矢以反正弦进行定义，进一步地将之推广到复数域：^[24]

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

反半正矢函数也可以使用级数来定义：^[24]

${\displaystyle \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}}}}$ 

反半正矢函数的微分与积分为：^[24]

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

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

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

${\displaystyle \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})}$ 

• ${\displaystyle d}$  是两点之间的距离（沿大圆，见球面距离）；
• ${\displaystyle r}$  是球的半径；
• ${\displaystyle \varphi _{1}\varphi _{2}}$  ：点 1 的纬度和点 2 的纬度，以弧度制度量；
• ${\displaystyle \lambda _{1}\lambda _{2}}$  ：点 1 的经度和点 2 的经度，以弧度制度量。

左边的等号 ${\displaystyle {\frac {d}{r}}}$  是圆心角，以弧度来度量。

给出一个单位球，一个在表面的球面三角形三个过三点 ${\displaystyle (u,v,w)}$  的大圆所围出来的区域。如图，这个球面三角形的三边分别是 ${\displaystyle a}$ （${\displaystyle \mathbf {u} }$  至 ${\displaystyle \mathbf {v} }$ ）， ${\displaystyle b}$  （${\displaystyle \mathbf {u} }$  到 ${\displaystyle \mathbf {w} }$ ）和 ${\displaystyle c}$  （${\displaystyle \mathbf {v} }$  至 ${\displaystyle \mathbf {w} }$ ）并且角 ${\displaystyle C}$  对边 ${\displaystyle c}$  那么有如下关系：

${\displaystyle \operatorname {hav} (c)=\operatorname {hav} (a-b)+\sin(a)\sin(b)\operatorname {hav} (C)}$ ^[25]

半余矢

半余矢（英文：hacoversed sine、hacoversine^[26]或 cohaversine）是半正矢的余角函数，为余矢函数的一半，写为hacoversin(θ)、 semicoversin(θ)、 hacovers(θ)、 hacov(θ)^[27]或hcv(θ)。

半余矢定义为：

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

其他等价的定义包括：^[26]

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

余的半正矢

余的半正矢（英文：haversed cosine^[28] or havercosine），是余的正矢函数的一半，写为havercosin(θ), havercos(θ), hac(θ)或 hvc(θ)。 余的半正矢定义为：

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

其他等价的定义包括：^[28]

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

余的半余矢

余的半余矢（英文：hacoversed cosine^[29]、 hacovercosine或 cohavercosine）是余的半正矢的余角函数，可定义为余的余矢函数的一半，写为hacovercosin(θ)、 hacovercos(θ)或 hcc(θ)。 余的半余矢定义为：

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

其他等价的定义包括：^[29]

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

1. ^ 在讯号分析中，hvs有时用于半正矢函数（haversine function），也有时代表单位阶跃函数。