设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
相关话题
如何证明以下式子？分块矩阵的秩的问题如何理解呢？
请问对称矩阵的平方根怎么算，有公式吗？
请问为什么无穷个无穷小量的乘积不一定是无穷小量？
在线性代数中如何用几何表示非方阵矩阵相乘？
你见过最恶心的函数是什么？
如何证明下面的问题？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
既然微分和积分互为逆运算，为什么积分比微分更难求解？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
如何简单明了证明负负得正？我在网上淘到一本1930年的数学论文，微分几何方面的，作者DAN SUN，不知哪位大神给证实一下？
圆周率 是一个数列的极限吗？
常数变易法的思想来源是什么？
拓扑学上的紧致性怎样理解？有何运用？
这道定积分题目如何解？
请问这个级数是如何计算的？
如何评价「泛函、映射、算子、变换都是函数，是搞数学的人骗普通人的把戏」这一说法？实际情况如何？
为什么没有开区间上的 R 正常定积分的定义；开区间勒贝格可积，再加什么特殊条件，可得到开区间黎曼可积？
龙格库塔为何一般只用四阶？
如何理解哈密顿-凯莱定理？
为什么由连续整数的行列式（三阶及以上）数值为0？
求方阵的特征值大家有没有方法？
零点和极点个数有限的函数是否为有理函数？
一道较难的极限题，如何求解？
n整除Phi(p^n-1)，怎么证明？
如何理解矩阵相乘的几何意义或现实意义？
为什么有的人复习《高等数学》一星期甚至一个通宵就能通过考试？
一道难题求助大佬?
一个空间中勾股定理不存在，而变成了 c^4=a^4+b^4，甚至有更高的指数，那么这是一种什么空间？
为什么大学的课程（例如高数、线性代数）比高中难很多，老师却讲的比高中快几倍，作业也非常少？
如何评价国科大非数专业使用卓里奇和代数学引论？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
如何证明韦达给出的圆周率的计算公式？
大学学高数需要几个脑子？
由AB＝BA＝O可以得出什么结论？
这个用傅立叶级数怎么做?
什么情况下比值判别法失效？
一个积分不等式，该怎么处理？
高等代数证明和结论记不住怎么办？