矩阵论里关于线性变换不同基的证明问题