接著,把所有小於 √N 的質數由小到大列出來,即 p1, p2, p3, …, pj (其中pj表示由小到大第 j 個質數,即 p1 = 2、p2 = 3、p3 = 5,以此類推)。因為比pj大的質數就大於等於√N了,所以有:
pj < √N ≤ pj+1 (式1)
另一方面,根據結果A,p1, p2, p3, …, pj 都是 N 的質因數,他們全部相乘以後,也會是 N 的因數 (結果B),因為因數不可能大過本身,所以:
p1 p2 p3 … pj ≤ N (式2)
介紹一下會用到的「伯特蘭-切比雪夫定理」,其內容簡單來說,就是「任何一個正整數 n 和他的兩倍 2n 之間,至少會存在一個質數 p。(即 n ≤ p < 2n)」。在此不證明這個定理 (其實是我不會證 XD),只要放心使用它就好。
現在證明以下命題:「對所有正整數 k,第 k+1 個質數一定在第 k 個質數和他的兩倍之間。」也就是說:
pk < pk+1 < 2pk (式3)
用反證法即可證出,如下:若pk+1 ≥ 2pk ,則根據「伯特蘭-切比雪夫定理」,存在一個質數 p 使得 pk < p < 2pk ≤ pk+1;也就是說在 pk 與 pk+1 之間還有其他質數,矛盾,故 式3 成立。(這部分climbn1246有在留言中也有證明了)
接著,根據式1 和式3,得到:
N ≤ pj+12 < (2pj)2 < (2pj)(2·2pj-1) = 8 pj pj-1 (式4)
上式中第三個不等號後面,也是用到 式3 的結果,只是把 k 換成 j-1 而已。
(這裡假設 j > 1。如果 j = 1 (或 0) 的話,就不用管 式4 了,因為此時 N 就是 3 (或 2 或 1),都符合入社條件,所以沒問題。)
再來,用式2 與式4,得出:
p1 p2 p3 … pj-2 < 8 (式5)
但p1, p2, p3, … 就是質數 2, 3, 5, …;而2×3 < 8 < 2×3×5 ,故 pj-2 ≤ 3 = p2,即 j-2 ≤ 2,即:
j ≤ 4 (式6)
根據式1 和式6,得到:
N ≤ pj+12 ≤ p52 = 112 = 121 (式7)
根據式1、結果B 和式6 得到:
若 N > p12 = 22 = 4,則 2 要是 N 的因數。
若 N > p22 = 32 = 9,則 2×3 = 6 要是 N 的因數。
若 N > p32 = 52 = 25,則 2×3×5 = 30 要是 N 的因數。
若 N > p42 = 72 = 49,則 2×3×5×7 = 210 要是 N 的因數。
(結果C)
結合式7 與結果C 的第四行,因為 N ≤ 121,不可能有 210 這個因數 (因數不可能大過本身!),所以可以進一步得到:
N ≤ 49 (式8)
最後,結合 式8 與 結果C 的前三行,發現最大的 N (> 25) 既要是 30 的倍數,又不能超過 49,那就只能是 30了。也就是說,滿足入設條件的正整數,最大就是 30,社長也就由他擔任。要找出其他社員只要檢驗 30 以下的數字即可,共有 10 位 (如上述)。
P.S. 這個社團的名稱 (滿足入社條件) 的數字,我不曉得叫什麼 (好像也查不到什麼統一的名稱)。不過由 larry 提供的 "OEIS" (The On-Line Encyclopedia of Integer Sequences 線上整數數列百科),可以找到這個社團 (數列:1, 2, 3, 4, 6, 8, 12, 18, 24, 30。貌似叫做 Very Round Numbers,但我在其它地方都查不到這個名稱),社團代號是 A048597。其它故事中的社團在 OIES 也都找的到,如下:
社團名稱 | 社團代號 |
質數社 | A000040 |
費氏數社 | A000045 |
畢氏數社 | A103606 |
完全平方社 | A000290 |