■素数と等差数列(その8)

[1]2のベキ乗からなる集合 {2,4,8,16,32,64,128,256,・・・}の逆数和は

  1/2+1/4+1/8+1/16+1/32+1/64+・・・→1

[2]3のベキ乗からなる集合 {3,9,27,81,243,729,・・・}の逆数和は

  1/3+1/9+1/27+1/81+1/243+1/729+・・・→1/2

[3]4のベキ乗からなる集合 {4,16,64,256,・・・}の逆数和は

  1/4+1/16+1/64+1/2564+・・・→1/3

===================================

【1】ゴールドバッハの公式

 x^y  (x≧2,y≧2)の形で表される数を完全ベキ乗数と呼ぶことにする.

  {an}={1,4,8,9,16,25,27,32,36,・・・}

  Σ1/(an−1)=1  (n≧2)

すなわち,

  1=1/3+1/7+1/8+1/15+1/26+1/31+1/35・・・

(証)ゴールドバッハの和は,左辺を等比級数の和に直して

   Σx^-y=Σ1/x(x−1)=Σ{1/(x−1)−1/x}

に等しい.右辺=1

 Σ1/anも収束するが,近年には

  Σ1/(an+1)=π^2/3−5/2  (n≧2)

が成り立つことも証明されたという.

===================================

【2】anの漸近個数関数

 完全ベキ乗数のなかでは完全平方数が圧倒的に多いので

  an〜n^2

と予想される.

  an<xとなる個数を計算して,個数〜√xであればan〜n^2である.より正確には

  個数〜[√x]+[3√x]−[6√x]+・・・

    〜√x+O(3√x・logx)

===================================