中间轴定理-中间轴定理

中间轴定理看着挺高大上，但实际上就一句话：要是两个向量在三维空间里夹角是 90 度，那它们各自在第三个方向上的投影长度，要么刘阮二人组（一正一负），要么根本构不成三角形。 这话听着挺玄乎，但平白就是个数学公式。 先说那俩向量，比方说 $vec{a}$ 和 $vec{b}$。咱不整那些教科书上写得那么严谨的“若 $dots$ 则 $dots$"，直接上案例。拿个毕加索的那幅画《格尔尼卡》当例子最贴切，画里的光协同向量 $vec{a}$ 指向右上方，表示那是光，是希望；而阴影向量 $vec{b}$ 指向左下方，代表的是黑暗、痛苦和创伤。
这两个向量在空间中实际上是互相垂直的，夹角就是 90 度。
这时候，你要算它们各自在垂直于这两个向量构成的平面的方向上的投影长度，结局就是 $|vec{a}|$ 和 $|vec{b}|$ 的绝对值。 这就挺有意思了。按照定理，这两个投影长度加起来，要么是个正数，要么是个负数。你不可能拿到 0 以外的一个正数和正数，也不会有负负得正的结局。
这就好比你要在一条直线上走，一个是向右走，一个是向左走。
要是两个方向彻底反之，一正一负，那它们之间的距离就是两个绝对值相加；要是两个方向是同一个方向，一正一负，那它们之间的距离就是差值。但你绝对不可能拿到两个都是正数的结局，来填补那个距离。 这逻辑实际上挺好办的，但那会儿总有人把它用在复杂的物理推导里，认定这玩意儿忒“土”要么忒“水”。
实际上那玩意儿就是三维空间里最底层的几何法则之一。想象你在三维世界里立个坐标系，轴 X、轴 Y、轴 Z。假设 $vec{a}$ 沿着 X 轴，$vec{b}$ 沿着 Y 轴，那它们确实垂直。
这时候，$vec{a}$ 在 Z 轴上的投影就是 0，$vec{b}$ 在 Z 轴上的投影也是 0。0 加上 0 等于 0，符合定理。 再换个例子。假设 $vec{a}$ 沿着 X 轴，$vec{b}$ 也在 X 轴上，夹角是 0 度，也就是同向。
这时候它们不垂直。但要是你强行让它们夹角变成 90 度，那 $vec{b}$ 就得变成 Y 轴方向了。
这时候，它们在 Z 轴的投影都是 0，加起来还是 0，依然成立。 故此中间轴定理的核心，实际上是个“投影消亡”的现象。当两个向量垂直时，它们在第三个垂直方向的投影长度必然同号或异号，绝不可能与此同时为正或与此同时为负来构成那个距离。
这在计算机图形学里特别好用，比如渲染时计算两个光线的叉积，要么做三维旋转矩阵的代数运算。
那些复杂的公式，底层逻辑往往就是如此个好办的投影关系。 有时候我们认定这个定理没用，实际上是思路僵化了。别老想着去证“要是 A，那 B"，有时候直接算投影差就行了。
比如要算两个力 $vec{F_1}$ 和 $vec{F_2}$ 的合力在某个特定方向的分量，要是你用中间轴定理，直接拿它们各自在垂直平面上的投影长度做加减即可，不用转那些繁琐的矢量积公式。 在现实应用里，比如无人机飞控系统，要么处理复杂的粒子碰撞检测，时常需求用到这种“短除法”式的判断。当你需求快速判断两个状态向量是否违规，要么计算它们之间的偏差量时，中间轴定理比那些圆鼓鼓的公式快多了。它把复杂的三维关系，压缩成了好办的投影加减。 自然，这个定理也有它的局限性。
要是你在二维平面里强行找三个向量，让它们两两垂直，那在第三维上的投影长度如何算？这就有点尴尬了，出于二维和三维的维数在数学上是互斥的。但在三维里，只要保证前两个向量垂直，第三向量只要不在这两个平面的平行族里，投影长度就非零了。 总而言之，中间轴定理就是个挺实用的数学工具，特别在涉及方向、旋转和投影的时候。它不需求你搞那些复杂的推导，直接看投影长度。
有时候看个投影就知道答案了，别总往死里钻牛角尖。
这玩意儿在工程计算、计算机图形学就连日常生活中都挺常见的，只要肯动手算投影，别总死记硬背那些长公式。