题目
- 设 不可约。证明:对任意 ,要么 ,要么 。
- 利用 (1) 证明:若不可约多项式 满足 ,则 或 。(不可约 ⇒ 素性)
- 在 中,判断 是否可约。若可约,给出分解。
提示
点击展开提示
- 第 1 题:设 。由于 不可约, 只能是 或 的常数倍。
- 第 2 题:若 ,由第 1 题知 ,存在 使 ,乘以 后利用 。
- 第 3 题:令 ,则 ,代回 。
解答
点击展开完整解答
第 1 题
因为 不可约(ALG-DEF-004),其因式只有非零常数和 的非零常数倍。设 (首一化),则 。故 要么是 1,要么是 (首一化后)。
- 若 ,则 。
- 若 ,则 。
第 2 题
设 。若 ,结论已成立。若 ,由第 1 题知 。由 Bézout 等式(ALG-THM-003),存在 使
两边乘以 :
因为 ,设 ,代入得 ,故 。
第 3 题
令 ,则
在 中, 是不可约的(无有理根,),故 是 在 中的标准分解。 在 中可约(分解为两个二次式的乘积),且有重因式 (2重)。
在 中进一步分解:,故 。
考察点
- ALG-DEF-004 不可约多项式的性质
- ALG-THM-002 唯一分解定理的证明思路
- ALG-THM-003 Bézout 等式的应用