通解矩阵

用消元法程序在计算机上求含m个方程n个未知量的线性代数方程组的通解的同题现在仍然没有得到解决。本文首先给出一个称为“通解矩阵”的新定义，然后证明两个有关定理，以此为基础，使解决上述问题成为一件容易的事。