学习好资料欢迎下载矩阵与柯西不等式华东师范大学数学系林磊一、教学目的利用 TI-92 计算器，探讨运用矩阵来证明以及设计一类重要的不等式。二、柯西不等式在中学里，我们就熟悉了如下的一个不等式：22221222212211|nnnnyyyxxxyxyxyx，（*）其中，nxxx,21，nyyy,21为任何实数。且等号成立当且仅当向量),(21nxxx与),(21nyyy成比例。这就是著名的柯西不等式。如果我们将不等式（* ）用内积的形式来表示，则可将它改写成| ),( |此处，nnyxyx11),(表示与的标准内积（或点积） ，而),(|即为向量的长度。上述不等式是柯西不等式的一般形式（且此处的内积可以是任意确定的内积，不必局限于标准内积） 。三、正定矩阵我们将mn个数排成一个m行n列的数表nnnnnnaaaaaaaaaA212222111211称为一个m行n列的矩阵。如果nm，则称 A为n阶方阵。如果一个n阶方阵 A中的每个数都是实数，并且对于所有的nji,1， A的),(ji位置上的数与),(ij位置上的数均相等，则称A为（n阶实）对称矩阵。对于任何一个实对称矩阵A，我们都可以定义一个n元的二次函数),(21nxxxf：1,21),(jijiijnxxaxxxf精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 1 页，共 5 页学习好资料欢迎下载称为由 A所定义的二次型。例如：如果5332A，则由 A所定义的二次型为22212122122111215625332),(xxxxxxxxxxxxxxf。如 果),(21nxxxf是 由 对 称 矩 阵 A 所 定 义 的 二 次 型 。 并 且 ， 对 所 有 的 实 数nccc,21，有0),(21ncccf，而且等号成立当且仅当021nccc，则称 A为正定矩阵。例如，取矩阵1001A，则它所定义的二次型222121),(xxxxf。显然0),(21ccf且0),(21ccf当且仅当021cc。所以 A是正定矩阵。又如，取2332A，则22212121262),(xxxxxxf。由于0262)1,1 (f，所以 A不是正定矩阵。那么对于一个实对称矩阵，我们如何来判别它是否为正定矩阵？我们可以通过在TI-92 计算器中编制一个程序来加以判定。至于判定一个实对称矩阵是否为正定矩阵的根据，这就要用到线性代数的相关知识了，在此我们不作介绍。四、柯西不等式与正定矩阵的关系柯西不等式与正定矩阵之间有什么关系呢？设)(ijaA是一个n阶正定矩阵，则对任何向量),(21nxxx与),(21nyyy，定义1,),(jijiijyxa（* ）则可以证明由（* ）式定义的一定是n维向量间的内积。反之，对于n维向量间的任意一种内积，一定存在一个n阶正定矩阵)(ijaA， 使得对任何向量和，),(可由（* ）式来定义。因此，给定了一个n阶正定矩阵，在n维向量间就可由该矩阵定义一个内积，从而可得到相应的柯西不等式：njijiijnjijiijnjijiijyyaxxayxa1,1,1,。精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 2 页，共 5 页学习好资料欢迎下载五、具体例子例 1证明不等式|)(2|23123221332211yxyxyxyxyxyxyx322123222132212322212yyyyyyyxxxxxxx对所有实数321,xxx和321,yyy均成立。证明：从不等式来看，可知它相当于|),( |，其中),(是由矩阵210121012A所定义的。但要证明),(是内积还需证明A是个正定矩阵。为此，我们利用TI-92 计算器来判定这一点。 首先，在计算器中输入矩阵A（如图 1） 。然后，我们执行一个名为zdjz（即正定矩阵的拼音缩写）的程序（该程序预先已编制好），并输入矩阵A。从程序中得知，该矩阵为正定矩阵（见图2） 。从而可看出该不等式就是由A所确定的内积所产生的柯西不等式，因此不等式成立。图 1 图 2 注：上述不等式可以推广为niniiiiiiiyxyxyx11111)(211112111122niiiniininiiiiyyyxxx，其中1n是正整数，而nxxx,21，nyyy,21是任意实数。例 2试利用矩阵311131113A给出一个对应的柯西不等式。解：我们首先来确定A是否为正定矩阵。为此，执行一下程序zdjz，得出 A是正定的（见图 3） 。因此由 A可定义一个内积，从而得柯西不等式精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 3 页，共 5 页学习好资料欢迎下载|)(3|231312313221332211yxyxyxyxyxyxyxyxyx)(2)(3)(2)(3323121232221323121232221yyyyyyyyyxxxxxxxxx。当然，并非所有实对称矩阵都是正定的。图 3 图 4 例 3设矩阵221232122A，试判断 A的正定性。解：执行程序zdjz，输入矩阵A，由程序判断可知A不是正定的（见图4） 。图 5 该程序还可以判别输入的矩阵是否为实对称矩阵。例如，我们在程序执行过程中输入矩阵987654321A，则用程序可判定A不是对称矩阵（见图5） 。程序 zdjz 见图 6-图 9。精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 4 页，共 5 页学习好资料欢迎下载图 6 图 7 图 8 图 9 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 5 页，共 5 页