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

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

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

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

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

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

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

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

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

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

$\displaystyle\sum_{i=1}^m\sum_{j=1}^na_{ij}\\ =\displaystyle\sum_{i=1}^m(a_{i1}+a_{i2}+\cdots+a_{in})$

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

$\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})$

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

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

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

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

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

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

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

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

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