最大公约数

/*编写程序，输入两个正整数x和y，求它们的最大公约数。
输入
有多组测试数据，以EOF结束。
每组测试数据有2个整数x、y。
输出
每组数据输出一行。*/




#include<iostream>
#include <stdio.h>
using namespace std;


int main()
{
int x, y;
int r;
while (scanf_s("%d,%d",&x,&y)!=EOF)
{
if (x < y)
swap(x, y);
while (y)
{
r = x%y;
x = y;
y = r;
}
cout << x << endl;
}
return 0;

}

假设用f（x, y）表示x，y的最大公约数，取k = x/y，b = x%y，则x = ky + b，如果一个数能够同时整除x和y，则必能同时整除b和y；而能够同时整除b和y的数也

欧几里得

必能同时整除x和y，即x和y的公约数与b和y的公约数是相同的，其最大公约数也是相同的，则有f（x, y）= f（y, x % y）（y > 0），如此便可把原问题转化为求两个更 小数 的最大公约数，直到其中一个数为0，剩下的另外一个数就是两者最大的公约数。

gcd递归定理是指gcd(a,b)=gcd(b,a%b),其中%表示取余数。

证明如下：

我们只需证明gcd(a,b)和gcd(b,a%b)可以互相整除即可。

对于gcd(a,b)，它是a和b的线性组合中的最小正元素，gcd(b,a%b) 是b与a%b的一个线性组合，而a%b是a与b的一个线性组合，因而gcd(b,a%b)是一个a与b的线性组合，因为a,b都能被gcd(a,b)整除，因而任何一个a与b的线性组合都能被gcd(a,b)整除，所以gcd(b,a%b)能被gcd(a,b)整除。反之亦然。

C语言编程实现

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

#include<stdio.h> //non-recursion unsigned  int  gcd(unsigned  int  a,unsigned  int  b) {      int  r;      while (b>0)      {           r=a%b;           a=b;           b=r;      }      return  a; } unsigned  int  gcd(unsigned  int  a,unsigned  int  b) {      while (b^=a^=b^=a%=b);      return  a; } unsigned  int  gcd(unsigned  int  a,unsigned  int  b) {      return  (b>0)?gcd(b,a%b):a; }