ゴールドバッハ-オイラーの定理、累乗数引く1の逆数の総和は1

質問

http://en.wikipedia.org/wiki/Goldbach%E2%80%93Euler_theorem
を参照してください。

1を除く自然数の2乗、3乗、4乗、…を考えます。
4,9,16,25,…
8,27,64,125,…
16,81,256,625,…
…
それらを累乗数と呼び、その和集合を考えます。
P={4, 8, 9, 16, 25, 27, 32, 36, …}

このとき、
Σ[p∈P]1/(p-1)=1
が成り立つことは、ゴールドバッハ-オイラーの定理と呼ばれるそうですが、その証明がわかりません。どうか教えていただけないでしょうか?

回答No.2

f272 · ベストアンサー

> どう正当化するのでしょうか?
ちゃんと書いてあるやん。
H[n]=1+1/2+1/3+1/4+1/5+1/6+...+1/n
として，変形していけば
H[n]-1-1/2-1/4-1/5-1/6-1/7-...-1/n=1-(1/(2^k2*1)+1/(3^k3*2)+...+1/(n(n-1)))
になって，引き算すれば
1-(1/(2^k2*1)+1/(3^k3*2)+...+1/(n(n-1)))=1/3+1/7+1/8+1/15+1/24+1/26+...+1/n
で
1/(2^k2*1)+1/(3^k3*2)+...+1/(n(n-1))<=H[n-1]/√n
H[n-1]/√n→0 (n→∞)
を使えば
1=1/3+1/7+1/8+1/15+1/24+1/26+...

お礼

ありがとうございます。
当方が注意深く読んでいなかったことを反省いたします。

回答No.1

f272

そのページのReferencesの中に
On a series of Goldbach and Euler
へのリンクがあるので，それを読んだらどうかな。証明が書いてあるよ。

お礼

ありがとうございます。
x=1 + 1/2 + 1/3 + 1/4 + …
と置いて、形式的に式変形していく方法は理解できたのですが、
普通は、発散級数を
x=1 + 1/2 + 1/3 + 1/4 + …
のようには置けないので、そのへんの正当化がわかりません。
どう正当化するのでしょうか?