■ライプニッツの調和三角形(その17)
(発散する)調和級数
1/1+1/2+1/3+1/4+・・・=∞
はNGであったが,その交代級数
1/1−1/2+1/3−1/4+・・・=log2
ではどうだろうか?
===================================
n=0,すなわち,第0項から始まるものとして
x^n/(n+1)−x^n+1/(n+2)+・・・
この級数の項比は
an+1x^n+1/anx^n=-(n+1)^2/(n+2)*x/(n+1)
であるから,a0*2F1(1,1;2;-1),また,a0=1より
2F1(1,1;2;-1)
鈴鹿高専・電子情報工学科の奥井重彦先生より頂戴した
「超幾何関数の公式集(Tables of Hypergeometric Functions)」
によると
2F1(1,1;2;x)=-1/x・ln(1-x)
2F1(1,1;2;-1)=ln2 (OK)
===================================