矩阵合同正负惯性指数相同证明