シグマ総和ツール

式を選び、範囲を設定して、累積合計が項ごとにどう変化するかを見てみましょう。

計算例 — シグマ総和ツール

有限和	55
項の数	10

ページを開いたときに計算機が表示する値です。上の入力を変えると再計算されます。

インタラクティブシミュレーションを読み込んでいます...

レッスン

理論 — シグマ総和ツール

シグマ記法は、足し算の指示をコンパクトに表すためのものです。∑ は次のことを意味します：右側にある式を取り、添字（インデックス）を下限から上限までのすべての整数 — 両端を含む — に変化させながら評価し、得られた結果をすべて足し合わせます。

シグマ記法の4つの構成要素：総和記号、その上に書かれた上限、下に書かれた添字と下限、そして右側に続く足し合わせる項。

総和記号。これ自体は値を持たず — 足し合わせるという指示を表します。
シグマの上の上限 n：添字が取る最後の値で、この値も含まれます。
シグマの下の添字とその下限 k = m：カウントの開始位置で、この値も含まれます。
右側の項 f(k)：添字の値ごとに1回ずつ評価され、その計算結果が足し合わされます。

各記号の意味

k: 添字 — 整数値を順番に取るカウンターです。数学的にはその名称は総和の内部に限られるため、i や j を使ってもまったく同じ意味になります。ここでは常に k が使われており、上の表の列の見出しは Index (k) となっています。
m: シグマの下に k = m と書かれる下限です。添字が最初に取る値であり、この値も含まれます — 上記の from（開始値）欄に対応しています。
n: シグマの上に書かれる上限です。添字が取る最後の値で、これも含まれるため、1から10まで動かすと9項ではなく10項になります。上記の to（終了値）欄に対応しています。
f(k): 項 — 添字の各値に対して1回ずつ計算される式です。ここでは k、k^2、2k+1、1/k、(-1)^k の5つのプリセットから選択します。

公式の導き方

両端の限界値が含まれるため、項数は n − m にはなりません。添字の値を書き下してみましょう：m、m + 1、…、そして n まで続きます。
リストが 0 から始まるようにすべての要素から m を引きます：0、1、…、n − m。番号を付け替えても（要素の呼び方が変わっても）、要素の個数は変わりません。
0 から n − m までのリストには n − m + 1 個の要素が含まれます。したがって、1から10までは10項、0から12までは13項となり — これが、上の Term count（項数）欄に表示される値です。

前提: 添字の値は整数で、1ずつ増加し、有限個であることを前提としています。ページのフリーズを防ぐため、上下限はどちらも整数に丸められ、−30 から 30 の範囲に制限（クランプ）されます。項は直接入力するのではなく5つのプリセットから選択する仕様になっており、これにより本ページは汎用の総和計算機ではなく、シグマ記法を理解するためのデモンストレーションとして機能します。
成り立たない場合: 1/k を選択して添字を 0 から始めると、最初の項は定義不能（未定義）になります。このとき計算は黙ってスキップされるわけではなく、その場で停止します：結果には undefined と表示され、Term count は 1 に減り、展開テーブルはその1行だけで終了します。書き下された展開式には undef + 1/1 + 1/2 + ⋯ と表示されますが、これは正確な状態を示しています — たとえその後にどれほど正常な項が続こうとも、未定義の項が1つでもあれば和全体が未定義となります。

奇数のプリセットでは、累積合計がすべて平方数になる 🖖

2k+1 のプリセットを読み込み、累積の列を上から下へ見てください。1、4、9、16、25 — 平方数であることをやめず、最後は 169、つまり 13² です。これはこの範囲だけの偶然ではありません。最初の n 個の奇数の和はつねにちょうど n² になるので、この道具が各ステップのあとに表示する累積合計は、それまでの項数の二乗そのものです。部分和は幾何をやっています。どの奇数も、ある正方形を次の正方形に変える L 字型の帯なのです。

足し算をまとめて書く記号 🖖

大きな Σ は「指数を下端から上端まで動かしながら各項を足しなさい」という指示にすぎません。このツールはその足し算を代わりに行い、さらに各ステップ後の累計 — 部分和 — も示します。最終的な答えは、その軌跡の最後の部分和にほかなりません。

何も足さないと0になるとき 🖖

上限が下限よりも小さいために項が1つも存在しない「空の和（空和）」は、未定義ではありません。約束事（定義）により、空の和は 0 に等しくなります。0 は加法単位元であり、空の合計を加えても加算対象を変化させないためです。乗法におけるその相方（空積）が 1 になるのも同様に驚くべきことでしょう。ただし、この画面で空の和を作ることはできません（これも知っておく価値があります）：上限を下限より小さく設定すると両者が自動的に入れ替えられるため、k = 5 から 2 への設定は k = 2 から 5 へと変更され、14 を返します。

オイラーが書き記し、私たちが日常的にクリックしている記号 🖖

この記号はオイラーによるものです。『Institutiones calculi differentialis』（1755年）において、彼は和を記号 Σ — summa（和）の頭文字であるギリシャ文字の大文字シグマ — で表すことを定め、それが今日まで定着しました。数学の記号において、これは極めて珍しいことです。当時の提案のほとんどは別の記号へと置き換えられたからです。今やこの記号は数学の枠組みを超えて普及しています。主要な表計算ソフトの「オート SUM」ボタンに使われているのもこの Σ であり、自らを数学者だとは思っていない人々も、仕事の場で毎日のようにオイラーの記法を使っています。1つ注意したいのは、関連があるように見えて実は全く別物である点です：大文字の Σ は「これらを足し合わせよ」という指示ですが、小文字の σ は分布の標準偏差を表します。“Six Sigma”（シックス・シグマ）で使われているのは、こちらの小文字のシグマです。

練習

自分で確かめる

まず答えを予想し、それから上のコントロールで確かめてください。予想を決めてから答えを開くこと。それが練習になる条件です。

奇数のプリセットは 2k+1 を k = 0 から 12 まで足し、13 項で 169 と報告します。他のプリセットは合計の下に閉じた公式を表示しますが、これには何も出ません。自分で規則を見つけてください。上限を 4、次に 9、次に 19 にしてみましょう。

答えを表示

25、100、400 で、それぞれ 5 項、10 項、20 項です。最初の n 個の奇数の和は必ずちょうど n² になり、169 は 13² です。L 字の層で組み上がる正方形を思い浮かべてください。点が一つ、その周りに 3 個の L、さらにその周りに 5 個の L — n 層を重ねると n × n の正方形になり、加えた各層はちょうど次の奇数でした。このツールは k と k² の閉じた公式を知っていて表示しますが、これは認識しないので、得られるのは合計だけです。
調和のプリセットは 1/k を 1 から 8 まで足して 2.717857 を得て、部分和は有限の極限に落ち着かないと注記します。合計が 5 を超えるには上限をどこまで伸ばす必要があるか予想し、それから確かめてください。

答えを表示

83 です。第 82 項では 4.990020 にとどまり、第 83 項で 5.002068 に届きます。6 に達するには 227 項が必要で、226 項では 5.999961 — 百万分の四だけ足りません。227 ÷ 83 = 2.73 で、これはほぼ e です。部分和は ln n に沿って進むので、さらに +1 進むたびに、それまでの全行程の約 e ≈ 2.718 倍の項数がかかります。10 を超えるには 12367 項が必要で、頼めばツールは計算してくれます。「落ち着かない」を内側から見ると、こういう姿です。上昇は決して止まりませんが、幾何級数的に遅くなる。だから 8 項ではまだ 2.7 にしか届かなかったのです。

全プロセスの詳細解説

1から10のペアリングでは到達できない平方和 6 ステップ
単に足し合わせるのではなくペアリングによって1から10までを合計し、同じ手筋を用いて平方和を求めよ。ただし平方和はペアリングでは到達できない。
1. 和を書き下す。10項という規模は直接足し合わせるのに十分小さいが、まさにそれゆえにそうすべきではない。
  
  $S = k = 1 \sum 10 k = 1 + 2 + \dots + 10$
2. 和をそれ自身を逆順にしたものと足し合わせる。すべての列が同じ合計を与え、それが n 列存在する。したがって、2倍された和は長方形の形をとる。
  
  $2 S = (1 + 10) + (2 + 9) + \dots + (10 + 1) = 10 \times 11 ⟹ S = \frac{10 \cdot 11}{2} = 55$
3. 一般的な結果が得られる。この論法は和を半分に折りたたむのではなく2倍している点に注目されたい。そのため、両端から項をペアにする方法とは異なり、奇数の n について場合分けをする必要がない。
  
  $k = 1 \sum n k = \frac{n ( n + 1 )}{2} — the pairing needs no case split, because it doubles the sum rather than folding it$
4. 次に平方和を求める。連続する三乗の差から出発すると、これは k² を含む形に展開される。
  
  $(k + 1)^{3} - k^{3} = 3 k^{2} + 3 k + 1 ⟹ k = 1 \sum n [(k + 1)^{3} - k^{3}] = (n + 1)^{3} - 1$
5. 両辺の和をとる。左辺は相殺されて（望遠鏡和となり）単一の項になり、右辺には求めたい和とすでに得られている和が含まれる。
  
  $(n + 1)^{3} - 1 = 3 \sum k^{2} + 3 \cdot \frac{n ( n + 1 )}{2} + n ⟹ k = 1 \sum n k^{2} = \frac{n ( n + 1 ) ( 2 n + 1 )}{6} = 385$
6. 指数をもう1つ上げると、このパターンは自己完結する。
  
  $k = 1 \sum n k^{3} = (\frac{n ( n + 1 )}{2})^{2} = 5 5^{2} = 3025$
解答

55、次に 385、そして 3025。3つ目の数値は1つ目の数値の二乗である。 ペアリングによる論法は有名であるが、行き詰まりでもある。それが機能するのは項が線形だからであり、平方（二乗）の項を等しいペアに折りたたむ方法は存在しない。それに代わるのが望遠鏡和（相殺和）である。連続する三乗の差を書き出して和をとると、ほとんどすべての項が相殺され、その残骸から平方和が導き出される。同じ仕組みを指数を1つ上げて実行すると三乗和が得られ、それは 55² に到達する。すなわち、最初の n 個の三乗の和は、あらゆる n について、最初の n 個の数の和の二乗になる。これは数値を眺めているだけでは気づけない偶然の一致であり、ペアリングのほうが最初の答えに早く辿り着けるとしても、望遠鏡和を学ぶ価値がある理由である。

$k = 1 \sum 10 k = 55, \sum k^{2} = 385, \sum k^{3} = 5 5^{2} = 3025$

参考文献 (3)

Where the Σ sign comes from — Euler’s own text: L. Euler, Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum, vol. 1. Academiae Imperialis Scientiarum Petropolitanae, 1755 (E212).
And the history of the notation itself: Florian Cajori, A History of Mathematical Notations, Volume II. The Open Court Publishing Company, 1929.
The conventions this page relies on — inclusive limits, index changes, and why an empty sum is 0: R. L. Graham, D. E. Knuth & O. Patashnik, Concrete Mathematics, 2nd ed., chapter 2 (“Sums”). Addison-Wesley, 1994. ISBN 978-0-201-55802-9.

42Math チーム · 更新 2026-05-21

公表された資料と照合しています。訂正のご指摘を歓迎します。編集方針 · 訂正

数学のレッスン一覧 →

例題

自然数 - 最初の自然数10個の定番の和。
平方数 - 各項が急速に増加する、平方数の有限和。
線形式 - 奇数のパターンで積み上がる一次項の和。
調和部分和 - 調和級数の部分和は、対数的なゆるやかな増加を示す。