## **$Ax=0$与$Bx=0$同解问题**：
充要条件：$rankA=rankB=rank\begin{bmatrix} A \\ B\end{bmatrix}$.
$Ax=\alpha$ 与$Bx=\beta$同解问题：
充要条件：$rank\begin{bmatrix} A & \alpha\end{bmatrix}=rank\begin{bmatrix} B &\beta\end{bmatrix}=rank\begin{bmatrix} A &\alpha\\ B&\beta\end{bmatrix}$.

如何理解（非严格证明，目的是便于理解）：
首先，为了简化问题，我们只考虑齐次线性方程组同解问题，对于$Ax=0$与$Bx=0$，
考虑这两个齐次线性方程组的解空间，分别记为$N(A)$,$N(B)$,这两个集合是完全相同的，
可以得到$N(A)\subset N(B)$,以及$N(B)\subset N(A)$.
$N(A)\subset N(B)$可以得到什么呢？


说明$Ax=0$的解比较少，$Bx=0$的解比较多，一个方程组解多就说明他的方程限制相对宽松，解少则说明方程要求比较严格。换言之，$Bx=0$的每个方程是由$Ax=0$的方程线性表示的,同理$N(B)\subset N(A)$ 可以得到 $Ax=0$ 的每个方程是由 $Bx=0$ 的方程线性表示的，进而说明这两个系数矩阵的行向量能够互相线性表示，即行向量组等价.用秩的语言表示：$rankA=rankB=rank\begin{bmatrix} A \\ B\end{bmatrix}$.

另一个角度：这两个矩阵化成最简行阶梯型，是相同的，进行化简的时候只用到行变换，故它们的行向量组等价.

需要注意的是,这个条件是充要的.非常的好用.
非齐次的时候同理.

注意：由此，我们还能得到一些别的结论
例如：$A$ 和 $B$ 等价（可以通过初等变换得到），并不能得到两方程同解，因为等价的初等变换可能包括初等列变换，而列变换可能改变两方程的解

>[!example] 例1
>6. 已知方程组$\quad\begin{cases}x_1 + 2x_2 + 3x_3 = 0, \\2x_1 + 3x_2 + 5x_3 = 0, \\x_1 + x_2 + ax_3 = 0,\end{cases}$   与$\quad\begin{cases}x_1 + bx_2 + cx_3 = 0, \\2x_1 + b^2x_2 + (c+1)x_3 = 0\end{cases}$同解，则
   (A) $a = 1, b = 0, c = 1$;  
   (B) $a = 1, b = 1, c = 2$;  
   (C) $a = 2, b = 0, c = 1$;  
   (D) $a = 2, b = 1, c = 2$.

解析：类似于方程 $AX = B$ 有解的充要条件是$\text{rank} \begin{bmatrix} A & B \end{bmatrix} = \text{rank}A$，由方程 $XA = B$ 有解可知 $\text{rank} \begin{bmatrix} A \\ B \end{bmatrix} = \text{rank}B=\text{rank}A=k$，由初等变换不改变秩得$$\text{rank} \begin{bmatrix} B & O \\ A & E \end{bmatrix} =\text{rank} \begin{bmatrix} B & O \\ O & E \end{bmatrix}=n+k$$
