قانون جيب التمام أو قانون التجيب أو مبرهنة الكاشي هي مبرهنة في هندسة المثلثات[ملاحظة 1] تربط ضلع أي مثلث بضلعيه الآخرين وجيب تمام الزاوية المحصورة بينهما. ينص قانون جيب التمام على أنه في أي مثلث أطوال أضلاعه a, b, c المقابلة للزوايا α, β, γ فإنَّ:[1]
.
قانون جيب التمام يُعمم نظرية فيثاغورس لأي مثلث بأي زوايا. بوضع نجد أنَّ ومنها نظرية فيثاغورس .
في كتاب العناصرلإقليدس، نجد مقاربة هندسية لتعميم مبرهنة فيثاغورس: نجد في الكتاب 2 العبارتين 12 و13, حيث يتم التطرق لحالة مثلث عادي بزاوية منفرجة وفي مثلث عادي بزوايا حادة. لكن عدم وجود الدوال المثلثية (آنذاك) وكذلك الجبر أدى إلى استعمال المساحات.
فالعبارة 12 :
«في المثلث المنفرج الزاوية تكون مساحة المربع المنشأ على الضلع المقابل للزاوية المنفرجة مساوياً لمجموع مساحتي المربعين المنشأين على الضلعين الآخرين مضافاً إلى هذا المجموع ضعف مساحة المستطيل الذي بعداه طول أحد هذين الضلعين وطول مسقط الضلع الآخر عليه.»
وفي الشكل المقابل المثلث ABC مثلث منفرج الزاوية في C والقطعة المستقيمة CH هي مسقط الضلع BC على الضلع AC (انظر شكل2) وبالتالي وطبقاً للنظرية يكون
و كان يجب انتظار العرب المسلمين لتظهر الدوال المثلثية لرؤية المبرهنة في تطورها: فالفلكي والرياضي البتاني عمم نتيجة إقليدس في الهندسة الفضائية والتي مكنت من القيام بحساب المسافات بين النجوم. وفي نفس الوقت تم إنشاء جداول للدوال المثلثية والتي أتاحت للعالم غياث الدين الكاشي صياغة المبرهنة في شكلها النهائي.
تطبيقات
مبرهنة الكاشي في تعميم لمبرهنة فيتاغورس، عندما تكون الزاوية : قائمة، أو عندما يكون: ، المبرهنة تصبح:,
و عكسيا.
توجد نسخ مشابهة لقانون جيب التمام للمثلثات المستوية أيضًا في كرة الوحدة (نصف قطرها يساوي 1) وفي المستوي الزائدي. في الهندسة الكروية، يعرّف المثلث بثلاث نقاط u وv، و w على كرة الوحدة، وأقواس الدوائر العظمى التي تربط تلك النقاط. إذا كانت هذه الدوائر العظمى تصنع الزوايا A، B، و C مع الأضلاع المقابة a، b، c فإن القانون الكروي لجيب التمام ينص أن:
كما هو الحال في الهندسة الإقليدية ، يمكن للمرء استخدام قانون جيب التمام لتحديد الزوايا A, B, C من معرفة الأضلاع a، b، c. على عكس الهندسة الإقليدية، فإن العكس ممكن أيضًا في كلا المثلثين اللاإقليديين: تحدد الزوايا A، B، C الأضلاع a، b، c.