如图一:球面上的任意两个与球心不在同一条直线上的点和球心确定一个平面,该平面与球相交的图形称为球的大圆,任意两点都可以用大圆上的劣弧进行连接.过球面一点的两个大圆弧,分别在弧所在的两个半圆内作公共直径的垂线,两条垂线的夹角称为这两个弧的夹角.如图二:现给出球面上三个点,其任意两个不与球心共线,将它们两两用大圆上的劣弧连起来的封闭图形称为球面三角形.两点间的弧长定义为球面三角形的边长,两个弧的夹角定义为球面三角形的角.现设图二球面三角形
的三边长为
,
,
, 三个角大小为
,
,
, 球的半径为
.