目录
能确定什么？不能确定什么？（不能确定，表示不可推出，没有证据推出。）
答：能确定行列式、迹相等；不能确定秩相等，不能确定A～B（相似），不能确定A合同于B。从以下几点解释。
① 因为 |A|=λ1 λ2…λn，tr(A)=λ1+λ2+…+λn，所以 |A|=|B|，tr(A)=tr(B)。
② 有特征值 λ，不表示A可以～Λ。
③ 若 A～Λ，可推出 r(A)=非0的 λ 个数。
④ 合同需要实对称矩阵（考研范围中），λ 相等并不能保证。
【反例】帮助理解：此例中，r(A)≠r(B)，且都不可相似对角化，且都不是实对称矩阵（不可合同）。
实对称矩阵一定可以对角化，所以可得A、B相似于同一个对角阵，即 A～Λ～B。又因为实对称，所以逆＝转置，也合同。
《为什么实对称矩阵相似一定合同》：https://zhidao.baidu.com/question/467790592.html?qbl=relate_question_0
不唯一。如果是配方法求得的，那么选取的可逆变换（配方的方式）不同，标准型结果也就不同。
相关链接：《化二次型为标准型的方法》：https://jingyan.baidu.com/article/3065b3b6bcbc86becff8a4d3.html
下面我们来谈不同形式的标准型，能确定什么？不能确定什么？
标准型的项数是一定的，该项数就是非0系数，也就是正负惯性指数；就是二次型的秩，也即实对称矩阵A的秩。
注：再说一下，秩与特征值的关系（见1.的例子）。如果A可以相似对角化，那么秩就是非零特征值的个数。这个“如果”很重要！
配方法得的标准型不能确定特征值。
可逆线性变换得到的标准型，其对角线元素，不一定是特征值！虽然二次型可以通过可逆线性变换（配方法），变成这样的对角阵，但是标准型有很多个，也就是有很多这样的对角阵；特征值是确定的，所以这些可逆线性变换得到的标准型，都不可以求出特征值。
特征值的求法：因为这些标准型与特征值无关，所以不能根据它们写特征多项式，而应该回到最初的二次型（实对称矩阵A），用特征方程做。
《配方法化标准型后的平方项系数是特征值吗》：https://zhidao.baidu.com/question/140444370691754565.html?qbl=relate_question_0
正交变换的标准型可以确定特征值。
诸多可逆线性变换中，只有正交变换得到的标准型，对角线元素，才是特征值。
回忆下相关做法，如何求使之变为标准型时的正交变换？
发现，正交变换就是在特征值的基础上做的，其结果得到的标准型，也就是特征值拼出的对角阵。
确定什么？可以确定惯性指数相同，也即二次型平方项的系数正、负个数相等，或是正特征值、负特征值的个数相同。
不能确定什么？不能确定特征值。
规范型是唯一的。是因为惯性定理，决定了对于同一个二次型的不同标准型，正、负惯性指数p、q是一定的，而规范型是系数只有1、-1、0的情况。此时说唯一，是不考虑二次型的变量顺序的，比如可以都规定写的顺序是1...-1...0。
同一个规范型可能有多个标准型。
同一个标准型，不可能对应多个规范型。因为标准型的惯性指数是确定的。
两实对称矩阵合同，则它们的p、q对应相等（规范型相同）。
若两实对称矩阵的 p、q 相等，则合同。
即规范型对应的不同矩阵是合同的。
《矩阵的等价,合同,相似的联系与区别》：https://wenku.baidu.com/view/acdd8a1d6bd97f192279e9de.html
这篇文章写的很清楚，可详细阅读。
（1）相似、合同可以理解为特殊的等价。
相似必等价，等价未必相似。
合同必等价，等价未必合同。
（2）正交变换既是相似变换，也是合同变换。（使用正交变换得到的相似或合同时，相似与合同一致。）
经正交变换后，两矩阵相似，则必合同。
经正交变换后，两矩阵合同，则必相似。
（3）实对称矩阵A、B，特征根相同时，必相似且合同。
一般矩阵不适用。但实对称矩阵，一定可以相似对角化，所以特征值相同时，A ~ B，此时也合同（见4.(4)）。
（4）实对称矩阵A、B，若相似一定合同，若合同未必相似。
若相似，其特征值相同，所以p、q相同，必可以合同。
若合同，保证了正、负系数的个数相同，此时虽然可以相似对角化，但各自具体的特征值一般不同，所以推不出A、B相似。
【例】对角矩阵diag(3,3,3)合同于单位矩阵 E，而 E 只能和 E 相似，显然diag(3,3,3)不相似于E（因为特征值不同）。
注：普通矩阵没有说相似一定合同，因为只在对称矩阵的时候，我们才讨论合同。
（5）不变量：等价时，秩不变；相似时，秩、特征值不变；合同时，秩、惯性指数不变。
