【基础解系怎么求】在线性代数中，基础解系是齐次线性方程组的解空间的一组极大线性无关组。它能够表示该方程组的所有解。掌握如何求基础解系，是解决线性方程组问题的重要基础。
一、基础解系的定义
对于一个齐次线性方程组：
$$
A\mathbf{x} = \mathbf{0}
$$
其中 $ A $ 是一个 $ m \times n $ 的矩阵，$ \mathbf{x} $ 是未知数向量，$ \mathbf{0} $ 是零向量。该方程组的解集构成一个向量空间，这个空间的基称为该方程组的基础解系。
二、求基础解系的步骤
以下是求基础解系的详细步骤，适用于一般的齐次线性方程组：
| 步骤 | 操作说明 |
| 1 | 写出系数矩阵 $ A $，并将其写成增广矩阵（注意：齐次方程组的常数项为0） |
| 2 | 对增广矩阵进行初等行变换，化为行简化阶梯形矩阵（RREF） |
| 3 | 确定主变量和自由变量。主变量对应于主元所在的列，其余为自由变量 |
| 4 | 令每个自由变量分别取1，其余自由变量取0，依次求出对应的解向量 |
| 5 | 将这些解向量作为基础解系，它们线性无关且能表示所有解 |
三、示例说明
考虑以下齐次方程组：
$$
\begin{cases}
x_1 + x_2 - x_3 = 0 \\
2x_1 + 2x_2 - 2x_3 = 0 \\
x_1 + x_2 + x_3 = 0
\end{cases}
$$
其系数矩阵为：
$$
A =
\begin{bmatrix}
1 & 1 & -1 \\
2 & 2 & -2 \\
1 & 1 & 1
\end{bmatrix}
$$
通过行变换化为行简化阶梯形：
$$
\begin{bmatrix}
1 & 1 & 0 \\
0 & 0 & 1 \\
0 & 0 & 0
\end{bmatrix}
$$
主变量为 $ x_1 $ 和 $ x_3 $，自由变量为 $ x_2 $。
令 $ x_2 = t $，则解为：
$$
x_1 = -t, \quad x_2 = t, \quad x_3 = 0
$$
所以基础解系为：
$$
\left\{
\begin{bmatrix}
-1 \\
1 \\
\end{bmatrix}
\right\}
$$
四、总结
| 项目 | 内容 |
| 基础解系定义 | 齐次方程组所有解的极大线性无关组 |
| 求解步骤 | 化简矩阵 → 确定主变量和自由变量 → 构造解向量 |
| 重要性 | 表示所有解，用于后续分析或计算 |
| 示例 | 通过行变换和自由变量赋值构造解 |
五、注意事项
- 若方程组的秩小于未知数个数，则存在非零解；
- 基础解系中的向量数目等于自由变量的个数；
- 解的线性组合仍为原方程组的解。
如需进一步了解非齐次方程组的通解，可参考“通解与特解”的相关知识。