辗转相除法

辗转相除法， 又名欧几里德算法（Euclidean algorithm），是求最大公约数的算法，两个整数的最大公约数是能够同时整除它们的最大的正整数。

在数学中，辗转相除法，又称欧几里得算法，是求最大公约数的算法。辗转相除法首次出现于欧几里得的《几何原本》（第VII卷，命题yⅠ和Ⅱ）中，而在中国则可以追溯至东汉出现的《九章算术》。

两个整数的最大公约数是能够同时整除它们的最大的正整数。辗转相除法基于如下原理：两个整数的最大公约数等于其中较小的数和两数的相除余数的最大公约数。例如，252和105的最大公约数是21（252 = 21 × 12；105 = 21 × 5）；因为252 / 105 = 2余42，所以105和42的最大公约数也是21。在这个过程中，较大的数缩小了，所以继续进行同样的计算可以不断缩小这两个数直至余数变为零。这时的除数就是所求的两个数的最大公约数。由辗转相除法也可以推出，两数的最大公约数可以用两数的整数倍相加来表示，如21 = 5 × 105 + （−2） × 252。这个重要的等式叫做贝祖等式。

原理

设两数为a、b(bgcd(a,b）表示a，b的最大公约数，r=a mod b 为a除以b以后的余数，k为a除以b的商，即a÷b=k.......r。辗转相除法即是要证明gcd(a,b)=gcd(b,r）。

第一步：令c=gcd(a,b），则设a=mc，b=nc

第二步：根据前提可知r =a-kb=mc-knc=(m-kn)c

第三步：根据第二步结果可知c也是r的因数

第四步：可以断定m-kn与n互素【否则，可设m-kn=xd，n=yd，（d>1），则m=kn+xd=kyd+xd=(ky+x)d，则a=mc=(ky+x)dc，b=nc=ycd，故a与b最大公约数成为cd，而非c，与前面结论矛盾】

从而可知gcd(b,r)=c，继而gcd(a,b)=gcd(b,r）。

证毕。

c语言程序：

# include<stdio.h>

int main()

{

int a,b,c,x,y;

printf("请输入两个正整数，用逗号间隔：");

scanf("%d,%d",&a,&b);

x=a;

y=b;

if (a<b)

{

c=a;

a=b;

b=c;

}

while (b!=0)

{

c=a;

a=b;

b=c%b;

}

c=x*y/a;

printf("最大公约数为%d,最小公倍数为%d",a,c);

return 0;

}