本篇笔记通过经典的“鸡兔同笼”问题引出了方程组,然后使用消元法对方程组进行求解,并将求解过程与矩阵初等行变换进行对应,最后还将方程组写成了矩阵的形式。
1 方程组引例
为什么会有线性方程组呢?在解决实际问题时会用到方程组,比如小学就接触到的“鸡兔同笼”问题。
举例:鸡和兔子一共有
8
8
8只,其中腿共有
20
20
20只,问有几只鸡?几只兔子?
分析:小学生一般使用“抬脚法”或“落脚法”解题。
解:因鸡是
2
2
2条腿,兔子为
4
4
4条腿,
抬脚法:让兔子都抬起
2
2
2只脚,此时应该共有脚
2
×
8
=
16
2{\times}8=16
2×8=16只,而原来共
20
20
20只脚,相差
20
−
16
=
4
20-16=4
20−16=4只脚,为什么会差
4
4
4只脚呢?因为每只兔子抬了
2
2
2只脚,所以有
4
÷
2
=
2
4{\div}2=2
4÷2=2只兔子,故有
8
−
2
=
6
8-2=6
8−2=6只鸡;
落脚法:让每只鸡都再长出
2
2
2只脚,
:
−
)
:-)
:−),这样的话共有
4
×
8
=
32
4{\times}8=32
4×8=32只脚,比原来的
20
20
20只脚多了
12
12
12只,为什么会多
12
12
12只脚呢?因为每只鸡多了
2
2
2只脚,所以鸡是
12
×
2
=
6
12{\times}2=6
12×2=6只,兔子是
8
−
6
=
2
8-6=2
8−6=2只。
2 消元法解方程组
当然,初高中之后使用的是解方程的方法,并使用消元法解题。
假设鸡是
x
x
x只,兔子
y
y
y为只,则
{
x
+
y
=
8
①
2
x
+
4
y
=
20
②
\begin{cases}x+y=8&①\\2x+4y=20&②\end{cases}
{x+y=82x+4y=20①②
①
式
×
(
−
2
)
加
到
②
式
①式\times(-2)加到②式
①式×(−2)加到②式,
{
x
+
y
=
8
③
2
y
=
4
④
\begin{cases}x+y=8&③\\2y=4&④\end{cases}
{x+y=82y=4③④
④
式
×
1
2
④式\times\frac{1}{2}
④式×21,
{
x
+
y
=
8
⑤
y
=
2
⑥
\begin{cases}x+y=8&⑤\\y=2&⑥\end{cases}
{x+y=8y=2⑤⑥
⑥
式
×
(
−
1
)
加
到
⑤
式
⑥式\times(-1)加到⑤式
⑥式×(−1)加到⑤式
{
x
=
6
y
=
2
\begin{cases}x=6\\y=2\end{cases}
{x=6y=2
3 方程组的变换
通过上述过程,不难发现消元法解方程,可以对方程组做了三种变换:
{
①
交
换
两
个
方
程
的
位
置
②
用
非
零
数
乘
以
某
个
方
程
③
某
方
程
的
l
倍
加
到
另
一
方
程
上
去
\begin{cases}① 交换两个方程的位置\\② 用非零数乘以某个方程\\③ 某方程的l倍加到另一方程上去\end{cases}
⎩⎪⎨⎪⎧①交换两个方程的位置②用非零数乘以某个方程③某方程的l倍加到另一方程上去
这三种变换似曾相识,和原来矩阵的三种初等行变换完全相同,所以消元法解方程可以对应对矩阵的初等行变换。
在上述解题过程中,你会发现很多符号都“没什么用”,而且需要重复写,如
x
,
y
,
+
,
=
,
{
x,y,+,=,\{
x,y,+,=,{等,其实对于方程组
{
x
+
y
=
8
2
x
+
4
y
=
20
\begin{cases}x+y=8\\2x+4y=20\end{cases}
{x+y=82x+4y=20
使用以下矩阵就可以代表所有的信息
[
1
1
8
2
4
20
]
\left[\begin{array}{cc|c}1&1&8\\2&4&20\end{array}\right]
[1214820]
上述分块矩阵左边为未知数的系数,分块矩阵右边表示等号右边的常数项。
类似地,其他方程也可以写成矩阵的形式
[
1
1
8
0
2
4
]
⟶
[
1
1
8
0
1
2
]
⟶
[
1
0
6
0
1
2
]
\left[\begin{array}{cc|c}1&1&8\\0&2&4\end{array}\right]\longrightarrow\left[\begin{array}{cc|c}1&1&8\\0&1&2\end{array}\right]\longrightarrow\left[\begin{array}{cc|c}1&0&6\\0&1&2\end{array}\right]
[101284]⟶[101182]⟶[100162]
上面方程组的变换对应到矩阵,就是矩阵的初等行变换。
4 引用
《线性代数》高清教学视频 “惊叹号”系列 宋浩老师_哔哩哔哩 (゜-゜)つロ 干杯~-bilibili_4.1 线性方程组