矩阵合同是线性代数中的一种矩阵关系，主要用于二次型理论。其核心定义和性质如下：

一、基本定义

两个n阶方阵A和B合同的定义是：存在一个可逆矩阵C，使得

$$C^TAC = B$$

其中，$C^T$表示矩阵C的转置。这种关系表明，矩阵A和B在某种线性变换下是等价的。

二、核心性质

正负惯性指数相同

合同矩阵具有相同的正惯性指数（正特征值的个数）和负惯性指数（负特征值的个数）。

等价关系

合同是一种等价关系，具有传递性。若A合同于B，B合同于C，则A合同于C。

对称性

若A合同于B，则B合同于A。

特征值的联系

合同矩阵的特征值的正负个数相同，但特征值本身不一定相同。

三、应用场景

合同关系在二次型理论中尤为重要。实对称矩阵A合同于对角矩阵D（即存在可逆矩阵C，使得$C^TAC = D$），且D的对角元素为A的特征值。通过合同变换，可以将二次型化为标准形式，从而简化分析。

四、与其他关系的区别

相似 ：存在可逆矩阵P，使得$P^{-1}AP = B$，要求特征值相同且可对角化。

等价 ：仅要求矩阵的秩相同，不涉及特征值或惯性指数。

五、补充说明

合同关系强调的是矩阵在特定线性变换下的等价性，而相似关系则更关注特征值的保持。合同关系在线性代数中的重要性体现在它能够将复杂问题转化为更简单的形式，例如将二次型标准化。