半正矢公式是一种根据两点的经度和纬度来确定大圆上两点之间距离的计算方法，在导航有着重要地位。它是球面三角学中“半正矢定理”公式的特例，该定理涉及了球面三角形的边和角。尽管第一份英文版的半正矢表由詹姆斯·安德鲁在1805年印刷出版，但弗洛里安·卡乔里相信José de Mendoza y Ríos在1801年就使用过类似的术语。“半正矢”这个名字由詹姆斯·英曼在1835年创造。这个公式正如其名，用半正矢函数表达，通过 formula_1 而来。该公式可以用半正矢函数的任意倍数表达，如正矢函数（半正矢函