数论 短除模型 最大公因数最小公倍数