Haversine公式是一種用於計算地球上兩點之間大圓距離的公式，它基於球面三角學和經緯度之間的關係。該公式的形式如下：
[ d = 2R \times \arcsin(\sqrt{ \sin^2(\Delta\lat/2) + \cos(\lat1) \times \cos(\lat2) \times \sin^2(\Delta\lon/2) }) ]
其中：
( \lat1 ) 和 ( \lat2 ) 是兩個點的緯度（以弧度表示）。
( \lon1 ) 和 ( \lon2 ) 是兩個點的經度（以弧度表示）。
( \Delta\lat ) 是緯度之差，即 ( \lat2 - \lat1 )。
( \Delta\lon ) 是經度之差，即 ( \lon2 - \lon1 )。
( R ) 是地球的半徑，常用的單位是千米或英里。
Haversine公式是一種簡化了的球面距離計算方法，它通過使用半正矢函式（haversine function）來減少計算複雜性。半正矢函式定義為 ( \sin^2(\theta/2) )，這個函式在計算大圓距離時可以替代正弦函式的使用，從而提高了計算效率。在實際套用中，Haversine公式常用於導航和地理位置服務中，以快速計算兩地之間的距離。