例 5.14

依赖于

  • 无显式依赖

被以下题目直接调用

例 5.14

,求证:,其中 的最大公因子。

解答

证法 1 不妨设 ,先证明 。假设

注意到

,故 ,从而 。从上式也可以看出 ,从而 ,因此 。又设 ,则

再由辗转相除,有某个 ,其中 的最大公因子,于是

证法 2 只需求出 的公根。 的根为

的根为

则公根为

这就是 的全部根,于是结论成立。