■完全ベキ乗数列(その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)}
うまくキャンセルアウトしてくれそうにない.
===================================