设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？ 第1页
1
RealFiddie 网友的相关建议:
引理1 若A,B对称，且AB对称，则存在正交阵Q使得 都是对角阵.
证明：见丘维声的高等代数书二次型那一节
引理2 设A,B均为n阶正定实对称矩阵，使得AB是对称阵. 则AB也是正定阵.
证明：由于A,B半正定对称, 由引理1，存在正交阵Q使得
其中 于是
因此 合同于正定的对角阵，故 是正定的.
题目 设A,B,C均为n阶正定实对称矩阵，使得ABC是对称阵.证明:ABC也是正定阵.
证明：由于B正定对称，则B的特征值都为正数，记 其中 正交， 为B的所有特征值. 所以可以记 其中 也是正定对称阵.
记 则 正定对称. 由条件(ABC对称)可知 也是对称. 由引理2可知 正定. 由于 与 合同，则 也正定.
注：把“正定”改成“非正定”的方法可以是考虑 其中 这样就得到正定矩阵，可以看另一个回答
1
相关话题
万有引力定律中，为什么由 F∝m、F∝M 可以推出 F∝Mm？如何用数学方法证明？这个数列有界如何证明？
「微积分」的建立和发展经过了哪些阶段，它的研究对其它学科产生了什么影响？
如何研究e^x·lnx和e^x/lnx的单调性？
这个式子对吗？若是，具体步骤是什么？
所有的n阶反对称矩阵可以构成一个线性空间吗？
任意 ε＞0，a≤b＋ε 是否可推出 a≤b？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
初等函数之上有无定义「高等函数」？
为什么要构造出范德蒙行列式？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
为什么会对这个用三角函数的那个公式？如何确定该双变量函数的所有间断点？
Word2vec 翻译到另一种语言，其向量空间之间的映射会不会是线性的？
是否存在这样一个非常数函数，定义域是实数集或其子集，值域仅为有理数集子集？是否有这样的函数是连续的呢？
微积分学教程是否适合工科学生提高数学水平？
这道定积分如何解决呢？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
n阶实方阵矩阵的换位子问题？
怎样证明这样一个行列式不等式？
为什么我学过微积分、线性代数和概率论，还是看不懂机器学习？
x+y+z=1 与x2+y2+z2=4 的交线 圆的半径怎么求？
如何证明以下关于ζ(2n)的式子？
如何证明一下等式?
如何看待南昌大学2020线性代数期末考试，出卷人明知疫情期间学习效率低，仍故意极大提高试卷难度？
3³+4³+5³=6³，只是个巧合吗?
Gram-Schmidt 正交化多项式？
微分记号 dx 是否不够恰当？
数学和围棋有关系么？
求擅长构造反例的大佬指点，Laplace连续，但是混合偏导数不连续的例子？
这个函数的不定积分是初等函数吗？
请问这个不等式的证明思路是怎样的？
Ln(-3-3i)等于多少？
原函数是周期函数，为什么积分后函数不一定是周期函数？
这个积分可以算吗，怎么算？
矩阵的可交换性有什么几何意义吗？
如何处理这类三个连乘的积分呢？
代数、几何能否联系一起？
如图，这道高数题怎么做?
如何看待的法兰西的数学水平？
如何证明dimQ（R）=dimQ（C）？