>>959
ζ(s)=Σ1/n^s は s > 1 で収束する関数。
s を複素変数だとおもったとき、s の実部 Re(s) > 1 なら、
そのときも収束して意味を持つ。でもそれ以外では
収束しないので、この表示は何の意味も無い。
一方で、Re(s) > 1 の範囲でこのζに一致するような
複素平面全体で定義された解析関数が唯一つ存在する。
その関数の負の整数における値がお前が不思議がっている
右辺の正体。そこではもう ζ(s)=Σ1/n^s と言う表示は
無意味なのだけども、むりやり s=-1, -2, ... と入れてみると
丁度左辺のような式が出てくる。
意味は無いけれど、<s>むしゃくしゃしたから</s>おもしろいから
バカどもには丁度いいめくらましだとムスカ大佐がおっしゃったのさ。