有理親和數對由兩個整數 和
組成,它們的除數函式相等且形式為
|
(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) |