共面向量定理的证明-共面向量定理证明

作者：佚名

|

1人看过

在代数运算层面，我们主要考察向量组的线性相关性。若存在实数 $ k_1, k_2, k_3 $ 使得 $ k_1mathbf{a} + k_2mathbf{b} + k_3mathbf{c} = mathbf{0} $，其中不全为零，则这三个向量共面。反之，若向量共面，则必存在这样的线性关系。混合积为零，即是判断该线性关系是否成立的代数标量条件。

二、证明过程：从行列式到向量关系

为了严谨地证明共面向量定理，我们需要将几何的体积概念转化为代数的行列式结构。设空间直角坐标系中三个不共点的向量为 $ mathbf{a}=(x_1, y_1, z_1) $, $ mathbf{b}=(x_2, y_2, z_2) $, $ mathbf{c}=(x_3, y_3, z_3) $。

混合积定义为行列式： [ axyz zxy zyx axyz zxyz

根据行列式的性质，我们可以将其按行展开。若三个向量共面，则存在不全为零的系数 $ k_1, k_2, k_3 $，使得组合向量 $ k_1mathbf{a} + k_2mathbf{b} + k_3mathbf{c} $ 为零向量。这意味着： kx1x2x3 k1y1y2y3 k1z1z2z3 = 0

这表示混合积中 $ x $ 的系数为 $ mathbf{a} cdot (mathbf{b} times mathbf{c}) $。由于我们已经知道 $ [mathbf{a}, mathbf{b}, mathbf{c}] = mathbf{a} cdot (mathbf{b} times mathbf{c}) $，因此混合积本身就是零，三个向量必然共面。

反之，若三个向量不共面，则它们组成的平行六面体体积不为零，即混合积 $ [mathbf{a}, mathbf{b}, mathbf{c}] neq 0 $。如果它们共面，则存在线性关系 $ k_1mathbf{a} + k_2mathbf{b} + k_3mathbf{c} = mathbf{0} $，此等式两边取点积 $ mathbf{a} cdot (k_1mathbf{a} + k_2mathbf{b} + k_3mathbf{c}) = mathbf{0} $，展开后得到 $ k_1(mathbf{a} cdot mathbf{a}) + k_2(mathbf{a} cdot mathbf{b}) + k_3(mathbf{a} cdot mathbf{c}) = 0 $。这并不能直接导出 $ mathbf{a}, mathbf{b}, mathbf{c} $ 线性相关，而是说明它们满足特定的二次型关系。

但在标准证明路径中，我们通常假设混合积为零，然后根据共面向量定理，推出向量共面。 [ axyz zxy zyx axyz zxyz = 0

三、向量共线关系的推导

若三个向量共面，则至少存在两个向量线性相关。设 $ mathbf{b} = mmathbf{a} + nmathbf{c} $。取混合积 $ [mathbf{a}, mathbf{b}, mathbf{c}] $： [ axzzyyaxz axnaxmaxz axnaymayz axnaxmaxz axyymaxaxz axnaxmaxz = [abcmabcnacbaymaymaymaymayaxzzyyaxzzyz [abcbanabdacymaaaymaaaaaaaaaaaa0 badbanaaaabaadbaaadaa0aymaamaamaamaaayma0aaaa0aaaaaaa0

计算复杂，但逻辑核心在于：若 $ mathbf{b} = mmathbf{a} + nmathbf{c} $，则 $ mathbf{b} times mathbf{c} = m(mathbf{a} times mathbf{c}) = -m(mathbf{c} times mathbf{a}) $。代入混合积公式可知 $ [mathbf{a}, mathbf{b}, mathbf{c}] = [mathbf{a}, mmathbf{a} + nmathbf{c}, mathbf{c}] = m[mathbf{a}, mathbf{a}, mathbf{c}] + n[mathbf{a}, mathbf{c}, mathbf{c}] = 0 $。

四、非共线情况的证明技巧

当三个向量两两不共线时，即不构成退化情况，混合积恒不为零。若假设混合积为零，则 $ mathbf{a} cdot (mathbf{b} times mathbf{c}) = 0 $。设 $ mathbf{b} = mmathbf{a} + nmathbf{c} $，则 $ mathbf{c} cdot (mathbf{b} times mathbf{a}) = mathbf{c} cdot (mmathbf{a} times mathbf{a} + nmathbf{c} times mathbf{a}) = n[mathbf{c}, mathbf{c}, mathbf{a}] = 0 $。这表明 $ mathbf{c} perp (mathbf{a} times mathbf{b}) $，即 $ mathbf{c} $ 垂直于 $ mathbf{a} $ 与 $ mathbf{b} $ 构成的平面，故 $ mathbf{c} $ 在该平面内。同理可证 $ mathbf{a} $ 和 $ mathbf{b} $ 也在 $ mathbf{c} $ 所确定的平面内。

综合以上分析，得证：若三个向量共点，则它们共面；若三个向量不共点，则它们共面的充要条件是 $ [mathbf{a}, mathbf{b}, mathbf{c}] = 0 $。