数论3-公因数，最大公因数，互素

点个关注吧，谢谢！
后面将继续更新数论。

定义： 设$a,b,c\in \mathbb{Z}$，有$c|a,c|b$，那么$c$是$a,b$的公因数。
同理设$a_1,a_2,...,a_n,c\in \mathbb{Z}$，有$c|a_1,...,c|a_n$，那么$c$是$a_1,...,a_n$的公因数。

注意：公因数不是唯一的。

示例:
$6,9$,公因数有$\pm 1,\pm 3$
$12,4$,公因数有$\pm 1,\pm 2,\pm 4$

定义： 设$a,b$为不全为0的整数，$a,b$的公因数中最大的哪个就叫做最大公因数，记作$gcd(a,b)$。
若$gcd(a,b)=1$，那么$a,b$互素。

示例：
$gcd(6,9)=3;gcd(12,4)=4$

性质：

1. 若$a|b$，则$gcd(a,b)=a$
证：可知$b=ac$，$(a,b)公因数=(ac,a)公因数$，其中必然有$a（a|ac,a|a）$。$a,b$的公因数必然小于等于$a,b$，所以$gcd(a,b)=a$。

2. 若$c|a,c|b$，那么$c|gcd(a,b)$
证：$a=rc,b=kc$,$a,b$的公因数必然有$c$。那么$gcd(a,b)=cm$。所以$c|gcd(a,b)$。

3. 两个非零数，$gcd(\frac{a}{gcd(a,b)},\frac{b}{gcd(a,b)})=1$
证：设$gcd(a,b)=d$，$gcd(a/d,b/d)=d^{\prime }$，需要证明$d^{\prime }=1$.（注意：最大公因数一定不是负数。想想为什么。提示：数字1）
由$d^{\prime }|(a/d),d^{\prime }|(b/d)$，可知$d{d}^{\prime }|a,d{d}^{\prime }|b$。$d{d}^{\prime }$也是$a,b$的公因数。而最大公因数为$d$，所以$d^{\prime }=1$。