シグマ総和ツール

シグマ演算子は離散集合の集約を形式化します。部分和の評価は累積の動的軌道を追跡します。多項式数列の場合、部分和は多項式の次数で予測可能に上昇します。

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

上端を下端より小さくすると足すべき項が存在しませんが、それでも和は未定義にはならず 0 になります。これは空和という意図的な約束です。0 は加法の単位元なので、空の和はどんな式も変えません。掛け算版も同じくらい意外で、空積は 1 と定義されます。