把域扩张到复数域上然后A, B都可以相似于上三角阵, 即A=PSP^{-1}, B=QTQ^{-1}然后AX=XB PSP^{-1}X=XQTQ{-1} SY=YT, 其中Y=P^{-1}XQ由于S和T都是上三角矩阵, SY=YT就可以一列一列解出Y来了, 直接求解验证Y=0
AB合同<=>XtAX XtBX 有相同的正负惯性指数
