Jabarkan Rumus-rumus dalam trigonometri bola dari Trigonometri bola

Di antara rumus yang berlaku dalam sebuah segitiga bola dengan tiga sudut , ,  dan tiga sisi , ,  adalah hukum kosinus, yaitu: