解齐次方程组
先注意零解总是存在的。 每个方程右端都是 ,所以 自动是解。真正值得问的是还有没有别的解——而这恰好在三个方程线性相关时才会发生。
把第 2、3 式相加,一次消掉两个变量。 与 相消, 与 也相消:
这种配对值得留心:因为第 2、3 式的 、 系数恰好相反,一次相加就消掉了两个变量。
把 代回其余方程。 第 2 式变成 ,即 。第 1 式变成 ,还是 ——是同一个条件,并非新条件。这种重复正是方程组相关的代数特征:三个方程其实只给出两个独立约束。
把解集参数化。 由于 ,而 与 只能同步变动,令 :
从几何上看,三个平面都包含由 张成的那条直线,所以它们交于一条直线,而不是一个点。
用行列式和代入两头验证。 按第一行展开,
这印证了必然存在非零解。再验算 : ✓, ✓, ✓。
Need to solve a different problem like this? Open the solver →