两个矩阵合同的定义及相关性质如下：

一、合同关系的定义

两个矩阵 合同 当且仅当存在一个 可逆矩阵P ，满足以下条件：

$$A = P^T B P$$

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

二、合同关系的核心性质

惯性定理

合同矩阵具有相同的正负惯性指数，即正特征值的个数、负特征值的个数分别相等。这一性质在线性代数中尤为重要，因为它保证了合同关系在二次型理论中的等价性。

等价关系

合同关系是一种 等价关系 ，具有自反性、对称性和传递性。例如，若A与B合同，B与C合同，则A与C也合同。

应用场景

合同关系主要应用于 二次型理论 ，通过非退化线性替换将二次型化为标准形，从而简化计算。例如，将二次型 $Q（x） = x^T A x$ 化为 $Q（y） = y^T C y$，其中C与A合同。

三、与相似关系的区别

相似矩阵 要求存在可逆矩阵P，使得 $B = P^{-1} A P$，且特征值相同。- 合同矩阵 仅要求正负惯性指数相同，特征值不一定相同。

四、示例说明

设实对称矩阵 $A = begin{pmatrix} 2 & 0 0 & 1 end{pmatrix}$ 和 $B = begin{pmatrix} 1 & 0 0 & 4 end{pmatrix}$，存在可逆矩阵 $P = begin{pmatrix} 1 & 0 0 & 2 end{pmatrix}$，使得：

$$B = P^T A P = begin{pmatrix} 1 & 0 0 & 2 end{pmatrix}^T begin{pmatrix} 2 & 0 0 & 1 end{pmatrix} begin{pmatrix} 1 & 0 0 & 2 end{pmatrix} = begin{pmatrix} 2 & 0 0 & 4 end{pmatrix}$$

此时，A与B合同但特征值不同，验证了合同关系与相似关系的区别。

综上，矩阵合同是线性代数中一种重要的矩阵关系，通过正负惯性指数的匹配实现等价变换，尤其在二次型理论中具有关键作用。