陈彦恒 贾松芳

类似于线性方程组解的判定定理在线性方程组中的地位，矩阵方程的判定定理在矩阵方程的一般理论也有重要的地位，然而在我们熟知的一些线性代数教材中几乎不涉及矩阵方程的判定定理的应用。本文给出了矩阵方程的判定定理在矩阵方程解的判定方面以及在两个同维向量组间线性表示关系方面的一些应用。

1 矩阵方程的判定定理

为了方便，我先给出矩阵方程的定义， 形如

（1.1）

其中 ，

的方程称为一个矩阵方程。 当 时， 称（1.1）为齐次矩阵方程，反之，称（1.1）为非齐次矩阵方程。

若令

其中

则矩阵方程 可化为 这就揭示了矩阵方程与线性方程组存在紧密联系。

类似线性方程组解的判定定理，下面不加证明的给出矩阵方程解的判定定理：

矩阵方程解的判定定理 矩阵方程（1.1）有解的充要条件是（1.1）中的矩阵 满足 。

下面通过例子说明矩阵方程解的判定定理在方程解的判定和在两个同维向量组间线性表示关系两个方面的一些应用。

2 在矩阵方程解的判定方面的应用

例1 判断矩阵方程 ，其中 ， ，是否有解。

解 由于

所以 ，从而由矩阵方程解的判定定理知，该矩阵方程无解。

例2 判断矩阵方程 解的情况，其中 ， 。

解 由于

所以 ，从而由矩阵方程解的判定定理知，该矩阵方程有解。

3 在两个同维向量组间线性表示关系方面的应用

例3若矩阵 满足 ，则 。

证明 因为 ，所以矩阵 是矩阵方程 的一个解。于是由矩阵方程解的判定定理知， ，而 ，从而 。另一方面，因为 ，所以有上述结论知， ， 从而 。……