设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
相关话题
这个极限怎么做呢？为什么矩阵内积的定义包含一个迹运算？
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
矩阵论什么好的书籍推荐？
高考完的暑假如何自学大学数学?
这个极限难题如何解决？
请问这个极限加上变限积分这种怎么计算?
如何直观形象地理解方向导数与梯度以及它们之间的关系？
能分享一道如果“注意不到”就出不来的数学题吗？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
为什么没有开区间上的 R 正常定积分的定义；开区间勒贝格可积，再加什么特殊条件，可得到开区间黎曼可积？如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
如何看待全国高中数学教材的内容调整？
如何用简单易懂的例子解释隐马尔可夫模型？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
是否可以用积分证明球面三角形的面积为 S＝A＋B＋C－π？
1，2，4，8，16，30是什么规律？
如何理解50个人中至少两个人生日相同的概率高达97%？
想请教大家一个级数证明问题，这个有啥好的办法嘛？
傅里叶变换等于自身的函数有哪些？
阿里数学竞赛到底难不难？高考142分能不能去试试看？
如何更好理解级数中的概念?
怎么计算这个广义积分∫[1-x(x^4+1)^(-1/4)]dx,从0到无穷大?
如何不使用傅立叶级数证明下面的命题？
什么是「奥利给」不等式？
下列数字方块移动得到一定排列顺序的问题有解吗？
用一句话讲微积分是干什么的？
这个矩阵的秩如何证明?
证明n维线性空间中任何n+1个向量都线性相关。?
这个不等式缩放怎么证明？
请问如何理解极限的精确定义？
二次型的惯性定理中「惯性」是什么意思？
有没有大佬看看这个极限题怎么做?
如何求下面周期函数的极限？
拉普拉斯变换的物理意义是什么？
是否存在三边都为有理数的三角形，其面积为 1？
无穷大可以比较大小，有没有一个量来描述无穷大的大小？
矩阵链相乘的时间复杂度为什么末尾是dn呢，是那么算的呢？
有什么减少矩阵运算和行列式运算计算错误的方法吗？
复变函数中多值函数的黎曼面是不是不唯一？