怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？ 第1页
1
torsor 网友的相关建议:
首先，需要 A,B 都是实矩阵的条件. 下面的证明取自复旦高代白皮书的例 2.60 证明的一部分.
注意到 A+iB 的共轭等于 A-iB, 故 |A+iB| 的共轭等于 |A-iB|, 于是 |A+iB||A-iB| 大于等于零, 结论得证.
1
相关话题
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？三位物理学家与陶哲轩发现的特征向量全新求解公式，会给机器学习领域带来怎样的变化？
行列式的本质是什么？
如何理解矩阵对矩阵求导？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
三位物理学家与陶哲轩发现的特征向量全新求解公式，会给机器学习领域带来怎样的变化？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
在AHP方法中，如果构造判断矩阵？依据是什么？
矩阵的可交换性有什么几何意义吗？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
相关的话题
这一个高等代数的题如何证明?n - r = 基础解系的个数，这是为什么？
在AHP方法中，如果构造判断矩阵？依据是什么？
三次方程怎么求解？
为什么矩阵行秩等于列秩？
如何构造一个向量空间，它的元素是向量空间？
高等代数中线性变换的核的基怎么求？
所有的n阶反对称矩阵可以构成一个线性空间吗？
如何形象地理解矩阵的相似与合同？
在AHP方法中，如果构造判断矩阵？依据是什么？
多元高斯分布的协方差矩阵为什么是可逆的？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
如何证明下面的矩阵秩的问题？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
有什么答案为5201314的高阶行列式（四阶以上）?
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
矩阵的本质是什么？
线性代数从矩阵和行列式入门真的是最恰当的学习方法吗？
如何证明下面的问题？
矩阵特征值与矩阵本身的关系是什么？
n阶矩阵A=（cos(αi−βj)）n，如何证det（A）=0？n,如何证明det(A)=0?
一个一般的二次型等于0，这个方程应该如何求通解？
如何证明下面的矩阵秩的问题？
矩阵的指数函数到底说的是个啥？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
这个代数题怎么解？
这种类型行列式的问题，该如何构造进行求解呢?
(f(x),g(x))=1 在线性代数里是什么意思？