半正矢(haversine)在三角函数中，称1/2（1－cosα)为角α的半正矢，记作havα， 即hav α=1/2(1一cosα)。半正矢函数为正矢(versed sine) 函数乘以1/2，在三角函数中，称1－cosα为角α的正矢，记作vers α， 即vers α=1一cosα。