Euclid‘s algorithm

这算是TAOCP的读书笔记吧，这次写的主要是卷一的Euclid‘s algorithm。

以下是一些书上的摘录和C语言代码的实现：

算法要求：

Give two positive integers m and n, find their greatest common divisor,that is,the largest positive integer that evenly divides both m and n.
对于给定的两个正整数m和n，找到相应的最大公约数。

描述1:

E1:[Find remainder.]Divide m by n and let r be the remainder.
                
                   (We
will have 0<=r<n.)
E2:[Is it zero?]If r=0,the algorithm terminates; n is the answer.
E3:[Reduce.]Set m<-n,n<-r,and go back to step E1.II

描述2:

int Eucild(int m,int n)
{
r=m%n;
while(r)
{
m=n,n=r;
r=m%n;
}
return n;
}

证明：

After step E1,we have
    m=q*n+r,

for some integer q.If r=0,then m is a multiple of n,and clearly in such a case n is the greatest common divisor of m and n.If r != 0,note that any
number that divides both m and n must divide m-q*n = r,and any number
that divides both n and r must divide q*n+r = m; so the set of common divisors of {m,n} is the same as the set of common divisors of {n,r}.

对于 m 和 n 有 m = q * n + r ;
当 r 为 0 时，m 和 n 有公约数 q ;
当 r 不为 0 时，设 m 和 n 的公约数是 d ,则有（m - q * n）能被 d 整除， 那么 r 也能被 d 整除。又因为 r = m%n ,所以 GDC（m,n）=GCD（n,m%n）。直到 r 为 0 时，就是最大公约数 GCD（m,n）。

鉴于本人英语能力的不足，如有不当之处希望各位大神指点。