跳到主要内容
  • 打开数学解题器
  • 询问 AI 辅导老师
  • 查找 AP 课程
  • 创建测验
  • 打开计算器
  • 图形计算器
  • 浏览全部计算器
  • 阅读数学指南
↑ ↓回车打开 · Esc 关闭
开始解题

方程组计算器

每行输入一个线性方程,即可得到精确解和每一步消元过程;方程组无解或有无穷多解时也会给出明确结论。

最多 6 个线性方程、最多 6 个未知数。方程之间用换行或分号分隔;可以使用分数和小数。

示例

关于方程组计算器

方程组要求找出同时满足多个方程的值。图像上的两条直线要么交于一点,要么永不相交,要么完全重合;对于任意多个未知数的方程组,也只有这三种结果。本计算器会判断你的方程组属于哪种情况,并在解唯一时以精确分数而不是四舍五入的小数给出解。

它使用高斯-若尔当消元法,这是学校所教的代入法和加减消元法背后的系统方法。每一步行变换都会列出,你可以跟着检查计算,与自己的消元过程对照,并准确看到某个未知数在哪里被消去、矛盾在哪里出现。

什么是线性方程组?

线性方程中每个未知数都只有一次幂,例如 2x+3y=72x + 3y = 7。方程组是一组含有相同未知数的这类方程。方程组的解是一组取值,它能使每个方程同时成立。

在两个未知数的情况下,每个方程是一条直线,解就是交点。在三个未知数的情况下,每个方程是一个平面。方程组可能相容且有唯一解,可能相容且有无穷多解(方程线性相关),也可能不相容而完全无解。

如何使用方程组计算器

  1. 每个方程单独占一行,例如第一行输入 2x + 3y = 7,第二行输入 x - y = 1。
  2. 可以用任意字母作未知数。等号两边都可以有项;计算器会把它们整理成标准形式。
  3. 可以输入分数和小数,例如 0.5x + y/3 = 2;小数会转换为精确分数。
  4. 点击“解方程组”。先查看标准形式和增广矩阵,再查看行变换列表。
  5. 查看结论:唯一解、用参数表示的无穷多解,或者说明无解的矛盾式。

公式

矩阵形式

Ax=bA\mathbf{x} = \mathbf{b}

系数构成 AA,常数构成 b\mathbf{b};增广矩阵为 [A∣b][A \mid \mathbf{b}]。

初等行变换

Ri↔Rj,Ri→kRi (k≠0),Ri→Ri+kRjR_i \leftrightarrow R_j,\quad R_i \to kR_i\ (k \ne 0),\quad R_i \to R_i + kR_j

这些变换都不会改变解集。

克拉默法则(2 × 2)

x=∣ebfd∣∣abcd∣,y=∣aecf∣∣abcd∣x = \frac{\begin{vmatrix} e & b \\ f & d \end{vmatrix}}{\begin{vmatrix} a & b \\ c & d \end{vmatrix}},\quad y = \frac{\begin{vmatrix} a & e \\ c & f \end{vmatrix}}{\begin{vmatrix} a & b \\ c & d \end{vmatrix}}

适用于行列式不为零的方程组 ax+by=eax + by = e、cx+dy=fcx + dy = f。

例题详解: 2x + 3y = 7, x − y = 1

例题求解 2x+3y=72x + 3y = 7 和 x−y=1x - y = 1。计算引擎写出增广矩阵,把第一行缩放使首元素为 1,从第二行消去 xx,再从第一行消去 yy。

从化简后的矩阵可以直接读出 x=2x = 2 和 y=1y = 1。代入得 2(2)+3(1)=72(2) + 3(1) = 7 和 2−1=12 - 1 = 1,所以两个方程都成立。

下面的解答由驱动上方计算器的同一计算引擎生成。

最终答案

x=2, y=1x = 2,\ y = 1

我们对题目的理解

含 2 个未知数 (x, y) 的 2 个线性方程。

{2x+3y=7x−y=1\begin{cases} 2x+3y = 7 \\ x- y = 1 \end{cases}

分步解答

  1. 把每个方程写成标准形式

    把所有含变量的项移到左边,常数移到右边。

    {2x+3y=7x−y=1\begin{cases} 2x + 3y = 7 \\ x - y = 1 \end{cases}
  2. 构造增广矩阵 [A | b]

    各列:x, y | 常数。

    [2371−11]\begin{bmatrix}2 & 3 & 7 \\ 1 & -1 & 1\end{bmatrix}
  3. 高斯–若尔当消元法

    用初等行变换使每个主元为 1,并消去该列的其他元素。

  4. R1 除以 2

    R1→12R1: [132721−11]R_{1} \to \tfrac{1}{2} R_{1}:\ \begin{bmatrix}1 & \frac{3}{2} & \frac{7}{2} \\ 1 & -1 & 1\end{bmatrix}
  5. 用 R1 中的主元消去 1 列

    R2→R2−1R1: [132720−52−52]R_{2} \to R_{2} - 1R_{1}:\ \begin{bmatrix}1 & \frac{3}{2} & \frac{7}{2} \\ 0 & -\frac{5}{2} & -\frac{5}{2}\end{bmatrix}
  6. R2 除以 -5/2

    R2→1−52R2: [13272011]R_{2} \to \tfrac{1}{-\frac{5}{2}} R_{2}:\ \begin{bmatrix}1 & \frac{3}{2} & \frac{7}{2} \\ 0 & 1 & 1\end{bmatrix}
  7. 用 R2 中的主元消去 2 列

    R1→R1−32R2: [102011]R_{1} \to R_{1} - \frac{3}{2} R_{2}:\ \begin{bmatrix}1 & 0 & 2 \\ 0 & 1 & 1\end{bmatrix}
  8. 简化行阶梯形

    [102011]\begin{bmatrix}1 & 0 & 2 \\ 0 & 1 & 1\end{bmatrix}
  9. 读出唯一解

    x=2, y=1x = 2,\ y = 1

所用公式

  • 矩阵形式

    Ax=bA\mathbf{x} = \mathbf{b}
  • 初等行变换

    Ri↔Rj,Ri→kRi,Ri→Ri+kRjR_i \leftrightarrow R_j,\quad R_i \to kR_i,\quad R_i \to R_i + kR_j

方程组恰有一个解;代回后每个方程都成立。

验算

  • 方程 1:2x + 3y = 7 ✓
  • 方程 2:x - y = 1 ✓

详细讲解

消元法、代入法与矩阵

代入法从一个方程中解出某个未知数,再把它代入其他方程。加减消元法把方程乘以倍数后相加,使某个未知数抵消。高斯-若尔当消元法就是在增广矩阵上按固定顺序进行的消元:在每一列选一个主元,把它缩放为 1,再把该列的其他元素全部化为零。

矩阵形式并不是另一种方法,只是记录更整齐。每一行就是去掉未知数名称的一个方程,每一步行变换都是你可以手动对方程做的操作。由于计算使用精确分数,不会因为舍入误差把线性相关的方程组误判为有唯一解。

识别无解和无穷多解

如果消元得到 [0 0∣5][0\ 0 \mid 5] 这样的行,它表示 0=50 = 5,这是不可能的,所以方程组不相容。从几何上看,就是平行线永不相交。

如果某一行全部变为零,即 [0 0∣0][0\ 0 \mid 0],说明这个方程是其他方程的组合,没有提供新信息。当主元个数少于未知数个数时,没有主元的未知数就是自由未知数。计算器把它们作为参数,并用它们表示其他未知数,从而描述出整条直线或整个平面上的解。

更大的方程组

三个未知数、三个方程的方程组遵循同样的模式,只是多了一列。这种方法可以推广到任意规模,计算器也能处理方程个数多于或少于未知数个数的方程组,并在每种情况下如实报告结果。

常见错误

  • 缩放方程时只乘了一边,或者只乘了部分项。
  • 用一个方程减去另一个方程时丢了负号;每一项都要减,包括常数项。
  • 以为方程组总是恰好有一个解。要检查是否出现矛盾式和全零行。
  • 不同方程中的未知数排列顺序不同,导致矩阵的列对不齐。
  • 中途对分数进行四舍五入,可能使相容的方程组看起来略有矛盾。

小贴士

  • 开始之前,让每个方程中的未知数按相同顺序排列。
  • 先消去系数最简单的未知数。
  • 把答案代入每一个原方程检验,而不只是最后用到的那个。
  • 对于两个未知数的方程组,画出两条直线,预判它们相交一次、永不相交还是完全重合。

常见问题

求解三个未知数需要几个方程?

通常需要三个相互独立的方程。方程更少时会有自由未知数和无穷多解;方程更多时,多出来的方程必须与其他方程相容。

计算器显示无解是什么意思?

消元得到了 0 = 5 这样不可能成立的式子。这些方程互相矛盾;对于两个未知数的情况,就是两条直线平行。

什么是自由未知数?

消元后没有主元的未知数。它们可以取任意值,其他未知数用它们来表示,从而得到无穷多解。

可以输入两边都有未知数的方程吗?

可以。在开始消元之前,每个方程都会被整理成标准形式:含未知数的项在左边,常数在右边。

为什么答案是分数而不是小数?

计算引擎使用精确的有理数运算,所以 7/3 这样的答案保持精确。如果课程要求,最后再换算成小数即可。

能解像 x 的平方加 y 的平方等于 25 这样的非线性方程组吗?

不能。本计算器用于线性方程组。单个多项式方程请使用方程求解器;曲线的交点可以用函数图像计算器直观地显示出来。

求解你的方程组

在上方每行输入一个方程,跟着每一步行变换得到精确答案。

更多数学计算器