高等代数_若当标准形.doc

第八章 若当标准形一、本章知识脉络框图矩阵与等价矩阵可逆的充要条件矩阵可逆的充要条件矩阵与相似矩阵多项式与多项式矩阵的关系 等价标准形问题行列式因子不变因子对角形式问题秩与初等因子Jordan标准形矩阵的等价问题哈密顿-凯莱定 理最小多项式 二、本章重点及难点矩阵的相似问题一直是高等代数中的重点研究对象，除了前面所谈到的化矩阵为对角形的方法外我们还可以从其他渠道探讨这个问题.比如，周知存在可逆矩阵使得.但是寻找可逆矩阵往往是件比较困难的工作，因此我们可论证等价性成立：（或论证它们有相同的标准形），那么就相当于 ；此外，对不能对角化的矩阵我们也可以研究将其化成上（下）三角形或准对角形若当（Jordan）标准形.作为理论准备，矩阵的标准形理论是本章的重点之一. 通过矩阵的初等变换求其标准形是最基本的要求；了解矩阵的不变因子、行列式因子以及初等因子这三个重要概念并掌握它们的性质、相互之间的关系和求法等技术方面的工作，是本章的关键.讨论矩阵的相似标准形是本章的主要目的. 本章的难点有如下几个方面：l 掌握矩阵的不变因子、行列式因子与初等因子这三个重要概念以及它们的性质、关系和求法；l 理解并掌握两个数字矩阵与相似的充分必要条件，以及数字矩阵与对角矩阵相似的充分必要条件；l 充分发挥最小多项式的性质在讨论矩阵的相似标准形中的作用；l 掌握矩阵的Jordan标准形的求法、性质及其应用.三、本章的基本知识要点 （一）矩阵的概念和性质1.设是一个数域，是一个文字，如果矩阵的每个元素都是的多项式，即 =，那么，就是一个关于的多项式矩阵，简称为矩阵.如果 ，则称为阶矩阵.2. 如果在矩阵中，有一个阶子式不为零，一切阶子式（如果存在）全为零，则称的秩为，记为.注意： ； 若是一个数字阶矩阵，则必有.3. 设是阶矩阵，若存在阶矩阵使得 则称是可逆的，并称是的逆矩阵，记为.4注意：（1）一个阶矩阵是可逆的充要条件为行列式：.（2）若是可逆时，则有，其中是伴随矩阵.（3）在数字矩阵中，阶矩阵是可逆的充分必要条件是行列式（即是满秩矩阵），但对于矩阵来说，当矩阵的行列式时，矩阵未必是可逆的，即满秩的矩阵未必是可逆的. （二）初等矩阵1、由阶单位矩阵经过一次矩阵的初等变换得到的阶矩阵称为初等矩阵.其有三种不同的类型，分别是、与，而且都是可逆矩阵，且逆矩阵仍是同类的初等矩阵.2、对的矩阵进行一次初等行变换，相当于在的左边乘上相应的阶初等矩阵；而对进行一次初等列变换，就相当于在的右边乘上相应的阶初等矩阵.3矩阵可逆的充分必要条件是可表成一系列初等矩阵的乘积. 4注意：(1) 由于在矩阵的第二类型的初等变换中，不允许用一个非常数的多项式去乘或除矩阵的某一行（列），这导致了矩阵的初等变换与数字矩阵的初等变换在性质上有些区别，这请读者充分注意.(2) 等价的矩阵具有相同的秩、行列式因子、不变因子和初等因子.（三）矩阵的标准形1矩阵不变因子设的矩阵的秩为，那么可经过一系列的初等变换化成对角矩阵, 即存在阶可逆矩阵和阶可逆矩阵，使，其中是首一多项式，且 .并称式为矩阵的标准形.其中称为的不变因子.注意：若是一个阶数字矩阵，则的特征多项式必有（1）；（2）所有不变因子的次数之和.2、矩阵的行列式因子（1）设的矩阵的秩为，那么对于正整数的全部阶子式的首项系数为1的最大公因式，称为的阶行列式因子，记为.（2）不变因子与行列式因子之间的关系是：， （I）（3）两个矩阵等价的充分必要条件是它们具有相同的不变因子或相同的各阶行列式因子.（4）阶可逆矩阵的各阶行列式因子是，进一步，的不变因子是，从而知道矩阵的标准形是单位矩阵.即可逆的矩阵的标准形是单位矩阵，反过来，如果矩阵与单位矩阵等价，那么一定是一个可逆矩阵.3. 矩阵的初等因子与阶数字矩阵的初等因子（1）把矩阵的每个次数大于零的不变因子分解成互不相同的一次因式的方幂的乘积，所有这些一次因式的方幂（相同的必须按出现的次数计算），称为的初等因子.特别地，如果为阶数字矩阵，的特征矩阵的初等因子习惯上称为的初等因子.（2）设为阶数字矩阵，若特征矩阵等价于下列的对角形矩阵（不一定是标准形），其中都是首一多项式. 那么将分解成互不相同的一次因式的方幂（相同的必须按出现的次数计算）就是的全部初等因子.4. 不变因子、行列式因子与初等因子之间的关系矩阵的不变因子、行列式因子与初等因子之间存在有密切关系，它们之间可以互相导出.（1）如果已知不变因子，直接使用定义可得到初等因子，利用上面的关系式（I）可导出行列式因子.（2）如果已知行列式因子，同样可以利用关系式（I）导出不变因子，从而得出初等因子.（3）如果已知矩阵的秩及其初等因子，这时可以将全部初等因子按不可约因子的方幂降幂排列，同一个不可约因子的方幂排成一行.如果不可约因子的方幂的个数不足个，则在后面用1补足，这时全体不可约因子的方幂排成下列的形式：那么，矩阵的不变因子是， 依此就可以得到矩阵的行列式因子.下图列出了矩阵及其标准形，不变因子，行列式因子以及秩与初等因子之间的关系.在计算过程中，读者可以根据具体情况采用适当的步骤进行.对角形行列式因子不变因子秩与初等因子标准形初等变换矩阵A()初等变换（四）矩阵的等价、数字方阵相似和对角化的条件1设与都是的矩阵，那么有下列等价条件：（1）与等价与有相同的标准形； （2）与等价与有相同的不变因子；（3）与等价与有相同的行列式因子；（4）与等价与有相同的秩和初等因子；（5）与等价存在一系列初等矩阵和使得；（6）与等价存在可逆矩阵和使得.注意：两个阶数一样的矩阵仅是初等因子相同时，不能保证它们等价.例如矩阵如的初等因子相同，但它们不等价.2设都是阶数字矩阵，那么有下列关于矩阵相似的等价条件：（1）与等价；（2）与有相同的标准形；（3）与有相同的不变因子；（4）与有相同的行列式因子；（5）与有相同的初等因子（或者与有相同的初等因子）；（6）与有相同的若当标准形.3设是阶数字复矩阵，那么有下列等价条件：（1）与对角矩阵相似的充分必要条件是的不变因子没有重根；（2）与对角矩阵相似的充分必要条件是的初等因子都是一次的；（3）与对角矩阵相似的充分必要条件是的最小多项式没有重根；（4）与对角矩阵相似的充分必要条件是每个特征根的代数重数等于几何重数.（五）数字矩阵的若当标准形与有理标准形 从前面所谈论的化矩阵为对角形矩阵可知，并不是所有的阶数字矩阵都能相似对角化，虽然如此，但对于实数域上的阶对称矩阵，即实对称矩阵是一定与一个实对角矩阵相似的.于是，我们自然会提出这样一个有待解决的重要问题：当一个矩阵不与对角矩阵相似时，能否退而求其次，使相似于一个比对角矩阵稍为复杂，但仍能给计算和研究带来便利的某种标准形呢？这就是我们下面要介绍的矩阵的若当标准形与有理标准形.1矩阵的若当标准形（1）设是一个复数，形式为的矩阵称为若当（Jordan）块. 而由若干个若当块组成的准对角矩阵（分块对角矩阵）称为若当形矩阵，其中参数可以是相等，也可以是不相等.（2）由于若当块的特征矩阵的各阶行列式因子是，因此，它的不变因子是.由此即得，的初等因子是，也就是若当块的初等因子.由于若当块完全被它的级数与主对角线上的元素所刻划，而这两个数都反映在它的初等因子中.因此，若当块是由它的初等因子唯一决定的.（3）类似地，我们可以求得若当形矩阵的初等因子是.也就是说，每个若当形矩阵的全部初等因子是由它的全部若当块的初等因子构成的.而每个若当块是由其初等因子来决定的，由此可见，若当形矩阵除去其中的若当块排列的次序外，是被它的初等因子唯一决定的.（4）若当形矩阵的主要结论是：复数域上任一个阶矩阵都相似于一个若当形矩阵，这个若当形矩阵称为的若当标准形.（5）设是一个阶矩阵，是的若当标准形，那么l 存在可逆矩阵，使得；l 与有相同的秩与行列式；l 与有相同的特征多项式与最小多项式；l 特征矩阵与有相同的行列式因子；l 与（或者与）有相同的不变因子与初等因子.（6）对于复数域上的维线性空间的任一个线性变换，在中必存在有一组基，使得在此基下的矩阵是一个若当形的.（7）每个阶的复数矩阵都与一个下（或上）三角形矩阵相似，其主对角线上的元素刚好是矩阵的全部特征值. 即存在可逆矩阵，使（下三角形矩阵），其中是矩阵的全部特征值.如果是一个多项式，则的全部特征值是，即.2矩阵的有理标准形在上面我们讨论了复数域上任何一个阶矩阵可相似于一个若当形矩阵，下面我们将在任意一个数域上来讨论类似的问题，而且证明了上任意一个阶矩阵必相似于一个有理标准形矩阵.（1）对于数域上的一个多项式，称矩阵是多项式的伴侣阵.多项式的伴侣阵的不变因子（即是的不变因子）是，.（2）设阶矩阵的不变因子是其中的次数大于等于1，并且假设分别是的伴侣阵，这时我们称分块对角矩阵是矩阵的有理标准形.（3）数域上的任意一个阶矩阵必相似于它的有理标准形（因为它们具有相同的初等因子）.注意：若当标准形在复数域上是一定存在的，而有理标准形在任何数域上都是存在的.（六）最小多项式及其性质 1零化多项式与最小多项式设是一个数域，是上的阶数字矩阵，如果数域上的多项式使得，则称以为根或为的零化多项式.在以为根的多项式中，次数最低且首一的多项式称为的最小多项式，记为.2、哈密顿凯莱定理设是一个数域，是上的阶数字矩阵，记的特征多项式为 那么 即的特征多项式是的零化多项式.同时，还有3、最小多项式的性质设是数域上的阶数字矩阵，为的最小多项式.（1）最小多项式是唯一的；（2）设，则的充分必要条件是；特别地，矩阵的最小多项式是的特征多项式的一个因式.（3）若是一个阶数字矩阵，且的特征多项式为那么；（4）的特征根都是根.（5）设都是阶数字矩阵，如果相似，即；（6）设是准对角形，且分别是的最小多项式，那么 ；（7）阶若当块的最小多项式.（六）主要定理与结论定理1 假设都是阶数字矩阵，如果存在阶数字矩阵满足则矩阵与相似.作为矩阵多项式，矩阵也有下列的带余除法定理.定理2 设是数域上的两个阶矩阵，其中如果可逆，则存在矩阵及，满足，其中分别是零或者，且满足上述条件的及是唯一的.表示矩阵中所有元素的最高次数.如果把定理2的矩阵分别改成数字矩阵的特征矩阵，那么定理2变成下列的定理.定理3 对于任何不是零的阶数字矩阵，以及矩阵与，一定存在矩阵与以及数字矩阵与使得，.定理3的一个常用推论是下面的定理4 设，则存在唯一的矩阵使得.证明：存在性的验证. 假设多项式那么，取其中代入定理中，可以验证等式成立.唯一性的证明. 假设还存在有另一个矩阵使得只要把两个等式相减，可以得到再通过比较等式两边的次数，即可得到. 定理5 阶数字矩阵的最大不变因子等于的所有初等因子的最小公倍式.证明： 因为 ，将矩阵全部初等因子按不可约因子的方幂降幂排列，同一个不可约因子的方幂排成一行，不足个的在后面用1补足. 排列的形式如下：那么，不变因子 ，也就是等于所有初等因子的最小公倍式. 定理6 设阶矩阵的最小多项式为，证明：，其中是的最后一个不变因子.证明：设的全部初等因子是其中两两不同.这时 .其次，由于相似于若当标准形，由于对角分块矩阵的最小多项式等于各分块矩阵最小多项式的最小公倍式，而且相似矩阵有相同的最小多项式，所以. 定理7 设是准对角形，且分别是的最小多项式，证明： ，其中表示的最小公倍式.证明：因为 ，所以，即是矩阵零化多项式，因此，故是的一个公倍式.另一方面，任取的一个公倍式，则有，可见是矩阵的一个零化多项式，所以，. 再因为的首项系数为1，因此. 定理8 相似矩阵具有相同的最小多项式.证明：设阶矩阵与相似，即存在可逆矩阵，使得.又设分别是矩阵，的最小多项式，且设那么，我们有所以，是的零化多项式，而是的最小多项式，因此，.类似可以证明，.再从的首项系数为1，即可得到.四、基本例题解题点击1矩阵的基本概念与计算【例1】设有矩阵，计算：（1）；（2）.【提示及点评】矩阵的运算法则与数字矩阵的运算法则相同.【例2】设，求.【提示及点评】可以按数字矩阵求逆的方法进行计算.【例3】设，求.【解】因为而，所以可以应用牛顿二项式定理来进行计算. 【知识扩展提示】题目可以扩充为对任意阶数的若当块,求.【例4】设有矩阵试求矩阵使得，其中或者.【提示及点评】此例子主要介绍矩阵的带余除法定理.【解】首先把矩阵表示成矩阵多项式的形式：然后借助于多项式除以多项式的运算，我们有所以，. 【知识扩展提示】题目如果是求矩阵使得，则在做多项式除法的时候，注意矩阵与相乘时的左右方向即可.2求矩阵的标准形、行列式因子、不变因子与初等因子（1）行列式因子的计算方法一：直接使用行列式因子的定义进行计算.【例5】设有矩阵，试求其行列式因子.【解】由于矩阵的元素中含有非零常数1，所以一阶行列式因子.或者是由于下列所有多项式的最大公因式是1，所以.对于二阶行列式因子. 由于的2阶子式一共有9个，一一计算比较麻烦，我们只要找出特别的几个出来，看它们是否互素即行. 由于2阶子式 与 是互素的，即最大公因式是1，所以二阶行列式因子.最后计算三阶行列式因子，由于矩阵的3阶子式只有1个，所以. 【注意】由于使用定义的方法求行列式因子的计算过程比较麻烦，因此一般很少用，除非是矩阵比较简单.方法二：先用初等变换化简矩阵，一般情况是化简成为标准形或者对角形，再对简化后的矩阵求行列式因子.【例6】设有矩阵试求其行列式因子.【解】由于因此，所求的行列式因子是，. 方法三：对于特殊类型的矩阵（如对角形、上下三角形等等），可以先求出阶数大的行列式因子，再利用的关系，求出阶数低的行列式因子.【例7】设有下列矩阵；试求它们的行列式因子.【解】 由于矩阵的行列式所以， ,又由于在中有一个阶的子式，故，于是，. 显然 ，又其中的一个3阶子式 ，由于三阶行列式因子并且还有，因此可见，于是. （2）矩阵的标准形、不变因子与初等因子的计算方法一：直接使用矩阵的初等变换，求矩阵的标准形，进而可以得到不变因子.【例8】用初等变换求下列矩阵的标准形、不变因子与初等因子.【提示及点评】在使用初等变换来求矩阵的标准形时，第一步应将矩阵左上角的元素变成能够整除矩阵的所有元素，第二步才能消去矩阵的第一行与第一列的其余元素，重复这个过程即可把矩阵化其标准形. 关键的一步是在矩阵的所有元素中直接找出一个或者经过加减运算后找出一个元素，使其能够整除矩阵的所有元素.【解】于是，的不变因子，从而得出矩阵的初等因子是. 方法二：对于一些形如上（下）三角形、对角形等特殊的矩阵，可以先求其行列式因子（或者初等因子），再利用不变因子与行列式因子的关系，求出不变因子，进而得到矩阵的标准形.【例9】求下列矩阵的标准形与不变因子.；【解】 显然，行列式因子，而且矩阵有一个3阶子式，所以有，故的不变因子是 ，即的标准形是. 虽然矩阵不是对角形，但可用初等变换化成对角形：由此可得矩阵的初等因子是，而矩阵的秩= 4，据此可知不变因子是，故矩阵的标准形是 . （3）有关数字矩阵的初等因子的计算【例10】求下列数字矩阵的初等因子（以及不变因子，相应特征矩阵的行列式因子）.【提示及点评】对于计算数字矩阵的初等因子，其实其过程与求矩阵的若当标准形一样. 计算方法与求一般矩阵的初等因子是一样的.【解】因为因此，所求的初等因子是，不变因子是，行列式因子是. 3有关矩阵等价的判断与证明【例11】判断下列两个矩阵是否等价？，【提示及点评】利用矩阵等价的6个方法之一进行判断.【解】易见，矩阵与的行列式因子都是因此，矩阵与是等价的. 【例12】对于任意的阶矩阵，证明与等价.【提示及点评】可以证明它们有相同的行列式因子或者有相同的标准形.【解】假设矩阵的标准形是因此，存在可逆矩阵使得，两边取转置得到，从而知道与有相同的标准形，所以与等价. 4有关数字矩阵的特征矩阵（特征多项式、凯莱定理）的应用【例13】设有矩阵，求，其中是正整数.【提示及点评】利用哈密顿-凯莱定理及带余除法进行计算.【解】设是矩阵的特征多项式，那么计算可得再根据计算的要求，取多项式，并令（带余除法）分别把代入，得到 .又因为是特征多项式的2重根，所以，对上式两边求导后有再代入得到，.求解上面关于的联立方程组，我们可以得到因此，. 【注意】关键是如何利用矩阵A的特征值，找到关于的联立方程组.【例14】设有矩阵，及多项式，求.【提示及点评】利用哈密顿-凯莱定理及带余除法进行计算.【解】因为特征多项式，再由带余除法得到因此，由哈密顿凯莱定理得到,再求其逆，得到. 【注意】此题型的计算量比较大，关键是掌握其计算的方法与技巧.【例15】如果是一个阶可逆矩阵，导出使用哈密顿凯莱定理求逆矩阵的公式.【解】假定矩阵的特征多项式是则由凯莱定理知道，而，因此，即矩阵的逆矩阵. 【知识扩展提示】题目可以改成：证明存在一个实系数多项式，使得.【例16】设是任意一个阶矩阵，且证明：的伴随矩阵是的多项式，并且.【证明】由上例知道，而，代入上述，可以得到所以，. 5相似矩阵的判断与证明【例16】判断下列矩阵是否相似.【提示及点评】要判断两个矩阵是否相似，通常的方法是先求出它们的不变因子（或行列式因子、或初等因子），如果它们相同，则相似，否则不相似.当然，如果两个矩阵的秩，行列式，特征多项式或最小多项式有一个不相等，则它们一定不相似.要注意的是，即使它们的秩，行列式，特征多项式或最小多项式都相等，仍然不能确定它们是否相似.许多学生往往根据两个矩阵的特征多项式相同，就断定这两个矩阵相似，这是初学者常犯的一个错误，请读者给予充分的注意.【解】由于从而，与有相同的不变因子，故与相似. 【例17】假设多项式有个不同的根，证明矩阵 与 相似.【提示及点评】验证两个矩阵的不变因子相同即行. 【例18】下列形式的矩阵（其中称为上对角元素）称为海森伯格矩阵.试证明：两个上对角元素全非零的海森伯格矩阵相似的充分必要条件是它们有相同的特征多项式.【提示及点评】计算特征矩阵的行列式因子，再依此进行证明.【证明】由于特征矩阵如果，由于有一个阶的子式所以的行列式因子.由此得，的行列式因子是.于是，两个上对角元素全非零的海森伯格矩阵相似于与有相同的行列式因子. 6求矩阵的Jordan标准形和有理标准形【例19】求下列数字矩阵的若当（Jordan）标准形和有理标准形.（1）； （2）.【提示及点评】可以先求出矩阵的初等因子，然后由初等因子写出矩阵的若当标准形及有理标准形.【解】（1）由于所以，初等因子是，因此矩阵的若当标准形与有理标准形分别是，.（2）容易算得，矩阵的初等因子是，所以，若当标准形与有理标准形分别是，. 【知识扩展提示】从上面的例子可以看出，矩阵的若当标准形 = 有理标准形的充分必要条件是：矩阵的初等因子都是一次的.【例20】设. 求可逆矩阵，使得成为若当标准形. 【提示及点评】这是求相似变换矩阵的问题. 可先求出若当标准形，然后通过求解线性方程组来求可逆矩阵.【解】由例19知道，矩阵的若当标准形是.设有可逆矩阵，使得，则. 令，其中是列向量组，那么所以，是的属于特征值的特征向量，且满足. 下面先求向量，因，所以是齐次线性方程组的非零解，并且满足又因为，所以每一个非零向量都是的非零解. 取，则再从齐次线性方程组求出一个属于特征值的特征向量，此时取矩阵则可逆，且 7矩阵最小多项式的计算及在证明中的应用求阶方阵的最小多项式，通常采用如下三种方法：方法一 试探法：首先求出的特征多项式，然后写出中包含的所有互异特征值的因式，最后验证这些因子是否是的零化多项式，其中次数最低的首一多项式即是.方法二 求出的若当标准形，再利用其中是的若当标准形中以为对角元的若当块的最高阶数.方法三 当的阶行列式因子易于求得，利用求最小多项式.【例21】求下列矩阵的最小多项式.(1)； (2)；(3)【解】(1) 因为，其包含的所有互异的特征值的因式有：，直接计算有，从而的最小多项式.(2) 显然可以求得的三阶行列式因子，而特征多项式，所以最小多项式.(3) 由例19知道，矩阵的不变因子是，所以最小多项式是. 【例22】求指定的数字矩阵的最小多项式(1) 4阶矩阵的元素均是1；(2) ；(3) 已知3阶矩阵的特征值分别是1，-1，2，(4) 的充分必要条件是什么？(5) 若的特征值都是单根，那么对吗？【解】(1) 由于，而计算知道，所以最小多项式是.【知识扩展提示】题目可扩充为如果阶矩阵的所有元素都是且不为零，求其最小多项式.(2) 可以把矩阵看作若当标准形矩阵，其最小多项式由各个若当块的最小多项式的最小公倍式组成. 因此，3个矩阵的最小多项式分别是；(3) 由于，而且矩阵的特征值分别是1，-1，2，由此，可以求得矩阵的特征值分别是-4，-6，-12.故的特征多项式，由此得到的最小多项式是.(4) 对于阶数字矩阵，的充分必要条件是的行列式因子. 这可从计算公式得到.(5) 若的特征值都是单根，那么矩阵与一对角矩阵相似，从而知道最小多项式没有重根，再根据特征多项式与含有相同的的特征值，因此有. 【例23】求矩阵的全体零化多项式集.【提示及点评】求一个矩阵的零化多项式集，其实是求矩阵的最小多项式，再转化成一种零化多项式集合的形式.【解】从前面的例21(1)已经知道，矩阵的最小多项式，从而的全体零化多项式集合. 【例24】设是一个阶数字矩阵，那么，的特征多项式与其最小多项式之间的关系有：(1) ；(2) 存在正整数使得 ；(3) 如果设是6阶矩阵，并且特征多项式与最小多项式分别是，试求的所有不变因子及A的若当标准形.【解】(1) 根据最小多项式的定义即可得出.(2) 设的不变因子为，则，. 又因为，所以，或者是 ，此即.(3) ，而 ，所以， 故的所有不变因子是 .并由此得到的初等因子是 ，于是的若当标准形是. 【例25】试证明：(1) 如果复数矩阵的最小多项式，那么一定与对角矩阵相似.(2) 阶矩阵称为周期矩阵，如果存在正整数使得. 那么，复数域上的周期矩阵一定与对角矩阵相似.(3) 如果阶矩阵，但存在一个非零正整数使得，那么一定不能与一个对角矩阵相似.【提示及点评】 矩阵与对角矩阵相似的充分必要条件是的最小多项式没有重根，而没有重根的充分必要条件是最大公因式.【证明】(1) 因为，即最小多项式没有重根，所以与对角矩阵相似.(2) 由已知，矩阵有零化多项式，而，即没有重根.又最小多项式，因此，也没有重根，故与对角矩阵相似.(3) 同样，矩阵有零化多项式，由于，所以，即. 又从最小多项式知，而且，也就是有重根，所以矩阵不能与对角矩阵相似. 【例26】设是阶矩阵，证明：)= .【提示及点评】借助矩阵的若当标准形理论.【证明】因为存在可逆矩阵，使得是的若当标准形.其中而且.于是，对于任意的正整数，从而， .当时，若当块是可逆矩阵，此时.而当时，又，所以. 从而. 五、扩展例题解题点击【例27】设有多项式及3阶矩阵如下：试求矩阵及数字矩阵，使得.【提示及点评】要求的矩阵与数字矩阵其实满足，而且.解法过程还是矩阵的带余除法原理.【解】因为借用多项式的综合除法，我们有所以，.【例28】求可逆矩阵，使得成为标准形. 其中矩阵.【提示及点评】用矩阵的初等变换，化，同时就可以求出矩阵.【解】所以，矩阵并且. 【例29】假设，证明下列矩阵彼此等价：.【提示及点评】验证矩阵的行列式因子相等即可.【例30】假设矩阵的特征值（在复数范围内）全是1，证明：对于任意的非零整数，矩阵与相似.【提示及点评】考虑特征值 = 1的若当块，证明与相似.【证明】对于若当块矩阵，显然是一个主对角线上的元素 = 1的三角形矩阵，并且与的初等因子都是，所以与相似.由于矩阵与其若当标准形相似，即存在可逆矩阵使得，与 而与相似，所以与相似. 【例31】设、是两个阶矩阵. 证明：如果存在可逆矩阵使得，那么.【提示及点评】题目实际是证明：如果矩阵与相似，则与也相似.【证明】由于，从而 记 ，又所以，从而这说明左右两边是相等的矩阵，故当取任何值时，也相等.令，得到即 ，从而，. 【例32】设矩阵的秩为1. 证明的若当标准形只可能是 ，如果或者 ，如果.【证明】假设矩阵的若当标准形是 ，其中是若当块.因为，所以，从而知道，在若当块中，只有一个的秩是1，其余都是0.不妨设，从而.设的特征值是，则从知道，如果特征值，则若当块，但如果特征值，那么若当块则是.因此，矩阵的若当标准形只能是，这时 ，或者，这时 . 【例33】设阶矩阵满足，并且.证明：相似于矩阵，其中是秩 的可逆矩阵.【提示及点评】考虑矩阵有相同的若当标准形.【解】由于，所以是的零化多项式.又，所以，即是的最小多项式，故不变因子，从而得到的标准形的形式是也就是矩阵的初等因子是于是的若当标准形是又，故相似于.另一方面，故 ，且，类似于上面的讨论可得，矩阵的若当标准形也是，所以与相似. 【例34】设是阶矩阵，证明：相似于一个对角形矩阵的充分必要条件是，对于的任意一个特征值，都有： =.【提示及点评】借用矩阵的若当标准形理论及相似矩阵具有相同的秩.【证明】 必要性 假设矩阵相似于一个对角矩阵，即存在可逆矩阵，使得，所以 ，所以，与的秩相等，即 =.充分性 假设秩 = 秩，由于与其若当标准形相似，即有可逆矩阵，使，其中是若当块.如果不是对角形矩阵，不妨设是下列的形式：，这样，因而， ，也就是 ，矛盾. 所以每一个若当块都是对角矩阵，因此，与对角矩阵相似. 【例35】设是阶矩阵，证明：(1) 存在一个正整数，使得；(2) 存在一个正整数，使得.【提示及点评】借用矩阵的若当标准形理论.【证明】(1) 因为，因而，一定存在一个正整数，使得.(2) 对于矩阵，由于存在可逆矩阵，使得，这里，表示的若当标准形，其中表示特征值 = 0的若当块，其余若当块的对角线上元素非零.取 ，其中表示若当块的阶数，那么，所以，其中表示若当块的阶数.【例36】设是阶矩阵的特征多项式，且.证明：的次数，的次数.【提示及点评】相似矩阵具有相同的秩，将化为与其相似的若当标准形：，那么为准对角形，以此来讨论矩阵的秩.【证明】假设是的一个根，那么，因此或者.从知道，存在多项式使得，代入知道，与不能同时成立. 在复数域上，由于矩阵相似于若当标准形，即存在可逆矩阵，使得不妨设是的根，是的根，而它们的重数分别是与.因此的次数，的次数.又因为而，都是满秩矩阵，所以得到的次数；同理可证的次数. 【例37】设若当块，试求使得相似于的多项式应满足的充分必要条件.【证明】设为满足条件的任意一个多项式，那么，由于相似于，所以它们有相同的特征值，即是. 从而得到.又从相似于，知道 ，而 ，如果，那么，这样，所以，这与矛盾. 故必有，此时，矩阵可逆，从而有 = = .因此，即只有一个属于特征值1的若当块.这样，矩阵的若当标准形是，所以，相似于.由此得，所要求的多项式是，其中为任一使的多项式. 【例38】设是一个阶复数矩阵，的特征多项式，证明：的若当标准形中以为特征值的若当块的个数 = 特征子空间的维数.【证明】设的若当标准形是，即存在可逆矩阵，使得，其中是若当块，其阶数是不妨设若当块是以为特征值，其余若当块的主对角线上元素不是，并且假定.考虑下列齐次线性方程组，其解空间刚好就是特征子空间，因此 . 而，并令 ，其中，为主对角线元素为0的阶矩阵，为阶非退化矩阵，于是，.因而， ，所以，也就是等于以为特征值的若当块的个数. 同理可证，以为特征值的若当块的个数等于特征子空间的维数. 【例39】证明：(1) 任一个若当形矩阵，可以分解成一个实对