球面三角学

球面三角学是球面几何学的一部分，主要在处理、发现和解释多边形（特别是三角形）在球面上的角与边的联系和关联。在天文学上的重要性是用于计算天体轨道和地球表面与太空航行时的天文导航。

1、球面上的线

球面三角在球壳的表面，最短的距离是大圆上接近直线的弧线，也就是圆弧的圆心与球壳的球心是同一点。例如：地球上的子午线和赤道都是大圆。所谓行星表面的直线，就是球面上两点之间最近距离的大圆弧线(如果你把自己拘束在球面上的直线上)。

球面多边形

在球面上，由大圆的弧所包围的区域称为球面多边形，但要注意，不同于平面上的情形，在球面上’双角’是可能存在的。(两个弧夹出两个角的三角形类似物)(可由剥橘子时剥下来的橘子皮想像)这些多边形的边长(弧长)，可以利用球心角很方便的来测定，将弧的两端所对应的球心角乘上半径便是边长。要注意的是，这些角都必须用径度量来量度。.

因此，对一个球面三角形而言，是由他的弧长与球心角来具体描述的，只是弧的长度是用径度量来标示。

值得注意的是，球面三角形的三个内角的和总是大于180°，但在平面上只有180°。超过180°的数值称为球面剩馀E：E=α+β+γ-180°，这些结馀给出了球面三角形的面积。确定这个值，球面剩馀必须以径度量来测定，表面积A依据球面的半径和球面剩馀来测量：

A=这是高斯-邦奈定理，这很明显的显示没有相似的球面三角形(三角形有相同的角，但边长和面积不同)。而在特殊的情况下，球的半径为1，则球面三角形的面积A=E。

要解球面几何的问题，要点是能剖析出其中的直角三角形(三个角中有一个是90°)，因为这样就可以利用纳皮尔的多边形求解。

纳皮尔的圆周显示直角三角形的部份关联性

利用纳皮尔多边形(也称为纳皮尔圆周)的口诀可以很轻易的记住球面直角三角形的所有关联性：以他们出现于球面三角形的顺序，依照相邻的边角关系，依序将三角形的六个角写在一个圈子内，也就是开始以一个角度开始，然后在它旁边写上相邻的边的弧角度，继续再写下下一个角度，˙˙˙，最后结束成一个圆。然后删除90°的角角度并且将它相邻的弧角度替换成他们补角的数值(与原角弧度之和为90°)(也就是将a换成90°?a)。现在，这五个数组成了我们需要的纳皮尔多边形(纳皮尔圆周)，从这儿，可以得到每个角度的馀弦值等于：

相邻两角度的馀切的乘积相对两角度的正弦的乘积可以参考半正矢(Haversineformula)，能在球面三角上解析弧长与角度，为航海学提供了稳定的模式。

2、恒等式

球面三角形满足球面馀弦定理

这个恒等式的证明需要利用平面的馀弦定理和球面三角形的对角"C"延升的切线，而且，在小角度时可以引用平面几何的公式。

它也满足并且有相似于平面形式的正弦定理