例 5.6

依赖于

  • 无显式依赖

被以下题目直接调用

例 5.6

是次数不小于 1 的互素多项式,求证:必唯一地存在两个多项式 ,使得

解答

证明 先证存在性。因为 ,故必存在 ,使得

的次数大于等于 的次数,由带余除法,有

代入前式得

即有

,则 ,否则由比较次数可知,上式将不可能成立。

再证唯一性。设另有 适合条件,即

因为 互素,上式表明 。但 的次数小于 的次数,所以只可能 ,即 。这时