利用阶梯形矩阵证明向量组等价