真因數和

真因數和，又稱真因子和，在數論中，一個正整數的所有真因數之和，即除了自己本身外的所有正因數之和，通常以${\displaystyle s(n)}$來表示：

${\displaystyle s(n)=\sum _{d|n,\ d\neq n}d.}$

真因數和函數的圖形

真因數和可以用來描述質數、完全數、相親數鏈、虧數、過剩數和不可及數，也可以用於定義整數的真因數和數列。

真因數和函數${\displaystyle s(n)}$與1次除數函數${\displaystyle \sigma _{1}(n)}$的關係僅差${\displaystyle n}$：^[1]

${\displaystyle s(n)=\sigma _{1}(n)-n}$

例子

以12為例，12的真因數（即除了自己本身外的所有正因數）有1、2、3、4和6，則其真因數和為${\displaystyle {{{{{1}+{2}}+{3}}+{4}}+{6}}=16}$

下面數列呈現前幾個整數的真因數和 ${\displaystyle s(n),n=1,2,3,...}$^[1]

0、 1、 1、 3、 1、 6、 1、 7、 4、 8、 1、 16、 1、 10、 9、 15、 1、 21、 1、 22、 11、 14、 1、 36、 6、 16、 13、 28、 1、 42、 1、 31、 15、 20、 13、 55、 1、 22、 17、 50、 1、 54、 1、 40、 33、 26、 1、 76、 8、 43、 21 …… （OEIS數列A001065）

數字類別的性質

真因數和函數可以用來區分幾個特別的數字類別：

• 1是唯一一個真因數和為0的正整數。
• 如果一個正整數真因數和為1則代表該數是一個質數^[2]。
• 完全數的真因數和等於本身、虧數的真因數和小於本身、過剩數的真因數和大於本身^[2]。准完全數（如果存在的話）真因數和為n+1。殆完全數（目前已知僅有2的冪）真因數和為n-1。
• 不可及數是指不是任何數之真因數和的數。相關研究至少可以追溯到大約公元1000年伊本·塔希爾·巴格達迪（英語：Abu Mansur al-Baghdadi）的研究，其發現2和5都是不可及數^[2][3]。艾狄胥·帕爾證明有無限多個不可及數^[4]。目前尚未確定5是否為唯一的奇數不可及數，但可以從哥德巴赫猜想的一種形式與半質數pq的真因數和為p+q+1的觀察得出^[2]。

數學家保羅·波拉克（Paul Pollack）和卡爾·帕梅朗斯指出，艾狄胥·帕爾「最喜歡的研究項目」是真因數和。^[2]

疊代

主條目：真因子和數列

疊代真因數和函數可以產生非負整數的真因數和數列n, s(n), s(s(n)), ...（在這個數列中，我們定義s(0) = 0）。

相親數鏈的真因數和數列為週期數列（英語：Periodic sequence），相親數是週期為2的相親數鏈。

目前尚不清楚這些數列是否總是以質數、完全數或週期性的相親數鏈為結尾。^[5]

參見

• 除數函數：一數之正因數的x次方和
• 紀堯姆·德奧貝里夫（英語：William of Auberive）：中世紀的命理學家，對真因數和感興趣

參考文獻

1. Weisstein, Eric W. (編). Restricted Divisor Function. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英語）.
2. Pollack, Paul; Pomerance, Carl, Some problems of Erdős on the sum-of-divisors function, Transactions of the American Mathematical Society, Series B, 2016, 3: 1–26, MR 3481968, doi:10.1090/btran/10
3. Sesiano, J., Two problems of number theory in Islamic times, Archive for History of Exact Sciences, 1991, 41 (3): 235–238, JSTOR 41133889, MR 1107382, doi:10.1007/BF00348408
4. Erdős, P., Über die Zahlen der Form ${\displaystyle \sigma (n)-n}$ und ${\displaystyle n-\phi (n)}$ (PDF), Elemente der Mathematik, 1973, 28: 83–86 [2022-09-22], MR 0337733, （原始內容存檔 (PDF)於2022-08-05）
5. Weisstein, Eric W. (編). Catalan's Aliquot Sequence Conjecture. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英語）.

外部連結

• 埃里克·韋斯坦因. Restricted Divisor Function. MathWorld.