最大公约数

相关数论知识

整除性

一个整数能被另一个整数整除，记为 $d | a$，意味着对某个整数 k，有$a = kd$

余数以及模运算

除法定理：
$对任意整数a和任意正整数n，存在唯一的整数q和r，满足0<=r<n，并且a=qn+r。$
（取自算法导论31章第一节）：

公约数性质

对任意整数 x 和 y，有：
$d|a 并且 d|b，则d|(ax+by)$
定义两个不同时为 0 的整数 a 与 b 的最大公约数表示为 $gcd(a,b)$，如果 a 和 b 都不为 0，则 $gcd(a,b)$ 为一个在 1 和 $min(|a|, |b|)$ 之间的整数。定义 $gcd(0, 0) = 0$。其基本性质有如下几条：
gcd(a,b)=gcd(b,a)