例 5.6
依赖于
- 无显式依赖
被以下题目直接调用
例 5.6
设 是次数不小于 1 的互素多项式,求证:必唯一地存在两个多项式 ,使得
且 。
解答
证明 先证存在性。因为 ,故必存在 ,使得
若 的次数大于等于 的次数,由带余除法,有
代入前式得
即有
令 ,则 ,否则由比较次数可知,上式将不可能成立。
再证唯一性。设另有 适合条件,即
则
因为 和 互素,上式表明 。但 的次数小于 的次数,所以只可能 ,即 。这时 。
例 5.6
设 是次数不小于 1 的互素多项式,求证:必唯一地存在两个多项式 ,使得
且 。
证明 先证存在性。因为 ,故必存在 ,使得
若 的次数大于等于 的次数,由带余除法,有
代入前式得
即有
令 ,则 ,否则由比较次数可知,上式将不可能成立。
再证唯一性。设另有 适合条件,即
则
因为 和 互素,上式表明 。但 的次数小于 的次数,所以只可能 ,即 。这时 。
评论
支持 Markdown 和 LaTeX 数学公式。