Euclid算法

1.Euclid定理

概念：

定理： 对任意的$a,b,q\in Z$，有$(a,b)=(a,b=qa)$。
            $(a,b)=(a,b-a)$，所以求$(a,b)$时可以连续地用$a、b$中的大的减去小的，直到得到$0$，由$(a,0)=|a|$得到结果。


定理： 设$m,n,t\in Z,m>0,n>0$，则$(t^n-1,t^m-1)=t^{(m,n)}-1$。


推论： $t^n-1|t^m-1$当且仅当$n|m$。


定理： 设$m,n,q$是正整数，则$(x^{q^m}-x,x^{q^n}-x)=x^{q^{(m,n)}}-x$。


推论： 设$m、n、q$是正整数，则$x^{q^n}-x|x^{q^m}-x$，当且仅当$n|m$。

例题：
例1：



例2：



例3：

2.广义Euclid除法

概念：
定义： 广义Euclid除法也称为辗转相除法，用于求两个正整数的最大公因子。设$a,b$是两个正整数，不妨假定$a>b$，记$r_{-1}=a,r_0=b$，反复用带余数除法，有$$\begin{gathered} r_{-1}=q_1{r}_0+r_{1}0<r_1<r_0 \\ \cdot \cdot \cdot \\ {r}_{n-2}=q_n{r}_{n-1}+r_{n}0<r_n<r_{n-1} \\ {r}_{n-1}=q_{n+1}{r}_n+r_{n+1}{r}_{n+1}=0 \end{gathered}$$因此，$r_{n+1}<r_n<r_{n-1}<\cdot \cdot \cdot <r_0=b$，所以经过有限步后必有$r_{n+1}=0$。此时$r_n=(a,b)$，这是因为$$(a,b)=(r_{-1},r_0)=\cdot \cdot \cdot =(r_{n-1},r_n)=(r_n,r_{n+1})=(r_n,0)=r_n$$由上还可得$$\begin{gathered} r_n=r_{n-2}-q_n{r}_{n-1} \\ {r}_{n-1}=r_{n-3}-q_{n-1}{r}_{n-2} \\ \cdot \cdot \cdot \\ {r}_1=r_{-1}-q_1{r}_0 \end{gathered}$$依次将后一项带入前一项，最终$r_n$可由$r_{-1}=a,r_0=b$的线性组合表示。

例题：
例1：

广义Euclid除法还有一个递推式，暂时不会用到，如果以后用的话来补