正矢函数是数学中的三角函数，外文名为Versine、Versed sine，其表达式为versin(θ)=1-cosθ，值域在0至2之间。该函数的相关三角函数包括余矢、半正矢和半余矢。其中，半正矢因半正矢公式在导航术中的应用而广为人知，半余矢的定义与英文名称对应为hacoversed sine等。这些函数涉及微分与积分的数学操作。

余矢（英文：coversed sine、coversine），写为 ，有时亦缩写为 。

半正矢（英文：haversedsine、haversine），写为 ，因半正矢公式出名，且曾用于导航术。

半余矢（英文：hacoversed sine、hacoversine、cohaversine），写为 。