半正矢公式是一種用於計算地球上兩點之間距離的球面三角學公式，它基於半正矢函式的定義，即1/2(1-cosα)。以下是半正矢公式的詳細介紹：
半正矢公式的基本形式為haversin(θ) = 1/2(1-cosθ)。
半正矢公式常用於導航和地圖製作中，因為它考慮了地球的曲率，從而更準確地計算兩點之間的距離。
半正矢公式的套用示例包括，已知地球上的兩個點A和B的經緯度坐標(lat1′和lng1′，lat2′和lng2′)，可以使用半正矢公式來計算這兩點之間的最短距離。公式可以表示為d = 2r * asin(sin2(lat2′-lat1′2) + cos(lat1′) * cos(lat2′) * sin2(lng2′-lng1′))，其中r是地球的平均半徑(約6371千米)。
以上信息希望對你有所幫助。