线性代数中矩阵相似的一个问题，符号不好表示，请看图。