更新:2024/11/24

差分で考えるシグマ

はるか
はるか
数列の和を考えるとき、差分を取るとシグマがシンプルになることがある。
ふゅか
ふゅか
そうね!例えば、和の差分を取るとf(n+1)f(0)f(n+1)-f(0)だけが残るのよね♪

1. 差分

数列の和の差分を取ったとき以下のような関係式が成り立つ。

k=0nf(k+1)f(k)=f(n+1)f(0)\displaystyle\sum_{k=0}^n f(k+1)-f(k)=f(n+1)-f(0)

1.1. 差分の仕組み

はるか
はるか
打ち消しあうことで、残る部分がf(n+1)f(0)f(n+1)-f(0)になる。

ふゅか
ふゅか
その通り♪ 画像を見て、差分がどう打ち消しあうか確認してね!

以下のように足し合わせた結果、打ち消しあって、残った部分がf(n+1)f(0)f(n+1)-f(0)となります。

たとえば、k=1nf(k+1)f(k)\displaystyle\sum_{k=1}^n f(k+1)-f(k)となったときに、同じ考え方で計算すると、以下のようになります。

2. 例題

以下の数列の和を計算せよ。

(1)k=0n2k\displaystyle\sum_{k=0}^n 2^k

(2)k=0n3k2k\displaystyle\sum_{k=0}^n 3k\cdot2^k

(3)k=1n1k(k+2)\displaystyle\sum_{k=1}^n \dfrac{1}{k(k+2)}

(1)まずは、ウォーミングアップです。これは通常は等比数列の和で考えてもよいのですが差分で考えると以下のようになります。

k=0n2k\displaystyle\sum_{k=0}^n 2^k

=k=0n22k1=\displaystyle\sum_{k=0}^n 2\cdot 2^{k-1}

=k=0n(42)2k1=\displaystyle\sum_{k=0}^n (4-2) 2^{k-1}

=k=0n42k122k1=\displaystyle\sum_{k=0}^n 4\cdot2^{k-1}-2\cdot2^{k-1}

=k=0n2k+12k=\displaystyle\sum_{k=0}^n 2^{k+1}-2^{k}

=2n+11=2^{n+1}-1

となります。

(2)コツは、f(n)f(n)の形を予想するということです。f(k)=(ak+b)2kf(k)=(ak+b)\cdot2^kであると予想します。

f(k+1)f(k)={a(k+1)+b}2k+1(ak+b)2kf(k+1)-f(k)=\lbrace a(k+1)+b\rbrace 2^{k+1}-(ak+b)2^k

=(ak+2a+b)2k=(ak+2a+b)2^k

f(k+1)f(k)=3k2kf(k+1)-f(k)=3k\cdot2^kとなるから、恒等式より、

ak=3kak=3k

2a+b=02a+b=0

であることがわかるから、a=3a=3,b=6b=-6である。

f(k)=(3k6)2kf(k)=(3k-6)2^kとおくと、

k=0nf(k+1)f(k)\displaystyle\sum_{k=0}^n f(k+1)-f(k)

={3(n+1)6}2n+1(6)=\lbrace 3(n+1)-6\rbrace2^{n+1}-(-6)

=3(n1)2n+1+6=3(n-1)2^{n+1}+6

(3)1k(k+2)\dfrac{1}{k(k+2)}に部分分数分解を行うと

1k(k+2)=12(1k1k+2)\dfrac{1}{k(k+2)}=\dfrac{1}{2}\left(\dfrac{1}{k}-\dfrac{1}{k+2}\right)

また、式変形を行うと、

=12(1k+21k)=-\dfrac{1}{2}\left(\dfrac{1}{k+2}-\dfrac{1}{k}\right)

=12(1k+2+1k+11k+11k)=-\dfrac{1}{2}\left(\dfrac{1}{k+2}+\dfrac{1}{k+1}-\dfrac{1}{k+1}-\dfrac{1}{k}\right)

となる。f(k)=1k+1+1kf(k)=\dfrac{1}{k+1}+\dfrac{1}{k}とおくと、

k=1n1k(k+2)\displaystyle\sum_{k=1}^n \dfrac{1}{k(k+2)}

=12k=1nf(k+1)f(k)=-\dfrac{1}{2}\displaystyle\sum_{k=1}^n f(k+1)-f(k)

=12(1n+2+1n+132)=-\dfrac{1}{2}\left(\dfrac{1}{n+2}+\dfrac{1}{n+1}-\dfrac{3}{2}\right)