２ ２ １ ２
从 !１３ "即有 !６ "式成立 $ 从而可得 !１ "式成立 ( 由 !１３" 及算术 # 几何平均不等式等号成立的 !８" 条件知 !６ " 式等号成立当且仅当 !"（#） ＝ １$ " ＝ １， ２， &，! !( 由引理 ２ 可知有可逆矩阵 0∈!!!!$ 使
从 !８ "知 $ 矩阵
第 １２ 卷 第 ５ 期
!
! ! !! 莆 田 学 院 学 报
中图分类号： Ｏ１５１．２１
!!!!!
Ｖｏｌ．１２ Ｎｏ．５
２００５ 年 １０ 月
!!!! ! ! ! ! ! ! ! ! !"#$%&’ "( )#* +&% ,%+-.$/+*0
!!!!!!!!!!!!!!!! Ｏｃｔ． ２００５
文献标识码： Ａ
１ ２
又 !"（*）＞０$ " ＝１， ２， &，!!$ 由!７"可知有正定矩阵
/&
ｄｅｔ) ＝/!"（#）" １ 0!"（#）＝１ !１３" !"＝１ " ＝ １
""
* ＝.＝ -ｄｉａｇ（ .!１（*） ， .!２（*） ， &， .!!（*） ）-Ｔ ＝ .Ｔ
由此 $* ＝ !* " ＝ !." (
ｄｉａｇ
１ , &
１１
， １ ，&， １ &２２ &!!
为前提也可给出其正确的证明 ( 为此先给出两个
的特征根 !１（#）， !２（#）， & ， !!（#） 都是正数 $ 且使 !４ "% !５ "成立 ( 由算术 # 几何平均不等式和 !４ "%!５"%!１２"$
证明需要的预备知识 (
引理 １ 证
文章编号： １６７２－４１４３（ ２００５） ０５－０００５－０３
关于正定矩阵的 "#$#%#&$ 不等式的证明
晏瑜敏 " 张新军 " 杨忠鹏
（ 莆田学院 数学与应用数学系， 福建 莆田 ３５１１００ ）
关键词： 正定矩阵； Ｈａｄａｍａｎｄ 不等式； 对称矩阵 摘 要： 首先指出丁卫平 《关于正定矩阵一不等式的简单证明》 一文给出的关于正定矩阵的 Ｈａｄａｍａｎｄ 不等式
% ＝ １
$%%
当且仅当 & 是对角矩阵时 "%１& 式等号成立 $ 上述关于正定矩阵的行列式上界估计的不等 式 %１&" 就是著名的 Ｈａｄａｍａｎｄ 不等式 $ 国内使用 的最广泛的两本教材 ［１］’ ［２］ 都把这个不等式的证 明作为基本习题 $ 文［１］ 将上述不等式作为不涉及到实对称矩阵 的特征值问题而列为第五章的习题 " 而 ［２］ 虽然安
"１ ２
(%’ ＝ &’%（#%， ’） ! 因此文 ［４］ ( + %% +(%’
的证明是完全正确的 ( 作为研究矩阵不等式的专著的文 ［４］ 给出的证 明 较 文 ［１］) 文 ［２］ 要 有 更 多 的 预 备 知 识 为 前 提 的 ! 在这个意义上作为教学研究的文 ［３］ 给出的证法 ! 笔 者 认 为 相 对 文 ［１］ ) 文 ［２］ 而 言 是 更 复 杂 的 证 法 ! 虽然文 ［３］ 的论证过程的叙述是简单的 ’ 这对于学 生来说是不合适的 $(
!!
!
莆 田 学 院 学 报
!５"
２００５ 年 １０ 月
!９ "
" ＝ １
!! ＝ ｄｅｔ#
"
也是正定的 ( 这样由 !７ "%!８"%!９ "$
１ ２ １ ２
由算术 # 几何平均不等式 $ 并利用 !４ "%!５ "得
ｄｅｔ#"１
!６"
由 !６ " 即 得 !１" 式 $ 再 由 算 术 # 几 何 平 均 不 等 式 中 等号成立的条件知 !６ " 式中等号成立当且仅当 !１ ＝
正定矩阵为前提的证明是不妥的 ( 我们按着文［３］ 的思路 $但不以 # ＝
!
从)＝ , ∈ !! ! ! 是 正 定 的 知 $ &"" ＞ ０ $ " &"’ -
＝ １， ２， & ， ! $ & ∈! , & "’ "" !!
所以 # 可表成两个正定矩阵 和 ) 之积 ( 由引理 １ 知 $# -
集合 "ｔｒ（"） ＝ !$%% 为 & ＝ " $%’ # ∈!!!! 的迹 "ｄｅｔ& 为
# ＝ １
& 的行列式 "且用 !%（&）， % ＝ １， ２，#，! 表示 & 在复数
域上的所有特征根 $ 设 &＝ " $%’ $ ∈!
! !!!
是正定矩阵 "则 & 的行列式 %１&
ｄｅｔ&%&$%%
这样有
７
第５期 秩 #!"# $＝ 秩! ｄｉａｇ（!１（!）"１， "２（!）"１，% ， #$（!）"１） "#１５& 由 ’１５ &知 !$%（!） ＝１ ! % ＝１，２， % ，$ 当且仅当秩 #!"# &＝ 晏瑜敏 ! 等 " 关于正定矩阵的 Ｈａｄａｍａｎｄ 不等式的证明 显然文 ［３］ 中证明所用的基本方法和基本工具 与文［４］ 是相同的 ! 但在文［４］ 给出的证明中 ! 矩阵 ! 满足 &%’ ＝ ＝( &%’ )
设 *＝ , ， !, ＝ , ∈!!!! 都是正 +"’ !"’ -
定矩阵 $则 *, 的特征根全为正的 ( 由 * 为正定矩阵 $知有正交矩阵 - $ 使 !７"
０ ＜ ｄｅｔ# ＝ ｄｅｔｄｉａｇ １
! " ＝ １ !
１ , &
１１
， １ ，&， １ &２２ &!!
!
ｄｅｔ) ＝ -
* ＝ -ｄｉａｇ（!１（*）， !２（*），&， !!（*））-Ｔ
我们总约定 !!!!! 为实数域 ! 上 ! !! 矩阵的
!
排在最后一章 % 按 ［２］ 的教材安排 " 在这之前已介绍 了矩阵的特征值 &" 但从所提示的方法上看 " 与 ［１］ (( 所有 是相似的 " 即根据正定矩阵的特征性质 ( 主子矩阵是正定的 " 用归纳法可给出证明 $ 新近文［３］给出一个关于正定矩阵的 Ｈａｄａｍａｎｄ 不等式的简单证明 " 现将文［３］ 的证明摘录如下 ! 设 &＝ " $%’ $ ∈!!!! 是正定矩阵 " 记 (%’ ＝ )%’ " 则
# ＝ 0ｄｉａｇ（!１（#）， !２（#），&， !!（#））0$１
从 !１４ "得
!１４ "
*
$ １ ２
＝ !* "$１ ＝ Ｍ$１ ＝
１ ２
１ １ １ ， ， &， -ｄｉａｇ -Ｔ （ ） （ ） ! * ! * ! . １ . ２ . !（*）
ቤተ መጻሕፍቲ ባይዱ
,
-
#$% ＝ 0ｄｉａｇ（!１（#）$１， !２（#）$１， &， !!（#）$１）0$１
收稿日期： ２００５－０４－１１
为 ! 阶正定矩阵 "* 的特征方程为 *＝ " (%’ $
ｄｅｔ（*+!,） ＝ ０ !!+ｔｒ（*）!!+１＋# ＋（+１）! * ＝ ０
%２ & %３ &
这里 , 为 ! 阶单位矩阵 "易知 "%２& 的展开式为 这里 ｔｒ（*） 为矩阵 * 的迹 " 方程 %３& 的 ! 个根 !１，!２， #， !! 都为正 " 由方程式的根与系数的关系得
由 !１１ " 及 ./∈! 化的 ( 利用引理 １ 和引理 ２ $ 可完备 ［３］ 的相关证明 ( 此时
!!!
２ & ２ ’ 构造的矩阵 Ｂ ＝ ’ ３ ’ ５ (
３ )& １ ２ *’ ＝’ * ５ *’ ３ ５ +( ５
３ ) ２ * ( 显然 # 不是 * * １ + & , & "’ ""
:-4 ;)($5! ｐｏｓｉｔｉｖｅ ｄｅｆｉｎｉｔｅ ｍａｔｒｉｘ； Ｈａｄａｍａｎｄ ｉｎｅｑｕａｌｉｔｙ； ｓｙｍｍｅｔｒｉｃ ｍａｔｒｉｘ <=5+(#>+ ! Ｆｉｒｓｔ， ｗｅ ｐｏｉｎｔ ｏｕｔ ｔｈａｔ ｔｈｅ ｐｒｏｏｆ ｏｆ ｔｈｅ Ｈａｄａｍａｎｄ ｉｎｅｑｕａｌｉｔｙ ｏｆ ｐｏｓｉｔｉｖｅ ｄｅｆｉｎｉｔｅ ｍａｔｒｉｘ ｉｎ Ｄｉｎｇ
!１１ "
可逆的 $ 知此时 *, 是可对角
对称的 $因此 # 不是正定矩阵 ( 这 个 例 子 表 明 文 ［３］ 所 构 造 的 矩 阵 # ＝
#＝
& １ ＝ ｄｉａｇ , , & &
"’ ""
１１
， １ ，&， １ &２２ &!!
) -
!１２ "
∈!!!! 一般不再是正定矩阵 $ 因而文 ［３］ 中以 # 为