给出两个线性方程组同解的充分必要条件；如何理解用 Gauss 消元法解线性方程组的正确性从矩阵乘法、线性方程组的生成两方面来描述；

两个线性方程组同解的充分必要条件是它们的增广矩阵行等价。也就是说，它们的增广矩阵可以通过一系列的初等行变换（交换两行，将某一行乘以一个非零常数，将某一行加上另一行的若干倍）相互转化。

通过 Gauss 消元法解线性方程组的正确性可以从以下两个角度来理解：

矩阵乘法的角度：将系数矩阵和常数矩阵合并成为增广矩阵，通过一系列初等行变换将其转化为行最简阶梯型矩阵，然后通过回代求解得到方程组的解。这个过程实际上就是通过矩阵乘法的运算将增广矩阵化为行最简阶梯型矩阵的过程，因此可以通过矩阵乘法的性质证明 Gauss 消元法的正确性。
线性方程组的“生成”角度：线性方程组的解可以看作是由方程组中向量的线性组合生成的，而 Gauss 消元法实际上就是通过初等行变换对向量的线性组合进行了一系列等价变形，使得最终的向量组成为一个简单的基础向量组，从而求解出线性方程组的解。因此，Gauss 消元法的正确性可以通过向量的线性组合的性质来证明。