定理证明：任何数的乘积等于其最大公约数乘最小公倍数

定理证明：任何数的乘积等于其最大公约数乘最小公倍数
记作: a * b = p * m
p :最大公约数
m:最小公倍数

证明：
因为：a * b是a与b的公倍数
所以：m | (a * b)
假设a * b = m * p （p为正数）
则有m = a * b / p = a * (b / p) = b * (a / p)
又因为：m为a与b的最小公倍数
所以：a|m，b|m
所以：(b / p)和(a / p)为正整数
即：p | a，p | b
所以：p是a和b的公约数

设：q为a与b的任意一个公约数
设：a * b = q * m’ => m’ = a * b / q = b * (a / q) = a * (b / q)
又因为：q为a与b的公约数
所以：(a / q)和(b / q)为正整数
即：q | a，q | b
所以：a | m’，b | m’
所以：m’是a和b的公倍数
考虑：m’ / m = (a * b) / q / (a * b) / p = p / q 属于正整数
所以：p ≥ q
又因为：q为任意公约数
所以：p为最大公约数
所以：a * b = p * m 且最大公约数能被公约数整除