2025年线性代数证明题专项训练试题.docVIP

2025年线性代数证明题专项训练试题

一、线性方程组解的结构证明（15分）

题目：设$\eta^$是非齐次线性方程组$Ax=b$的一个特解，$\xi_1,\xi_2,\cdots,\xi_r$是对应齐次线性方程组$Ax=0$的基础解系，证明向量组$\eta^,\xi_1,\xi_2,\cdots,\xi_r$线性无关。

证明：

定义法：假设存在常数$k_0,k_1,k_2,\cdots,k_r$，使得

$$k_0\eta^*+k_1\xi_1+k_2\xi_2+\cdots+k_r\xi_r=0\quad(1)$$

方程两边左乘矩阵$A$：

由于$A\eta^=b$，$A\xi_i=0\(i=1,2,\cdots,r)$，代入上式得：

$$k_0A\eta^+k_1A\xi_1+\cdots+k_rA\xi_r=k_0b=0$$

因为$b\neq0$（否则方程组为齐次），故$k_0=0$。

代入$k_0=0$至式(1)：

$$k_1\xi_1+k_2\xi_2+\cdots+k_r\xi_r=0$$

由于$\xi_1,\cdots,\xi_r$是基础解系，必线性无关，因此$k_1=k_2=\cdots=k_r=0$。

结论：所有系数均为零，故$\eta^*,\xi_1,\cdots,\xi_r$线性无关。

二、矩阵可逆性证