线性方程组的解与矩阵的秩的关系
线性方程组的系数矩阵和增广矩阵
重要程度：6 分
<div>
<h2>线性方程组的系数矩阵和增广矩阵</h2>
<p>在线性代数中，线性方程组可以通过矩阵来表示。一个线性方程组可以写成如下形式：</p>
<p><code>Ax = b</code></p>
<p>其中<code>A</code>是系数矩阵，<code>x</code>是未知数向量，<code>b</code>是常数项向量。</p>
<h3>系数矩阵</h3>
<p>系数矩阵<code>A</code>包含了线性方程组中所有变量的系数。例如，考虑以下线性方程组：</p>
<pre>
2x + 3y - z = 1
x - y + 4z = 7
3x + y - 2z = 5
</pre>
<p>其系数矩阵<code>A</code>为：</p>
<pre>
A =
[2 3 -1]
[1 -1 4]
[3 1 -2]
</pre>
<h3>增广矩阵</h3>
<p>增广矩阵<code>[A|b]</code>是在系数矩阵<code>A</code>的基础上，将常数项向量<code>b</code>附加到系数矩阵右侧形成的矩阵。例如，上述线性方程组的增广矩阵<code>[A|b]</code>为：</p>
<pre>
[A|b] =
[2 3 -1 | 1]
[1 -1 4 | 7]
[3 1 -2 | 5]
</pre>
<h3>线性方程组的解与矩阵的秩的关系</h3>
<p>线性方程组的解与其系数矩阵和增广矩阵的秩密切相关。具体来说：</p>
<ul>
<li>如果系数矩阵<code>A</code>的秩等于增广矩阵<code>[A|b]</code>的秩，则线性方程组有解。</li>
<li>如果系数矩阵<code>A</code>的秩小于增广矩阵<code>[A|b]</code>的秩，则线性方程组无解。</li>
<li>如果系数矩阵<code>A</code>的秩等于未知数的个数，则线性方程组有唯一解。</li>
<li>如果系数矩阵<code>A</code>的秩小于未知数的个数，则线性方程组有无穷多解。</li>
</ul>
<h3>例题</h3>
<p>考虑以下线性方程组：</p>
<pre>
2x + 3y - z = 1
x - y + 4z = 7
3x + y - 2z = 5
</pre>
<p>其系数矩阵<code>A</code>为：</p>
<pre>
A =
[2 3 -1]
[1 -1 4]
[3 1 -2]
</pre>
<p>其增广矩阵<code>[A|b]</code>为：</p>
<pre>
[A|b] =
[2 3 -1 | 1]
[1 -1 4 | 7]
[3 1 -2 | 5]
</pre>
<p>计算矩阵<code>A</code>和增广矩阵<code>[A|b]</code>的秩：</p>
<p>通过行变换可以得到：</p>
<pre>
[A|b] =
[1 0 1 | 2]
[0 1 -1 | -1]
[0 0 0 | 0]
</pre>
<p>系数矩阵<code>A</code>和增广矩阵<code>[A|b]</code>的秩都为2。</p>
<p>因为系数矩阵<code>A</code>的秩等于增广矩阵<code>[A|b]</code>的秩，所以该线性方程组有解。</p>
<p>由于系数矩阵<code>A</code>的秩小于未知数的个数（3），所以该线性方程组有无穷多解。</p>
</div>