想知道相似必然合同吗

未必，只需要给举个反例就行。

对角矩阵diag(3,3,3)合同于单位捷态奥轹矩阵，而单位矩阵只能和单位矩阵相似，显然diag(3,3,3)不相似于单位矩阵。

合同与相似是特殊的等价关系，若两个矩阵相似或合同，则这两个矩阵一定等价，反之不成立。相似与合同不能互相推导，但是如果两个实对称矩阵是相似的，那肯定是合同的。

性质：

合同关系是一个等价关系，也就是说满足：

1、反身性：任意矩阵都与其自身合同。

2、对称性：A合同于B，则可以推出B合同于A。

3、传递性：A合同于B，B合同于C，则可以推出A合同于C。

4、合同矩阵的秩相同。