设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
相关话题
请问大家数学分析里边的函数凹凸性和高数里为什么是相反的呀？lnx 的 0.5 阶导数是什么？
用泰勒公式怎么证明?
在有界闭区域上连续的多元函数一定有最大值和最小值是否正确？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
请问这个极限加上变限积分这种怎么计算?
一个一般的二次型等于0，这个方程应该如何求通解？
如何证明矩阵为零矩阵？
关于Gamma函数的极限？
下面这个数列极限如何求出来呢？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
微分记号 dx 是否不够恰当？根号素数的有限组合是否一定是无理数?
有没有这样的函数，其一阶导等于1，二阶导等于2，三阶导等于3，n阶导等于n，n一直趋于无穷大？
矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？
这类型的定积分怎么求解呢，第一个我只知道用那个积分中值定理写，第二个呢？
如果函数是一种法则，那它为什么有最大值、极限，还能相加减等等？
为什么我学过微积分、线性代数和概率论，还是看不懂机器学习？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
如何看懂微积分公式？
如何从代数和几何的角度分别理解矩阵？
怎样计算两个服从高斯分布的向量乘积的期望？
如何理论计算多米诺骨牌推进速度？
矩阵乘法的本质是什么？
为什么∫x²/（√1-x²）dx用分部积分求不出来不定积分?
如何证明封闭曲线面积的参数积分公式？
既然微分和积分互为逆运算，为什么积分比微分更难求解？
请问，如何以类似曲棍球棒恒等式的证明方式证明以下恒等式？
这个恒等式咋来的？
请问大家数学分析里边的函数凹凸性和高数里为什么是相反的呀？
一个函数经过傅立叶变换，再经过傅立叶逆变换得到的函数还是原函数吗？
在线性代数中如何用几何表示非方阵矩阵相乘？
下列数字方块移动得到一定排列顺序的问题有解吗？
线性代数对物理学有什么帮助？
如果你来讲《高等代数》课程，你会如何设计？
高数老师像是从德云社出来的是种什么体验？
如何证明下面的分析不等式？
如何完成这道数学序列证明题？
撇去李林不说，考研数学参照2018的难度，2019考生应该怎么准备？
如何判断这个反常积分的判敛性？
无穷大可以比较大小，有没有一个量来描述无穷大的大小？