正矢

正矢（英文：versine、versed sine）是一种三角函数，出现于早期的（如梵语的第一节），其值为1和余弦函数的差formula_1。它的定义域是整个实数集，值域在0到2之间。它是周期函数，其最小正周期为formula_2（360°）。在自变量为formula_3（formula_4，其中formula_5为整数）时，该函数有极大值2；在自变量为formula_6（或formula_7）时，该函数有极小值0。正矢函数是偶函数，其图像关于轴对称。
概述.
正矢函数（versine或versed sine）
是一个三角函数，常计为formula_8、 formula_9、formula_10、 formula_11或 formula_12。
在拉丁语中，其被称为sinus versus（翻转的正弦）、 versinus、 versus或 sagitta（箭头）。
其等价定义为：
相关函数.
与上述四个函数类似，还存在四个“半值”函数：
历史与应用.
正矢和余矢.
普通的正弦函数在历史上有时被称为sinus rectus （「straight sine」，直译「直正弦」），以与「versed」的正弦函数，即正矢函数（sinus versus）进行对比。如果在原始上下文中检视函数的定义（单位圆），这些术语的含义就会很明显：
这张图也说明了为什么正矢有时被称为sagitta（拉丁语中箭头的意思），源自阿拉伯语用法sahem，具有相同的含义。 它本身来自印度单字「sara」（箭头），通常用来指「」。 如果把上下角formula_62的弧formula_63看成是「弓」，弦formula_50看成是「弦」，那么正矢对应的线段formula_55显然就是「箭矢」。
为了进一步与将正弦解释为「垂直」并且将正矢解释为「水平」保持一致，「矢」一字（sagitta）在此也可以视为横座标（图中的水平轴）的过时同义词。
1821年，奥古斯丁-路易·柯西使用术语「sinus versus」（siv）表达正矢，以及使用「cosinus versus」（cosiv）表达余矢（不过部分文献混淆了「余的正矢」与「余矢」，柯西在1821年的文献中并未讨论到「余的正矢」，因此它们可能起源于较晚的时间）。
从历史上看，正矢函数被认为是十分重要的三角函数之一。
当角formula_51十分接近于0的时候，正矢formula_8的值会是两个几乎相等的值的差，因此仅使用余弦函数的三角函数表来计算的话，该表需要非常高的精度才能在避免灾难性抵消对于计算正矢函数时所造成的数值误差，因此制作专用于正矢函数的三角函数表是有必要的。即使是使用-{zh-cn:计算器; zh-tw:计算机; zh-hk:计数机;}-或-{zh-cn:计算机; zh-hk:计算机; zh-tw:电脑; zh-sg:电脑;}-，由于舍入误差，对于较小的formula_51，也会建议使用formula_69公式来计算正矢值。
正矢的另一个历史优势是它的函数值总是非负的，因此除了单一特殊的角度（如formula_70及其同界角）为零之外，正矢函数的对数在任何地方都有定义，因此，乘法有涉及正矢函数的计算可以使用对数表来计算。
事实上，现存最早的正弦（半弦长）值表（与托勒密和其他希腊作家列出的弦函数表相对）是印度的Surya Siddhantha计算得出的，其可追溯到公元前3世纪，这个表是一个纪录了从0到90°之每3.75°的正弦和正矢数值的表。
正矢是应用半角公式formula_71的中间步骤，该公式由托勒密导出，用于建立此类数学用表。
半正矢.
半正矢函数出现于半正矢公式中，其可以据两点的经度和纬度来确定大圆上两点之间距离，且在导航术中被广泛地使用，因此十九和二十世纪初的导航和三角测量书中包含了半正矢值表和对数表。1835年，在其著作《航海与航海天文学：供英国海员使用》（Navigation and Nautical Astronomy: For the Use of British Seamen）第三版中创造了“半正矢”一词以简化地球表面两点之间的距离计算，应用于球面三角学关于导航的部分。
现代用途.
虽然正矢、余矢和半正矢及其反函数的使用可以追溯到几个世纪前，但其他五个余函数的名称（余的正矢、余的余矢、半余矢、余的半正矢、余的半余矢）似乎较晚才出现。
即便如此，这些函数到了近代都还是存在相关应用，例如正矢的相关函数半正矢有应用在一些少见领域的计算方法上，以及余的半正矢的相关函数则运用于讯号处理、控制理论、机率论和统计学中。
其中正矢的半值函数——半正矢函数在近几十年来发现了新的应用。如1995年来布鲁斯·D·斯塔克（Bruce D. Stark）利用之清晰的月角距计算方法，以及2014年提出用于之更紧凑的方法。
余的半正矢.
余的半正矢（havercosine）是余的正矢（vercosine）之半值函数，其定义为：
一个周期的正弦或更常见的余的正矢（vercosine）之半值函数（havercosine）波形也常用于讯号处理和控制理论中，作为脉冲或窗函数的形状（包括、汉恩–泊松窗和图基窗），因为它平滑地（在值和斜率上连续）从0递增到1（对于半正矢）再对称地递减回0。在这些应用中，它被称为或升余弦滤波器。 同样，余的正矢（vercosine）之半值函数（havercosine）也用于机率论和统计学的。
结语.
综观下来，正矢函数被认为是十分重要的三角函数之一，围绕其的余函数——余矢函数亦是如此。主要是为了在-{zh-cn:计算器; zh-tw:计算机; zh-hk:计数机;}-与-{zh-cn:计算机; zh-hk:计算机; zh-tw:电脑; zh-sg:电脑;}-发明之前高度仰赖三角函数表来计算的时代，避免出现灾难性抵消对于计算正矢函数以及余矢函数时所造成的数值误差。后来发现其对应的半值函数——半正矢能运用在导航术上因此被广泛使用。相应的每个函数都有其余函数，在这些函数发展的晚期，这些其余函数——如余的正矢、余的余矢、半余矢、余的半正矢、余的半余矢才逐渐被拿来讨论。但到了-{zh-cn:计算器; zh-tw:计算机; zh-hk:计数机;}-与-{zh-cn:计算机; zh-hk:计算机; zh-tw:电脑; zh-sg:电脑;}-发明之后，这些函数的需求逐渐式微，因此变得较少使用，但在特定领域仍有发挥空间，如余的半正矢能应用在讯号处理与机率统计上。
数学性质.
定义.
正矢、余矢、余的正矢、余的余矢、半正矢、半余矢、余的半正矢、余的半余矢定义如下：
圆周旋转.
这些函数具备圆周旋转性值。例如正矢和余矢即角度差90度、正矢和余的正矢角度差180度、正矢和余的余矢角度差270度，以此类推。半值函数亦然。
反函数.
这些函数也存在对应的反函数：
其他性质.
这些函数皆可以扩展到复平面。
马克劳林级数：
近似值.
当formula_77的正矢函数值formula_78与半径formula_79相比较小时，可以透过以下公式从半弦长度formula_80（上图所示的formula_53长）近似得出正矢值：
formula_82
或者，如果正矢函数值很小，且已知正矢函数值、半径和半弦长，则可以透过以下公式来估计计弧长formula_83（上图所示的formula_84）：
formula_85
这个公式为中国数学家沈括所知，两个世纪后，郭守敬提出了一个更准确的公式，也涉及弦弧间最大的距离。
工程中使用的更准确的近似是：
formula_86
任意曲线和弦.
术语「正矢」（versine）有时也用来描述任意平面曲线中弦与曲线间最大的距离，上面的圆是其中的一个特例。 给定曲线中两点之间的弦，从弦到曲线（通常在弦中点）的垂直距离称为正矢测量（versine measurement）或轨道曲线正矢测量。对于直线，任何弦的正矢为零，因此该测量表征了曲线的直线度。在极限情况下，当弦长formula_80趋近于零时，瞬时曲率的比率为formula_88。 这种用法在铁路运输中尤其常见，它描述了铁轨直线度的测量，并且它是铁路测量的之基础。
其他相关函数.
正矢的值域范围在0到2之间，类似的函数还有弦函数（crd），值域范围也在0到2之间，但函数图形略有差异。正矢函数的图形与正弦函数的形状相同，但x轴与y轴都平移了一段距离。正矢函数与其他「正」的三角函数（正弦、正切、正割）同样是从零开始递增的函数。