Dalam trigonometri, petua kosinus juga dikenali sebagai formula kosinus, hukum kosinus, atau teorem al-Kashi. Petua kosinus ini adalah berkaitan dengan hubungan diantara panjang sisi segitiga dengan kosinus salah satu sudutnya. Teorem ini muncul apabila timbul isu yang berbunyi, "jika kita hanya diberi tiga sisi segitiga bagaimana kita mampu mencari semua sudut tersebut?".