1.4 线性代数基础
线性方程组的解法
重要程度：9 分
<h2>1.4 线性代数基础 - 线性方程组的解法</h2>
<p><strong>定义：</strong>线性方程组是由若干个线性方程组成的集合，每个方程都具有形式 \(a_1x_1 + a_2x_2 + \cdots + a_nx_n = b\)，其中\(x_i\)是未知数，\(a_i, b\)为已知系数。</p>
<h3>一、高斯消元法</h3>
<p>高斯消元法是一种用于求解线性方程组的方法。它通过一系列行变换将原方程组转化为阶梯形或简化阶梯形矩阵，从而容易地找到解。</p>
<ol>
<li>选择一个主元（通常是左上角非零元素）。</li>
<li>使用该主元所在行消除其下方所有元素至0。</li>
<li>重复步骤1-2直到矩阵变为阶梯形。</li>
<li>回代计算得到解。</li>
</ol>
<p><strong>例题：</strong>解下列线性方程组：
\[ \begin{cases}
2x + y - z = 8 \\
-3x - y + 2z = -11 \\
-2x + y + 2z = -3
\end{cases} \]
首先转换成增广矩阵形式:
\[ \left[ \begin{array}{ccc|c}
2 & 1 & -1 & 8 \\
-3 & -1 & 2 & -11 \\
-2 & 1 & 2 & -3
\end{array} \right] \]
然后执行行操作最终可得:
\[ \left[ \begin{array}{ccc|c}
1 & 0 & 0 & 2 \\
0 & 1 & 0 & 3 \\
0 & 0 & 1 & 1
\end{array} \right] \]
因此，解为\(x=2, y=3, z=1\)。</p>
<h3>二、克拉默法则</h3>
<p>对于含有n个未知数和n个方程的线性方程组，如果它的系数行列式不等于0，则此方程组有唯一解，并且可以利用克拉默法则来求解。</p>
<p>设线性方程组为
\[ \begin{cases}
a_{11}x_1 + a_{12}x_2 + \cdots + a_{1n}x_n = b_1 \\
a_{21}x_1 + a_{22}x_2 + \cdots + a_{2n}x_n = b_2 \\
\vdots \\
a_{n1}x_1 + a_{n2}x_2 + \cdots + a_{nn}x_n = b_n
\end{cases} \]
则解为
\[ x_j = \frac{\det(A_j)}{\det(A)}, j=1,2,\ldots,n \]
其中\(A\)是系数矩阵，而\(A_j\)是从\(A\)中替换第j列以向量\(b=(b_1,b_2,\ldots,b_n)^T\)形成的矩阵。</p>
<p><strong>例题：</strong>使用克拉默法则解以下方程组
\[ \begin{cases}
2x + 3y = 7 \\
x - 2y = -3
\end{cases} \]
根据公式计算得
\[ \det(A) = 2*(-2) - 3*1 = -7 \]
\[ \det(A_x) = 7*(-2) - 3*(-3) = -5 \]
\[ \det(A_y) = 2*(-3) - 7*1 = -13 \]
所以,
\[ x = \frac{-5}{-7} = \frac{5}{7}, \quad y = \frac{-13}{-7} = \frac{13}{7} \]</p>
<h3>三、齐次线性方程组与非齐次线性方程组</h3>
<ul>
<li><strong>齐次线性方程组:</strong> 当方程组右侧全为0时称为齐次线性方程组。这样的方程组至少有一个解——零解。若存在非零解，则称方程组有无穷多解。</li>
<li><strong>非齐次线性方程组:</strong> 右侧至少有一个常数项不是0。这类方程组可能无解、唯一解或无穷多解，具体取决于系数矩阵与增广矩阵之间的关系。</li>
</ul>
这段HTML代码简要概述了《物流数学》中关于线性方程组解法的重点内容，包括高斯消元法、克拉默法则以及齐次与非齐次线性方程组的基本概念，并附带了相关例子来帮助理解。