Definition:Haversine

Definition
The haversine of an angle is defined as: