【刷题】数学知识——约数：最大公约数【辗转相除/欧几里得算法】

辗转相除

首先要知道：如果$d$能整除$a$，$d$也能整数$b$，即$d$是$a,b$的公因数时，$d$能整除$ax+by$，其中$x$和$y$是整数。
这是显然的，令$a=k_{1}d$，$b=k_{2}d$，则$(ax+by)/d=(k_{1}dx+k_{2}dy)/d=k_{1}x+k_{2}y$，仍然是整数。

上面的结论可简写成：若$d|a$且$d|b$ ， 则$d|(ax+by)$
而$a\%b$可以写成$a-\lfloor a/b\rfloor \ast b=a-c\ast b$，此时$x=1,y=-c$，所以$d$能整除$a\%b$

下面证明 $a$、$b$的最大公约数 等于 $b$、$a\%b$的最大公约数

1、$a$、$b$的所有公约数 都是 $b$、$a\%b$的公约数
不妨设$a$和$b$的公约数是$d$
1.1、显然任意$d$都是$b$的约数，即$d|b$
1.2、由上面我们知道$d|(a\%b)$，故任意$d$都是$a\%b$的约数。
所以任意$d$既是$b$的约数也是$a\%b$的约数，是二者的公约数

2、$b$、$a\%b$的所有公约数 都是 $a$、$b$的所有公约数
不妨设$b$和$a\%b$的公约数是$d$
2.1、显然任意$d$都是$b$的约数，即$d|b$
2.2、$d|a\%b$，有$d|(a-c\ast b)$，又因为$d|b$，所以$a-c\ast b$加上$c\ast b$仍然能被$d$整除，即$d|(a-c\ast b+c\ast b)$，就得到了$d|a$
所以任意$d$既是$b$的约数也是$a$的约数，是二者的公约数

#include <iostream>
using namespace std;
int n, a, b;

int gcd(int a, int b) {
	// 如果b不是0，则返回b和a%b的最大公约数；如果b是0则返回a 
    return b ? gcd(b, a % b) : a;  
    /*if(!b) {
    	return a;
    }
    else {
		return gcd(b, a % b);
	}*/
}

int main() {
    scanf("%d", &n);
    while(n -- ) {
        scanf("%d%d", &a, &b);
        printf("%d\n", gcd(a, b));
    }
    return 0;
}