要证明两个矩阵合同，通常需要证明存在一个可逆矩阵P，使得$P^TAP=B$，其中A和B是待证明合同的矩阵。以下是证明两个矩阵合同的步骤和条件：

步骤：

证明对称矩阵的特征向量线性无关

对称矩阵的特征向量是线性无关的。

如果存在一组不全为零的系数$c_1, c_2, ..., c_n$，使得$c_1v_1 + c_2v_2 + ... + c_nv_n = 0$，则可以通过左乘A得到$A（c_1v_1 + c_2v_2 + ... + c_nv_n） = 0$。

由于特征向量满足$Av_i = lambda_iv_i$，则有$c_1lambda_1v_1 + c_2lambda_2v_2 + ... + c_nlambda_nv_n = 0$。

由于A是对称矩阵，特征值是实数，且特征向量线性无关，因此可以得出$c_1 = c_2 = ... = c_n = 0$。

构造可逆矩阵P

利用对称矩阵的特征向量构造一个可逆矩阵P，令$P = （v_1, v_2, ..., v_n）$，即P的列向量是A的特征向量。

证明合同关系

计算$P^TAP$的结果，验证是否存在一个可逆矩阵P，使得$P^TAP = B$。

条件：

秩判别法：

如果两个矩阵的秩相等，则它们可能合同。

特征值判别法：

如果两个矩阵的特征值相同，并且对应的特征向量可以互相线性表示，则它们合同。

行列式值法：

如果两个矩阵的行列式值相等且同号，则它们合同。

正负惯性指数法：

如果两个矩阵有相同的正负惯性指数（正特征值和负特征值的个数相等），则它们合同。

额外说明：

合同关系是一个等价关系，具有反身性、对称性和传递性。

在实数域上，两个实对称矩阵合同当且仅当它们有相同的正负惯性指数。

在复数域上，两个n阶对称矩阵合同等价于它们的秩相同。

以上步骤和条件可以帮助证明两个矩阵是否合同。