シグマ記号Σの考え方｜数列の和を表すΣの定義と性質

前回の記事では，

等差数列の和
等比数列の和

を考えました．このように，数列の和を考えることはよくあります．

そこで，数列の和を表すシグマ記号$\sum$があります．

シグマ記号に慣れるまでは少し時間がかかるかも知れませんが，一度慣れてしまえば長い式もスッキリと表すことができるので便利な記号です．

一連の記事はこちら

【数列の基本１｜数列の基礎は[等差数列]と[等比数列]から！】
【数列の基本２｜[等差数列の和の公式]と[等比数列の和の公式]】
【数列の基本３｜数列の和を表すシグマ記号$\sum$の定義と性質】←今の記事
【数列の基本４｜超重要な和の公式[１乗和/２乗和/３乗和]】
【数列の基本５｜階差数列の考え方は簡単！階差数列の公式】
【数列の基本６｜部分分数分解を用いて計算する数列の和】
【数列の基本７｜[等差×等比]型数列の和は引き算がポイント】

1 解説動画
2 シグマ記号の定義と例
3 シグマ記号の公式
- 3.1 シグマ記号の公式
- 3.2 シグマ記号の公式の具体例

解説動画

この記事の解説動画もアップロードしています．

チャンネル登録
コメント
高評価

は，今後の動画作成の励みになります！

是非【チャンネル登録】をよろしくお願いします！

シグマ記号の定義と例

まずは

シグマ記号の定義
シグマ記号の具体例

をみてみましょう．

シグマ記号の定義

早速，シグマ記号の定義を確認しましょう．

自然数$k$, $\ell$は$k\leqq \ell$を満たすとする．数列$\{a_n\}$の第$k$項から第$\ell$項までの和$a_k+a_{k+1}+\dots+a_\ell$を$\sum\limits_{n=k}^{\ell}a_n$と表す：

$\begin{align*} \sum_{n=k}^{\ell}a_n =a_k+a_{k+1}+\dots+a_\ell. \end{align*}$

「和」は英語で”sum”であり，$\Sigma$(シグマ)は”sum”の頭文字”S”に相当するギリシャ文字です．(なお，小文字は$\sigma$で，統計で分散を$\sigma^2$で表すことも多いですね．)

さて，定義からも分かるように，$\sum\limits_{n=k}^{\ell}$は

「$n$に$k$から$\ell$までの整数を代入したものを足せ」

という記号なわけですね．

そもそもシグマ記号はまだ紙が貴重だった時代に，長い式の省スペースのために考案されたのが起源です．

このように，シグマ記号を使うことによって，式がスッキリ書けるというメリットがあります．

一方で，慣れないと読み取るのが難しいというデメリットが生じてしまいました．

ですから，シグマ記号に慣れるまではきちんと書き並べて考える癖をつけるようにするのがよいでしょう．

慣れれば書き並べて考えなくても分かるようになり，この便利さからは離れられなくなりますよ．笑

シグマ記号の具体例

具体的に考えてみましょう．

次の和を書き並べて表せ．

$\sum\limits_{n=1}^{5}a_{n}$
$\sum\limits_{n=3}^{5}\bra{a_{n}+b_{n}}$
$\sum\limits_{k=1}^{n}a_{k}$
$\sum\limits_{n=7}^{10}3n$
$\sum\limits_{k=1}^{n}2$

(1)　$n$に１から５までの整数を代入して足し合わせるから，

$\begin{align*} \sum_{n=1}^{5}a_{n} =a_{1}+a_{2}+a_{3}+a_{4}+a_{5} \end{align*}$

(2)　$n$に３から５までの整数を代入して足し合わせるから，

$\begin{align*} \sum_{n=3}^{5}\bra{a_{n}+b_{n}} =\bra{a_{3}+b_{3}}+\bra{a_{4}+b_{4}}+\bra{a_{5}+b_{5}} \end{align*}$

(3)　$k$に１から$n$までの整数を代入して足し合わせるから，

$\begin{align*} \sum_{k=1}^{n}a_{k} =a_{1}+a_{2}+\dots+a_{n} \end{align*}$

(4)　$n$に７から10までの整数を代入して足し合わせるから，

$\begin{align*} \sum_{n=7}^{10}3n =3\cdot7+3\cdot8+3\cdot9+3\cdot10 \end{align*}$

(5)　$k$に１から$n$までの整数を代入して足し合わせるから，

$\begin{align*} \sum\limits_{k=1}^{n}2 =2+2+\dots+2 \end{align*}$

最後の例で２には$k$が含まれていませんが，「$k$を代入してもいつでも２」と考えて２を$n$回足し合わせることになります．

このことは最初は間違えやすいので注意してください．

等差数列の和と等比数列の和

前回の記事で説明した

等差数列
等比数列

の和をシグマ記号を用いて表してみましょう．

【前回の記事：数列の基本２｜等差数列の和の公式と等比数列の和の公式】

[等差数列の和]と[等比数列の和]は数列の和の中で基本的で，他の多くの数列の和もこれらに帰着させて考えることがよくあります．この前回の記事では，[等差数列の和]と[等比数列の和]の公式をイメージから導出しています．

等差数列の場合

初項$a$，公差$d$の等差数列$\{a_n\}$の初項から第$n$項までの和は

$\begin{align*} a+(a+d)+(a+2d)+\dots+\{a+(n-1)d\}=\frac{\{2a+(n-1)d\}n}{2} \end{align*}$

なのでした．

左辺は「$a+kd$の$k$に０以上$n-1$以下の整数を代入して足し合わせたもの」になっているので，この左辺の和をシグマ記号で表すと

$\begin{align*} \sum_{k=0}^{n-1}(a+kd)=\frac{\{2a+(n-1)d\}n}{2} \end{align*}$

となります．

等比数列の場合

初項$a$，公比$r$の等比数列$\{b_n\}$の初項から第$n$項までの和は

$\begin{align*} a+ar+ar^2+\dots+ar^{n-1} =\begin{cases}\frac{a(r^n-1)}{r-1}&(r\neq1)\\an&(r=1)\end{cases} \end{align*}$

なのでした．

左辺は「$ar^k$の$k$に０以上$n-1$以下の整数を代入して足し合わせたもの」になっているので，この左辺の和をシグマ記号で表すと

$\begin{align*} \sum_{k=0}^{n-1}ar^k =\begin{cases}\frac{a(r^n-1)}{r-1}&(r\neq1)\\an&(r=1)\end{cases} \end{align*}$

となります．

シグマ記号$\sum$は単に和をスッキリ表すために導入している記号なので，どのような和を表しているのか頭の中で自動変換できるようにしたい．

シグマ記号の公式

それでは，シグマ記号の公式の説明に移ります．

シグマ記号の公式

シグマ記号について，以下が成り立ちます．

自然数$k$, $\ell$は$k\leqq \ell$を満たすとする．数列$\{a_n\}$, $\{b_n\}$と実数$p$, $q$に対して，

$\begin{align*} \sum_{n=k}^{\ell}(pa_n+qb_n) =p\sum_{n=k}^{\ell}a_n+q\sum_{n=k}^{\ell}b_n \end{align*}$

が成り立つ．

実際に書き並べて変形することで

$\begin{align*} &\sum_{n=k}^{\ell}(pa_n+qb_n) \\=&(pa_k+qb_k)+(pa_{k+1}+qb_{k+1})+\dots+(pa_\ell+qb_\ell) \\=&p(a_k+a_{k+1}+\dots+a_\ell)+q(b_k+b_{k+1}+\dots+b_\ell) \\=&p\sum_{n=k}^{\ell}a_n+q\sum_{n=k}^{\ell}b_n \end{align*}$

となることが分かりました．

この公式は

$q=0$の場合
$p=q=1$の場合

として得られる以下の形でもよく用います．

自然数$k$, $\ell$は$k\leqq \ell$を満たすとする．数列$\{a_n\}$, $\{b_n\}$と実数$p$, $q$に対して，

$\begin{align*} &\sum_{n=k}^{\ell}pa_n =p\sum_{n=k}^{\ell}a_n, \\&\sum_{n=k}^{\ell}(a_n+b_n) =\sum_{n=k}^{\ell}a_n+\sum_{n=k}^{\ell}b_n \end{align*}$

が成り立つ．

つまり，

定数倍は$\sum$の外に出せる
和はバラバラにできる

というわけですね．

シグマ記号の公式の具体例

最後に以下の問題を考えましょう．

次の和を$n$を用いて表せ．

$\begin{align*} \sum_{k=1}^{n}(2k-3\cdot2^k) \end{align*}$

まずはバラバラにしましょう．

$\begin{align*} \sum_{k=1}^{n}(2k-3\cdot2^k) =2\sum_{k=1}^{n}k-3\sum_{k=1}^{n}2^k \end{align*}$

なので，

$\sum\limits_{k=1}^{n}k$
$\sum\limits_{k=1}^{n}2^k$

を求めれば良いですね．

前者は初項１，公差１の等差数列の和
後者は初項２，公比２の等比数列の和

ですから，

$\begin{align*} \sum_{k=1}^{n}k =&\frac{n(n+1)}{2}, \\\sum_{k=1}^{n}2^k =&\frac{2(2^n-1)}{2-1} =2^{n+1}-2, \end{align*}$

です．よって，

$\begin{align*} \sum_{k=1}^{n}(2k-3\cdot2^k) =&2\cdot\frac{n(n+1)}{2}-3(2^{n+1}-2) \\=&n(n+1)-3(2^{n+1}-2) \\=&n^2+n-3\cdot2^{n+1}-6 \end{align*}$

となります．

丁寧に解きましたが，慣れれば一本の式変形で計算できるようになります．

シグマ記号をバラバラにしない方が良いこともありますが，多くの場合でバラバラにしてそれぞれの和を求めることでうまくいくことが多いです．

定数倍はシグマ記号の外に，和はシグマ記号をバラバラにすることができる．

次の記事では，数列の和として頻繁に現れる

１乗和$1+2+\dots+n$
２乗和$1^2+2^2+\dots+n^2$
３乗和$1^3+2^3+\dots+n^3$

について説明します．

一連の記事はこちら

【数列の基本１｜数列の基礎は[等差数列]と[等比数列]から！】
【数列の基本２｜[等差数列の和の公式]と[等比数列の和の公式]】
【数列の基本３｜数列の和を表すシグマ記号$\sum$の定義と性質】
【数列の基本４｜超重要な和の公式[１乗和/２乗和/３乗和]】←次の記事
【数列の基本５｜階差数列の考え方は簡単！階差数列の公式】
【数列の基本６｜部分分数分解を用いて計算する数列の和】
【数列の基本７｜[等差×等比]型数列の和は引き算がポイント】