シグマ計算を機械的に行うための3つの公式

和の記号シグマに関する計算をすばやく行うための公式を3つ紹介します。2つのシグマ(二重和)計算についても扱います。

機械的な計算のメリット

シグマ計算を機械的にすばやく行うための公式を紹介します。その前に「公式丸暗記+機械的な計算」のメリットを述べておきます:

  • 時間短縮になる
  • 脳のエネルギーを無駄に使わないですむ
  • 見通しが良くなる

参考:公式を丸暗記すべきかそのつど導出すべきか

シグマ計算を通じて,機械的な計算のメリットを味わってみてください。

シグマの平行移動の公式

(1)平行移動の公式: i=1nai=i=k+1n+kaik\displaystyle\sum_{i=1}^na_i=\displaystyle\sum_{i=k+1}^{n+k}a_{i-k}

シグマの上端,下端をそろえたいときによく使う公式です。

意味を考えれば「どちらも a1a_1 から ana_n までの和を表している」というだけです。よって,わざわざこの公式を覚えなくても,そのつど平行移動の意味を考えて,上端・下端・数列の添字を調整すればいいだけです。しかし,毎回意味を考えるのはめんどうなので, 上端と下端を同じ方向にずらして,添字を逆方向にずらすと覚えることをオススメします。

i=1n1i+i=2ni2=i=1n1i+i=1n1(i+1)2=i=1n1(i2+3i+1)\displaystyle\sum_{i=1}^{n-1}i+\sum_{i=2}^ni^2=\sum_{i=1}^{n-1}i+\sum_{i=1}^{n-1}(i+1)^2=\sum_{i=1}^{n-1}(i^2+3i+1)

第二項で和が2から始まっていて嫌なので,1に揃えるために公式を使いました。「和が 222^2 から始まるから下端を 11 にするためには……?」と意味を考えるのではなく, 「シグマの上と下から1引いて添字に1足す」と機械的に計算しましょう。

この程度の公式なら,毎回意味を考えてもなんとかなりますが,二重和が登場してくると,機械的な計算なしでは相当厳しくなります。

二重和の記号の意味

まず,シグマが2つ並んだ二重和の記号の意味について説明しておきます。理解してる人は読み飛ばしてください。シグマが並んだ式を見てビビってしまう人は読んでみてください。

・シグマが2つ並んだ場合,内側のシグマから順番に計算します:

i=1mj=1naij=i=1m(ai1+ai2++ain)\displaystyle\sum_{i=1}^m\sum_{j=1}^na_{ij}\\ =\displaystyle\sum_{i=1}^m(a_{i1}+a_{i2}+\cdots+a_{in})

=aij=a_{ij} のすべての和

i=1nj=1iaij=i=1n(ai1+ai2++aii)=(a11)+(a21+a22)++(an1+an2++ann)\displaystyle\sum_{i=1}^n\sum_{j=1}^ia_{ij}\\ =\displaystyle\sum_{i=1}^n(a_{i1}+a_{i2}+\cdots+a_{ii})\\ =(a_{11})+(a_{21}+a_{22})+\cdots +(a_{n1}+a_{n2}+\cdots +a_{nn})

=ij=i \geq j となる aija_{ij} のすべての和

・和の最後(シグマの上端)が自明のときは,2つのシグマを簡略化して1つで書くこともあります。

i,jaij=(aij\displaystyle\sum_{i,j}a_{ij}=(a_{ij} のすべての和 )=i=1mj=1naij)=\displaystyle\sum_{i=1}^m\sum_{j=1}^na_{ij}

・足し上げるときの条件をシグマの下に書くこともあります。

i,j,ijaij=(ij\displaystyle\sum_{i,j,i \geq j}a_{ij}=(i \geq j となる aija_{ij} のすべての和 )=i=1nj=1iaij)=\displaystyle\sum_{i=1}^n\sum_{j=1}^ia_{ij}

二重和の計算

さて,いよいよ本題です。

2つのシグマの交換:

(2)i=1mj=1naij=j=1ni=1maij\displaystyle\sum_{i=1}^m\sum_{j=1}^na_{ij}=\displaystyle\sum_{j=1}^n\sum_{i=1}^ma_{ij}

どちらも aija_{ij} のすべての和を表しているという意味から明らかです。多くの場合においてシグマは交換できるのですが,左側のシグマの足し上げる変数が右側のシグマの上端に含まれている場合は交換できません。

i=1nj=1iaij\displaystyle\sum_{i=1}^n\sum_{j=1}^ia_{ij} はシグマを交換できない

以下の分解公式は非常に重要です。機械的に分解できるようになりましょう。

2つのシグマの分解:

(3)i=1mj=1naibj=i=1maij=1nbj\displaystyle\sum_{i=1}^m\sum_{j=1}^na_ib_j=\sum_{i=1}^ma_i\sum_{j=1}^nb_j

分配法則 a1b1+a1b2+a2b1+a2b2=(a1+a2)(b1+b2)a_1b_1+a_1b_2+a_2b_1+a_2b_2=(a_1+a_2)(b_1+b_2) を一般化しただけの式ですが,複雑な証明の中で何気なく使われていると気づきにくいので注意しましょう。(例えば,ビネコーシーの恒等式の証明

i=1nj=1nij=i=1nij=1nj=n2(n+1)24\displaystyle\sum_{i=1}^n\sum_{j=1}^nij=\sum_{i=1}^ni\sum_{j=1}^nj=\dfrac{n^2(n+1)^2}{4}

シグマは慣れるまではおどろおどろしいですが,慣れたら思考をサポートしてくれる強力な記号です