■完全ベキ乗数列(その13)

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

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

={1^2,1^3,・・,,2^2,2^3,・・,3^2,3^3,・・,4^2,4^3,・・}

  Σ1/(an−1)=Σ1/(2^k−1)+Σ1/(3^k−1)+・・・

  Σ1/(an+1)=Σ1/(2^k+1)+Σ1/(3^k+1)+・・・

  (k≧2)

 これから,

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

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

を証明できるだろうか?

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

 ここでは

  Σ1/(an−1)=Σ1/(2^2−1)+Σ1/(3^2−1)+・・・Σ1/(2^3−1)+Σ1/(3^3−1)+・・・

としてみる.

Σ1/(k^2−1)=1/2・Σ{1/(k−1)−1/(k+1)}

=1/2「1−1/3+1/2−1/4+1/3−1/5+1/4−1/6+・・・}

Σ1/(k^3−1)=Σ1/(k^2+2){1/(k−1)−1/(k^2+k+1)}

Σ1/(k^4−1)=1/2Σ{1/(k^2−1)−1/(k^2+1)}

Σ1/(k^5−1)=Σ1/(k^4+k^3+k^2+2){1/(k−1)−1/(k^4+k^3+k^2+k+1)}

 うまくキャンセルアウトしてくれそうにない.

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