高等代数--证明--在数域p上,任意一个对称矩阵都合同于一个对角阵在复数域上证明.不仅仅是实数域._数学解答

高等代数--证明--在数域p上,任意一个对称矩阵都合同于一个对角阵
在复数域上证明.不仅仅是实数域.

人气：378 ℃　时间：2020-02-06 01:21:32

解答

用矩阵分块来证明.
A=[a11 aT]
[a A1]
取P为[1 -a11aT]
[0 I ]
则PTAP=[a11 0]
[0 B] B=A1-a11(-1)aaT
重复讨论n-1方阵B即可
或者用二次型化标准型方法得到A的有理相合标准型也可以证