Lingkaran besar, segitiga bola কী?

Yang disebut lingkaran besar pada bola adalah perpotongannya dengan bidang yang melalui pusat bola; setiap irisan bidang lain disebut lingkaran kecil. Melalui dua titik yang tidak berseberangan secara diametral terdapat tepat satu lingkaran besar, dan busur yang lebih pendek dari kedua busurnya adalah lintasan terpendek di atas bola antara kedua titik itu. Yang disebut segitiga bola adalah bangun yang dibentuk oleh tiga titik pada bola, titik-titik sudutnya $A$, $B$, $C$, yang dihubungkan oleh busur lingkaran besar yang kurang dari $180{}^{\circ}$. Sisi-sisinya $a$, $b$, $c$ (berhadapan dengan $A$, $B$, $C$) diukur dengan sudut yang dibentuknya di pusat; sudut-sudutnya $A$, $B$, $C$ adalah sudut antara bidang-bidang sisi yang bertemu di setiap titik sudut.