线性代数 矩阵相似有关 证明:如果A1~B1,A2~B2 则