有理亲和数对由两个整数 和
组成,它们的除数函数相等且形式为
(1)
|
其中 和
是二元多项式,且满足以下性质 (Y. Kohmoto)
1. 右侧分式分子中所有项的次数相同。
2. 右侧分式分母中所有项的次数相同。
3. 的次数比
的次数大 1。
如果 且
的形式为
,则 (◇) 简化为特殊情况
(2)
|
因此,如果 是整数,则
是多完全数。
考虑以下形式的多项式
(3)
|
对于 ,(◇) 简化为
(4)
|
目前尚无已知示例。对于 ,(◇) 简化为
(5)
|
因此 构成一个亲和数对。对于
,(◇) 变为
(6)
|
Kohmoto 发现了这种类型的三个解类。第一个是
(7)
|
其中 是梅森素数,且
,给出 (26403469440047700, 30193441130006700), (7664549986025275200, 8764724625167659200), ... (OEIS A038362 和 A038363)。第二组解是
(8)
|
其中 ,给出解
(9)
|
第三种类型是唯一解
(10)
|
(11)
|
考虑更一般形式的多项式
(12)
|
Kohmoto 发现了 的解
(13)
|
对于 ,梅森素数的指数,但排除
和 3。
Kohmoto (私人通讯,2004 年 2 月) 还发现了 的解
(14)
|
对于 ,梅森素数的指数,但排除
。
考虑以下形式的多项式
(15)
|
对于 ,Kohmoto 发现了以下解
(16)
|
考虑以下形式的多项式
(17)
|
或等价地,
(18)
|
Kohmoto 发现了下表列出的解。
6 | (1537536, 2269696) |
8 | (22405565952, 21500290560) |
9 | (8509664043532288000, 5783455883132928000) |