حساب المثلثات الكروية

مختصر لأهم العلاقات المثلثية في الهندسة الكروية

في الرياضيات، حساب المثلثات الكروية (بالإنجليزية: Spherical Trigonometry)‏ هو فرع من فروع الهندسة الكروية، يهتم بالعلاقة الموجودة بين الدوال المثلثية لزوايا المضلعات الكروية (وبالتحديد المثلثات الكروية، مثلثات رُسمن على كرة) محددات من قبل عدد من الدوائر العظمى المتقاطعة على الكرة. حساب المثلثات الكروية له أهمية كبيرة للحسابات في علم الفلك والجيوديسيا والملاحة.

من أجل المزيد من المعلومات حول أصول حساب المثلثات الكروية عند الإغريق والتطورات المهمة اللائي عرفها هذا المجال في العصر الإسلامي، انظر إلى تاريخ الحساب المثلثي وإلى الرياضيات في عصر الحضارة الإسلامية.

جاء هذا الموضوع ليؤتي ثماره في العصور الحديثة المبكرة مع تطورات مهمة قام بها جون نابير وديلامبر وآخرون، وحصل على شكل كامل بشكل أساسي بحلول نهاية القرن التاسع عشر مع نشر كتاب تودهنتر "Spherical trigonometry for the use of colleges and Schools". ومنذ ذلك الحين، تطورات مهمة كانت تطبيق طرق المتجهات واستخدام الطرق العددية.

التمهيدات

ثمانية مثلثات كروية محددة بتقاطع ثلاث دوائر عظمى.

المضلعات الكروية

المضلع الكروي هو متعدد الجوانب يقع على سطح الكرة يحدده عدد من أقواس الدوائر العظمى، والتي هي تقاطع السطح مع مستويات مارة بمركز الكرة. قد يكون لهذه متعددات الجوانب (أو الأقواس) أي عدد من الجوانب. مستويان يحددان هلالًا، يُطلق عليه أيضًا اسم "مضلع ثنائي" أو ثنائي الزوايا. النظير ثنائي الأضلاع للمثلث: مثال شائع هو السطح المنحني لقطعة كروية لبرتقالة. تحدد ثلاث مستويات مثلثا كرويا، الموضوع الرئيسي لهذه المقالة. تحدد أربع مستويات رباعيا كرويا: مثل هذا الشكل، والمضلعات ذات عدة أضلاع، يمكن دائمًا اعتبارها على أنها عدد من المثلثات الكروية.

من هذه النقطة سيقتصر المقال على مثلثات كروية، يشار إليها ببساطة على أنها "مثلثات".

الترميز

• يُشار إلى كل من الرؤوس والزوايا في الرؤوس بالحروف الكبيرة نفسها A و B و C.
• الزوايا A، وB وC للمثلث متساوية مع الزوايا بين المستويات التي تتقاطع مع سطح الكرة. تقاس الزوايا بالراديان. تكون زوايا المثلثات الكروية "العادية" (بالاتفاقية) أقل من π بحيث تكون π < A + B + C < 3π.
• يُشار إلى الأضلاع (الأقواس أو جوانب المثلث) بأحرف صغيرة a، وb و c. على كرة الوحدة (كرة نصف قطرها يساوي 1)، أطوالها تساوي عدديًا قياس الزوايا التي تقابل أقواس الدائرة العظمى في المركز بالراديان. أضلاع المثلثات الكروية "العادية" تكون (بالاتفاقية) أقل من π بحيث يكون 0 < a + b + c < 2π.
• نصف قطر الكرة يؤخذ كوحدة (يساوي 1). بالنسبة للمعضلات العملية المحددة في نصف قطر الكرة R، يجب قسمة الأطوال المقاسة للأضلاع على R قبل استخدام المتطابقات الواردة أدناه. بطريقة مماثلة، بعد حساب في كرة الوحدة، يجب ضرب الأضلاع a، وb وc في R.

المثلثات القطبية

المثلث القطبي A'B'C'

على الكرة التي مركزها O، نعتبر نقطتين A و B متمايزتين وليست متعاكستين قطريا. المستقيم الذي يشمل O ويعامد المستوي OAB ويقطع الكرة في نقطتين تسمى أقطاب المستوي (OAB).

بالنسبة للمثلث "العادي" ABC المرسوم على كرة، نسمي C' قطب المستوي (OAB) الواقع على نفس نصف الكرة التي تقع فيه C. نقوم بانشاء النقطتين A' وB' بنفس الطريقة. يسمى المثلث (A'B'C) بالمثلث القطبي للمثلث ABC.

تثبت مبرهنة مهمة جدًا أن زوايا وأضلاع المثلث القطبي تُعطى بواسطة:

${\begin{alignedat}{3}A'&=\pi -a,&\qquad B'&=\pi -b,&\qquad C'&=\pi -c,\\a'&=\pi -A,&b'&=\pi -B,&c'&=\pi -C.\end{alignedat}}$

لذلك، إذا تم إثبات أي متطابقة للمثلث ABC، فيمكننا على الفور اشتقاق متطابقة ثانية بتطبيق المتطابقة الأولى على المثلث القطبي عن طريق إجراء التعويضات المذكورة أعلاه. هذه هي الطريقة التي يتم اشتقاق معادلات جيب التمام التكميلية من معادلات جيب التمام. المثلث القطبي للمثلث القطبي هو المثلث الأصلي.

مجموع زوايا المثلثات

قد يصل مجموع زوايا المثلثات الكروية إلى 5π أي 900°، وقد يصل مجموع زوايا المثلثات الكروية "العادية" إلى 3π أي 540°.

قوانين الجيب وجيب التمام

قانون جيب التمام

قانون جيب التمام هي المتطابقة الأساسية لحساب المثلثات الكروية: جميع المتطابقات الأخرى، بما في ذلك قانون الجيب، قد تكون مشتقة من قاعدة جيب التمام.

$\cos a=\cos b\cos c+\sin b\sin c\cos A,\!$

$\cos b=\cos c\cos a+\sin c\sin a\cos B,\!$

$\cos c=\cos a\cos b+\sin a\sin b\cos C,\!$

تقارب هذه المتطابقات قاعدة جيب التمام للمثلثات المسطحة إذا كانت الأضلاع أصغر بكثير من نصف قطر الكرة. (في كرة الوحدة، إذا كانت a, b, c << 1: نضع $\sin a\approx a$ و $\cos a\approx 1-{a^{2} \over 2}$ وهكذا.)

في حال كانت أطوال الأقواس الثلاثة بالمثلث الكروي معلومة فيمكن استنتاج قيمة الزاوية المقابلة لكل قوس هكذا :

${\displaystyle \cos A\ ={\frac {\cos a-\cos b\cos c}{\sin b\sin c}}}$

${\displaystyle \cos B\ ={\frac {\cos b-\cos a\cos c}{\sin a\sin c}}}$

${\displaystyle \cos C\ ={\frac {\cos c-\cos a\cos b}{\sin a\sin b}}}$

قانون الجيب

تعطى قانون الجيب للمثلثات الكروية بواسطة الصيغة التالية:

${\frac {\sin A}{\sin a}}={\frac {\sin B}{\sin b}}={\frac {\sin C}{\sin c}}.$

تقارب هذه المتطابقات قانون الجيب للمثلثات المسطحة عندما تكون الأضلاع أصغر بكثير من نصف قطر الكرة.

المتطابقات

قواعد جيب التمام التكميلية

تطبيق قواعد جيب التمام على المثلث القطبي يعطي، أي تعويض A بـ π-a، وa ب π-A ...، إلخ.

${\begin{aligned}\cos A&=-\cos B\,\cos C+\sin B\,\sin C\,\cos a,\\\cos B&=-\cos C\,\cos A+\sin C\,\sin A\,\cos b,\\\cos C&=-\cos A\,\cos B+\sin A\,\sin B\,\cos c.\end{aligned}}$

صيغ ظل التمام للأجزاء الأربعة للمثلث

يمكن كتابة الأجزاء الستة للمثلث بترتيب دائري كـ (aCbAcB). تربط "صيغ ظل التمام"، أو "صيغ الأجزاء الأربعة"، قوسين وزاويتين مشكلة أربعة أجزاء متتالية حول المثلث، على سبيل المثال (aCbA) أو (BaCb). في مثل هذه المجموعة توجد أجزاء داخلية وخارجية: على سبيل المثال في المجموعة (BaCb) تكون الزاوية الداخلية C، والقوس الداخلي هو a، والزاوية الخارجية B، والقوس الخارجي هو b. يمكن كتابة قاعدة ظل التمام على النحو التالي:

cos (القوس الداخلي) cos(الزاوية الداخلية) = cot(القوس الخارجي) sin(القوس الداخلي) - cot(الزاوية الخارجية) sin(الزاوية الداخلية)

والمعادلات الستة الممكنة هي (مع المجموعة ذات الصلة الموضحة على اليمين):

${\begin{array}{lll}{\text{(CT1)}}\quad &\cos b\,\cos C=\cot a\,\sin b-\cot A\,\sin C,\qquad &(aCbA)\\[0ex]{\text{(CT2)}}&\cos b\,\cos A=\cot c\,\sin b-\cot C\,\sin A,&(CbAc)\\[0ex]{\text{(CT3)}}&\cos c\,\cos A=\cot b\,\sin c-\cot B\,\sin A,&(bAcB)\\[0ex]{\text{(CT4)}}&\cos c\,\cos B=\cot a\,\sin c-\cot A\,\sin B,&(AcBa)\\[0ex]{\text{(CT5)}}&\cos a\,\cos B=\cot c\,\sin a-\cot C\,\sin B,&(cBaC)\\[0ex]{\text{(CT6)}}&\cos a\,\cos C=\cot b\,\sin a-\cot B\,\sin C,&(BaCb).\end{array}}$

متطابقات نصف الزاوية ونصف الضلع

مع $2s=(a+b+c)$ و$2S=(A+B+C)$:

${\begin{aligned}&\sin {\textstyle {\frac {1}{2}}}A=\left[{\frac {\sin(s{-}b)\sin(s{-}c)}{\sin b\sin c}}\right]^{1/2}&\qquad &\sin {\textstyle {\frac {1}{2}}}a=\left[{\frac {-\cos S\cos(S{-}A)}{\sin B\sin C}}\right]^{1/2}\\[2ex]&\cos {\textstyle {\frac {1}{2}}}A=\left[{\frac {\sin s\sin(s{-}a)}{\sin b\sin c}}\right]^{1/2}&\qquad &\cos {\textstyle {\frac {1}{2}}}a=\left[{\frac {\cos(S{-}B)\cos(S{-}C)}{\sin B\sin C}}\right]^{1/2}\\[2ex]&\tan {\textstyle {\frac {1}{2}}}A=\left[{\frac {\sin(s{-}b)\sin(s{-}c)}{\sin s\sin(s{-}a)}}\right]^{1/2}&\qquad &\tan {\textstyle {\frac {1}{2}}}a=\left[{\frac {-\cos S\cos(S{-}A)}{\cos(S{-}B)\cos(S{-}C)}}\right]^{1/2}\end{aligned}}$

يبدأ إثبات الصيغة الأولى من المتطابقة $2\sin ^{2}(A/2)=1-\cos A$، باستخدام قانون جيب التمام للتعبير عن A بدلالة القوسين وتعويض مجموع جيب التمام بجداء (طالع متطابقات التحويل من المجموع إلى الجداء). تبدأ الصيغة الثانية من المتطابقة $2\cos ^{2}(A/2)=1+\cos A$، والصيغة الثالثة هي حاصل القسمة ويتبع الباقي بتطبيق النتائج على المثلث القطبي.

صيغ ديلامبر (أو غاوس)

${\begin{aligned}&\\{\frac {\sin {\textstyle {\frac {1}{2}}}(A{+}B)}{\cos {\textstyle {\frac {1}{2}}}C}}={\frac {\cos {\textstyle {\frac {1}{2}}}(a{-}b)}{\cos {\textstyle {\frac {1}{2}}}c}}&\qquad \qquad &{\frac {\sin {\textstyle {\frac {1}{2}}}(A{-}B)}{\cos {\textstyle {\frac {1}{2}}}C}}={\frac {\sin {\textstyle {\frac {1}{2}}}(a{-}b)}{\sin {\textstyle {\frac {1}{2}}}c}}\\[2ex]{\frac {\cos {\textstyle {\frac {1}{2}}}(A{+}B)}{\sin {\textstyle {\frac {1}{2}}}C}}={\frac {\cos {\textstyle {\frac {1}{2}}}(a{+}b)}{\cos {\textstyle {\frac {1}{2}}}c}}&\qquad &{\frac {\cos {\textstyle {\frac {1}{2}}}(A{-}B)}{\sin {\textstyle {\frac {1}{2}}}C}}={\frac {\sin {\textstyle {\frac {1}{2}}}(a{+}b)}{\sin {\textstyle {\frac {1}{2}}}c}}\end{aligned}}$

صيغ نابير

${\begin{aligned}&&\\[-2ex]\displaystyle {\tan {\textstyle {\frac {1}{2}}}(A{+}B)}={\frac {\cos {\textstyle {\frac {1}{2}}}(a{-}b)}{\cos {\textstyle {\frac {1}{2}}}(a{+}b)}}\cot {\textstyle {\frac {1}{2}}C}&\qquad &{\tan {\textstyle {\frac {1}{2}}}(a{+}b)}={\frac {\cos {\textstyle {\frac {1}{2}}}(A{-}B)}{\cos {\textstyle {\frac {1}{2}}}(A{+}B)}}\tan {\textstyle {\frac {1}{2}}c}\\[2ex]{\tan {\textstyle {\frac {1}{2}}}(A{-}B)}={\frac {\sin {\textstyle {\frac {1}{2}}}(a{-}b)}{\sin {\textstyle {\frac {1}{2}}}(a{+}b)}}\cot {\textstyle {\frac {1}{2}}C}&\qquad &{\tan {\textstyle {\frac {1}{2}}}(a{-}b)}={\frac {\sin {\textstyle {\frac {1}{2}}}(A{-}B)}{\sin {\textstyle {\frac {1}{2}}}(A{+}B)}}\tan {\textstyle {\frac {1}{2}}c}\end{aligned}}$

انظر أيضا

• كرة لينارت
• متعدد أوجه كروي
• مثلث شفارز
• مسافة كروية
• ملاحة جوية
• ملاحة فلكية
• هندسة كروية
• حل المثلثات

وصلات خارجية

• جزء من كتاب جامعي يتحدث عن حساب المثلثات الكروية