定理证明:任何数的乘积等于其最大公约数乘最小公倍数
记作: 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 且最大公约数能被公约数整除