合同矩阵是线性代数中描述矩阵之间特定关系的概念，主要用于二次型理论中。其核心定义和性质如下：

一、数学定义

两个n阶方阵A和B被称为合同的，当且仅当存在一个可逆矩阵C，使得：

$$C^TAC = B$$

其中，$C^T$表示矩阵C的转置。

二、基本性质

对称性 ：若A合同于B，则B也合同于A。即若存在可逆矩阵C，使得$C^TAC = B$，则存在可逆矩阵$D$，使得$D^TBD = A$。

传递性 ：若A合同于B，B合同于C，则A合同于C。即若存在可逆矩阵C和D，使得$C^TAC = B$且$D^TBD = C$，则存在可逆矩阵$E$，使得$E^TACE = D$。

等价关系 ：合同关系具有反身性、对称性和传递性，且合同矩阵的秩、行列式、特征值的正负个数相同。

三、应用场景

二次型理论 ：合同矩阵用于描述同一个双线性函数在不同基下的度量矩阵，通过正负惯性指数判断二次型的性质。

合同变换 ：在几何上，合同矩阵表示线性变换的等价关系，例如旋转、缩放等操作。

四、与相似矩阵的区别

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

合同矩阵 ：存在可逆矩阵C，使得$C^TAC = B$，仅要求正负惯性指数相同，特征值不一定相同。

五、实际意义

在工程、经济和管理领域，合同矩阵可用于：

分析合同条款中的权利义务分配

评估合同风险及潜在收益

解决合同履行中的冲突

综上，合同矩阵是线性代数中描述矩阵等价关系的工具，其核心在于通过可逆矩阵实现矩阵间的等价变换，具有重要的理论价值和应用意义。