如果d | a ,d | b,那么 d | a+b 推导出 d | ax+by (x,y都为整数);
如果d是(a,b)的最大公约数,那么 d也是(b,a%b)的最大公约数;
模板
int gcd(int a,int b){
return b? gcd(b,a%b) : a;
}