第一章 多项式 — 定理例子

定义1.1 一元多项式 — 例子

例1 上的4次多项式,,首项系数

例2 上的0次多项式(非零常数),。零多项式 不定义次数。

例3 上的2次多项式,但不是 上的多项式(系数 )。

定义:定义1.1 一元多项式

定义1.2 整除 — 例子

例1,因为 ,取

例2,因为不存在多项式 使 。做带余除法:,余式

例3:任意非零常数 整除任意多项式 ,因为

定义:定义1.2 整除

定义1.3 最大公因式 — 例子

例1。公因式有 ,最大公因式

例2。公因式只有常数,

例3。首一最大公因式 (注意不是 )。

定义:定义1.3 最大公因式

定义1.4 互素 — 例子

例1。辗转相除:,余式为常数,,故 互素。

例2,故 不互素。

定义:定义1.4 互素

定义1.5 不可约多项式 — 例子

例1 上不可约(判别式 ,无实根,不能分解为两个一次因式之积)。在 上可约:

例2 在任何数域上都是不可约的(一次多项式不可约)。

例3 上不可约(),在 上可约:

定义:定义1.5 不可约多项式

定义1.6 重因式 — 例子

例1 的3重因式(), 是单因式()。

例2 是2重因式, 是2重因式。

定义:[[第一章 多项式#定义16-k-重因式|定义1.6 重因式]]

定义1.7 多项式的导数(微商) — 例子

例1,则

例2,则 。特别地, 的导数为

例3(常数),则

定义:定义1.7 多项式的导数(微商)

定义1.8 多项式的根(零点) — 例子

例1,故 都是 的根,且都是单根。

例2 的3重根,因为

例3 中没有根(),在 中有根

定义:定义1.8 多项式的根(零点)

定义1.9 对称多项式 — 例子

例1 是对称多项式:交换 ,不变。

例2 是对称多项式:任意排列 后结果相同。

例3 不是对称多项式:交换

定义:定义1.9 对称多项式

定义1.10 初等对称多项式 — 例子

例1 时,初等对称多项式为

例2 时,。任意二元对称多项式都可由 表出,例如

定义:定义1.10 初等对称多项式

定理1.1 整除的充要条件 — 例子

例1:判断 是否整除

:做带余除法,,余式为 。由定理1.1,

例2:判断 是否整除

做带余除法:,余式为 。由定理1.1,

定理:定理1.1 整除的充要条件

定理1.2 最大公因式存在定理 — 例子

例1:求 的最大公因式。

辗转相除:

最后一个非零余式为 ,故

例2:求 的最大公因式,并表为组合。

。由第一式 ,即

定理:定理1.2 最大公因式存在定理

定理1.3 互素的充要条件 — 例子

例1:验证 互素。

由辗转相除:,故 。即 。由定理1.3,

例2:验证 不互素。

,公因式 非常数,故不互素。若存在 使 ,令 代入得 ,矛盾。

定理:定理1.3 互素的充要条件

定理1.4 互素与整除 — 例子

例1:已知 ,且 ,证明

由定理1.4,,故 。验证:,余式为1,似乎不对。实际上 ,这说明前提 不成立。计算 ,而 … 更正: 时为 ,故 。此例前提不成立。

例1(修正):已知 ,且 ,由定理1.4得 ,显然成立。

例2(推论),由推论 ,显然成立。

定理:定理1.4 互素与整除

定理1.5 不可约多项式的整除性质 — 例子

例1 上不可约。(在 上)。,故 ,且 (因为 的因子)。

例2(非零常数,不是不可约多项式,此例说明不可约条件不可少)。,但 (在多项式环中 不成立)。注意:非零常数不是不可约多项式。

例3 不可约。,且 ,即

定理:定理1.5 不可约多项式的整除性质

因式分解及唯一性定理 — 例子

例1 上的因式分解。

,其中 上都不可约( 的判别式为 ,无实根,故无一次因式)。分解唯一(不计常数因子和顺序)。

例2 上的因式分解。

,其中 上不可约。在 上进一步分解为

定理1.6 重因式与微商 — 例子

例1:判断 是否有重因式。

。求 ,故 有重因式。具体地, 的2重因式,是 的1重因式,与定理1.6一致。

例2(因为 不可约且不整除 ),故 无重因式。

定理:定理1.6 重因式与微商

定理1.7 余数定理 — 例子

例1:求 除的余数。

由余数定理,余数

例2:判断 是否是 的根。

,故 不是根。由推论,

例3,故 是根,。实际上

定理:定理1.7 余数定理

定理1.8 多项式根的个数 — 例子

例1 是3次多项式,在 中恰有3个根 ,不超过3个。

例2 是2次多项式,在 中没有根(根的个数 ),在 中有2个根

例3 是3次多项式,根 的重数为3,按重数计算共3个根,不超过3。

定理:定理1.8 多项式根的个数

定理1.9 多项式相等判定 — 例子

例1:设 ,已知 ,求

是2次多项式,3个条件确定 。由前两式得 。验证 ,矛盾。这说明不存在2次多项式同时满足这三个条件(因为由前两个条件已唯一确定 ,而 )。

例2:已知 是次数不超过2的多项式,,求

。解得 ,故

定理:定理1.9 多项式相等判定

定理1.10 高斯引理 — 例子

例1:验证 都是本原多项式,它们的乘积也是本原的。

,系数2和3的最大公因数为1,本原。,系数3和2的最大公因数为1,本原。,系数6、13、6的最大公因数为1,本原。与高斯引理一致。

例2,本原。

定理:定理1.10 高斯引理

定理1.11 整系数多项式的分解 — 例子

例1。虽然有理系数分解 的系数不是整数,但可以重写为整系数分解:,两个因子都是整系数的。

例2。有理系数分解 ,两个因子都是整系数的,与定理1.11一致。

定理:定理1.11 整系数多项式的分解

定理1.12 有理根的性质 — 例子

例1:求 的有理根。

。有理根 满足 。可能的 。候选有理根:

。故 是根。

。故 是根。

。故 是根。

三个根 ,均满足定理1.12。

例2,首项系数为1,有理根必为整根且是 的因子。候选:。三个整根 ,都是2的因子()。

定理:定理1.12 有理根的性质

定理1.13 艾森斯坦判别法 — 例子

例1:证明 上不可约。

。由艾森斯坦判别法, 上不可约。

例2:证明 上不可约。

。由艾森斯坦判别法, 上不可约。

例3,无法直接用艾森斯坦判别法(没有素数 使 )。但令 。取 。故 不可约,从而 不可约。

定理:定理1.13 艾森斯坦(Eisenstein)判别法

定理1.14 多元多项式首项 — 例子

例1

字典序下 的首项为 字典序大于 ), 的首项为 的首项应为

验证: 的系数确实只有 这一项贡献,不会被消去。

例2(推论2)

定理:定理1.14 多元多项式首项

定理1.15 对称多项式基本定理 — 例子

例1:将对称多项式 用初等对称多项式表示。

的首项为 (指数 ,满足 )。

构造

,即

例2:将 用初等对称多项式表示。

首项为 (指数 )。构造

定理:定理1.15 对称多项式基本定理