最大公约数和最小公倍数的一个小性质

开头

今天在洛谷上刷到了一道 数论 + DP 的题目，其中，出现了一个柿子式子 ： $$a+b+gcd(a,b)=lcm(a,b)$$
于是，窝这个数学爱好彩笔便在草稿纸上算了起来。结果，一通计算猛如虎，我们不难发现一个结论： 假设 a < b, 则只有当 { a / gcd(a, b) = 2, b / gcd(a, b) = 3 } 的时候上式才会成立。

证明：

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

首先，$$设g=gcd(a,b),a=k_1\cdot g,b=k_2\cdot g(a<b,则k_1<k_2)$$
所以 等 式 左 边 = k 1 ⋅ g + k 2 ⋅ g + g = g ⋅ ( k 1 + k 2 + 1 ) 等式左边 = k_1 \cdot g + k_2