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

الصيغة الأولى (لحساب طول ضلع):

c² = a² + b² - 2ab cos(C)

حيث:

* `a`, `b`, و `c` هي أطوال أضلاع المثلث.
* `C` هي الزاوية المقابلة للضلع `c`.

الصيغة الثانية (لحساب زاوية):

C = arccos((a² + b² - c²) / 2ab)

حيث:

* `a`, `b`, و `c` هي أطوال أضلاع المثلث.
* `C` هي الزاوية المقابلة للضلع `c`. (arccos هي دالة جيب التمام العكسي)


بإختصار، يُستخدم قانون جيب التمام لحساب:

*

طول ضلع مجهول

إذا كانت أطوال الضلعين الآخرين والزاوية المحصورة بينهما معروفة.
*

قيمة زاوية مجهولة

إذا كانت أطوال الأضلاع الثلاثة معروفة.

يعتبر قانون جيب التمام تعميمًا لنظرية فيثاغورس، حيث تتحول إلى نظرية فيثاغورس عندما تكون الزاوية C تساوي 90 درجة (أي في المثلث القائم الزاوية).