《因式分解定理》doc版.doc

芆蚀罿袆节虿蚈膂膈芅螁羅肄芅袃膀莃芄薃羃艿芃蚅腿膅莂螇羁肁莁袀螄荿莀蕿羀莅荿螂袂芁荿袄肈膇莈薃袁肃莇蚆肆莂莆螈衿芈蒅袀肄膄蒄薀袇肀蒃螂肃肆蒃袅羆莄蒂薄膁芀蒁蚇羄膆蒀蝿腿肂葿袁羂莁薈薁螅芇薇蚃羀膃薇袆螃腿薆薅聿肅薅蚈袂莃薄螀肇艿薃袂袀膅薂薂肅肁蚁蚄袈莀蚁螆肄芆蚀罿袆节虿蚈膂膈芅螁羅肄芅袃膀莃芄薃羃艿芃蚅腿膅莂螇羁肁莁袀螄荿莀蕿羀莅荿螂袂芁荿袄肈膇莈薃袁肃莇蚆肆莂莆螈衿芈蒅袀肄膄蒄薀袇肀蒃螂肃肆蒃袅羆莄蒂薄膁芀蒁蚇羄膆蒀蝿腿肂葿袁羂莁薈薁螅芇薇蚃羀膃薇袆螃腿薆薅聿肅薅蚈袂莃薄螀肇艿薃袂袀膅薂薂肅肁蚁蚄袈莀蚁螆肄芆蚀罿袆节虿蚈膂膈芅螁羅肄芅袃膀莃芄薃羃艿芃蚅腿膅莂螇羁肁莁袀螄荿莀蕿羀莅荿螂袂芁荿袄肈膇莈薃袁肃莇蚆肆莂莆螈衿芈蒅袀肄膄蒄薀袇肀蒃螂肃肆蒃袅羆莄蒂薄膁芀蒁蚇羄膆蒀蝿腿肂葿袁羂莁薈薁螅芇薇蚃羀膃薇袆螃腿薆薅聿肅薅蚈袂莃薄螀肇艿薃袂袀膅薂薂肅肁蚁蚄袈莀蚁螆肄芆蚀罿袆节虿蚈膂膈芅螁羅肄芅袃膀莃芄薃羃艿芃蚅腿膅莂螇羁肁莁袀螄荿莀蕿 5 因式分解定理一、不可约多项式.1定义8 数域上次数的多项式称为域上的不可约多项式(irreducible polynomical)，如果它不能表成数域上的两个次数比的次数低的多项式的乘积.2注：1）、根据定义，一次多项式总是不可约多项式；2）、一个多项式是否可约是依赖于系数域的；3）、零多项式与零次多项式不说可约或不可约；4）、不可约多项式的因式只有非零常数（）与它自身的非零常数倍这两种，此外就没有了。反过来，具有这个性质的次数的多项式一定是不可约的证：若，结论显然成立。 ，假设可约，则而只有因式 （）与它自身的非零常数倍必有，此时，而，矛盾； 或=，与，所以不可约，5）、.由此可知，不可约多项式与任一多项式之间只可能有两种关系，或者或者.证：设，则，而为不可约多项式，所以=即；或为零次多项式，即=1。该结论反之也成立。3定理5 如果是不可约多项式，那么对于任意的两个多项式，由一定推出或者.推广：如果不可约多项式整除一些多项式的乘积，那么一定整除这些多项式之中的一个.练习 P45. 12, 13, 14.二、因式分解定理1因式分解及唯一性定理 数域上次数的多项式都可以唯一地分解成数域上一些不可约多项式的乘积，.所谓唯一性是说，如果有两个分解式,那么必有，并且适当排列因式的次序后有.其中是一些非零常数.证：（一）、分解式的存在性对用归纳法 当，一次多项式一定不可约，结论成立。 假设结论对次数小于的多项式成立，若不可约，结论成立。若可约，令，由归纳假设，可分解成一些不可约多项式的乘积：，所以，=，由归纳原理，结论成立。 （二）、唯一性 设可分解成一些不可约多项式的乘积：及则 （*）对个数用归纳法：若=1，则不可约，必有且假设个数为时结论成立，下证个数为时成立，由（*）式得 因不可约，所以整除中一个，不妨设，而也不可约，所以 （1）带入（*）得：由归纳假设，有适当排序后，有： 即 （2） （3）由（1），（2），（3）结论得证。2注：1）、应该指出，因式分解定理虽然在理论上有其基本重要性，但是它并没有给出一个具体的分解多项式的方法.实际上，对于一般的情形，普遍可行的分解多项式的方法是不存在的.2）、在多项式的分解式中，可以把每一个不可约因式的首项系数提出来，使它们成为首项系数为1的多项式，再把相同的不可约因式合并.于是的分解式成为,其中是的首项系数，是不同的首项系数为1的不可约多项式，而是正整数.这种分解式称为标准分解式.3）、如果已经有了两个多项式的标准分解，就可以直接写出两个多项式的最大公因式.多项式与的最大公因式就是那些同时在与的标准分解式中出现的不可约多项式方幂的乘积，所带的方幂的指数等于它在与中所带的方幂中较小的一个.由以上讨论可以看出，带余除法是一元多项式因式分解理论的基础.4）、若与的标准分解式中没有共同的不可约多项式，则与互素.5）、上述求最大公因式的方法不能代替辗转相除法，因为在一般情况下，没有实际分解多项式为不可约多项式的乘积的方法，即使要判断数域上一个多项式是否可约一般都是很困难的.例 1、在有理数域上分解多项式为不可约多项式的乘积.例 2、设（）=1，则 （ ）=1，例 3、若，则 证： 所以 因，所以 ， 即则 羀莅荿螂袂芁荿袄肈膇莈薃袁肃莇蚆肆莂莆螈衿芈蒅袀肄膄蒄薀袇肀蒃螂肃肆蒃袅羆莄蒂薄膁芀蒁蚇羄膆蒀蝿腿肂葿袁羂莁薈薁螅芇薇蚃羀膃薇袆螃腿薆薅聿肅薅蚈袂莃薄螀肇艿薃袂袀膅薂薂肅肁蚁蚄袈莀蚁螆肄芆蚀罿袆节虿蚈膂膈芅螁羅肄芅袃膀莃芄薃羃艿芃蚅腿膅莂螇羁肁莁袀螄荿莀蕿羀莅荿螂袂芁荿袄肈膇莈薃袁肃莇蚆肆莂莆螈衿芈蒅袀肄膄蒄薀袇肀蒃螂肃肆蒃袅羆莄蒂薄膁芀蒁蚇羄膆蒀蝿腿肂葿袁羂莁薈薁螅芇薇蚃羀膃薇袆螃腿薆薅聿肅薅蚈袂莃薄螀肇艿薃袂袀膅薂薂肅肁蚁蚄袈莀蚁螆肄芆蚀罿袆节虿蚈膂膈芅螁羅肄芅袃膀莃芄薃羃艿芃蚅腿膅莂螇羁肁莁袀螄荿莀蕿羀莅荿螂袂芁荿袄肈膇莈薃袁肃莇蚆肆莂莆螈衿芈蒅袀肄膄蒄薀袇肀蒃螂肃肆蒃袅羆莄蒂薄膁芀蒁蚇羄膆蒀蝿腿肂葿袁羂莁薈