设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
相关话题
为什么秩为1的矩阵可以写成1列乘1行的情形呢？标记 n 维空间中任意一个点/向量一定要用 n 个坐标吗？
微分和导数的关系是什么？两者的几何意义有什么不同？为什么要定义微分 ?
怎么用一句话证明 det(M1 M2)＝det(M1)det(M2)？
使用容斥原理的时候发现这个恒等式，如何证明？
学习数学分析和高等数学的区别是什么？
有限维线性空间的有限是怎么理解？
一竖直旋转圆柱上连接一均质柔软有限长绳，稳定时绳是什么形状？
线性映射为什么那么重要？
导数 dy/dx 是不是一个整体符号？
前一个讨论
这个问题怎么做?最后怎么解出多项式？
下一个讨论
研究尺规作图时发现一个猜想不知是否可以完全解决？
相关的话题
你见过哪些美妙的函数图像？一道向量最值难题如何思考？
如何通俗地讲解「仿射变换」这个概念？
数学中有哪些巧合让人眼前一亮？
这个定积分怎么写?
非常神奇的数学结论有哪些？
如何构造一个向量空间，它的元素是向量空间？
根号素数的有限组合是否一定是无理数?
一下几道数学题该如何思考如何计算？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何评价国科大非数专业使用卓里奇和代数学引论？
如何证明下面的数列极限为0？
负数的正无穷趋于0吗例如（-1/2）的正无穷？
特征值和特征向量怎么求，最好有例题可以看看？ ？
怎么计算这个广义积分∫[1-x(x^4+1)^(-1/4)]dx,从0到无穷大?
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
有人真正理解数列极限的定义吗？
这道求极限题可以用泰勒展开来做吗？
什么是高等数学？
如何证明下面这个式子 ?
三角函数存在的意义是什么？
如何证明最小正周期为无理数的数列f（n）极限不存在？
哪位大神可以告诉我第一题怎么写吗？在线等?
为什么我学过微积分、线性代数和概率论，还是看不懂机器学习？
学习数学分析和高等数学的区别是什么？
数学中有哪些看起来很不可思议的知识？
是否存在一个「无法判定为有理数或无理数」的实数？
数列连续两项之差在满足什么样的情况下可推出数列有界？
是否存在三边都为有理数的三角形，其面积为 1？
代数学莫宗坚的这道题怎么做?