设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
相关话题
为何可逆上三角形矩阵的逆矩阵也是上三角形矩阵？这个数列怎么求和，求数学大神？
「微积分」的建立和发展经过了哪些阶段，它的研究对其它学科产生了什么影响？
为什么要构造出范德蒙行列式？
如何评价国科大非数专业使用卓里奇和代数学引论？
矩阵特征值与矩阵本身的关系是什么？
积分不就是找反导数吗，为什么还有稀奇古怪的积分技巧？
把线性空间分解为不变子空间的直和有何用处？
行列式等于 0，就一定有两行或两列相等吗？
如何证明一阶导数的上确界的平方小于等于原函数的上确界乘以二阶导数的上确界的二倍？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
如何处理这类三个连乘的积分呢？一竖直旋转圆柱上连接一均质柔软有限长绳，稳定时绳是什么形状？
圆锥体内切球公式是怎么推导的?
一道较难的极限题，如何求解？
这两个级数该怎么解答？
这该如何求导简便?
如何判断这个反常积分的判敛性？
高等数学里的概念和定义，为什么不能再简单些呢？
请问这道极限题怎么做?
这个要怎么积？
高数证明问题..？为什么能联想到取1为一个节点？
奇异值的物理意义是什么？
偏序性质的有向无环图的最大独立集如何求解?
如何简单明了证明负负得正？
这两个积分怎么做?
证明如果幂级数在收敛圆上一点收敛，那么从圆内沿任意不与圆周相切的方向逼近时有极限？
三角函数到底是怎么发展来的？
数学中为什么要定义各种空间？
参加 2021 年丘成桐大学生数学竞赛是什么体验？如何评价今年的竞赛？
这个定积分该如何做?
如何证明 1＋1/2^p＋1/3^p＋…＋1/n^p（1＜p＜2，p 为实数）收敛？
在知乎上什么样的数学问题最好不要回答？
如何理解矩阵的「秩」？
如何将条件收敛级数 1-1+1/2-1/2+1/3-1/3+1/4-1/4+...证其发散？
在四维或更高维的空间中，该如何定义转动？
下面的结论是否正确？
线性代数在现实中的用途有什么？
在三维空间单位球上放置n个完全一样的点电荷，怎样放置电势能最低？
如何从代数和几何的角度分别理解矩阵？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？