矩阵乘法是线性代数中的一个基本概念，它描述了两个矩阵相乘的结果。在数学和工程学中，矩阵乘法有着广泛的应用。今天，我们将探讨一个有趣的现象：当两个矩阵A和B满足AB=BA时，它们必须满足哪些条件。
条件一：相同阶数的方阵
首先，要使矩阵乘法AB=BA成立，矩阵A和B必须是方阵，即它们的行数和列数相等。假设矩阵A是一个n阶方阵，其元素为(a{ij})，矩阵B也是一个n阶方阵，其元素为(b{ij})。那么，矩阵A和B的乘积(AB)也是一个n阶方阵，其元素为：
[ (AB){ij} = \sum{k=1}^{n} a{ik}b{kj} ]
同理，矩阵B和A的乘积(BA)也是一个n阶方阵，其元素为：
[ (BA){ij} = \sum{k=1}^{n} b{ik}a{kj} ]
当A和B都是n阶方阵时，只有在这种情况下，(AB)和(BA)才有可能是同一个矩阵。
条件二：可逆矩阵
除了相同阶数的要求外，矩阵A和B还必须是可逆的。一个可逆矩阵是指存在一个逆矩阵，使得它与原矩阵相乘后等于单位矩阵。具体来说，对于矩阵A，存在一个矩阵A^{-1}，使得：
[ AA^{-1} = A^{-1}A = I ]
其中I是单位矩阵。
同样，对于矩阵B，存在一个矩阵B^{-1}，使得：
[ BB^{-1} = B^{-1}B = I ]
当矩阵A和B都是可逆矩阵时，它们的乘积(AB)和(BA)也是可逆的，并且满足：
[ (AB)^{-1} = B^{-1}A^{-1} ] [ (BA)^{-1} = A^{-1}B^{-1} ]
如果AB=BA，那么：
[ (AB)(AB)^{-1} = (BA)(BA)^{-1} ] [ I = I ]
这说明(AB)和(BA)的逆矩阵相等，即：
[ (AB)^{-1} = (BA)^{-1} ]
因此，如果AB=BA，那么A和B必须是相同阶数的可逆矩阵。
结论
综上所述，矩阵乘法AB=BA成立的条件是：矩阵A和B必须是相同阶数的方阵，且都是可逆矩阵。在实际应用中，这一条件可以帮助我们判断两个矩阵是否可以交换，从而简化计算过程。