\(B=C\)时,
\(BX=0\)与
\(CX=0\)同解是显然的,即充分性成立。下面证明必要性。
记\(B=(b_{ij})_{m\times n}\)的非\(0\)行数为\(r\),
\begin{equation*}
1\le j_1 < j_2 < \cdots < j_r \le n
\end{equation*}
其中\(j_i (i=1,\dots,r)\)是\(B\)第\(i\)行主元的列指标。则\(x_{j_1},\dots,x_{j_r}\)是\(BX=0\)一般解中的所有主变量,其余变量为自由变量。
为了区别,用
\(Y =(y_1,\dots,y_n)^T\)代表
\(CX=0\)的一般解。 现在我们从后向前依次讨论
\(X\)和
\(Y\)的分量。
若
\(x_n\)是
\(X\)中的主变量,则此时方程组
\(BX=0\)最后一个非
\(0\)行对应的方程是
\(x_n=0\)。由于
\(BX=0\)与
\(CX=0\)同解,则此时必然有
\(y_n=0\),即
\(y_n\)也是
\(Y\)中的主变量。反之,当
\(x_n\)是
\(X\)中的自由变量时,
\(y_n\)也是
\(Y\)中的自由变量。
下面讨论一般的\(x_j\)和\(y_j\)(\(j< n \))。因为\(BX=0\)与\(CX=0\)同解,所以可以不妨令
\begin{equation*}
x_{j+1}=y_{j+1},\dots, x_n=y_n,
\end{equation*}
可知在这样的限制条件下,\(x_j\)和\(y_j\)的取值集合仍然相同。
若
\(x_j\)是自由变量,则
\(x_j\)可以自由取遍
\(\F\)的所有值,此时
\(y_j\)也必然是自由变量;同理可知若
\(y_j\)是自由变量,则
\(x_j\)也必然是自由变量。也就是说
\(x_j\)是自由变量当且仅当
\(y_j\)是自由变量。进而可知
\(x_j\)是主变量当且仅当
\(y_j\)是主变量,即
\(y_{j_1},\dots,y_{j_r}\)是
\(CY=0\)一般解中的所有主变量,其余变量为自由变量。
根据根据
(2.6.1)的推导过程,对每一个
\(i(i=1,\dots,r)\),
\begin{align*}
x_{j_i} = \amp -b_{i,{j_i}+1}x_{{j_i}+1} -\dots -b_{in}x_n, \\
y_{j_i} = \amp -c_{i,{j_i}+1}y_{{j_i}+1} -\dots -c_{in}y_n.
\end{align*}
由于同解,\(x_{j_i}\)作为\(x_{j_i+1},\dots,x_n\)的函数与\(y_{j_i}\)作为\(y_{j_i+1},\dots,y_n\)的函数必然是同一函数,即
\begin{equation*}
b_{i,j_i+1}=c_{i,j_i+1},\dots, b_{i,n}=c_{i,n}.
\end{equation*}
结合简化阶梯形的相关定义,可知\(B\)与\(C\)有相同的第\(i\)行,再根据\(i\)的任意性,可知\(B = C\)。