- ...が簡単に求まるのと同じだと考えられる。つまり、様々な関数の微分を知っているから様々な関数の積分が簡単に実行できるのであるから、総和についても同じことが言えるはずだ、ということになる。また、そもそも積分もただの和の計算なのだから、積分に関する定理に似たものが総和の計算においてもあるのではなかろうか、とも考えられる。1
- 二項係数等の超幾何項を含む場合には全く別の方法を用いなければならない場合がある。これは不定積分は求まらないが定積分は求まる場合がある、ということに対応するがここでは扱わない。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...#tex2html_wrap_inline1540#2
- ただしどの2つをとっても差が整数でなければならない。今後特に明記しない。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
という重要な性質が得られる3
- この式からも推察されるが、はが以下の整数だと有限の値を持たない。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
という関係を満たす4
- と同様に、はが以下の整数だと有限の値を持たない。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
を定義すると5
- を中心にTaylor展開すると、が得られる。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
であるから6
- は差分演算子ではなくKroneckerので、なら、なら0という値をとる。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...の冪は第2種スターリング数7
- で表され、元集合を個の空でない部分集合に分ける方法の数である。の場合は
で、
である。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...の値は変わらず8
- はの関数である。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.