两个实对称矩阵合同当且仅当它们具有相同的正惯性指数和负惯性指数，即惯性指标相等。这是因为合同变换保持二次型的规范形，而规范形由惯性指数唯一确定。通过将矩阵化为对角形，可以直接观察到惯性指标是合同关系的不变量，同时也是充分条件：若两个矩阵的惯性指标相同，则它们可分别合同于同一个对角矩阵，从而彼此合同。

进一步地，惯性定理指出，实对称矩阵经过非退化线性替换（合同变换）后，其正特征值个数、负特征值个数以及零特征值个数保持不变。设矩阵A和B均为n阶实对称矩阵，它们的惯性指标分别记为(p_A, q_A)和(p_B, q_B)，其中p为正惯性指数，q为负惯性指数，且p+q≤n。若A与B合同，则存在可逆矩阵C使得C^TAC=B，此时A和B的规范形相同，因此(p_A,q_A)=(p_B,q_B)。反之，若(p_A,q_A)=(p_B,q_B)，则A和B都可化为同一个规范形对角矩阵，例如diag(1,...,1,-1,...,-1,0,...,0)，从而存在可逆矩阵P和Q使得P^TAP=diag(...)=Q^TBQ，则A合同于B（因为(PQ^{-1})^T A (PQ^{-1})=B）。因此惯性指标相等是矩阵合同的充要条件。

在实际应用中，判断两个矩阵是否合同往往转化为计算它们的惯性指标，这可以通过特征值的符号或者利用配方法实现。例如，对于二次型对应的矩阵，惯性指标反映了二次型的正定性、负定性或不定性。理解这一充要条件有助于简化矩阵分类和二次型化简问题。

【常见问题】

问题1：矩阵合同与相似有什么区别？惯性指标是否也用于相似？

回答1：矩阵合同和相似是两种不同的等价关系。合同基于合同变换C^TAC，而相似基于相似变换P^{-1}AP。惯性指标相等是矩阵合同的充要条件，但不适用于相似。对于相似，特征值相同是必要条件但不是充分条件，惯性指标并不直接决定相似关系。

问题2：如何计算一个对称矩阵的惯性指标？是否必须求出所有特征值？

回答2：计算惯性指标不需要精确求出所有特征值。可以通过配方法将二次型化为规范形，直接读取正平方项、负平方项和零项的数量；也可以利用顺序主子式符号（雅可比准则）判断正定性，但对于一般矩阵，更常见的是用特征值的符号：正特征值个数即为正惯性指数，负特征值个数为负惯性指数，零特征值个数为退化指数。注意特征值符号的准确判断可能需要数值计算，但理论上是等价的。

问题3：非对称矩阵是否也有惯性指标和合同的概念？

回答3：合同概念通常针对实对称矩阵或Hermite矩阵（复数域）。对于一般非对称矩阵，没有惯性指标的定义，因为合同变换不保持特征值。但可以通过对称化处理或者考虑其二次型形式。一般矩阵的合同关系较少讨论，主要应用于实对称矩阵对应的二次型。