xyz 發問時間: 科學數學 · 4 年前

設 S=1+1/2+1/3+1/5+1/7+...1/Pn (Pn為質數) 試証 S趨近無限大?

已更新項目:

我的感覺是這樣:

根據高斯的質數密度,將相同分母位數的項相加作為一項,如:

s1=1/2+1/3+1/5+1/7 (1位數)

s2=1/11+1/13+..., (2位數)

s3=1/101+1/103+1/107+..., (3位數)

原先的問題就可表成S=s1+s2+s3+...., 此S 與S'=1+1/2+1/3+1/4+...類同

所以S趨近無限大,但是沒有(暫且無法)較正式精確的推導

1 個解答

評分
  • ?
    Lv 7
    4 年前
    最佳解答

    反證法:

    假設當 n→ ∞ 時 S 為有限, 則必存在第 k-1 個質數 p_(k-1) 使

    1 + 1/2 + 1/3 + 1/5 + ... + 1/p_(k-1) ≤ S - 1/2 < 1 + 1/2 + 1/3 + 1/5 + ... + 1/p_k ,

    那末 S - 1/2 < S - (1/p_(k+1) + 1/p_(k+2) + ... + 1/p_n + ...)

    ⇒ 1/p_(k+1) + 1/p_(k+2) + ... 1/p_n + ... < 1/2 ... ❶。

    設整數 1 至 x 中共有 ? 個不含質因子 p_(k+1) , p_(k+2) , ... , p_n , ...。

    換言之此 ? 個數的質因子範圍不外乎 2 , 3 , 5 , 7 , 11 , ... , p_k 共 k 個。

    把此 ? 個數表為 ab² 之形式, 約定 a 不含非1的平方數因子。

    今考慮 ? 的上限, 即 ab² 有多少個可能值, 首先 a 不含非1平方數因子故 a 的質因子連乘式中

    2 , 3 , 5 , 7 , 11 , ... , p_k 的次方值非 1 即 0 , 故 a 有 2ᵏ 個可能, 而 ab² ≤ x ⇒ b ≤ √x ,

    故 b 最多有 √x 個可能, 那末 ab² 最多有 2ᵏ √x 個可能, 即 ? ≤ 2ᵏ √x ... ❷。

    另一方面, 整數 1 至 x 中有 x - ? 個含有不少於 p_(k+1) 的質因子,

    而 1 至 x 中含有質因子 p_(k+1) 、p_(k+2)、... 、p_n 、... 的數分別有

    [x/p_(k+1)] 、[x/p_(k+2)] 、... 、[x/p_n] 、... 個 ,

    則成立 x - ? ≤ x/p_(k+1) + x/p_(k+2) + ... + x/p_n + ... ,

    這是因為 1 至 x 中可能有些數有兩個或以上不少於p_(k+1) 的質因子。

    最後, 由❶得 x - ? ≤ x/p_(k+1) + x/p_(k+2) + ... + x/p_n + ... < x/2 ⇒ x - ? < x/2 ⇒ x/2 < ?

    綜合❷得 x/2 < ? ≤ 2ᵏ √x

    取 x = 2²ᵏ⁺² , 有 2²ᵏ⁺²/2 < ? ≤ 2ᵏ √2²ᵏ⁺² ⇒ 2²ᵏ⁺¹ < ? ≤ 2²ᵏ⁺¹ 矛盾!

    故假設 S 有限不成立, 從而 1 + 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ... + 1/p_n 趨近無限大。

    註:

    由 1 + 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ... + 1/p_n → ∞ 得 n → ∞ 所以質數有無窮多。

還有問題?馬上發問,尋求解答。