设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，a≤b＋ε 是否可推出 a≤b？
数学中，f'(x) 和 (f(x))' 到底有什么区别？
如何证明一阶导数的上确界的平方小于等于原函数的上确界乘以二阶导数的上确界的二倍？
线性方程组的解的结构怎么理解？
数学系大二如何弥补大一的差基础？
为何向量没有除法运算？
为什么在应用上高斯消元法很少被用来求逆矩阵?
把线性空间分解为不变子空间的直和有何用处？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
怎么证明方程 x^4＋4x^3－3x^2－x＝0 有 4 个实根？这个反常积分怎么计算呢？
高中阶段如何求 f(x)＝sinx＋2cosx＋sinxcosx 的值域？
如何判断一个人适不适合学数学？
如何理解矩阵对矩阵求导？
这个猜实数的游戏有没有必胜策略?
这个极限要如何计算？
一竖直旋转圆柱上连接一均质柔软有限长绳，稳定时绳是什么形状？
π可能等于4吗 ?
为什么无穷多个无穷大的乘积不一定是无穷大？
∫（0, +∞) (sinx/x)^n 是否有一般公式 ？
维数可以是虚数吗？
如何证明以下式子？
如何证明下面的问题？
你最喜欢的公式/定理是？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
这个极限怎么证？
对于很多知乎大佬说的随便一个数学系的学生就能秒杀考研数学？
请问这个函数与不等式问题该怎么解答？
高等数学可以用来分析文学 历史 和 哲学 么？
分块矩阵的秩的问题如何理解呢？
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
如何求这个复杂的函数的不定积分?
f'(x)=f(f(x))这类迭代常微分方程是否有相应的方法求它们的性质？
很好奇，如何证明行列式就是高维多边形体积？
cotx是周期函数吗？
有人知道这函数的值域怎么求吗?
AHP层次分析法，1.权重赋值时是从最高层还是最底层开始？2判断矩阵，多专家打分后如何进行权重计算？
绝对值不等式的发展史是什么呢？
如何研究e^x·lnx和e^x/lnx的单调性？