最大公因数与最小公倍数的关系（公式推导）

最大公因数与最小公倍数公式概览

$a,b$ 的最小公倍数 $lcm(a,b)$
$a,b$ 的最大公因数 $gcd(a,b)$

$a,b,c$ 的最小公倍数 $lcm(lcm(a,b),c)$ （二者先求最小公倍数，结果与第三个数求最小公倍数）
$a,b,c$ 的最大公因数 $gcd(gcd(a,b),c)$ （二者先求最大公因数，结果与第三个数求最大公因数）

$lcm(a,b)=a\times b/gcd(a,b)$

$gcd(lcm(a,b),c)=lcm(gcd(a,c),gcd(b,c))$

$gcd(lcm(a,b),c)=lcm(gcd(a,c),gcd(b,c))$推导

初步理解

首先，我需要理解 $\text{gcd}$ 和 $\text{lcm}$ 的定义及其基本性质。

• 最大公因数（$\text{gcd}$）：两个或多个整数共有约数中最大的一个。
• 最小公倍数（$\text{lcm}$）：两个或多个整数共有倍数中最小的一个。

此外，$\text{gcd}$ 和 $\text{lcm}$ 之间有一个重要的关系：

$$\text{gcd}(a,b)\times \text{lcm}(a,b)=a\times b$$

分析等式

我们需要证明的等式涉及三个变量 $a$, $b$, $c$，并且结合了 $\text{gcd}$ 和 $\text{lcm}$ 的运算。为了简化问题，我考虑使用素因数分解的方法，因为 $\text{gcd}$ 和 $\text{lcm}$ 都可以通过素因数分解来表示。

素因数分解法

假设 $a$, $b$, $c$ 的素因数分解分别为：

$$a=\prod _p{p}^{{\alpha }_p},b=\prod _p{p}^{{\beta }_p},c=\prod _p{p}^{{\gamma }_p}$$

其中，$p$ 是素数，${\alpha }_p$, ${\beta }_p$, ${\gamma }_p$ 是非负整数，表示对应素数的幂次。

根据素因数分解，$\text{gcd}$ 和 $\text{lcm}$ 可以表示为：

$$\text{gcd}(a,b)=\prod _p{p}^{\min ({\alpha }_p,{\beta }_p)}$$

$$\text{lcm}(a,b)=\prod _p{p}^{\max ({\alpha }_p,{\beta }_p)}$$

表达式的素因数分解

现在，我们将等式两边的表达式用素因数分解表示。

左边：$\text{gcd}(\text{lcm}(a,b),c)$

首先，计算 $\text{lcm}(a,b)$：

$$\text{lcm}(a,b)=\prod _p{p}^{\max ({\alpha }_p,{\beta }_p)}$$

然后，计算 $\text{gcd}(\text{lcm}(a,b),c)$：

$$\text{gcd}(\text{lcm}(a,b),c)=\prod _p{p}^{\min (\max ({\alpha }_p,{\beta }_p),{\gamma }_p)}$$

右边：$\text{lcm}(\text{gcd}(a,c),\text{gcd}(b,c))$

首先，计算 $\text{gcd}(a,c)$ 和 $\text{gcd}(b,c)$：

$$\text{gcd}(a,c)=\prod _p{p}^{\min ({\alpha }_p,{\gamma }_p)}$$

$$\text{gcd}(b,c)=\prod _p{p}^{\min ({\beta }_p,{\gamma }_p)}$$

然后，计算 $\text{lcm}(\text{gcd}(a,c),\text{gcd}(b,c))$：

$$\text{lcm}(\text{gcd}(a,c),\text{gcd}(b,c))=\prod _p{p}^{\max (\min ({\alpha }_p,{\gamma }_p),\min ({\beta }_p,{\gamma }_p))}$$

比较两边的素因数分解

现在，我们需要证明：

$$\prod _p{p}^{\min (\max ({\alpha }_p,{\beta }_p),{\gamma }_p)}=\prod _p{p}^{\max (\min ({\alpha }_p,{\gamma }_p),\min ({\beta }_p,{\gamma }_p))}$$

由于素因数分解的唯一性，我们只需要证明对于每一个素数 $p$，指数部分相等即可：

$$\min (\max ({\alpha }_p,{\beta }_p),{\gamma }_p)=\max (\min ({\alpha }_p,{\gamma }_p),\min ({\beta }_p,{\gamma }_p))$$

证明指数部分相等

我们需要证明：

$$\min (\max ({\alpha }_p,{\beta }_p),{\gamma }_p)=\max (\min ({\alpha }_p,{\gamma }_p),\min ({\beta }_p,{\gamma }_p))$$

为了简化符号，设：

$$x={\alpha }_p,y={\beta }_p,z={\gamma }_p$$

则我们需要证明：

$$\min (\max (x,y),z)=\max (\min (x,z),\min (y,z))$$

分析不同情况

为了证明上述等式，我们可以考虑 $x$, $y$, $z$ 之间的大小关系。由于 $\max$ 和 $\min$ 函数的对称性，我们可以假设 $x\le y$ 而不失一般性。因此，我们有以下几种情况：

1. 情况一：$z\le x\le y$
2. 情况二：$x\le z\le y$
3. 情况三：$x\le y\le z$

我们逐一分析这些情况。

情况一：$z\le x\le y$

• $\max (x,y)=y$

• $\min (\max (x,y),z)=\min (y,z)=z$ （因为 $z\le y$）

• $\min (x,z)=z$ （因为 $z\le x$）

• $\min (y,z)=z$ （因为 $z\le y$）

• $\max (\min (x,z),\min (y,z))=\max (z,z)=z$

因此，两边相等。

情况二：$x\le z\le y$

• $\max (x,y)=y$

• $\min (\max (x,y),z)=\min (y,z)=z$ （因为 $z\le y$）

• $\min (x,z)=x$ （因为 $x\le z$）

• $\min (y,z)=z$ （因为 $z\le y$）

• $\max (\min (x,z),\min (y,z))=\max (x,z)=z$

因此，两边相等。

情况三：$x\le y\le z$

• $\max (x,y)=y$

• $\min (\max (x,y),z)=\min (y,z)=y$ （因为 $y\le z$）

• $\min (x,z)=x$ （因为 $x\le z$）

• $\min (y,z)=y$ （因为 $y\le z$）

• $\max (\min (x,z),\min (y,z))=\max (x,y)=y$

因此，两边相等。

结论

通过以上三种情况的分析，我们发现对于任意非负整数 $x$, $y$, $z$，都有：

$$\min (\max (x,y),z)=\max (\min (x,z),\min (y,z))$$

因此，原等式成立：

$$\text{gcd}(\text{lcm}(a,b),c)=\text{lcm}(\text{gcd}(a,c),\text{gcd}(b,c))$$

最终答案

通过素因数分解和分情况讨论，我们证明了：

$$\text{gcd}(\text{lcm}(a,b),c)=\text{lcm}(\text{gcd}(a,c),\text{gcd}(b,c))$$