在平面几何中，我们熟知余弦定理用于解决已知两边及夹角求第三边的问题。然而，当视角从二维平面提升至三维空间时，传统的三角形法则往往显得力不从心。此时，空间余弦定理（通常指基于向量点积的夹角公式或空间距离公式的余弦形式）便成为了连接几何直观与代数运算的关键桥梁。
在空间解析几何中，空间余弦定理的核心体现为向量夹角公式。它描述了空间中任意两个非零向量之间夹角余弦值与它们坐标及模长的关系。这不仅是立体几何计算的基础，更是计算机图形学、机器人运动学及物理场分析中的核心工具。
若空间中有两个向量 a 和 b，它们的夹角为 θ，则 cosθ 等于两向量的点积除以两向量模长的乘积。
广泛应用于空间距离计算、异面直线夹角、线面角以及二面角的求解，是高考数学及大学高等数学的重点内容。
将复杂的立体几何问题转化为代数运算，避免了辅助线难以作图的困境，实现了“无脑”计算。
理解空间余弦定理不能仅停留在记忆公式，必须深入其向量本质。设空间直角坐标系中，向量 a = (x₁, y₁, z₁)，向量 b = (x₂, y₂, z₂)。
根据向量代数定义，两个向量的点积（数量积）定义为：
a · b = |a| |b| cosθ
其中 |a| 和 |b| 分别为向量的模（长度），θ 为两向量之间的夹角（0 ≤ θ ≤ π）。
利用坐标运算，点积也可以表示为对应分量乘积之和：
a · b = x₁x₂ + y₁y₂ + z₁z₂
联立上述两式，即可得到空间余弦定理（向量夹角公式）的坐标表达：
cosθ = (x₁x₂ + y₁y₂ + z₁z₂) / (|a| |b|)
其中：
|a| = √(x₁² + y₁² + z₁²)
|b| = √(x₂² + y₂² + z₂²)
在三角形OAB中，若已知OA、OB长度及夹角θ，则AB的长度可由空间余弦定理的推广形式求得：
|AB|² = |OA|² + |OB|² - 2|OA||OB|cosθ
这一形式在已知三点坐标求三角形面积或角度时极为有用。
为了更清晰地展示空间余弦定理在不同场景下的用法，我们将常见题型分为三类。请通过下方选项卡切换查看详细解题步骤。
问题描述：在正方体 ABCD-A₁B₁C₁D₁ 中，求异面直线 AC 与 BD₁ 所成角的余弦值。
解题步骤：
cosθ = |AC · BD₁| / (|AC| |BD₁|)
= |(-1)(-1) + (1)(-1) + (0)(1)| / (√2 × √3)
= |1 - 1| / √6 = 0
结论：余弦值为0，说明两直线垂直，夹角为 90°。
核心思路：线面角 θ 与 线法向量夹角 α 互余（或差90度）。即 sinθ = |cosα|。
步骤：
注意：此处直接使用的是空间余弦定理的向量形式，但需注意三角函数的转换。
问题描述：求两个相交平面所成的二面角大小。
步骤：
cosα = (n₁ · n₂) / (|n₁| |n₂|)
判定：观察图形或通过法向量方向判断二面角是锐角还是钝角。若法向量指向二面角内部或外部一致，则二面角为 π-α；否则为 α。
本质上是统一的。平面余弦定理是三角形边的关系 a²=b²+c²-2bc cosA。而空间中的“余弦定理”更多指向量夹角公式 cosθ = (a·b)/(|a||b|)。平面余弦定理可以看作是空间向量在二维平面上的特例。在三维中，我们更倾向于使用向量法直接计算，因为它能同时处理角度和距离，且易于推广到 n 维空间。
向量的方向由坐标差决定。例如从点 A(x₁,y₁,z₁) 指向 B(x₂,y₂,z₂) 的向量 AB，其坐标为 (x₂-x₁, y₂-y₁, z₂-z₁)。方向向量的正负直接影响点积的符号，进而影响夹角的余弦值正负。务必注意起终点顺序。
根据空间余弦定理公式 cosθ = (a·b)/(|a||b|)，若 a·b=0 且向量非零，则 cosθ=0，即 θ=90°。这说明两个向量互相垂直。这是判断空间几何中垂直关系最有力的代数工具。
向量夹角的范围是 [0, π]，而异面直线所成角的范围通常定义为 (0, π/2]（锐角或直角）。当向量夹角为钝角时，其补角才是异面直线夹角。因此，取绝对值是为了保证结果始终为锐角或直角的余弦值（非负）。