掌握一个原则：自由未知量所在列之外的列构成A的列向量组的一个极大无关组，所以应该选 (A).
这是因为取x4,x5后1,2,3列不构成A的极大无关组。
极大线性无关组（maximal linearly independent system）是在线性空间中拥有向量个数最多的线性无关向量组。
一个向量组的极大线性无关组是其最本质的部分, 对许多问题的研究起着非常重要的作用。如确定矩阵的秩, 讨论线性方程组的基础解系等。
历史
线性代数作为一个独立的分支在20世纪才形成，然而它的历史却非常久远。“鸡兔同笼”问题实际上就是一个简单的线性方程组求解的问题。
最古老的线性问题是线性方程组的解法，在中国古代的数学著作《九章算术·方程》章中，已经作了比较完整的叙述，其中所述方法实质上相当于现代的对方程组的增广矩阵的行施行初等变换，消去未知量的方法。
自由未知量所在列之外的列构成A的列向量组的一个极大无关组，所以应该选 (A)，这是因为取 x4，x5 后，1，2，3列不构成A的极大无关组。
所谓的自由变量就是当他们取定一组值时，其余变量的值可以用这些值表示出来。由阶梯形矩阵可知6x5=0，所以x5的值已定，不能作为自由变量。其余三个选项可验证满足前面要求。
具体讨论，矩阵的秩是3，自由变量为5-3=2个，阶梯形矩阵有3个阶梯，每一个阶梯上选择一个变量为非自由变量，剩下的就是自由变量。所以x5肯定是非自由变量。
含义
谓词逻辑中的谓词的真值与谓词中的约束变量的记法无关。因此，可引入改名规则：若打算把某谓词公式中的量词(Qx)换成(Qy)，则y必须是在该(Qx)的作用域内不出现的变量，并且把该(Qx)的作用域内一切自由出现的x换成y。
因此，在谓词逻辑的一个表达式中，总可以通过改名规则，使得该表达式中所有的约束变量都不是自由变量，于是，所有的自由变量也都不是约束变量。
所谓的自由变量就是当他们取定一组值时，其余变量的值可以用这些值表示出来。由阶梯形矩阵可知6x5=0，所以x5的值已定，不能作为自由变量。其余三个选项可验证满足前面要求。
具体讨论，矩阵的秩是3，自由变量为5-3=2个，阶梯形矩阵有3个阶梯，每一个阶梯上选择一个变量为非自由变量，剩下的就是自由变量。所以x5肯定是非自由变量，另外2个非自由变量是从x1,x2中选一个，x3,x4中选一个，所以所有可能的自由变量是x1,x3，x1,x4，x2,x3，x2,x4这四种。
所以应该选 (A).
这是因为取 x4,x5 后, 1,2,3列不构成A的极大无关组
