怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？ 第1页
1
torsor 网友的相关建议:
首先，需要 A,B 都是实矩阵的条件. 下面的证明取自复旦高代白皮书的例 2.60 证明的一部分.
注意到 A+iB 的共轭等于 A-iB, 故 |A+iB| 的共轭等于 |A-iB|, 于是 |A+iB||A-iB| 大于等于零, 结论得证.
1
相关话题
如何构造一个向量空间，它的元素是向量空间？为什么矩阵行秩等于列秩？
n阶实方阵矩阵的换位子问题？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
这一个高等代数的题如何证明?
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
请问对称矩阵的平方根怎么算，有公式吗？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
相关的话题
如何不借助特征值相关的理论证明下面的命题？奇异值的物理意义是什么？
怎么证明存在71阶实方阵A,使得它满足下面这个等式呢？
请问如何推导矢积的行列式表达呢？
各行各列元素之和都为1的矩阵叫什么矩阵？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
向量组等价时其秩一定想等吗？
矩阵乘法的本质是什么？
如何理解主成分分析中的协方差矩阵的特征值的几何含义？
怎样普适地求此特殊非线性矩阵方程的解？
线性方程组的解的结构怎么理解？
怎样直观的理解「极大无关组」，以及极大无关组的求法？
为什么部分大一学生认为线性代数听不懂？
为什么大学数学主要学习代数，而不是几何呢？
线性代数从矩阵和行列式入门真的是最恰当的学习方法吗？
这个命题是错的吗？
n - r = 基础解系的个数，这是为什么？
线性代数对于计算机专业的作用是什么呢？
有什么答案为5201314的高阶行列式（四阶以上）?
如何理解哈密顿-凯莱定理？
如何判断一个方阵变换会导致源向量模长缩小？
如何证明若行列式 D 中有两行元素分别对应成比例，则 D=0？
为什么由连续整数的行列式（三阶及以上）数值为0？
大一数分高代需要努力才能学好是不是意味着天赋不够？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
哪些线性代数（指一般意义上的本科一年级的课程）的难题可以用李群李代数的知识简便、优雅地做出来？
奇异值分解（SVD）有哪些很厉害的应用？
工程数学四阶行列式有什么技巧算法吗？
BERT中，multi-head 768*64*12与直接使用768*768矩阵统一计算，有什么区别？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？