最大公因数与最小公倍数的整数比值
已知互不相等的正整数 和互不相等的正整数 ,满足
其中 表示最小公倍数, 表示最大公因数。求
的所有可能整数值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
只用最大公因数、最小公倍数与互素消因子。分母能否与乘积互素必须逐因子证明,不能直接从比值为整数跳到分类。
想法从哪来:交叉出现的最大公因数和最小公倍数,应先找所有数共同依附的尺度。 设 ,每个大写数都是与它对应的两个小写最小公倍数的倍数,因而是 的倍数。再与给定最大公因数比较,便逼出所有两两最小公倍数都等于 。 接下来把小写数写成 ,大写数写成 ,两边都变成互素条件。整数比值的分母与 互素,才可以消去它并看出必要素因子结构。构造时反向选 ,把剩余自由度集中在三个互素数的和上,按和的奇偶设计它们。
先设 。条件会迫使三个两两最小公倍数都等于 ,同时 都是 的倍数;把六个数分别除以或补到 后,问题化为两组三个两两互素整数。
设 。因为 同时是 与 的倍数,所以
同理 。于是
而 ,故 。循环可得
写成
由 (1) 及最大公因数条件, 两两互素且互不相同, 也两两互素且互不相同。于是
令 。由 两两互素,
若式 (2) 为整数,则 ,故该整数可写为
互不相同,其中至多一个等于 ,其余至少两个大于 ;它们又两两互素。因此 至少含有两个不同的素因子。
反过来,设正整数 至少含有两个不同的素因子。可取互素且均大于 的整数 ,使 ;令
这里 。我们需要三个互不相同、两两互素的正整数 ,其和为 。这样的三元组总存在:若 为偶数,可取
若为奇数,令。当时取, 有;当时取, 有。两种情形都满足,取
此时 两两互素且互不相同。
现令
以及 。则 互不相同,三个两两最小公倍数均为 ; 互不相同,三个两两最大公因数也均为 。并且由 ,
综上,所有可能整数值恰为
,也就是不是 、也不是素数幂的正整数。
必要性中 ,其余两项同理,故 。构造中若 为奇数,上述两个显式取法均有,故,且。
最大公因数与最小公倍数交叉出现时,先引入全体最小公倍数,再逐素数比较指数;整数比值的分类往往归结为分母与某个乘积互素后的整除条件。
需先强制三个最小公倍数都为同一L,将原条件化成两组两两互素数;整数比值的必要素因子结构与任意符合整数的反向构造均需独立证明。
已记下,谢谢!