设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
相关话题
如何证明下面的分析不等式？请问如何理解极限的精确定义？
怎样更好地理解并记忆泰勒展开式？
以下极限是否存在？
如何简单明了证明负负得正？
有没有对隐函数求导公式的几何理解？
有没有手算根号pi的方法？
如何构造一个初值，使得这个数列是发散的?
数学中为什么要定义各种空间？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
在 C++ 里实现矩阵库的关键点是什么？正切函数tanx这个部分分式无穷级数展开式怎么证明?
如何证明y＝cosx²不是周期函数？
在AHP方法中，如果构造判断矩阵？依据是什么？
不学高等代数能学实变函数和泛函分析吗？
一天做完一百道积分题是一种什么感觉？
线性空间的对偶空间和优化里的拉格朗日对偶有什么关系？
这道竞赛高数题咋写?
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
有哪些有趣的线性代数习题？
如何用数学卖个萌？
这个矩阵怎么求啊?求各位大佬解答？
常微分方程解对初值的连续依赖性，书上都是定理证明，能否举个最简的方程来说明下，它的解是怎么依赖初值的？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
如下图，这个级数如何求出来呢？
如何求得这个级数的和函数？
e^(-x)|sinx|在(0,+∞)与x轴围成的面积怎么算？
条件收敛级数重排问题，为什么这种想法很荒唐？
请问这个三重积分该如何做？
如何理解 arctan(x) 与 arctan((1+x)/(1-x)) 具有相同的导数？
求解决这道题目？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
带有根号的微分方程应当怎么解？例如微分方程：dy/dx=根号下（x-y+3) ？
数列「1，2，2，3，3，3，...」的通项公式是什么？
行列式等于 0，就一定有两行或两列相等吗？
这个数列的极限怎么求？
连分式近似怎么操作？
为什么部分大一学生认为线性代数听不懂？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
一个一般的二次型等于0，这个方程应该如何求通解？