Dalam trigonometri, aturan kosinus, rumus kosinus, hukum kosinus, atau rumus al-Kāshī, adalah persamaan yang memberikan hubungan antara panjang sisi-sisi segitiga dengan kosinus sudut pada segitiga tersebut. Menggunakan notasi pada Gambar 1, aturan kosinus menyatakandengan menyatakan besar sudut yang diapit oleh sisi dan , dan yang menghadap sisi . Dengan menggunakan gambar yang sama, dua persamaan lain dapat diperoleh:Aturan kosinus memperumum teorema Pythagoras, yang hanya berlaku untuk segitiga siku-siku: jika sudut siku-siku , maka nilai , dan akibatnya aturan kosinus berubah menjadi teorema Pythagoras,Aturan kosinus berguna untuk mencari panjang sisi ketiga dari segitiga jika hanya diketahui panjang dua sisi dan besar sudut yang diapit dua sisi tersebut. Penggunaan lain dari aturan ini adalah untuk menentukan besar sudut pada segitiga jika semua panjang sisinya diketahui. Sejarah Walaupun konsep kosinus belum dikembangkan pada masanya, Euklides dalam bukunya Elemen , memberikan teorema geometrik yang hampir sama dengan aturan kosinus. Dalam buku tersebut membahas dua kasus: segitiga lancip dan segitiga tumpul, yang masing-masing bersesuaian dengan kasus nilai kosinus positif dan nilai kosinus negatif. Menggunakan notasi yang tertera pada Gambar 2, teorema oleh Euklides dapat ditulis sebagaiRumus tersebut dapat diubah menjadi aturan kosinus dengan mensubtitusi . Perkembangan trigonometri di zaman keemasan Islam memperluas cakupan dan memperbaiki bentuk dari teorema oleh Euklides tersebut. Pada abad kesepuluh, Al-Battani memperumum hasil perolehan Euklid untuk geometri bola. Pada abad kelima belas, dengan telah dikenalnya fungsi trigonometri, Jamshīd al-Kāshī untuk pertama kalinya menyatakan aturan kosinus dalam rumus yang mudah dipakai dalam proses triangulasi. Rumus ini dipopulerkan di dunia barat oleh François Viète pada abad keenam belas. Selanjutnya pada awal abad ke-19, penggunaan notasi aljabar yang modern memungkinkan aturan kosinus ditulis dalam bentuk yang dikenal saat ini. Penerapan Aturan kosinus dapat digunakan untuk menyelesaikan masalah triangulasi. Ada beberapa kasus yang dapat diselesaikan secara langsung dengan aturan ini : Menentukan panjang sisi ketiga dari segitiga, jika diketahui panjang kedua sisi lainnya dan besar sudut yang diapit oleh dua sisi tersebut: Besar titik sudut pada segitiga jika panjang semua sisi diketahui: Persamaan-persamaan ini menghasilkan galat pembulatan yang besar jika segitiga sangat lancip, maksudnya panjang jauh lebih kecil daripada panjang dan , atau sudut jauh lebih kecil daripada 1. Bukti Menggunakan teorema Phytagoras Perhatikan gambar berikut. Dengan teorema Pythagoras dapat ditulis atau dan akibatnya diperoleh dapat diturunkan Dari definisi kosinus, dapat ditulis . Sehingga bentuk persamaan di atas dapat ditulis Triangulasi Hukum sinus Rujukan Trigonometri