参考资料：
1.https://www.bilibili.com/video/BV1x3411s7Sy/?spm_id_from=333.788&vd_source=e66dd25b0246f28e772d75f11c80f03c
2.http://t.csdn.cn/diQ27
2.余红兵：《数学奥林匹克小丛书（第二版）高中卷10————数论》
最大公约数
设a,b∈Z，如果d∈Z且d|a,d|b，则称d是a和b的公因子（公约数）。
若d>=0,且a和b的所有公因子都整除d，则称d是a和b的最大公约数，记作gcd(a,b).
之前CSDN上我也写过一篇gcd筛：
https://blog.csdn.net/hustle28214/article/details/128601837?spm=1001.2014.3001.5501
互素
设a,b∈Z，若gcd(a,b)=1,则称a和b互素。
互素的a,b公因子仅有±1，该条件可反推出a,b两数互素.
根据定义有结论：
设gcd(a,b)=d,则存在q1,q2∈Z,使得a=q1d,b=q2d,且gcd(q1,q2)=1.
若gcd(q1,q2)=t>1,则gcd(a,b)=td>d,与“最大”矛盾.
欧几里得算法（辗转相除法）
设a>=b>=0,求gcd(a,b)
对于上述条件下的a,b,有a=qb+r;
b=0时,gcd(a,0)=a
b>0时,gcd(a,b)=gcd(b,r)=gcd(r1,r2)gcd(a,b)=gcd(b,r)这条推广有必要演示一下：
gcd(40,3)=1
gcd(40,3)=gcd(3,1)=gcd(1,0)=1
依次如此操作直到见到0
int gcd(int x, int y)
{
int r = x % y;
while (r != 0)
{
x = y;
y = r;
r = x % y;
}
return y;//最大公约数实现
}
扩展欧几里得算法
(重要)定理5-1（最大公约数表示定理）（裴蜀定理）
设a,b∈Z,d=gcd(a,b),则存在s,t∈Z,使得as+bt=d.
特别地：gcd(a,b)=1————as+bd=1（充要）
推论：d|v————as+bt=v
证明：
设b>=a,b=ax1+r1,那么b%a后b=r1.
重复辗转相除直至余数为0。
b=ax1+r1,
a=r1x2+r2,
......,
rk-3=rk-2xk-1+rk-1(2)
rk-2=rk-1xk+rk,(1)
rk-1=rkxk+1+rk+1.
此时rk+1=0(余数).由此得出rk=d(最大公约数).将此式代入(1)式，移项得到d=rk-2-rk-1xk.
将此式与(2)式联立，得到d=rk-2-(rk-3-rk-2xk-1)xk.
展开，得到d=m1rk-2-n1rk-3.
上述所有提及皆为整数,则m1（1-xk-1xk）,n1（-xk）必为整数。
相同的操作可以重复做，不断带入之前的式子可以发现最后可以化成d=mka+nkb。
而显然mk,nk为整数。
证毕。
对于第二条“特别地”的证明如下：
假设gcd(a,b)!=1.
那么，
将a表示为k1gcd(a,b)=a,
b=k2gcd(a,b).
代入as+bd=1:
k1*gcd(a,b)*s+k2*gcd(a,b)*r=1.
即,(k1s+k2r)=1/gcd(a,b)
那么右式取值区间为(0,1)，显然无法满足整数解性质.
所以gcd(a,b)=1才能使as+bd=1有整数解。
想一想,如果要证其必要性,则假设as+bd=1没有整数解，右式=1，也必定存在s,d∈Z使得方程有解.
第三条推论自不必说，v是d的整数倍.
所以，扩欧相对于欧几里得算法的扩展性就是：使用欧几里得算法时，利用余数和商向上迭代出sn,tn。这同样也是在计算二元一次不定方程.
通过扩欧我们可以找到判断二元一次不定方程是否有整数解的方法：
对于方程ax+by=z，只有满足gcd(a,b)|z，方程才有整数解.
最小公倍数
设a,b∈Z，若m∈Z分别是a和b的倍数，m称为a和b的公倍数.
记a,b的最小公倍数为lcm(a,b),若m是a和b所有正的公倍数中最小，m称作a和b的最小公倍数.
lcm(a,b)=ab/gcd(a,b).
我在CSDN那篇上写“最小公倍数的求算依赖于最大公约数的求算”，其实这有些以偏概全，求最小公倍数的算法并不止这一种。下面就记录一下这种不需要找最大公约数的神奇算法（更相增益术/更相减损术）：
设有两正整数0<a<b.
a更小，a自加成2a;此时若发现b更小，b自加，成2b;...;若发现a更小，a自加，直到2k*a=2k-1*b.那么2ka就等于lcm(a,b)。
int lcm(int a,int b)
{
while(a!=b)
{
if(a<b)
a+=a;
else if(b<a)
b+=b;
}
return a;
}