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

ملف:Triangle with notations.svg
شكل. 1 - المفاهيم المستعملة في مثلث ما.

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

نعتبر مثلث ABC, حيث نستعمل المفاهيم الموجودة في الشكل1: من جهة α, β وγ بالنسبة للزوايا, ومن جهة أخرى a, b وc بالنسبة للأضلاع. مبرهنة الكاشي هي:

c2=a2+b22abcosγ.

تاريخ

ملف:Obtuse-triangle-with-altitude.png
شكل. 2 - مثلث ABC مع ارتفاع BH

في كتاب العناصر لإقليدس، نجد مقاربة هندسية لتعميم مبرهنة فيثاغورس: نجد في الكتاب2 العبارتين 12 و 13, حيث يتم التطرق لحالة مثلث عادي بزاوية منفرجة وفي مثلث عادي بزوايا حادة. لكن عدم وجود الدوال المثلثية (آنذاك) وكذلك الجبر أدى إلى استعمال المساحات.

فالعبارة 12 : في المثلث المنفرج الزاوية يكون مساحة المربع المنشأ على الضلع المقابل للزاوية المنفرجة مساوياً لمجموع مساحتي المربعين المنشأين على الضلعين الآخرين مضافاً إلى هذا المجموع ضعف مساحة المستطيل الذي بعداه طول أحد هذين الضلعين وطول مسقط الضلع الآخر عليه. وفي الشكل المقابل المثلث ABC مثلث منفرج الزاوية في C والقطعة المستقيمة CH هي مسقط الضلع BC على الضلع AC (انظر شكل2) وبالتالي وطبقاً للنظرية يكون

AB2=CA2+CB2+2(CA)(CH).

و كان يجب أنتظار العرب المسلمين لتظهر الدوال المثلثية لرؤية المبرهنة في تطورها: فالفلكي والرياضي البتاني عمم نتيجة إقليدس في الهندسة الفضائية والتي مكنت من القيام بحساب المسافات بين النجوم. وفي نفس الوقت تم إنشاء جداول للدوال المثلثية والتي أتاحت للعالم غياث الدين الكاشي صياغة المبرهنة في شكلها النهائي.

تطبيقات

مبرهنة الكاشي في تعميم لمبرهنة فيتاغورس, عندما تكون الزاوية :γ قائمة, أو عندما يكون: cosγ=0, المبرهنة تصبح:c2=a2+b2, و عكسيا.

ملف:Triangle-with-an-unknown-angle-or-side.png
شكل. 3 - تطبيق المبرهنة :الكاشي زاوية أو ضلع مجهول.

النظرية تستعمل في المثلثات(انظر شكل. 3)حل مثلث، أي تحديد:

  • الضلع الثالث لمثلث نعرف فيه زاوية والضلعين المكونين لها:
c=a2+b22abcosγ ;
  • زوايا مثلث نعرف فيه الأضلاع:
γ=arccosa2+b2c22ab.

البرهان

بتقسيم المساحات

من بين طرق البرهنة حساب المساحات، حيث يتم ملاحظة ما يلي:

  • a2, b2 وc2 هي مساحات لمربع أضلاعه على التوالي a, b وc
  • ab|cosγ| وهو ل متوازي أضلاع من جهةa وb يكونان زاوية π/2γ, تغيير إشارة: cosγ تصبح الزاوية γ منفرجة تجعل دراسة الحالات ضرورية.
ملف:Law of cosines with acute angles.png
شكل. 4أ - البرهنة بالنسبة للزوايا الحادة : « طريقة التقسيم ».

الشكل 4أ (جانبه) يقسم سباعي بكيفيتين مختلفتين حيث تتم البرهنة في حالة زاوية حادة. يدخل هنا :

  • بالوردي, lالمساحات a2, b2 في اليسار, والمساحات 2abcosγ وc2 في اليمين ;
  • بالأزرق, المثلث ABC, في اليمين كما في اليسار ;
  • بالرمادي, بعض المثلثات الإضافية, متطابقة مع المثلث ABC وبنفس العدد في التقسيمين.

تساوي المساحات في اليمين واليسار يعطي

a2+b2=c2+2abcosγ.


ملف:Law of cosines with an obtuse angle.png
شكل. 4ب - البرهنة بالنسبة للزوايا المنفرجة : « طريقة التقسيم ».

الشكل 4ب (جانبه) يقسم سداسي بكيفيتين مختلفتين بكيفية برهن في حالة زاوية منفرجة. الشكل يبين

  • بالوردي، المساحات a2, b2 و2abcosγ في اليسار, والمساحات c2 في اليمين ;
  • بالأزرق, مرتين المثلث ABC, في اليمين كما في اليسار.

تساوي المساحتين يمينا ويسارا يعطي

a2+b22abcosγ=c2.

باستعمال نظرية فيتاغورس

ملف:Triangle with trigonometric proof of the law of cosines.png
شكل. 5 - البرهنة باستعمال العلاقات المثلثية

الشكل 5 (جانبه) يبين طريقة البرهنة باستعمال مبرهنة فيتاغورس في مثلث قائم الزاوية ناتج عن طريق الارتفاع : c2=(asinγ)2+(bacosγ)2

بنفس الطريقة نبرهن في حالة مثلث بزاوية منفرجة

انظر أيضاً

ملف:Nuvola apps edu mathematics-ar.svg بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات.

als:Kosinussatz bg:Косинусова теорема bs:Kosinusni teorem ca:Teorema del cosinus cs:Kosinová věta da:Cosinusrelation de:Kosinussatz Law of cosines]] eo:Leĝo de kosinusoj es:Teorema del coseno eu:Kosinuaren teorema fa:قانون کسینوس‌ها fi:Kosinilause fr:Théorème d'Al-Kashi he:משפט הקוסינוסים hi:कोज्या नियम hu:Koszinusztétel hy:Կոսինուսների թեորեմ id:Hukum cosinus it:Teorema del coseno ja:余弦定理 ka:კოსინუსების თეორემა kk:Косинустар теоремасы km:ទ្រឹស្តីបទ​កូស៊ីនុស ko:코사인 법칙 ms:Hukum kosinus nl:Cosinusregel no:Cosinussetningen pl:Twierdzenie cosinusów pms:Teorema dël cosen pt:Lei dos cossenos ro:Teorema cosinusului ru:Теорема косинусов si:කෝසයින නියමය sk:Kosínusová veta sl:Kosinusni izrek sq:Teorema e kosinusit sr:Косинусна теорема sv:Cosinussatsen ta:கோசைன் விதி th:กฎของโคไซน์ tr:Kosinüs teoremi uk:Теорема косинусів ur:قانون جیب التمام zh:餘弦定理 zh-classical:餘弦定理