最小公因数最大公倍数定义