四元非齐次线性方程组 Ax=b 的系数矩阵 A 的秩为 2,则导出组 Ax=0 有 4-2=2 个基础解系,n1-n3=(6, -3, -1, -1)^T, n2-n3=(3, -3, 2, -1)^T, 满足 Ax=0,且线性无关, 故是 Ax=0 的基础解系。 Ax=b 的通解为 x=(4, 3, 2, 1)^T+k1(6, -3, -1, -1)^T+k2(3, -3, 2, -1)^T。其中 k1,k2 为任意常数。