幕雪

三余弦定理公式球面几何中的核心关系及其应用

三余弦定理，也称为球面余弦定理，是球面三角学中的一个 fundamental 定理，它在处理球面上形成的三角形时起着至关重要的作用。与平面几何中的余弦定理相对应，它建立了一个球面三角形的边长（以圆心角衡量）与角之间的关系。理解并掌握这个定理，对于研究天文学、导航、大地测量学以及计算机图形学等领域都非常必要。

三余弦定理公式：它“是什么”？

简单来说，三余弦定理提供了一个公式，用来计算一个球面三角形的某一边长（或其对应的圆心角），已知另外两条边长和夹在这两条边之间的角；或者计算一个角，已知三条边长。它与平面余弦定理结构相似，但由于球面曲率的存在，涉及到边的正弦和余弦以及角的余弦。

球面三角形是什么？

在深入公式之前，需要明确球面三角形的概念。它不是由平面上的直线段组成，而是由球面上三个大圆（通过球心的圆）的弧段连接球面上任意三点构成。这三点不能位于同一个大圆上。球面三角形有三条边和三个角。这里的“边长”实际上是指连接两个顶点的弧段所对的球心角的大小，通常用弧度或角度表示。而“角”则是两条弧段在其交点处的切线在通过该点的球的切平面上的夹角。

三余弦定理的基本公式

考虑一个球面三角形 ABC，其顶点分别为 A、B、C。与顶点 A、B、C 相对的边长（即弧段 BC、AC、AB 所对的球心角）分别为 a、b、c。在顶点 A、B、C 处的内角（即球面角）分别为 A、B、C。

三余弦定理的基本形式描述了任意一条边与另外两条边及其夹角的关系。对于边 c 和其对角 C，公式为：

cos(c) = cos(a) * cos(b) + sin(a) * sin(b) * cos(C)

这是一个核心公式。通过轮换变量，我们可以得到描述其他边和角关系的相应公式：

  • 对于边 a 和其对角 A：
    cos(a) = cos(b) * cos(c) + sin(b) * sin(c) * cos(A)
  • 对于边 b 和其对角 B：
    cos(b) = cos(a) * cos(c) + sin(a) * sin(c) * cos(B)

请注意，这里的 a, b, c 代表的是边所对应的圆心角大小，A, B, C 代表的是球面三角形的内角大小。

为什么需要它？三余弦定理的“为什么”

“为什么”我们需要三余弦定理？这是因为平面几何的规则和公式（如平面余弦定理）不能直接应用于球面。在球面上，最短距离不是直线段，而是大圆弧。球面三角形的内角和大于 180 度，不像平面三角形那样固定为 180 度。因此，我们需要一套专门的公式来处理球面几何问题，而三余弦定理就是这套公式中最基本和最重要的一个。

  • 它提供了在已知球面三角形的“边边角”（SAS – Side-Angle-Side）条件下求解第三条边的工具。
  • 它也提供了在已知球面三角形的“边边边”（SSS – Side-Side-Side）条件下求解任一角的工具。

没有三余弦定理及其相关的球面三角学公式，我们将无法精确计算球面上两点之间的最短距离（大圆航线），无法确定天体在天空中的相对位置和距离，也无法进行精确的大地测量。

它“哪里”有用？三余弦定理的应用领域

三余弦定理的应用范围非常广泛，特别是在那些需要处理球面或近似球面物体上的位置和距离的领域：

  • 天文学 (Astronomy):

    天体看起来都位于一个巨大的“天球”上。天文学家利用球面三角形来描述天体之间的相对位置。例如，计算两颗恒星之间的角距离、行星的位置，或者进行时间系统和坐标系统的转换（如将天体的赤经和赤纬转换为地平坐标）。三余弦定理是这些计算的核心工具之一。

  • 航海与航空 (Navigation):

    船只和飞机在大地上沿着大圆弧航行是最高效的方式（忽略气象等因素）。计算大圆航线的长度、起始和结束方向（航向）需要用到球面三角学，三余弦定理是其中计算距离和角度的关键。例如，已知两地的经度和纬度（它们在地球球面上构成了顶点），可以利用三余弦定理计算它们之间的大圆距离。

  • 大地测量学 (Geodesy):

    大地测量学是研究地球的形状、大小和引力场的科学，也包括测量和描绘地球表面的特征。虽然地球不是一个完美的球体，但对于大范围测量，球面三角学提供了一个很好的近似模型。三余弦定理用于处理大地测量中的各种三角测量问题。

  • 计算机图形学 (Computer Graphics):

    在处理三维旋转、定向和球状模型时，球面坐标和球面三角学有时会派上用场。例如，计算球面上两点之间的测地距离。

  • 地理信息系统 (GIS):

    在 GIS 中处理地理空间数据时，尤其是在全球尺度上计算距离或进行空间分析时，可能需要用到球面三角学的原理。

三余弦定理公式有“多少”种变体？

基本的三余弦定理公式主要有上面列出的三种轮换形式，对应于计算三条边中的任意一条。

此外，还有一个非常重要的“对偶”或“极余弦定理”（有时也称为第二余弦定理），它描述了球面三角形的角与边之间的另一种关系。这个对偶定理可以通过对原三角形的极三角形（polar triangle）应用基本三余弦定理推导出来。其公式如下：

cos(A) = -cos(B) * cos(C) + sin(B) * sin(C) * cos(a)

同样，通过轮换变量，我们可以得到其他两个角的公式：

  • 对于角 B 和其对边 b：
    cos(B) = -cos(A) * cos(C) + sin(A) * sin(C) * cos(b)
  • 对于角 C 和其对边 c：
    cos(C) = -cos(A) * cos(B) + sin(A) * sin(B) * cos(c)

这个对偶定理在已知球面三角形的“角边角”（ASA – Angle-Side-Angle）或“角角边”（AAS – Angle-Angle-Side）条件下求解第三个角或边时非常有用，也在已知“角角角”（AAA – Angle-Angle-Angle）条件下求解边长时使用（注意在球面上，知道三个角可以唯一确定三角形的边长，不像平面上只能确定相似三角形）。

因此，虽然基本形式只有一种结构，但考虑到所有边和角的组合以及其对偶形式，可以说有六个主要公式构成了三余弦定理及其对偶。

三余弦定理“如何”工作？公式结构分析

让我们仔细看看基本的三余弦定理公式：
cos(c) = cos(a) * cos(b) + sin(a) * sin(b) * cos(C)

  • 公式的左边是待求解的边 c 的余弦值。
  • 右边由两部分组成：
    • 第一部分：已知两条边 a 和 b 的余弦的乘积 (cos(a) * cos(b))。这部分可以看作是平面情况在球面上的一个基础贡献项。
    • 第二部分：已知两条边 a 和 b 的正弦的乘积与它们之间夹角 C 的余弦的乘积 (sin(a) * sin(b) * cos(C))。这部分体现了球面曲率的影响，当球面变成平面（半径趋于无穷大）时，小角度的正弦接近于角度本身，余弦接近于 1，通过极限分析可以看出它如何退化为平面余弦定理。

公式通过这种组合，将球面三角形的一条边与另外两条边及其夹角巧妙地联系起来。

公式的“如何”推导？

三余弦定理可以通过多种方法推导出来，其中一种常见且直观的方法是使用三维空间中的向量和点积：

  1. 想象一个单位球体，球心 O 位于坐标原点 (0,0,0)。
  2. 球面三角形的三个顶点 A, B, C 都在球面上。连接球心 O 到这三个顶点的向量 OA, OB, OC 都是单位向量。
  3. 球面三角形的边长 a, b, c 对应于向量 OA, OB, OC 之间的夹角。例如，边 c 是向量 OA 和 OB 之间的夹角。根据点积的定义，OA · OB = |OA| |OB| cos(c) = 1 * 1 * cos(c) = cos(c)。同理，OA · OC = cos(b)，OB · OC = cos(a)。
  4. 球面三角形的内角 A, B, C 则是顶点处两条大圆弧切线在通过该点的切平面上的夹角。这个角也可以用通过该顶点的两个大圆所在平面的法向量之间的夹角来表示。例如，角 C 是通过 A、C 和通过 B、C 的两个大圆所在平面的法向量之间的夹角。
  5. 选择一个合适的坐标系。可以将点 C 放在 z 轴上，通过 C 的一个大圆（例如包含 CB 的大圆）放在 xz 平面内。然后用欧拉角或旋转将点 A 和 B 定位。
  6. 利用向量的点积和坐标表示来建立 OA · OB = cos(c) 的表达式，并将坐标表示中的三角函数与球面三角形的边 a, b 和角 C 联系起来。经过代数运算和三角恒等式化简，最终可以得到三余弦定理的公式。

另一种推导方法是在球面上引入一个辅助点，构造平面三角形，然后反复应用平面余弦定理，通过复杂的代数运算也能得到三余弦定理。这两种方法都殊途同归，揭示了球面几何与平面几何以及三维空间几何之间的内在联系。

“怎么”使用它解决问题？应用步骤

使用三余弦定理（或其对偶定理）来解决具体的球面三角形问题通常遵循以下步骤：

  1. 识别球面三角形和已知/未知量：

    明确问题中涉及的是哪个球面三角形，它的顶点是什么，哪些边的长度（圆心角）和哪些角的大小是已知的，哪个量是待求解的。将它们用符号 a, b, c, A, B, C 表示出来。

  2. 选择合适的公式：

    根据已知量和未知量，选择能够直接求解未知量的三余弦定理公式。

    • 如果要找一条边（如 c），已知另外两条边 (a, b) 和它们的夹角 (C)，使用基本公式：cos(c) = cos(a)cos(b) + sin(a)sin(b)cos(C)。
    • 如果要找一个角（如 C），已知三条边 (a, b, c)，将基本公式进行移项变形：cos(C) = (cos(c) - cos(a)cos(b)) / (sin(a)sin(b))。
    • 如果要找一个角（如 A），已知另外两个角 (B, C) 和它们的夹边 (a)，使用对偶公式：cos(A) = -cos(B)cos(C) + sin(B)sin(C)cos(a)。
    • 如果要找一条边（如 a），已知另外两个角 (B, C) 和它们的夹角所对的边 (A)，将对偶公式进行移项变形：cos(a) = (cos(A) + cos(B)cos(C)) / (sin(B)sin(C))。
  3. 代入已知数值：

    将已知的边长（通常以角度或弧度表示的圆心角）和角（球面角）的数值代入选定的公式中。确保所有角度使用一致的单位（弧度或度）。在进行三角函数计算时，大部分计算器和软件都可以处理这两种单位，但务必保持一致性。

  4. 计算三角函数值：

    计算公式中涉及的所有正弦和余弦值。

  5. 执行算术运算：

    按照公式的结构进行乘法、加法或减法、除法等运算。

  6. 求解未知量：

    计算得到未知量的余弦值后，使用反余弦函数（arccos 或 cos⁻¹）来求得该未知量本身的角度值。例如，如果计算得到 cos(c) 的值，那么 c = arccos(cos(c))。如果计算得到 cos(C) 的值，那么 C = arccos(cos(C))。

  7. 解释结果：

    根据问题的要求，将计算出的角度值转换为所需的单位（如果需要的话，例如从弧度转换为度）。在实际应用中，还需要考虑结果的物理意义，例如计算出的距离是否合理等。

示例应用：计算地球上两点间的大圆距离

假设地球是一个半径为 R 的完美球体。已知两点 A 和 B 的地理坐标：A 点的纬度 Lat_A 和经度 Lon_A，B 点的纬度 Lat_B 和经度 Lon_B。我们想计算这两点间沿地球表面（大圆弧）的最短距离 d。

这可以构建一个球面三角形：球心 O、A 点和 B 点构成一个三角形 OAB。但更常用的是以北极 P (或南极) 作为第三个顶点，构成球面三角形 PAB。

  • 顶点是北极 P，A 点和 B 点。
  • 边 PA 的长度是 A 点到北极的角距离，即 90° – Lat_A (如果纬度为正表示北纬)。用弧度表示为 (π/2 – Lat_A_rad)。
  • 边 PB 的长度是 B 点到北极的角距离，即 90° – Lat_B。用弧度表示为 (π/2 – Lat_B_rad)。
  • 夹角 P 是 A 点和 B 点的经度差的绝对值 |Lon_A – Lon_B|。用弧度表示为 |Lon_A_rad – Lon_B_rad|。
  • 待求解的边 AB 的长度 c 就是 A 点和 B 点之间的角距离，即 d / R。

现在，我们知道球面三角形 PAB 的两边 (PA 和 PB) 及其夹角 P。可以使用基本的三余弦定理来求解边 AB 的长度 c：

cos(c) = cos(PA) * cos(PB) + sin(PA) * sin(PB) * cos(P)

代入已知量：

cos(d/R) = cos(π/2 – Lat_A_rad) * cos(π/2 – Lat_B_rad) + sin(π/2 – Lat_A_rad) * sin(π/2 – Lat_B_rad) * cos(|Lon_A_rad – Lon_B_rad|)

利用三角恒等式 cos(π/2 – x) = sin(x) 和 sin(π/2 – x) = cos(x)，公式简化为：

cos(d/R) = sin(Lat_A_rad) * sin(Lat_B_rad) + cos(Lat_A_rad) * cos(Lat_B_rad) * cos(|Lon_A_rad – Lon_B_rad|)

计算出 cos(d/R) 的值后，通过反余弦函数得到 d/R，最后乘以地球半径 R 即可得到大圆距离 d = R * arccos(cos(d/R))。这就是著名的 Haversine 公式的一种推导基础，尽管 Haversine 公式在数值计算小距离时更精确，但原理是相通的。

总而言之，三余弦定理是连接球面三角形的边和角之间关系的强大工具。它不仅是球面几何理论的基石，更是解决实际应用问题（从确定天体位置到规划全球航线）不可或缺的数学武器。通过理解它的“是什么”、“为什么”、“哪里”使用以及“怎么”应用，我们可以更好地掌握球面几何的精髓。

三余弦定理公式