【ACM数论】欧几里得算法

欧几里得算法

欧几里得算法是用来求两个正整数最大公约数的算法。古希腊数学家欧几里得在其著作《The Elements》中最早描述了这种算法,所以被命名为欧几里得算法

计算公式如下所示

(hexo 中 math渲染较慢，稍微等一下，如果还是没出来，就刷新(^▽))
$$gcd(a,b)=gcd(b,amodb)$$

$$下面来证明gcd(a,b)=gcd(b,amodb)$$

$$\begin{gathered} 证明：设a>b,令a=kb+c，则c=amodb \\ 设d=gcd（a，b）则有a=pd，b=qd \\ 故有：pd=kqd+c则c=（p-kq）d \\ \begin{array}{rl}\therefore gcd（b，amodb)& =gcd（b，c）\\ & =gcd（qd，（p-kq)\ast d）\\ & =d\ast gcd（q，p-kq）\end{array} \\ （反证法）下面来证明p与p-kq互质： \\ 假设q与p-kq不互质，则有q=mt，p-kq=nt \\ \therefore q=mt，p=（km+n）t \\ \therefore a=mtd，b=（km+n）td \\ \therefore gcd（a，b）=td与gcd（a，b）=d矛盾 \\ \therefore 假设不成立 \\ \therefore q与p-kq互质 \\ \therefore gcd（b，amodb）=d=gcd（a，b） \end{gathered}$$

计算机计算这个相当地简单：

int gcd(int a,int b)
{
    return b==0?a:gcd(b,a%b);
}