《初等数论》：最大公因数与最小公倍数

最大公因数

定义

设$a_i(i=1,2,\cdots ,n)$是不全为零的整数，如果$d\mid a_i(i=1,2,\cdots ,n)$，则称$d$为$a_1,a_2,\cdots ,a_n$的公因数；$a_1,a_2,\cdots ,a_n$的公因数中最大的，称为$a_1,a_2,\cdots ,a_n$的最大公因数，记为$(a_1,a_2,\cdots ,a_n)$

如果$a_1,a_2,\cdots ,a_n=1$，则称$a_1,a_2,\cdots ,a_n$互质(互素)；如果$a_1,a_2,\cdots ,a_n$中每两个数都互质(互素)，则称$a_1,a_2,\cdots ,a_n$两两互质(互素)

定理

如果$a_1,a_2,\cdots ,a_n$是$n$个不全为零的整数，则$(a_1,a_2,\cdots ,a_n)=(\left|a_1\right|,\left|a_2\right|,\cdots ,\left|a_n\right|)$

如果$b\ne 0$，则$(0,b)=\left|b\right|$

若$a=bk+c$，则$(a,b)=(b,c)$

(辗转相除法) 用欧几里得算法求任意两个正整数$a$和$b$的最大公因数，就是以每次的余数为除数去除上一次的除数，直至余数为$0$，那么最后一个不为零的余数，便是$a$和$b$的最大公因数。
过程如下所示：
$$\begin{gathered} \begin{array}{rl}a& =b{q}_1+r_1(0<r_1<b)\\ b& =r_1{q}_2+r_2(0<r_2<r_1)\\ r_1& =r_2{q}_3+r_3(0<r_3<r_2)\\ & \cdots \\ r_{n-2}& =r_{n-1}{q}_n+r_n(0<r_n<r_{n-1})\\ r_{n-1}& =r_n{q}_{n+1}\end{array} \\ 于是有：(a,b)=(b,r_1)=(r_1,r_2)=\cdots =(r_{n-1},r_n)=(r_n,0)=r_n \end{gathered}$$

公因数一定是最大公因数的因数。

$(a_1,a_2,\cdots ,a_n)=d$的充要条件是$(\frac{a_1}{d},\frac{a_2}{d},\cdots ,\frac{a_n}{d})=1$
推论：设$k$是正整数，$l$是$a_1,a_2,\cdots ,a_n$的一个公因数，且$(a_1,a_2,\cdots ,a_n)=d$，则：$(1)(k{a}_1,k{a}_2,\cdots ,k{a}_n)=kd;(2)(\frac{a_1}{l},\frac{a_2}{l},\cdots ,\frac{a_n}{l})=\frac{d}{\left|l\right|}$

对任意整数$k$，有$(a,b)=(a,b+ka)$

$(a_1,a_2,a_3,\cdots ,a_n)=((a_1,\cdots ,a_r),(a_{r+1},\cdots ,a_n))(1\le r\le n-1)$
推论：(1) $(a_1,a_2)(b_1,b_2)=(a_1{b}_1,a_1{b}_2,a_2{b}_1,a_2{b}_2),一般地，有：(a_1,\cdots ,a_r)(b_1,\cdots ,b_s)=(a_1{b}_1,\cdots ,a_1{b}_s,\cdots ,a_r{b}_1,\cdots ,a_r{b}_s)$
(2) $(a,b,c)(ab,bc,ca)=(a,b)(b,c)(c,a)$

对任意两个正整数$a,b$，用欧几里得算法：$a=b{q}_1+r_1,b=r_1{q}_2+r_2,r_1=r_2{q}_3+r_3,\cdots ,r_{k-1}=r_k{q}_{k+1}+r_{k+1},\cdots ,r_{n-1}=r_n{q}_{n+1},可得：Q_{k}a-P_{k}b=(-1{)}^{k-1}{r}_k(k=1,\cdots ,n),其中,\{\begin{array}{ll}& P_0=1,P_1=q_1,P_k=q_k{P}_{k-1}+P_{k-2}\\ & Q_0=0,Q_1=1,Q_k=q_k{Q}_{k-1}+Q_{k-2}\end{array}(k=2,\cdots ,n)$
该定理可用于求解乘法逆元，可参考另一篇博文：整数a关于模m的乘法逆元

$证：数学归纳法。当k=1时，显然成立；当k=2时，(-1{)}^{2-1}{r}_2=-(b-r_1{q}_2)=-b+q_2(a-b{q}_1)=q_{2}a-(q_2{q}_1+1)b=Q_{2}a-P_{2}b,也成立；假如对于不超过正整数k(k\ge 2)的正整数都成立，则：(-1{)}^k{r}_{k+1}=(-1{)}^k(r_{k-1}-r_k{q}_{k+1})=(-1{)}^{k-2}{r}_{k-1}+(-1{)}^{k-1}{r}_k{q}_{k+1}=(Q_{k-1}a-P_{k-1}b)+(Q_{k}a-P_{k}b)q_{k+1}=(q_{k+1}{Q}_k+Q_{k-1})a-(q_{k+1}{P}_k+P_{k-1})b=Q_{k+1}a-P_{k+1}b,因此，由第二数学归纳法知，结论成立。$

(裴(pei)蜀恒等式) 若$a,b$是任意两个不全为零的整数，则存在两个整数$s,t$，使得：$as+bt=(a,b)$
推论1 ：$(a,b)=1$的充要条件是，存在两个整数$u$和$v$，使得：$ua+vb=1$
推论2 ：若$a_1,a_2,\cdots ,a_n$是$n$个不全为零的整数，那么存在$n$个整数$k_1,k_2,\cdots ,k_n$，使得$k_1{a}_1+k_2{a}_2+\cdots +k_n{a}_n=(a_1,a_2,\cdots ,a_n)$

Note : $裴蜀恒等式(a,b)=ua+vb$的$u,v$不是唯一确定的。事实上，由$(a,b)=ua+vb=(u+kb)a+(v-ka)b(k\in Z)$可知，总可以假定$u$满足$0<u\le b$。由于$0<(a,b)\le a$，所以$0\le -vb=ua-(a,b)<ba$，于是$0\le -v<a$，将$-v$改记为$v$，即得：$(a,b)=ua-vb(0<u\le b,0\le v<a)$

若$a,b,c$是三个整数，且$(a,c)=1$，则$(ab,c)=(b,c)$
推论1：若$(a,c)=1,c\mid ab,则c\mid b$
推论2：若$a\mid n,b\mid n,(a,b)=1,那么ab\mid n$
推论3：若在整数$a_1,a_2,\cdots ,a_n$与$b_1,b_2,\cdots ,b_n$中各取一数$a_i$与$b_j$，都有$(a_i,b_j)=1$，则$\begin{array}{r}(\prod _{i=1}^n{a}_i,\prod _{j=1}^m{b}_j)=1\end{array}$，特别地，当$(a,b)=1$，$n,m$为任意正整数时，$(a^n,b^m)=1$

若$p$是一质数，$a$是任一整数，则$p\mid a$或$(p,a)=1$

例题

• 设$n\ge m>0$，证明：$\frac{(m,n)}{n}{C}_n^m$是整数
  $提示：C_n^m=\frac{n}{m}{C}_{n-1}^{m-1}$

Note : 组合数结论：$C_n^m=\frac{n}{n-m}{C}_{n-1}^m,C_n^m=\frac{n-m+1}{m}{C}_n^{m-1},C_n^m=\frac{n}{m}{C}_{n-1}^{m-1}$很常用

• 设$n$是正整数，求$(C_{2n}^1,C_{2n}^3,\cdots ,C_{2n}^{2n-1})$
  $提示：设d=(C_{2n}^1,C_{2n}^3,\cdots ,C_{2n}^{2n-1}),由C_{2n}^1+C_{2n}^3+\cdots +C_{2n}^{2n-1}=2^{2n-1}知d\mid 2^{2n-1},设2^k\mid n并且2^{k+1}\nmid n,由2^{k+1}\mid C_{2n}^1及2^{k+1}\mid \frac{2n}{i}{C}_{2n-1}^{i-1}(i=3,5,\cdots ,2n-1),得d=2^{k+1}$
• 设$a,m,n$是正整数，$m\ne n$，试证：$(a^{2^m+1},a^{2^n+1})=1或2$
  $提示：由m\ne n,不妨设m>n,且m=n+r(r\ge 1),则a^{2^m}-1=a^{2^{n+r}}-1=(a^{2^n}{)}^{2^r}-1=(a^{2^n}+1)M(M是正整数),即a^{2^m}+1=(a^{2^n}+1)M+2。则：(a^{2^m}+1,a^{2^n}+1)=(a^{2^n}+1,2)=\{\begin{array}{l}1(a是偶数)\\ 2(a是奇数)\end{array}。$
• 设$a,m,n$是正整数，试证：$(a^m-1,a^n-1)=a^{(m,n)}-1$
  $提示：设m>n,m=n{q}_1+r_1,n=r_1{q}_2+r_2,r_1=r_2{q}_3+r_3,\cdots ,r_{n-2}=r_{n-1}{q}_n+r_n,r_{n-1}=r_n{q}_{n+1},则有：a^m-1=a^{n{q}_1+r_1}-1=a^{r_1}(a^{n{q}_1}-1)+(a^{r_1}-1)=(a^n-1)N+(a^{r_1}-1),N是正整数，有：(a^m-1,2^n-1)=(a^n-1,a^{r_1}-1)，以此类推，得：(a^m-1,a^n-1)=(a^n-1,a^{r_1}-1)=(a^{r_1}-1,a^{r_2}-1)=\cdots =(a^{r_{n-1}}-1,a^{r_n}-1)=a^{r_n}-1=a^{(m,n)}-1$
• 已知$m>0,n>0$，且$m$是奇数，试证：$(2^m-1,2^n+1)=1$
  $$\begin{gathered} 提示：(1)注意到：若(a_1,a)=a_1,(b_1,b)=b_1,(a,b)=1,则(a_1,b_1)=1(设(a_1,b_1)=d,则d\mid a,d\mid b,则d\mid (a,b),而(a,b)=1,则d=1) \\ (2)于是：由(2^{mn}-1,2^{mn}+1)=(2^{mn}-1,2)=1,且2^m-1\mid 2^{mn}-1,2^n+1\mid (2^n{)}^m+1=2^{mn}+1,因此命题成立。 \end{gathered}$$
• $u,v$是互质的正奇数，试证：$(2^u+1,2^v+1)=3$
  $提示：可证(4^u-1,4^v-1)=4^{(u,v)}-1=3，而2^u+1\mid 4^u-1,2^v+1\mid 4^v-1,所以(2^u+1,2^v+1)\mid (4^u-1,4^v-1)=3,又因为u,v为正奇数时，有3=2+1\mid 2^u+1,3=2+1\mid 2^v+1,又得3\mid (2^u+1,2^v+1)$
• $a,b,m,n$都是自然数，$a>1$且与$b$互质，$a^m+b^m\mid a^n+b^n$。试证：$m\mid n$
  $证：设n=2qm+r,0\le r<2m,由于：a^n+b^n-b^{n-m}(a^m+b^m)=a^m(a^{n-m}-b^{n-m}),则a^m+b^m\mid a^{n-m}+b^{n-m},又由a^{n-m}-b^{n-m}+b^{n-2m}(a^m+b^m)=a^m(a^{n-2m}+b^{n-2m}),得a^m+b^m\mid a^{n-2m}+b^{n-2m},继续下去，直至：a^m+b^m\mid a^r+b^r,因此,r\ge m,相似地，有a^m+b^m\mid a^{r-m}-b^{r-m},但0\le r-m<m,所以r=m,于是n=(2q+1)m,m\mid n$
• 设$a,b$是整数，试证：$11\mid (a^2+5b^2)$的充要条件是$11\mid a且11\mid b$
  $证：充分性显然，用反证法证必要性。若11\nmid a,则由11\mid (a^2+5b^2),推出11\nmid b,又11为质数,则(11,b)=1,则存在整数s,t,使得11s+bt=1,由此得t^2(a^2+5b^2)=(at{)}^2+5(bt{)}^2=(at{)}^2+5+5(bt+1)(bt-1)=(at{)}^2+5-55(bt+1)s,又11\mid t^2(a^2+5b^2),11\mid 55,故11\mid \left[(at{)}^2+5\right]。又at=11q+r(0\le r<11),即(at{)}^2+5=11(11q^2+2qr)+r^2+5,但当r=0,1,2,\cdots ,10时,11\nmid (r^2+5)。因此11\mid a,从而11\mid b$
• 设$a,b$是整数，试证：$13\mid (a^2-7b^2)$的充要条件是$13\mid a$且$13\mid b$
  $提示：参考上一题的解题思想$
• 设$a,b$是整数，试证：$3\mid (a^2+b^2)$的充要条件是$3\mid a$且$3\mid b$
• 设$m,n$是正整数，且$(m,n)=1$，试证：$m!n!\mid (m+n-1)!$
  $提示：C_{m+n-1}^n=\frac{(m+n-1)!}{(m-1)!n!},C_{m+n-1}^m=\frac{(m+n-1)!}{(n-1)!m!}都是整数,且有：n{C}_{m+n-1}^n=m{C}_{m+n-1}^m,C_n^{m-1}=\frac{m}{n-m+1}{C}_n^m$
• 设正整数$a>1,b>1$，且$(a,b)=1$，试证：一定存在正整数$\xi ,\eta$，使得$a\xi -b\eta =1(0<\xi <b,0<\eta <a)$
  $提示：由裴蜀恒等式，有1=(a,b)=u^{\prime }a+v^{\prime }b=(u^{\prime }+kb)a+(v^{\prime }-ka)b，令u=u^{\prime }+kb(k\in Z),可知一定存在某个k=k_1,使得0\le u<b。但u\ne 0,否则将u=0代回裴蜀恒等式，有1=(a,b)=vb,而b>1,矛盾。同时相似地，v\ne 0。于是由0<u<b,得-1<ua-1=-vb<ba,两边同时除以b，得：0\le -v<a,又v\ne 0,得：0<-v<a,令\xi =u,\eta =-v即可$
• 设有三个正整数$a,b,c$，满足$(a,b,c)=1$，且$\frac{1}{a}+\frac{1}{b}=\frac{1}{c}$，试证：$a+b,a-c,b-c$都是完全平方数。
  $提示：由\frac{1}{a}+\frac{1}{b}=\frac{1}{c},得(a+b)c=ab,则c\mid ab,则c\mid a或c\mid b。(1)若c\mid a且c\mid b,则1=(a,b,c)=((a,c),b)=(c,b)=c则a+b=ab,则a=\frac{b}{b-1}为整数,则b-1=(b-1,b)=(b,-1)=(b,1)=1,则b=2,从而a=2,验证可知命题成立。(2)若(c,a)=1且c\mid b,设b=kc,代入(a+b)c=ab中,\Rightarrow a+kc=ak,\Rightarrow a=k(a-c)\Rightarrow a-c=(a-c,a)=(a,-c)=(a,c)=1,于是a=c+1,则a=k(a-c)=k,于是b=kc=ac,验证a+b=a+ac=a(1+c)=(1+c{)}^2,a-c=c+1-c=1^2,b-c=ac-c=(a-1)c=c^2,可知命题成立;(3)若(c,b)=1且c\mid a,由对称性，可转化为情况(2)证明。$
• 设$m>n\ge 1$，$a_1<a_2<\cdots a_s$是不超过$m$且与$n$互质的全体整数，设$S_m^n=\frac{1}{a_1}+\frac{1}{a_2}+\cdots +\frac{1}{a_s}$，试证：$S_m^n$不是整数。
  $提示：设k是a_2^k\le a_s的最大整数，P是a_1,a_2,\cdots ,a_s中除去a_2以及a_2的倍数后的全体整数的乘积，于是有：a_2^{k}P{S}_m^n=\frac{a_2^{k}P}{a_1}+a_2^{k-1}P+\cdots +P+\cdots +\frac{a_2^{k}P}{a_s},如果S_m^n是整数，则有a_2\mid P,但这与P的设定矛盾，所以S_m^n不是整数。$

最小公倍数

定义

设$a_1,a_2,\cdots ,a_n(n\ge 2)$是$n$个不等于零的整数，如果$a_i\mid m(i=1,2,\cdots ,n)$，则称$m$为$a_1,a_2,\cdots ,a_n$的公倍数。$a_1,a_2,\cdots ,a_n$的公倍数中最小的正整数，称为$a_1,a_2,\cdots ,a_n$的最小公倍数，记作$[a_1,a_2,\cdots ,a_n]$

定理

如果$a_1,a_2,\cdots ,a_n(n\ge 2)$是$n$个不等于零的整数，则$[a_1,a_2,\cdots ,a_n]=[|a_1|,|a_2|,\cdots ,|a_n|]$

公倍数一定是最小公倍数的倍数

$证：设m=[a_1,a_2,\cdots ,a_n],且m_1是a_1,a_2,\cdots ,a_n的任一公倍数。由带余除法，知m_1=mq+r(0\le r<m),因为a_i\mid m_1,a_i\mid m,所以a_i\mid r(i=1,2,\cdots ,n),即r是a_1,a_2,\cdots ,a_n的公倍数，而0\le r<m,故r=0,即m\mid m_1$

$[a_1,a_2,\cdots ,a_n]=m$的充要条件是$(\frac{m}{a_1},\frac{m}{a_2},\cdots ,\frac{m}{a_n})=1$

$证：(1)必要性：反证法。已知[a_1,a_2,\cdots ,a_n]=m,假设(\frac{m}{a_1},\frac{m}{a_2},\cdots ,\frac{m}{a_n})=d>1,那么d\mid \frac{m}{a_i}(i=1,2,\cdots ,n),即a_i\mid \frac{m}{d},则m也是a_1,a_2,\cdots ,a_n的公倍数，而0<\frac{m}{d}<m,与m是a_1,a_2,\cdots ,a_n的最小公倍数矛盾。(2)充分性：反证法。已知(\frac{m}{a_1},\frac{m}{a_2},\cdots ,\frac{m}{a_n})=1,易知m为a_1,a_2,\cdots ,a_n的公倍数，假设[a_1,a_2,\cdots ,a_n]=m_1<m,则有m_1\mid m,令m=m_{1}q(q>1),则1=(\frac{m}{a_1},\frac{m}{a_2},\cdots ,\frac{m}{a_n})=(\frac{m_{1}q}{a_1},\frac{m_{1}q}{a_2},\cdots ,\frac{m_{1}q}{a_n})=(\frac{m_1}{a_1},\frac{m_1}{a_2},\cdots ,\frac{m_1}{a_n})\cdot q\ge q>1,即1>1,矛盾。所以q=1,即m=m_1$

推论：设$k$是正整数，$l$是$a_1,a_2,\cdots ,a_n$的一个公因数，且$[a_1,a_2,\cdots ,a_n]=m$，则：$(1)[k{a}_1,k{a}_2,\cdots ,k{a}_n]=km;(2)[\frac{a_1}{l},\frac{a_2}{l},\cdots ,\frac{a_n}{l}]=\frac{m}{|l|}$

设$a,b$是任意两个正整数，则$[a,b]=\frac{ab}{(a,b)}$

$证：先假定(a,b)=1,并设m=[a,b],则m\mid ab。由a\mid m,知m=as,进而由b\mid m及(a,b)=1,知b\mid s,则s=bt,于是m=abt,则ab\mid m,故m=ab,结论成立。又因为(\frac{a}{(a,b)},\frac{b}{(a,b)})=1,则[\frac{a}{(a,b)},\frac{b}{(a,b)}]=\frac{ab}{(a,b{)}^2},于是[a,b]=\frac{ab}{(a,b)}$

推论：若$n$是正整数，则$[a^n,b^n]=[a,b{]}^n$

$提示：利用(\frac{a}{(a,b)},\frac{b}{(a,b)})=1以及(a,b)=1,则(a^n,b^n)=1$

$[a_1,a_2,a_3,\cdots ,a_n]$=$[[a_1,\cdots ,a_r],[a_{r+1},\cdots ,a_n]](1\le r\le n-1)$

若$p_1,p_2,\cdots ,p_n$是不同的质数，且$p_i\mid m(1\le i\le n),则\begin{array}{r}\prod _{i=1}^n{p}_i\mid m\end{array}$

例题

• 设正整数$m>n$，证明：$[m,n]+[m+1,n+1]>\frac{2mn}{\sqrt{m-n}}$
  $证：因为(m,n)\mid m-n,(m+1,n+1)\mid (m+1)-(n+1)=m-n,并且(m,m+1)=1,则((m,n),(m+1,n+1))=((m,m+1),(n,n+1))=1,则(m,n)(m+1,n+1)\mid m-n,而m-n>0,则(m,n)(m+1,n+1)\le m-n,所以[m,n]+[m+1,n+1]=\frac{mn}{(m,n)}+\frac{(m+1)(n+1)}{(m+1,n+1)}>mn(\frac{1}{(m,n)}+\frac{1}{(m+1,n+1)})\ge \frac{2mn}{\sqrt{(m,n)(m+1,n+1)}}\ge \frac{2mn}{\sqrt{m-n}}$

End