最小公倍数
zuì xiǎo gōng bèi shù
最小公倍数（LCM）是能被两个或更多给定数整除的最小正数。
Formula
\text{LCM}(a,b) = \frac{a \times b}{\text{GCF}(a,b)}
Definition
两个或更多个数的最小公倍数（LCM）是能被它们全部整除的最小的数。利用质因数分解，最小公倍数对每个质因数取最大指数，且对正整数而言关系式 $\text{LCM}(a,b) \times \text{GCF}(a,b) = a \times b$ 成立。从代数角度看，$\text{LCM}(a,b)$ 生成 $\mathbb{Z}$ 中的理想 $a\mathbb{Z} \cap b\mathbb{Z}$：最大公约数对应理想的和（$a\mathbb{Z} + b\mathbb{Z}$），最小公倍数则对应它们的交集，这使得最大公约数成为整除格中的"交"，最小公倍数成为"并"。
Example
$4$ 和 $6$ 的最小公倍数：$4$ 的倍数是 $4, 8, 12, 16, \ldots$；$6$ 的倍数是 $6, 12, 18, \ldots$；第一个共有的数是 $12$，所以 $\text{LCM}(4,6) = 12$，这恰好是计算 $1/4 + 1/6$ 时所用的公分母。$\text{LCM}(12,18)$：$12 = 2^2 \times 3$，$18 = 2 \times 3^2$，所以 $\text{LCM} = 2^2 \times 3^2 = 36$，与公式 $12 \times 18 / \text{GCF}(12,18) = 216/6 = 36$ 相符。根据中国剩余定理，当 $\gcd(m,n) \mid (a-b)$ 时，方程组 $x \equiv a \pmod m$、$x \equiv b \pmod n$ 的周期为 $\text{LCM}(m,n)$，因此最小公倍数决定了联立同余方程的周期。
Key Insight
$\text{LCM}(a,b) \times \text{GCF}(a,b) = ab$ 展现出一种美妙的对称性：最大公约数取质数的最小指数，最小公倍数取最大指数，而对每个质数而言，最小值与最大值相加正好等于总的指数和。$\mathbb{Z}^+$ 上的整除偏序是一个分配格，最大公约数为"交"，最小公倍数为"并"，与 $\mathbb{Z}$ 的理想格同构，为初等数论提供了代数基础。