求基础解系的详细步骤如下：

确定自由未知量

设线性方程组为 $AX = b$，其中 $A$ 是系数矩阵，$X$ 是未知数向量，$b$ 是常数向量。

计算系数矩阵 $A$ 的秩 $r（A）$。

自由未知量是那些在主元列没有对应主元的未知数。

对矩阵进行初等行变换

将增广矩阵 $[A|b]$ 化为行最简形或标准形。

初等行变换包括：交换两行、用非零常数乘以某一行、某一行乘以非零常数再加到另一行。

转化为同解方程组

将行最简形或标准形中的自由变量取不同的值，代入方程组，得到基础解系。

验证线性独立性

确保基础解系中的向量线性无关，满足线性方程组的所有方程。

具体步骤示例

假设有一个线性方程组：

[

begin{cases}

2x_1 + 3x_2 - x_3 = 8

4x_1 + 5x_2 - 2x_3 = 18

-x_1 + x_2 + 2x_3 = -1

end{cases}

]

确定自由未知量

系数矩阵 $A$ 为：

[

A = begin{pmatrix}

2 & 3 & -1

4 & 5 & -2

-1 & 1 & 2

end{pmatrix}

]

秩 $r（A） = 2$，因此自由变量为 $x_3$。

对矩阵进行初等行变换

将 $A$ 化为行最简形：

[

begin{pmatrix}

1 & 0 & frac{7}{2}

0 & 1 & -1

0 & 0 & 0

end{pmatrix}

]

转化为同解方程组

令 $x_3 = t$，代入行最简形方程组：

[

begin{cases}

2x_1 + 3x_2 = 8

x_2 - t = 0

end{cases}

]

解得：

[

begin{cases}

x_1 = 4 - frac{3}{2}t

x_2 = t

end{cases}

]

验证线性独立性

基础解系为 ${（4 - frac{3}{2}t, t, t）}$，其中 $t$ 是任意实数。

这两个向量线性无关，满足原方程组的所有方程。

通过以上步骤，我们求得了线性方程组的基础解系。