最小公倍数一些性质定理及证明

写在前面

最近在学习抽象代数，里面的一些定理的证明需要很多初等数论的知识，而本人没上过数论，就只能自学了。下面总结一些置换群的相关定理证明时候需要的数论内容，主要涉及最小公倍数、最大公因数等概念的重要性质。关于整数互素的概念与性质定理我在前面的文章中总结过，有兴趣的朋友可以看下面的两篇文章：

• 与素数有关的一些性质及证明（一）;
• 素数的有关性质（二）欧拉函数的一些定理证明与计算;

预备定义

• 公倍数：两个或多个整数的公有的倍数，称为它们的公倍数。
• 最小公倍数(Least Common Multiple, lcm)：除$0$以外最小的一个公倍数，叫做这几个整数的最小公倍数，通常记为$[a_1,a_2,\cdots ,a_n]$。
• 公因数：两个或多个整数的公有的因数，称为它们的公因数。
• 最大公因数(Greatest Common Divisor, gcd)：几个数的任意一个公因数都能整除$d$，那么称$d$是这几个数的最大公因数，通常记为$(a_1,a_2,\cdots ,a_n)$。

主要定理

下面总结一下关于最小公倍数的两个定理。

$★$ $[a,b]\times (a,b)=ab$

证明：

设由于$ab$是$a,b$的公倍数，而$[a,b]$是$a,b$的最小公倍数，所以$[a,b]|ab$，所以$\exists q\in \mathbb{Z}$，使得$ab=q[a,b]$，下面需要证$q$是$a,b$的最大公因数，为此需要证$q$满足以下两个条件：

• $q$是$a,b$的公因数；
• 对$a,b$的任一公因数$c$，有$c|q$；

1. 对条件一，因为$ab=q[a,b]$，所以$a=\frac{[a,b]}{b}\cdot q,b=\frac{[a,b]}{a}\cdot q$，而显然$a|[a,b],b|[a,b]$，于是有：

$q|a,q|b$，这就得到$q$是$a,b$的公因数。

2. 对条件二，由于$c|a,c|b$，所以$\frac{a}{c},\frac{b}{c}$均为整数。设
   $$t=\frac{ab}{c}=a\left(\frac{b}{c}\right)=b\left(\frac{a}{c}\right),$$
   由此得到$t$是$a,b$的公倍数，于是$[a,b]|t$，根据上式$ab=q[a,b]$，有
   $$\frac{t}{[a,b]}=\frac{\frac{ab}{c}}{\frac{ab}{q}}=\frac{q}{c},$$
   即得到$\frac{q}{c}$为整数，即$c|q$。

综上，可得到$[a,b]\times (a,b)=ab$。

推广

类似地，可以将结论推广到更加一般的情况，即
$$[a_1,\cdots ,a_n]\times (a_1,\cdots ,a_n)=\prod _{i=1}^n{a}_i.$$

$★$ $a|t,b|t⟹[a,b]|t$

证明：

要证明整除关系，自然想到应用带余除法，只需要证明余数为$0$即可。

设
$$t=[a,b]\times q+r,q\in \mathbb{Z},0⩽r<[a,b],$$
则由于$a|[a,b],a|t$，根据《与素数有关的一些性质及证明（一）》中关于整除的性质："除数整除被除数的倍数和"得到：$a|t+(-q)\times [a,b]⟹a|r$，同理可得$b|r$，因此得到$r$是$a,b$的公倍数，但是根据带余除法的条件：$0⩽r<[a,b]$，$r$小于$a,b$的最小公倍数，所以$r$只能取$0$，这就证明了$[a,b]|t$。

P.S. 这个定理的证明有很多种方法，这里仅介绍常见的一种，也可以从唯一素因子分解定理出发进行证明，其步骤比较直观，在此不详述。

推广

根据定理的证明，很容易将其推广到任意整数的情形，即
$$a_i|t,(i=1,2,\cdots ,n)⟹[a_1,a_2,\cdots ,a_n]|t.$$