صيغة نصف السهم  تُحَدِّد صيغة نصف السهم أو صيغة نصف الجيب المعكوس مسافة الدائرة العظمى بين نقطتين على الكرة المعطاة بخطوط الطول ودوائر العرض. مهمة في الملاحة، إنها حالة خاصة للصيغة الأكثر عمومية في حساب المثلثات الكروية، قانون نصف السهم، الذي يربط جوانب وزوايا المثلثات الكروية.  وقد نشر الجدول الأول لنصف السهم باللغة الإنجليزية من قبل جيمس أندرو في 1805، ولكن فلوريان كايوري ينسب استخدام سابق إلى جوسيف دي مندوزا إي ريوس في 1801. تم صياغة الاسم الإنجليزي "Haversine" في عام 1835 من قبل .  هذه الأسماء تتبع من حقيقة أنها مكتوبة عادة بدلالة دالة نصف السهم، التي ادخلها . ويمكن أن تكون صيغ على قدم المساواة مكتوبة بدلالة أي مضاعف نصف السهم، مثل دالة السهم القديمة. قبل ظهور الحواسيب، كان إزالة القسمة والضرب بعوامل اثنين مناسبين بما فيه الكفاية بحيث تم وضع جداول قيم نصف السهم واللوغاريتمات في النصوص عن الملاحة وحساب المثلثات في القرن التاسع عشر وأوائل القرن العشرين. في هذه الأيام، يكون شكل نصف السهم مناسبًا أيضًا لأنه لا يحتوي على معامل أمام دالة مربع الجيب .  لتكن الزاوية المركزية بين أي نقطتين على الكرة:  formula_1  حيث:   تسمح صيغة نصف السهم بحساب نصف سهم الزاوية (أي )) مباشرة من خط العرض وخط الطول للنقطتين:  حيث   وأخيرا، فإن دالة نصف السهم ، المطبقة أعلاه على كل من الزاوية المركزية والفروق في خط العرض وخط الطول، هي:  لحل المسافة d، نقوم بتطبيق دالة «قوس نصف السهم» (الدالة العكسية لنصف السهم) على أو استخدام دالة قوس الجيب (دالة عكسية للجيب):  أو بشكل أكثر وضوحًا:  عند استخدام هذه الصيغ، يجب على المرء التأكد من أن لا يتجاوز 1 بسبب خطأ الفاصلة المتحركة ( هو عدد حقيقي وحيد من أجل ). يقترب فقط من 1 للنقاط المتقابلة قطريًا (على جوانب المتقابلة للكرة) -- في هذه المنطقة، تؤول الأخطاء العددية الكبيرة نسبيًا إلى الظهور في الصيغة عند استخدام المحدودة. (تُكتب الصيغة أعلاه أحيانًا بدلالة دالة قوس الظل، ولكن هذا يعاني من مشاكل رقمية مماثلة بالقرب من .)  كما هو موضح أدناه، يمكن كتابة صيغة مماثلة باستخدام جيب التمام (يسمى أحيانا قانون جيب للتمام الكروي، لا ينبغي الخلط بينه وبين قانون جيب التمام للهندسة المستوية) بدلا من نصف السهم، ولكن إذا كانت النقطتان متقاربتان (على سبيل المثال كيلومتر واحد، على الأرض) قد ينتهي بك الأمر مع ، مما يؤدي إلى إجابة غير دقيقة. بما أن صيغة نصف السهم يستخدم الجيوب، فإنه يتجنب تلك المشكلة.  أي من الصيغتين هو فقط تقريب عند تطبيقه على الأرض، وهي ليست كرة مثالية: يتراوح «نصف قطر الأرض» من 6356.752 كم عند القطبين إلى 6378.137 كم عند خط الاستواء. والأهم من ذلك، أن نصف قطر انحناء خط شمال-جنوب على سطح الأرض أكبر بنسبة 1% عند القطبين (تساوي تقريبًا 6399.594 كم) منه عند خط الاستواء (تساوي تقريبًا 6335.439 كم) -- وبالتالي لا يمكن ضمان صحة صيغة نصف السهم وقانون جيب التمام إلى أفضل من 0.5%. تعطى طرق أكثر دقة التي تراعي تفلطح الأرض من خلال والصيغ الأخرى.  باعتبار كرة الوحدة (كرة نصف قطرها 1)، تعرَّف «المثلث» على سطح الكرة بواسطة الدوائر العظمى التي تربط ثلاث نقاط و و على الكرة. إذا كانت أطوال هذه الأضلاع الثلاثة هي (من إلى )، و (من إلى )، و (من إلى )، والزاوية المقابلة لـ هي ، فإن قانون نصف السهم ينص على ما يلي:  formula_6  بما أن الكرة عبارة عن كرة الوحدة، فإن الأطوال و و تساوي ببساطة الزوايا (بالتقدير الدائري) التي تقابلها تلك الجوانب من مركز الكرة (بالنسبة إلى كرة غير الوحدة، يكون كل من تلك أطوال الأقواس مساويًا لزاويتها المركزية مضروبًا في نصف القطر للكرة).  من أجل الحصول على صيغة نصف السهم للقسم السابق من هذا القانون، نعتبر ببساطة الحالة الخاصة حيث u هو القطب الشمالي، بينما و هما النقطتان اللتان ستحدَّد فصلهما . في هذه الحالة، و هن (أي، تمام العرض)، و هو فصل خط الطول ، و هو المطلوب. مشيرا إلى أن ، يتبع صيغة نصف السهم على الفور.  لاشتقاق قانون نصف السهم، نبدأ مع قانون جيب التمام الكروي:  formula_7  كما ذكرنا أعلاه، فإن هذه الصيغة هي طريقة غير مشروطة لحل عندما تكون صغيرة. بدلاً من ذلك، نعوض المتطابقة ، ونستخدم أيضاً متطابقة الفرق ، للحصول على قانون نصف السهم المذكور الأعلاه.