正整数a和b的最小公倍数(least common multiple,lcm)与最大公约数gcd之间满足以下关系:
l c m ∗ g c d = a ∗ b lcm * gcd = a * b lcm∗gcd=a∗b
可作Venn图进行证明。