方程组中的消元法 - 问题与解答
使用消元法求解线性方程组。下面给出示例和带详细解答与解释的问题，以及 \(2 \times 2\) 和 \(3 \times 3\) 方程组的图形解释。您也可以探索使用克拉默法则求解方程组。
目录
线性方程组及其解
线性方程组由一个或多个需要同时求解的方程组成。
例 1：\( 2 \times 2 \) 方程组与图形解释
查看解答
考虑一个含两个未知数的两个方程的方程组：
\[ \begin{cases} x - y = 0 \\ x + y = 2 \end{cases} \]该线性方程组的解是同时满足方程组中所有方程的有序对 \((x,y)\) 的集合。例如，有序对 \((1,1)\) 是一个解，因为将 \(x = 1\) 和 \(y = 1\) 代入两个方程均成立。
图形解释：
解 \((1,1)\) 对应于方程组中两个方程所表示的两条直线的交点。
例 2：\( 3 \times 3 \) 方程组与图形解释
查看解答
考虑一个含三个未知数的三个方程的方程组：
\[ \begin{cases} x + y + z = 2 \\ x - y + z = 0 \\ x - y = 0 \end{cases} \]有序三元组 \((1,1,0)\) 是一个解，因为它同时满足所有三个方程：
\[ 1 + 1 + 0 = 2 \quad \checkmark \] \[ 1 - 1 + 0 = 0 \quad \checkmark \] \[ 1 - 1 = 0 \quad \checkmark \]图形解释：
每个方程在三维空间中表示一个平面。三个平面的交点即为点 \((1,1,0)\)。
例 1 和例 2 中有解的方程组称为相容方程组。无解的方程组称为不相容方程组。
例 3：有无穷多解的方程组
查看解答
考虑方程组：
\[ \begin{cases} 2x + 2y = -1 \\ x + y = -1/2 \end{cases} \]该方程组有无穷多个解。将第二个方程的所有项乘以 \(2\) 得到第一个方程。因此，两个方程等价于一个含两个变量的方程，有无穷多个解（例如 \((0, -1/2)\)、\((1, -3/2)\)、\((2, -5/2)\) 等）。
参数形式下，解集为 \( \left(t, -t - \frac{1}{2}\right) \)，其中 \( t \in \mathbb{R} \)。
用消元法求解方程组
等价方程组具有相同的解集。消元法使用三种初等运算将方程组变换为更易于求解的等价方程组：
- 将方程的所有项乘以非零常数。
- 将两个方程的左右两边相加。
- 交换方程组中的两个方程。
目标： 使用这些运算逐一消去变量，产生一个可以通过回代求解的三角形方程组。
已解答示例
例 4：求解 \( 2 \times 2 \) 相容方程组
查看解答
使用消元法求解：
\[ \begin{cases} -2x + 3y = 8 \\ 3x - y = -5 \end{cases} \]解答
将第二个方程的所有项乘以 \(3\)：
\[ \begin{cases} -2x + 3y = 8 \\ 9x - 3y = -15 \end{cases} \]将两个方程相加以消去 \(y\)：
\[ -2x + 9x + 3y - 3y = 8 - 15 \implies 7x = -7 \implies x = -1 \]将 \(x = -1\) 代入第一个方程：
\[ -2(-1) + 3y = 8 \implies 2 + 3y = 8 \implies 3y = 6 \implies y = 2 \]解为有序对 \((-1, 2)\)，方程组相容。
验证： \( -2(-1) + 3(2) = 2 + 6 = 8 \) ✓ 且 \( 3(-1) - 2 = -3 - 2 = -5 \) ✓
例 5：求解 \( 2 \times 2 \) 不相容方程组
查看解答
使用消元法求解：
\[ \begin{cases} 4x - y = 8 \\ -8x + 2y = -5 \end{cases} \]解答
将第一个方程的所有项乘以 \(2\)：
\[ \begin{cases} 8x - 2y = 16 \\ -8x + 2y = -5 \end{cases} \]将两个方程相加：
\[ (8x - 8x) + (-2y + 2y) = 16 - 5 \implies 0x + 0y = 11 \implies 0 = 11 \]结论： 因为没有任何 \(x\) 和 \(y\) 的值满足 \(0 = 11\)，所以方程组无解，是不相容的。
几何解释： 两条直线平行且永不相交。
例 6：有无穷多解的 \( 2 \times 2 \) 方程组
查看解答
使用消元法求解：
\[ \begin{cases} 2x - 3y = 8 \\ -4x + 6y = -16 \end{cases} \]解答
将第一个方程乘以 \(2\)：
\[ \begin{cases} 4x - 6y = 16 \\ -4x + 6y = -16 \end{cases} \]将两个方程相加：
\[ 0x + 0y = 0 \]结论： 令 \(y = t\)（其中 \(t \in \mathbb{R}\)），代入第一个方程：
\[ 2x - 3t = 8 \implies x = \frac{3}{2}t + 4 \]解集为 \(\left(\frac{3}{2}t + 4, \; t\right)\)，其中 \(t \in \mathbb{R}\)。
几何解释： 两个方程表示同一条直线，因此有无穷多个交点。
例 7：求解 \( 3 \times 3 \) 相容方程组
查看解答
使用消元法求解：
\[ \begin{cases} x + y + 2z = 3 \\ -2x + 3y - 2z = 6 \\ 4x - y + z = -5 \end{cases} \]解答
步骤 1： 从第二个方程中消去 \(x\)。将第一个方程乘以 \(2\) 并加到第二个方程：
\[ 2(x + y + 2z) + (-2x + 3y - 2z) = 2(3) + 6 \implies 5y + 2z = 12 \]步骤 2： 从第三个方程中消去 \(x\)。将第一个方程乘以 \(-4\) 并加到第三个方程：
\[ -4(x + y + 2z) + (4x - y + z) = -4(3) + (-5) \implies -5y - 7z = -17 \]化简后的方程组为：
\[ \begin{cases} x + y + 2z = 3 \\ 5y + 2z = 12 \\ -5y - 7z = -17 \end{cases} \]步骤 3： 将第二个方程加到第三个方程以消去 \(y\)：
\[ (5y - 5y) + (2z - 7z) = 12 - 17 \implies -5z = -5 \implies z = 1 \]步骤 4： 使用回代：
- \(5y + 2(1) = 12 \implies 5y = 10 \implies y = 2\)
- \(x + 2 + 2(1) = 3 \implies x + 4 = 3 \implies x = -1\)
结论： 方程组相容，有唯一解 \((-1, 2, 1)\)。
验证：
\[ -1 + 2 + 2(1) = 3 \quad \checkmark \] \[ -2(-1) + 3(2) - 2(1) = 2 + 6 - 2 = 6 \quad \checkmark \] \[ 4(-1) - 2 + 1 = -4 - 2 + 1 = -5 \quad \checkmark \]例 8：求解 \( 3 \times 3 \) 不相容方程组
查看解答
使用消元法求解：
\[ \begin{cases} -x + y + 2z = 1 \\ 3x - 3y - 6z = -5 \\ -4x + 4y + 8z = 9 \end{cases} \]解答
将第一个方程乘以 \(3\) 并加到第二个方程：
\[ 3(-x + y + 2z) + (3x - 3y - 6z) = 3(1) + (-5) \implies 0 = -2 \]方程组变为：
\[ \begin{cases} -x + y + 2z = 1 \\ 0x + 0y + 0z = -2 \\ -4x + 4y + 8z = 9 \end{cases} \]由于第二个方程得出 \(0 = -2\)，这是矛盾，所以方程组无解，是不相容的。
例 9：有无穷多解的 \( 3 \times 3 \) 方程组
查看解答
使用消元法求解：
\[ \begin{cases} x - y + 6z = -5 \\ 6x - 12y - 6z = -24 \\ -2x + 4y + 2z = 8 \end{cases} \]解答
步骤 1： 从第二个方程中消去 \(x\)。将第一个方程乘以 \(-6\) 并加到第二个：
\[ -6(x - y + 6z) + (6x - 12y - 6z) = -6(-5) + (-24) \implies -6y - 42z = 6 \]步骤 2： 从第三个方程中消去 \(x\)。将第一个方程乘以 \(2\) 并加到第三个：
\[ 2(x - y + 6z) + (-2x + 4y + 2z) = 2(-5) + 8 \implies 2y + 14z = -2 \]化简后的方程组为：
\[ \begin{cases} x - y + 6z = -5 \\ -6y - 42z = 6 \\ 2y + 14z = -2 \end{cases} \]步骤 3： 注意第三个方程是第二个方程的 \(-1/3\) 倍，因此是冗余的。方程组变为：
\[ \begin{cases} x - y + 6z = -5 \\ -6y - 42z = 6 \end{cases} \]令 \(z = t\)（其中 \(t \in \mathbb{R}\)），回代：
- \(-6y - 42t = 6 \implies y = -7t - 1\)
- \(x - (-7t - 1) + 6t = -5 \implies x + 7t + 1 + 6t = -5 \implies x = -13t - 6\)
结论： 方程组相容，有无穷多解，由 \((-13t - 6, \; -7t - 1, \; t)\) 给出，其中 \(t \in \mathbb{R}\)。
带详细解答的问题
第 1 部分：\( 2 \times 2 \) 线性方程组
查看解答
使用消元法求解以下方程组：
a) \( \begin{cases} -x + 3y = 11 \\ 4x - y = -11 \end{cases} \) b) \( \begin{cases} 2x + y = 8 \\ -6x - 3y = 10 \end{cases} \) c) \( \begin{cases} x - 2y = 3 \\ -3x + 6y = -9 \end{cases} \)
第 1 部分的解答
a) 将上面的方程乘以 \(4\) 并加到第二个方程：
\[ \begin{cases} -4x + 12y = 44 \\ 4x - y = -11 \end{cases} \implies 11y = 33 \implies y = 3 \]将 \(y = 3\) 代入第一个方程：\( -x + 3(3) = 11 \implies -x = 2 \implies x = -2 \)。等等——让我重新计算：\( -x + 9 = 11 \implies -x = 2 \implies x = -2 \)。
嗯，让我用原第二个方程验证：\( 4(-2) - 3 = -8 - 3 = -11 \) ✓
解：\((-2, 3)\)（相容，唯一解）。
b) 将第一个方程乘以 \(3\) 并加到第二个：
\[ \begin{cases} 6x + 3y = 24 \\ -6x - 3y = 10 \end{cases} \implies 0 = 34 \]解：无解 / 不相容。
c) 将第一个方程乘以 \(3\) 并加到第二个：
\[ \begin{cases} 3x - 6y = 9 \\ -3x + 6y = -9 \end{cases} \implies 0 = 0 \]令 \(y = t\)，得到 \(x = 2t + 3\)。解：无穷多解 \((2t + 3, \; t)\)，其中 \(t \in \mathbb{R}\)。
第 2 部分：\( 3 \times 3 \) 线性方程组
查看解答
使用消元法求解：
a) \( \begin{cases} 2x + 3y - z = -1 \\ -x - y + 2z = -1 \\ 3x - 2y - z = 2 \end{cases} \) b) \( \begin{cases} 2x - y - 5z = 1 \\ -x - y - z = -1 \\ 3x + 3y + 3z = 3 \end{cases} \)
第 2 部分的解答
a) 通过初等运算依次消去变量得到：
\[ z = -\frac{4}{5}, \quad y = -\frac{3}{5}, \quad x = 0 \]解：\((0, -3/5, -4/5)\)。
b) 应用消元法得到一个恒等行 \((0 = 0)\)，并导致参数化解：
解：\(\left(\frac{4t+2}{3}, \; -\frac{7t-1}{3}, \; t\right)\)，其中 \(t \in \mathbb{R}\)。
第 3 部分：\( 4 \times 4 \) 线性方程组
查看解答
使用消元法求解：
\[ \begin{cases} -x - 2y + z + w = -6 \\ 2x - y - 3z - 2w = 5 \\ -4x + 2y + 2z - w = -8 \\ -x + 2y + 3z - w = -8 \end{cases} \]解答
使用系统的行消元和回代：
- \(w = 2\)
- \(-4z - 5(2) = 2 \implies -4z = 12 \implies z = -3\)
- \(-5y - (-3) = -7 \implies -5y = -10 \implies y = 2\)
- \(-x - 2(2) + (-3) + 2 = -6 \implies -x - 4 - 3 + 2 = -6 \implies -x = -1 \implies x = 1\)
解：\((1, 2, -3, 2)\)。
第 4 部分：参数 \(k\)（唯一解 vs. 无解）
查看解答
求参数 \(k\) 的所有值，使得方程组：
\[ \begin{cases} -x - 2y = -5 \\ 3x - ky = 8 \end{cases} \]a) 只有唯一解 b) 无解
解答
将第一个方程乘以 \(3\) 并加到第二个方程：
\[ 3(-x - 2y) + (3x - ky) = 3(-5) + 8 \implies -6y - ky = -7 \implies -(k + 6)y = -7 \]等等——让我仔细重做。将第一个方程乘以 \(3\)：\( -3x - 6y = -15 \)。加到第二个方程 \( 3x - ky = 8 \)：
\[ (-3x + 3x) + (-6y - ky) = -15 + 8 \implies -(k + 6)y = -7 \implies (k + 6)y = 7 \]化简后的方程组为：
\[ \begin{cases} -x - 2y = -5 \\ (k + 6)y = 7 \end{cases} \]- a) 对于任何 \(k + 6 \neq 0\) 的值，有唯一解，即 \(k \neq -6\)。
- b) 如果 \(y\) 的系数为零但右边非零，则无解，即 \(k + 6 = 0\) 且 \(0 \neq 7\)，这总是成立。所以 \(k = -6\) 时无解。
第 5 部分：参数 \(k\)（无穷多解）
查看解答
求参数 \(k\) 的所有值，使得方程组有无穷多解：
\[ \begin{cases} x - 5y = 5 \\ 4x - 2ky = 20 \end{cases} \]解答
将第一个方程乘以 \(-4\) 并加到第二个方程：
\[ -4(x - 5y) + (4x - 2ky) = -4(5) + 20 \implies 20y - 2ky = 0 \implies (20 - 2k)y = 0 \]要使方程组有无穷多解，\(y\) 的系数必须为零（使 \(y\) 成为自由变量）：
\[ 20 - 2k = 0 \implies \mathbf{k = 10} \]验证： 当 \(k = 10\) 时，第二个方程变为 \(4x - 20y = 20\)，即第一个方程 \(x - 5y = 5\) 的 \(4\) 倍。两个方程表示同一条直线，有无穷多解。
常见问题
求解方程组的消元法是什么？
消元法（也称为高斯消元法）通过使用三种初等运算求解线性方程组：将方程乘以非零常数、将两个方程相加、交换两个方程。目标是逐一消去变量，直到方程组易于求解。
消元法中使用的三种初等运算是什么？
三种初等运算是：(1) 将方程的所有项乘以非零常数。(2) 将两个方程的左右两边相加。(3) 交换方程组中的两个方程。这些运算产生具有相同解集的等价方程组。
如何知道方程组无解？
当消元产生如 \(0 = 11\) 或 \(0 = -2\) 这样的矛盾时，方程组无解（不相容）。这意味着没有变量的值能同时满足所有方程。
如何知道方程组有无穷多解？
当消元产生如 \(0 = 0\) 这样的恒等式时，方程组有无穷多解。在这种情况下，一个或多个变量成为自由参数，解集以参数形式表示。
相容方程组和不相容方程组有什么区别？
相容方程组至少有一个解（唯一解或无穷多解）。不相容方程组完全没有解。
关于方程组的参考与链接
- 用高斯消元法求解方程组 - 问题与解答
- 克拉默法则问题与解答
- 3 乘 3 方程组的高斯消元求解计算器
- 使用克拉默法则求解 3 乘 3 方程组的求解计算器
- 方程组计算器与求解器
- 线性方程组 - 图形方法
- 求解方程、方程组和不等式
- Linear Algebra and its Applications - 5th Edition - David C. Lay, Steven R. Lay, Judi J. McDonald
- Elementary Linear Algebra - 7th Edition - Howard Anton and Chris Rorres