三元一次方程组的解法

官方数学老师·10 页·进阶(有基础,想深入原理)·0 次浏览·3 天前
消元法矩阵视角几何直观

三元一次方程组的解法

从代入消元到矩阵变换,建立代数操作的几何直觉

按 空格/→ 演示下一步

1 / 10 页

全部页面点击任意一页,跳回舞台从这页播放

消元法矩阵视角几何直观

三元一次方程组的解法

从代入消元到矩阵变换,建立代数操作的几何直觉

1第 1 页 · 三元一次方程组的解法

化归思想

上页我们学了代入消元和加减消元,把三元方程组一步步解出来。但你有没有想过:这两种方法背后,其实是同一种数学思维在起作用?这就是化归思想。

「化归」二字怎么解
「化」是变化,「归」是回归——本质就是把陌生问题变成熟悉问题。
两个关键词
陌生→熟悉,复杂→简单。无论怎么变,目标都是回到「我会做」的状态。
在方程组里怎么用
三元→二元→一元,每消一个未知数就是一次化归,消元法本质就是化归。
不止于方程组
几何、数列、不等式……化归思想贯穿整个数学,是通用的思维工具。
拼一千块的大拼图对应 →化归思想

无从下手?先按颜色分成几堆,把大问题拆成小问题,逐个击破再拼起来。

2第 2 页 · 化归思想

代入法

上一节我们讲了化归思想——把三元问题降成二元、再降成一元。代入法就是化归思想最直接的落地手段。这一页看具体怎么做。

基本定义
把一个方程中的一个未知数,用含其他未知数的代数式表示
选元原则
优先选系数为±1或最简的未知数,表示更省事
降维效果
代入另两方程后,三元降为二元,回归已学内容
适用情形
方程组中存在系数简单(如±1)的方程时优先使用
拆毛线球找线头对应 →代入法

从最简单的方程'抽出'一个未知数,再顺着代入其他方程把线团解开

3第 3 页 · 代入法

加减法

代入法要把一个未知数用另一个表示后代回,绕了一圈。如果两式里恰好出现「系数相同」或「系数相反」的项,就能直接对冲,一步到位——这就是加减法。

核心思路
整体相加或相减两式,让系数相同的项直接对消为零
适用条件
两式中有同一未知数的系数相等,或互为相反数
操作要点
系数相同用减法,相反数用加法;不齐时先用倍法对齐
优势
避免分数运算,步骤通常比代入法更短
天平两边各加等重砝码对应 →两方程整体相加减

等式两边同加一个式子仍成立;相同系数的项正好对冲为0

{2x+3yz=5x+3y+z=4两式相加:3x+6y=9z被消去)\begin{cases} 2x+3y-z=5 \\ x+3y+z=4 \end{cases} \Rightarrow 两式相加:3x+6y=9(z 被消去)
4第 4 页 · 加减法

三元一次方程组

你去食堂点餐,要了 3 种菜,每种价格未知。但你记住了三件事:总价、菜的总份数、营养总卡路里——这就是天然的「三个未知数、三个方程」的场景。

结构特征
3 个未知数、3 个方程,且每个方程各项都是 1 次
几何意义
每个方程对应一个平面,三个平面的交点就是解
解的三种情况
三平面交一点 → 唯一解;重合 → 无穷多;平行或异面 → 无解
典型应用
物理力的平衡、配料比例、电路节点都依赖它
三堵墙的墙角对应 →三元一次方程组的唯一解

每堵墙就是一个方程的解平面,三墙交于一点 = 唯一一组公共解

{a1x+b1y+c1z=d1a2x+b2y+c2z=d2a3x+b3y+c3z=d3\begin{cases} a_1x+b_1y+c_1z=d_1 \\ a_2x+b_2y+c_2z=d_2 \\ a_3x+b_3y+c_3z=d_3 \end{cases}
5第 5 页 · 三元一次方程组

消元法

方程组摆在桌上,三个未知数同时存在让人头疼。我们已经学过代入法和加减法,看起来是两招,其实骨子里是同一招——这一招叫消元法。本节看清它的全貌。

本质
把多变量问题逐个消去未知数,最终化为一元一次方程
两种手段
代入消元(用表达式替换)与加减消元(用倍数差相减)
关键动作
先选系数最简的未知数下手,用两方程相消
适用推广
不止三元,n元一次方程组都可用此法逐层消减
三位密码锁对应 →消元法

每加一条约束(一个方程),可能性就被砍掉一块,最后一位直接读出

6第 6 页 · 消元法

矩阵

前面用加减法消元时,我们其实只关心系数怎么变、结果怎么算——'x、y、z'和'='这些字符只是'陪跑'。把这层陪跑剥掉,只留核心数字,就是矩阵的起点。

矩阵的本质
把方程组里的系数按行按列排成长方形,只留数字
增广矩阵
用竖线把常数项拼到系数右侧,等号也被省略
初等行变换
交换两行、行乘非零数、整行加减——消元法三件套
为什么学矩阵
变量多了照样机械操作,写方程的笔头负担消失
工厂流水线的标准动作对应 →初等行变换

工人按固定招式操作,整条流水线就能转;行变换是三个固定动作,人和机器都能执行

[a11a12a13a21a22a23a31a32a33][xyz]=[b1b2b3]\begin{bmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{bmatrix} \begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} b_1 \\ b_2 \\ b_3 \end{bmatrix}
7第 7 页 · 矩阵

方程的图象

我们前面用消元和矩阵把方程组算了出来——但每个方程本身也有几何形象。把这层图象叠上去看,「解」其实就是几何对象的公共部分。

二元方程 → 直线
形如 ax+by=c 的方程,图象是平面上的一条直线
三元方程 → 平面
形如 ax+by+cz=d 的方程,图象是三维空间中的一个平面
解 = 图象的交集
方程组的解,就是这些几何对象的公共部分
三种相交情形
三平面可交于一点、共一条线、或两两平行而无公共交点
n 元 → 超平面
推广到 n 个变量,方程对应 n 维空间中的 n−1 维超平面
用三把刀切蛋糕对应 →三个平面切三维空间

理想情况下三刀交汇于一点;若有刀平行,刀痕便不会相交

ax=b,a0\mathbf{a}\cdot\mathbf{x}=b,\quad\mathbf{a}\neq\mathbf{0}
8第 8 页 · 方程的图象

本节要点

  • 化归是主线:把三元压回二元,再压成一元
  • 代入法与加减法同源,差别只在算的路径
  • 增广矩阵 + 初等行变换 = 消元的矩阵写法
  • 三平面无公共交点 ⇔ 无解;两平面重合 ⇔ 无穷解
  • 易错:系数要整体放大,漏乘会破坏等式
延伸主题:行列式与克莱姆法则矩阵的秩与解的判定高斯-若尔当消元法
9第 9 页 · 本节要点

课后思考

先自己琢磨,再看参考答案。三个问题,三个层次。

1消元的本质是'等价变形'——为什么把三元问题一步步降维,并不会改变最终解集?

参考答案代入和加减都对等式两边做同解变形:两边同加同减同一个表达式,解集不变。关键是不能做'乘以可能为 0 的式子'这类破坏等价性的操作。

2面对一个实际问题,怎么判断该设几个未知数?线索凑不够三个独立方程时,强行列三个会怎样?

参考答案从题目中找独立约束——三个未知数需要三个互相独立的等式。线索不足时少设未知数;硬凑出多余的方程,常会导致无解或无穷多解。

3如果三个方程之间存在'重复信息'(比如某个方程可由另外两个推出),解的情况会发生什么变化?

参考答案可能出现无解(方程组相互矛盾),或有无穷多解(独立方程不足三个)。用矩阵语言说,就是系数矩阵不满秩,行列式为零。

10第 10 页 · 课后思考