กฎของโคไซน์ ขยายทฤษฎีบทพีทาโกรัสไปสู่รูปสามเหลี่ยมใด ๆ:
โดยที่ คือด้านตรงข้ามมุม และ คือด้านอีกสองด้าน อย่างสมมาตร: ,
กรณีพิเศษ: เมื่อ , และสูตรยุบลงเป็น — ทฤษฎีบทพีทาโกรัส
กรณีการใช้งาน:
- SSS: เมื่อทราบด้านทั้งสาม หามุม:
- SAS: เมื่อทราบสองด้านและมุมที่อยู่ระหว่างกัน หาด้านที่สามได้โดยตรง
เป็นคู่หูกับ กฎของไซน์ เมื่อใช้ร่วมกันทั้งสองจัดการกรณีการแก้รูปสามเหลี่ยมทั้งสี่กรณี (SSS, SAS, ASA, AAS) ได้ — มีเพียง SSA (กรณีกำกวม) เท่านั้นที่ต้องระวังเป็นพิเศษ
กฎของโคไซน์ยังเป็นที่มาเชิงเรขาคณิตของ ผลคูณจุด ในการวิเคราะห์เวกเตอร์อีกด้วย: