حساب المثلثات الكروية  في الرياضيات، حساب المثلثات الكروية هو فرع من فروع الهندسة الكروية، يهتم بالعلاقة الموجودة بين الدوال المثلثية لزوايا المضلعات الكروية، وبالتحديد المثلثات الكروية، محددات من قبل عدد من الدوائر العظمى المتقاطعة على الكرة. حساب المثلثات الكروية له أهمية كبيرة للحسابات في علم الفلك والجيوديسيا والملاحة.  من أجل المزيد من المعلومات حول أصول حساب المثلثات الكروية عند الإغريق والتطورات المهمة اللائي عرفها هذا المجال في العصر الإسلامي، انظر إلى تاريخ حساب المثلثات وإلى الرياضيات في عصر الحضارة الإسلامية.  جاء هذا الموضوع ليؤتي ثماره في العصور الحديثة المبكرة مع تطورات مهمة قام بها جون نابير وديلامبر وآخرون، وحصل على شكل كامل بشكل أساسي بحلول نهاية القرن التاسع عشر مع نشر كتاب تودهنتر "Spherical trigonometry for the use of colleges and Schools". ومنذ ذلك الحين، تطورات مهمة كانت تطبيق طرق المتجهات واستخدام الطرق العددية.  المضلع الكروي هو متعدد الجوانب يقع على سطح الكرة يحدده عدد من أقواس الدوائر العظمى، والتي هي تقاطع السطح مع مستويات مارة بمركز الكرة. قد يكون لهذه متعددات الجوانب (تسمى أيضًا الأقواس) أي عدد من الجوانب. مستويان يحددان هلالًا، يُطلق عليه أيضًا اسم «مضلع ثنائي» أو ثنائي الزوايا. النظير ثنائي الأضلاع للمثلث: مثال شائع هو السطح المنحني لقطعة كروية لبرتقالة. تحدد ثلاث مستويات مثلثا كرويا، الموضوع الرئيسي لهذه المقالة. تحدد أربع مستويات رباعيا كرويا: مثل هذا الشكل، والمضلعات ذات عدة أضلاع، يمكن دائمًا اعتبارها على أنها عدد من المثلثات الكروية.  من هذه النقطة سيقتصر المقال على مثلثات كروية، يشار إليها ببساطة على أنها «مثلثات».   على الكرة التي مركزها O، نعتبر نقطتين A و B متمايزتين وليست متعاكستين قطريا. المستقيم الذي يشمل O ويعامد المستوي OAB ويقطع الكرة في نقطتين تسمى أقطاب المستوي (OAB).  بالنسبة للمثلث «العادي» ABC المرسوم على كرة، نسمي قطب المستوي (OAB) الواقع على نفس نصف الكرة التي تقع فيه C. نقوم بانشاء النقطتين و بنفس الطريقة. يسمى المثلث (A'B'C) بالمثلث القطبي للمثلث ABC.  تثبت مبرهنة مهمة جدًا أن زوايا وأضلاع المثلث القطبي تُعطى بواسطة:  لذلك، إذا تم إثبات أي متطابقة للمثلث ABC، فيمكننا على الفور اشتقاق متطابقة ثانية بتطبيق المتطابقة الأولى على المثلث القطبي عن طريق إجراء التعويضات المذكورة أعلاه. هذه هي الطريقة التي يتم اشتقاق معادلات جيب التمام التكميلية من معادلات جيب التمام. المثلث القطبي للمثلث القطبي هو المثلث الأصلي.  قد يصل مجموع زوايا المثلثات الكروية إلى أي ، وقد يصل مجموع زوايا المثلثات الكروية «العادية» إلى أي . قانون جيب التمام هي المتطابقة الأساسية لحساب المثلثات الكروية: جميع المتطابقات الأخرى، بما في ذلك قانون الجيب، قد تكون مشتقة من قاعدة جيب التمام. تقارب هذه المتطابقات قاعدة جيب التمام للمثلثات المسطحة إذا كانت الأضلاع أصغر بكثير من نصف قطر الكرة. (في كرة الوحدة، إذا كانت نضع formula_5 و formula_6 وهكذا.)  في حال كانت أطوال الأقواس الثلاثة بالمثلث الكروي معلومة فيمكن استنتاج قيمة الزاوية المقابلة لكل قوس هكذا:  formula_7  formula_8  formula_9  تعطى قانون الجيب للمثلثات الكروية بواسطة الصيغة التالية: تقارب هذه المتطابقات قانون الجيب للمثلثات المسطحة عندما تكون الأضلاع أصغر بكثير من نصف قطر الكرة. تطبيق قواعد جيب التمام على المثلث القطبي يعطي، أي تعويض A بـ π-a، وa ب π-A ... إلخ.  يمكن كتابة الأجزاء الستة للمثلث بترتيب دائري كـ (aCbAcB). تربط «صيغ ظل التمام»، أو «صيغ الأجزاء الأربعة»، قوسين وزاويتين مشكلة أربعة أجزاء متتالية حول المثلث، على سبيل المثال (aCbA) أو (BaCb). في مثل هذه المجموعة توجد أجزاء داخلية وخارجية: على سبيل المثال في المجموعة (BaCb) تكون الزاوية الداخلية C، والقوس الداخلي هو a، والزاوية الخارجية B، والقوس الخارجي هو b. يمكن كتابة قاعدة ظل التمام على النحو التالي:  والمقصود بخارجية وخارجي هُنا أي تقع في الشِّقِّ الثاني من المُعادلة بعد علامة "="، وداخلية وداخلي مقصود يقعان قبل علامة يساوي ولذلك توضع الخوارج على طرفي القوسين والدواخل في وسطي القوسين بين الرَّمزين اللذين على الطرفين اليمين واليسار.  وتكتب المعادلة بحيث يكون الدواخل قبل علامة = على اليسار مع دالة الجيب sin والخوارج مع دالة ظل التمام cot ؛  والمعادلات السِّتَّة المُمْكِنة هي (مع المجموعة ذات الصلة الموضحة على اليمين):  قَد يكون القانون أسهل لو كتب بصيغة دالَّة الظِّل tan في المَقام هكذا :  حيث b و C داخليان أي مع دالة الجيب وفي الطرف الذي يسبق علامة = من المُعادلة ، a و A خارجيان أي مع دالة الظل tan في المقام والتي = المعكوس الضَّربي لدالة ظل التمام ويلاحظ أن a و A عبارة عن زاوية وقوس مقابلة لها عكس ، C و b حيث لا عِلاقة بينهما ؛  ملحوظة : الرَّموز ( . ) و ( * ) و ( × ) أو الفراغ ( ) بين رمزين كُلها تُشير للضرب في المُعادلات .  مع formula_12 وformula_13: يبدأ إثبات الصيغة الأولى من المتطابقة formula_14، باستخدام قانون جيب التمام للتعبير عن A بدلالة القوسين وتعويض مجموع جيب التمام بجداء (طالع متطابقات تحويل المجموع إلى الجداء). تبدأ الصيغة الثانية من المتطابقة formula_15، والصيغة الثالثة هي حاصل القسمة ويتبع الباقي بتطبيق النتائج على المثلث القطبي.  فيما يلي صيغ نابير: التعويض بقانون جيب التمام الثالث في القانون الأول وتبسيطه يعطي: يعطي حذف العامل formula_18 :  تعطي التعويضات المشابهة في صيغ جيب التمام والصيغ التكميلية لجيب التمام مجموعة كبيرة ومتنوعة من قواعد الأجزاء الخمسة. ولكنها نادرا ما تُستخدَم.  أسهم عالما الفلك والرياضيات اليونانيين أبرخش ومنيلاوس الإسكندري، وعلماء عصر الحضارة الإسلامية والهنود إسهامًا كبيراً في حساب المثلثات، وخاصة حساب المثلثات الكروية؛ من أشهرهم بهاسكارا الثاني ومنصور بن عراق وأبو الوفاء البوزجاني والبيروني الذين برهنوا على قانون الجيب لأي مثلث وكذلك الصيغ للمثلثات القائمة. يحتل حساب المثلثات الكروية مكانًا مهمًا في أطروحات علماء الفلك المسلمين وتخصص له أطروحات محددة، مثل أطروحة «مجهولات قِسِي الكرة» لابن معاذ الجيّاني (القرن الحادي عشر)، وهو عالم رياضيات من الأندلس، وأطروحة «شكل القطاع» لنصير الدين الطوسي (القرن الثالث عشر).