初等数论--整除--两数乘积保持整除性

博主本人是初学初等数论（整除+同余+原根），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：初等数论，方便检索。

$m\mid r,n\mid r,(m,n)=1\to mn\mid r$

$m\mid r\to r=pm$
$n\mid r\to r=qn$

• $r=pm=qn\to m\mid qn$

$m\mid qn$
$\frac{m}{(m,n)}\mid q\frac{n}{(m,n)}$
$\frac{m}{(m,n)}\mid q$
因为$(m,n)=1$
$m\mid q$
$q=am,a\in \mathbb{Z}$
$r=qn=amn,a\in \mathbb{Z}$
$mn\mid r$

$m\mid r,n\mid r\to [m,n]\mid r$

$[m,n]=lcm(m,n)$ 最小公倍数
$(m,n)=gcd(m,n)$ 最大公因数
$mn=[m,n]\cdot (m,n)\Rightarrow [m,n]=\frac{mn}{(m,n)}$

因为$n\mid r$，所以$r=qn$
因为$m\mid r$，所以
$m\mid qn$
$\Rightarrow \frac{m}{(m,n)}\mid \frac{qn}{(m,n)}$
$\Rightarrow \frac{m}{(m,n)}\mid q$
$\Rightarrow \frac{mn}{(m,n)}\mid qn$
$\Rightarrow [m,n]\mid qn$
$\Rightarrow [m,n]\mid r$