矩阵相似性：充要条件与证明

两个矩阵A和B相似的充要条件是存在一个可逆矩阵P，使得P⁻¹AP = B。

充分性： 如果存在可逆矩阵P，使得P⁻¹AP = B，那么可以将等式两边同时左乘P，得到AP = PBP⁻¹。再将等式两边同时右乘P⁻¹，得到A = PBP⁻¹，即A和B相似。

必要性： 如果A和B相似，那么存在可逆矩阵P，使得A = PBP⁻¹。将等式两边同时左乘P⁻¹，得到P⁻¹A = BP⁻¹。再将等式两边同时右乘P，得到P⁻¹AP = B，即存在可逆矩阵P，使得P⁻¹AP = B。因此，相似的充要条件是存在一个可逆矩阵P，使得P⁻¹AP = B。