球面三角形中，用半正矢量函数表达两边夹角及其对边或两角夹边及其对角的关系式。半正矢函数为正矢函数（1-余弦函数）之半，即1/2（1-余弦函数），符号为hav。因此，可将1/2（1-cosα）写作havα、1/2（1-cosA）写作havA等。根据球面余弦公式，可求得球面半正矢公式为：一边的半正矢等于另外两边差的半正矢加上另外两边正弦和它们夹角的半正矢的连乘积。其表达式为： havα=hav（b-c）+sinb sinc havA ，过去航海天文经常用此式求天体高度，但因手续较繁，并需专门的半正矢函数表，因此目前已趋淘汰。