2025年线性代数程序分析中的静态分析试题.docVIP

2025年线性代数程序分析中的静态分析试题

一、填空题（每小题2分，共20分）

设矩阵(A=\begin{pmatrix}12\34\end{pmatrix})，则(A)的伴随矩阵(A^*=\begin{pmatrix}4-2\-31\end{pmatrix})。

解析：伴随矩阵(A^*)的元素由代数余子式构成，对于二阶矩阵(A=\begin{pmatrix}ab\cd\end{pmatrix})，其伴随矩阵为(\begin{pmatrix}d-b\-ca\end{pmatrix})，代入计算即可。

已知向量组(\alpha_1=(1,2,3)^T)，(\alpha_2=(2,4,t)^T)，(\alpha_3=(3,6,9)^T)的秩为2，则(t=6)。

解析：向量组的秩为2，说明三个向量线性相关，且存在非零系数(k_1,k_2,k_3)使得(k_1\alpha_1+k_2\alpha_2+k_3\alpha_3=0)。通过矩阵初等行变换可得，当(t=6)时，第三列向量可由前两列线性表示，秩为2。

设(A)为3阶矩阵，且(|A|=2)，则(|-2A|=-16)。

解析：根据行列式