Addition of several numbers or other values
数学 において 、 和とは、 加数 または被加数と呼ばれる数 の 列 を 加算 する こと です 。 結果はそれらの 和 または 合計 です。数以外にも、 関数 、 ベクトル 、 行列 、 多項式 、そして一般に「+」 で表される演算が定義されているあらゆる種類の 数学的オブジェクトの要素など、他の種類の 値 も加算できます。
無限列 の和は 級数 と呼ばれます。これには 極限 の概念が含まれており 、この記事では扱いません
明示的な数列の和は、加算の連続として表されます。例えば、 [1, 2, 4, 2]の和は 1 + 2 + 4 + 2 と表され 、結果は9、つまり 1 + 2 + 4 + 2 = 9 になります。加算は 結合法則 と 可換法則 に従うため、括弧は必要なく、加数の順序に関係なく結果は同じです。加数が1つの数列の和は、加数そのものになります。空数列(要素のない数列)の和は、慣例により0になります
多くの場合、数列の要素は、規則的なパターンを通して、 数列内の位置の 関数として定義されます。単純なパターンの場合、長い数列の和は、ほとんどの被加数を省略記号に置き換えて表すことができます。たとえば、最初の100個の 自然数の和は 、1 + 2 + 3 + 4 + ⋯ + 99 + 100 と書くことができます 。それ以外の場合、和はΣ表記法を使用して表されます。ここで、 は拡大された大文字の ギリシャ文字 シグマ です。たとえば、最初の n 個の自然数の和は次のように表すことができます。 ∑ {\textstyle \sum }
∑ i = 1 n i . {\displaystyle \sum _{i=1}^{n}i.} 長い和、および可変長の和(省略記号またはΣ表記法で定義)の場合、結果の 閉じた形式を 見つけることは一般的な問題です。たとえば、 [a]
∑ i = 1 n i = n ( n + 1 ) 2 . {\displaystyle \sum _{i=1}^{n}i={\frac {n(n+1)}{2}}.} このような式が常に存在するわけではありませんが、多くの和の式が発見されており、最も一般的で基本的な式のいくつかをこの記事の残りの部分にリストします。
表記法
大文字シグマ表記法 シグマ(Σ)和記法の説明 数学表記では、多くの類似項の和を簡潔に表す記号、すなわちギリシャ文字シグマ を拡大した和記号 が用いられる 。 [ 1 ] これ は と定義される。 ここで i は「和のインデックス」または「ダミー変数」であり、 a i は和の各項を表すインデックス付き変数である。m は 「和の下限値」であり、 n は「和の上限値」である。 和記号の下の「 i = m 」は、インデックス i が最初は m に等しいことを意味する。インデックス i は、各項が進むごとに 1 ずつ増加し、 i = n で停止する。 [b]これは「 i = m から n までの a i の和」と読みます 。ただし、表記法によっては、和の上限値にインデックスを含めたり、 または のように下限値のインデックスを省略したりする場合があり ます 。 シグマ表記の変形では、境界値の範囲を省略し、ダミー変数のみを表すもの( )があります 。 以下は平方和を表す例です。 一般に、あいまいさが生じない限り任意の変数を和のインデックスとして使用できますが、最も一般的なものには、 、 [c] 、 、などの文字が含まれます 。 は、和の上限を表す場合にも使用されます。 [5] あるいは、文脈が十分に明らかな場合は、和の定義から和のインデックスと境界値が省略されることがあります。 これは特に、インデックスが 1 から n までの場合に当てはまります。 たとえば、 と書くことができます 。 [6] ∑ {\textstyle \sum } ∑ i = m n a i = a m + a m + 1 + a m + 2 + ⋯ + a n − 1 + a n {\displaystyle \sum _{i\mathop {=} m}^{n}a_{i}=a_{m}+a_{m+1}+a_{m+2}+\cdots +a_{n-1}+a_{n}} ∑ i = m i = n a i {\textstyle \sum _{i=m}^{i=n}a_{i}} ∑ m n a i {\textstyle \sum _{m}^{n}a_{i}} ∑ i a i {\textstyle \sum _{i}a_{i}} ∑ i = 3 6 i 2 = 3 2 + 4 2 + 5 2 + 6 2 = 86. {\displaystyle \sum _{i=3}^{6}i^{2}=3^{2}+4^{2}+5^{2}+6^{2}=86.} i {\displaystyle i} j {\displaystyle j} k {\displaystyle k} n {\displaystyle n} ∑ a i = ∑ i = 1 n a i {\textstyle \sum a_{i}=\sum _{i=1}^{n}a_{i}}
この表記法の一般化はよく使用され、任意の論理条件が与えられ、その条件を満たすすべての値について和が取られます。例えば、は 指定された範囲内の すべての( 整数 )について 和を 表す別の表記法です 。 [5] 同様に、は 集合内の すべての要素 について和であり 、 [7] [8] は を割り切る すべての正の整数 について和です 。 [d] ∑ 0 ≤ k < 100 f ( k ) {\textstyle \sum _{0\leq k<100}f(k)} ∑ k = 0 99 f ( k ) , {\textstyle \sum _{k=0}^{99}f(k),} f ( k ) {\displaystyle f(k)} k {\displaystyle k} ∑ x ∈ S f ( x ) {\textstyle \sum _{x\mathop {\in } S}f(x)} f ( x ) {\displaystyle f(x)} x {\displaystyle x} S {\displaystyle S} ∑ d | n μ ( d ) {\textstyle \sum _{d\,|\,n}\;\mu (d)} μ ( d ) {\displaystyle \mu (d)} d {\displaystyle d} n {\displaystyle n}
多くのシグマ表記法の使用を一般化する方法もあります。例えば、二重の和を、異なるダミー変数を持つ2つのシグマ表記法として書きます 。両方のシグマ表記法の値域が同じであることを考慮すると、二重のシグマ表記法を1つの表記法にまとめることができるため、二重の和は と書き直されます 。 ∑ i = ℓ n ∑ j = m k a i , j {\textstyle \sum _{i=\ell }^{n}\sum _{j=m}^{k}a_{i,j}} ∑ i = m n ∑ j = m n a i , j = ∑ i , j = m n a i , j {\textstyle \sum _{i=m}^{n}\sum _{j=m}^{n}a_{i,j}=\sum _{i,j=m}^{n}a_{i,j}}
用語 有限級数 は、上記の和について議論する際に使用されることがあります。 無限級数 、上限は 無限大 ため、和の結果がある場合は収束し、そうでない場合は発散します。無限級数のシグマ表記法における上限は、 と表記することもできます 。 ∑ i = m ∞ a i {\textstyle \sum _{i=m}^{\infty }a_{i}} ∑ i ≥ 0 a i {\textstyle \sum _{i\geq 0}a_{i}}
関連して、同様の表記法が 数列 の積に も使用され、 の代わりに ギリシャ文字の大文字 π の拡大形である が使用されます。 ∏ {\textstyle \prod } ∑ {\textstyle \sum }
特殊なケース 2つ未満の数を合計することも可能です。
和に被加数が1つある場合 、評価された和は です 。 x {\displaystyle x} x {\displaystyle x} 和に被加数がない場合は、評価された和は 0 です。これは、0が加算の 恒等式 であるためです。 これは 空和として知られています これらの退化したケースは通常、和の表記法が特殊なケースで退化した結果を与える場合にのみ使用されます。例えば、 上記の定義で の場合、和には1つの項しかありません。 の場合 、項はありません。 n = m {\displaystyle n=m} n = m − 1 {\displaystyle n=m-1}
代数的和 「代数的和」という語句は、正または負の符号を持つ項の和を指します。正の符号を持つ項は加算され、負の符号を持つ項は減算されます。例:+1 −1
歴史 和の表記法の起源は1675年に遡り、 ゴットフリート・ヴィルヘルム・ライプニッツが ヘンリー・オルデンブルク への手紙の中で、 微分和を表す 記号( ラテン語 : calculus summatorius )を提案し、それがS字型になった。 [11] [12] この記号が 積分 に改名されたのは、後にヨハン・ベルヌーイ とのやり取りの中で起こった 。 1755年、和の記号Σは レオンハルト・オイラー の 微分積分学説の 中で証明されている。 [15] オイラーは のような式でこの記号を使用している 。シグマ記法の使用は、後に ラグランジュ などの数学者によって証明され、ラグランジュは 1772年に と と表記しました。 [16] フーリエ と CGJヤコビ も1829年にシグマ記法を表記しましたが、 フーリエは のように下限と上限を含めました 。 [17] [18] シグマ記法以外に、大文字の S は1823年に級数の和の記号として証明されており、これは明らかに広く普及していました。 ∫ {\textstyle \int } ∑ ( 2 w x + w 2 ) = x 2 {\textstyle \sum (2wx+w^{2})=x^{2}} ∑ {\textstyle \sum } ∑ n {\textstyle \sum ^{n}} ∑ i = 1 ∞ e − i 2 t … {\textstyle \sum _{i=1}^{\infty }e^{-i^{2}t}\ldots }
和は 、関数と2つの自然数を取り、次のように 演算子 として 再帰的に定義できます 。
∑ : ( R R × N × N ) ↦ R {\displaystyle \sum :(\mathbb {R} ^{\mathbb {R} }\times \mathbb {N} \times \mathbb {N} )\mapsto \mathbb {R} } 、つまり ∑ i = a b g ( i ) = 0 {\displaystyle \sum _{i=a}^{b}g(i)=0} 、に対して b < a {\displaystyle b<a} ∑ i = a b g ( i ) = g ( b ) + ∑ i = a b − 1 g ( i ) {\displaystyle \sum _{i=a}^{b}g(i)=g(b)+\sum _{i=a}^{b-1}g(i)} 、に対して b ⩾ a {\displaystyle b\geqslant a}
測度論記法 測度論 と 積分 論の記法では 、
和は 定積分 として表すことができます
∑ k = a b f ( k ) = ∫ [ a , b ] f d μ {\displaystyle \sum _{k\mathop {=} a}^{b}f(k)=\int _{[a,b]}f\,d\mu } ここでは から までの整数の 部分集合 であり 、 は 整数上の 計数測度 です。 [ a , b ] {\displaystyle [a,b]} a {\displaystyle a} b {\displaystyle b} μ {\displaystyle \mu }
差分積分 区間 [ m , n ] 内の整数上で定義された 関数 f が与えられると、次の式が成り立ちます
f ( n ) − f ( m ) = ∑ i = m n − 1 ( f ( i + 1 ) − f ( i ) ) . {\displaystyle f(n)-f(m)=\sum _{i=m}^{n-1}(f(i+1)-f(i)).} これはテレスコープ級数 として知られており、 差分積分学 における 微積分学の基本定理 の類似物です 。これは次のように述べています。
f ( n ) − f ( m ) = ∫ m n f ′ ( x ) d x , {\displaystyle f(n)-f(m)=\int _{m}^{n}f'(x)\,dx,} ここで
f ′ ( x ) = lim h → 0 f ( x + h ) − f ( x ) h {\displaystyle f'(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}} はf の 導関数 です
上記の式の適用例は次のとおりです。
n k = ∑ i = 0 n − 1 ( ( i + 1 ) k − i k ) . {\displaystyle n^{k}=\sum _{i=0}^{n-1}\left((i+1)^{k}-i^{k}\right).} 二項定理 を用いると 、これは次のように書き直すことができます。
n k = ∑ i = 0 n − 1 ( ∑ j = 0 k − 1 ( k j ) i j ) . {\displaystyle n^{k}=\sum _{i=0}^{n-1}{\biggl (}\sum _{j=0}^{k-1}{\binom {k}{j}}i^{j}{\biggr )}.} 上記の式は 、次のように定義される 差分演算子の反転によく使用されます。 Δ {\displaystyle \Delta }
Δ ( f ) ( n ) = f ( n + 1 ) − f ( n ) , {\displaystyle \Delta (f)(n)=f(n+1)-f(n),} ここで、 f は非負整数上で定義された関数である。したがって、そのような関数 f が与えられた場合、問題は f の 逆差分 を計算することである。f は、 となる 関数である 。つまり、 この関数は定数の加算を除いて定義され、 [19]として選択することができる。 F = Δ − 1 f {\displaystyle F=\Delta ^{-1}f} Δ F = f {\displaystyle \Delta F=f} F ( n + 1 ) − F ( n ) = f ( n ) . {\displaystyle F(n+1)-F(n)=f(n).}
F ( n ) = ∑ i = 0 n − 1 f ( i ) . {\displaystyle F(n)=\sum _{i=0}^{n-1}f(i).} このような和には常に 閉じた形式の表現が あるわけではありませんが、 ファウルハーバーの公式は 、の場合に閉じた形式を提供し 、 線形性により、 n の すべての 多項式関数 に対して適用されます。 f ( n ) = n k {\displaystyle f(n)=n^{k}}
定積分による近似 このような近似の多くは、和と積分の 間の次の関係によって得ることができ、これは任意の 増加 関数 f に対して成り立ちます 。
∫ s = a − 1 b f ( s ) d s ≤ ∑ i = a b f ( i ) ≤ ∫ s = a b + 1 f ( s ) d s . {\displaystyle \int _{s=a-1}^{b}f(s)\ ds\leq \sum _{i=a}^{b}f(i)\leq \int _{s=a}^{b+1}f(s)\ ds.} および任意の 減少 関数 f に対して:
∫ s = a b + 1 f ( s ) d s ≤ ∑ i = a b f ( i ) ≤ ∫ s = a − 1 b f ( s ) d s . {\displaystyle \int _{s=a}^{b+1}f(s)\ ds\leq \sum _{i=a}^{b}f(i)\leq \int _{s=a-1}^{b}f(s)\ ds.} より一般的な近似については、 オイラー・マクローリンの公式 を参照してください。
加数が 指数の積分 可能な 関数によって与えられる(または補間できる)加法の場合、その加法は対応する定積分の定義で生じる リーマン和として解釈できます。したがって、例えば
b − a n ∑ i = 0 n − 1 f ( a + i b − a n ) ≈ ∫ a b f ( x ) d x , {\displaystyle {\frac {b-a}{n}}\sum _{i=0}^{n-1}f\left(a+i{\frac {b-a}{n}}\right)\approx \int _{a}^{b}f(x)\ dx,} 右辺は定義により 左辺の極限であるため、次の式が成り立つと予想できます。ただし、与えられた加法に対して nは固定されており、 f に関する追加の仮定なしに上記の近似の誤差についてはほとんど何も言えません 。大きく振動する関数の場合、リーマン和はリーマン積分から任意に離れる可能性があることは明らかです。 n → ∞ {\displaystyle n\to \infty }
恒等式 以下の公式は有限和を含みます。無限和、または 三角関数 やその他の 超越関数 を含む式の有限和については、 数学級数の一覧を 参照してください。
一般的な恒等式 ∑ n = s t C ⋅ f ( n ) = C ⋅ ∑ n = s t f ( n ) {\displaystyle \sum _{n=s}^{t}C\cdot f(n)=C\cdot \sum _{n=s}^{t}f(n)\quad } ( 分配法則 ) [20] ∑ n = s t f ( n ) ± ∑ n = s t g ( n ) = ∑ n = s t ( f ( n ) ± g ( n ) ) {\displaystyle \sum _{n=s}^{t}f(n)\pm \sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left(f(n)\pm g(n)\right)\quad } ( 交換法則 と 結合法則 ) [20] ∑ n = s t f ( n ) = ∑ n = s + p t + p f ( n − p ) {\displaystyle \sum _{n=s}^{t}f(n)=\sum _{n=s+p}^{t+p}f(n-p)\quad } (インデックスシフト) ∑ n ∈ B f ( n ) = ∑ m ∈ A f ( σ ( m ) ) , {\displaystyle \sum _{n\in B}f(n)=\sum _{m\in A}f(\sigma (m)),\quad } 有限集合 A から集合 Bへの 一対一射 σ について (インデックス変更)。これは前述の式を一般化したものである ∑ n = s t f ( n ) = ∑ n = s j f ( n ) + ∑ n = j + 1 t f ( n ) {\displaystyle \sum _{n=s}^{t}f(n)=\sum _{n=s}^{j}f(n)+\sum _{n=j+1}^{t}f(n)\quad } (結合法則 を用いた和の分割 ) ∑ n = a b f ( n ) = ∑ n = 0 b f ( n ) − ∑ n = 0 a − 1 f ( n ) {\displaystyle \sum _{n=a}^{b}f(n)=\sum _{n=0}^{b}f(n)-\sum _{n=0}^{a-1}f(n)\quad } (前の式の変形) ∑ n = s t f ( n ) = ∑ n = 0 t − s f ( t − n ) {\displaystyle \sum _{n=s}^{t}f(n)=\sum _{n=0}^{t-s}f(t-n)\quad } (最初の項から最後の項までの和は、最後の項から最初の項までの和に等しい) ∑ n = 0 t f ( n ) = ∑ n = 0 t f ( t − n ) {\displaystyle \sum _{n=0}^{t}f(n)=\sum _{n=0}^{t}f(t-n)\quad } (上記の式の特殊なケース) ∑ i = k 0 k 1 ∑ j = l 0 l 1 a i , j = ∑ j = l 0 l 1 ∑ i = k 0 k 1 a i , j {\displaystyle \sum _{i=k_{0}}^{k_{1}}\sum _{j=l_{0}}^{l_{1}}a_{i,j}=\sum _{j=l_{0}}^{l_{1}}\sum _{i=k_{0}}^{k_{1}}a_{i,j}\quad } (再び、交換法則と結合法則) ∑ k ≤ j ≤ i ≤ n a i , j = ∑ i = k n ∑ j = k i a i , j = ∑ j = k n ∑ i = j n a i , j = ∑ j = 0 n − k ∑ i = k n − j a i + j , i {\displaystyle \sum _{k\leq j\leq i\leq n}a_{i,j}=\sum _{i=k}^{n}\sum _{j=k}^{i}a_{i,j}=\sum _{j=k}^{n}\sum _{i=j}^{n}a_{i,j}=\sum _{j=0}^{n-k}\sum _{i=k}^{n-j}a_{i+j,i}\quad } (交換法則と結合法則の別の応用) ∑ n = 2 s 2 t + 1 f ( n ) = ∑ n = s t f ( 2 n ) + ∑ n = s t f ( 2 n + 1 ) {\displaystyle \sum _{n=2s}^{2t+1}f(n)=\sum _{n=s}^{t}f(2n)+\sum _{n=s}^{t}f(2n+1)\quad } (偶数添字の場合、和を 奇数 部と 偶数 部に分割) ∑ n = 2 s + 1 2 t f ( n ) = ∑ n = s + 1 t f ( 2 n ) + ∑ n = s + 1 t f ( 2 n − 1 ) {\displaystyle \sum _{n=2s+1}^{2t}f(n)=\sum _{n=s+1}^{t}f(2n)+\sum _{n=s+1}^{t}f(2n-1)\quad } (奇数添字の場合、和を奇数部と偶数部に分割) ∑ n = s t log b f ( n ) = log b ∏ n = s t f ( n ) {\displaystyle \sum _{n=s}^{t}\log _{b}f(n)=\log _{b}\prod _{n=s}^{t}f(n)\quad } (積の 対数 は、因数の対数の和である) C ∑ n = s t f ( n ) = ∏ n = s t C f ( n ) {\displaystyle C^{\sum \limits _{n=s}^{t}f(n)}=\prod _{n=s}^{t}C^{f(n)}\quad } (和の 指数は 、加数の指数の積である) ∑ m = 0 k ∑ n = 0 m f ( m , n ) = ∑ m = 0 k ∑ n = m k f ( n , m ) , {\displaystyle \sum _{m=0}^{k}\sum _{n=0}^{m}f(m,n)=\sum _{m=0}^{k}\sum _{n=m}^{k}f(n,m),\quad } からの 任意の関数について 。 f {\textstyle f} Z × Z {\textstyle \mathbb {Z} \times \mathbb {Z} }
等差数列のべき乗と対数 ∑ i = 1 n c = n c {\displaystyle \sum _{i=1}^{n}c=nc\quad } i に依存しない すべての cについて ∑ i = 0 n i = ∑ i = 1 n i = n ( n + 1 ) 2 {\displaystyle \sum _{i=0}^{n}i=\sum _{i=1}^{n}i={\frac {n(n+1)}{2}}\qquad } (最初のn個 の自然数からなる 最も単純な 等差数列 の和。) [19] :52 ∑ i = 1 n ( 2 i − 1 ) = n 2 {\displaystyle \sum _{i=1}^{n}(2i-1)=n^{2}\qquad } (最初の奇数の自然数の和) ∑ i = 0 n 2 i = n ( n + 1 ) {\displaystyle \sum _{i=0}^{n}2i=n(n+1)\qquad } (最初の偶数の自然数の和) ∑ i = 1 n log i = log ( n ! ) {\displaystyle \sum _{i=1}^{n}\log i=\log(n!)\qquad } ( 対数 の和は積の対数です) ∑ i = 0 n i 2 = ∑ i = 1 n i 2 = n ( n + 1 ) ( 2 n + 1 ) 6 = n 3 3 + n 2 2 + n 6 {\displaystyle \sum _{i=0}^{n}i^{2}=\sum _{i=1}^{n}i^{2}={\frac {n(n+1)(2n+1)}{6}}={\frac {n^{3}}{3}}+{\frac {n^{2}}{2}}+{\frac {n}{6}}\qquad } (最初の 平方の和。 正方錐数を 参照 。) [19] :52 ∑ i = 0 n i 3 = ( ∑ i = 0 n i ) 2 = ( n ( n + 1 ) 2 ) 2 = n 4 4 + n 3 2 + n 2 4 {\displaystyle \sum _{i=0}^{n}i^{3}={\biggl (}\sum _{i=0}^{n}i{\biggr )}^{2}=\left({\frac {n(n+1)}{2}}\right)^{2}={\frac {n^{4}}{4}}+{\frac {n^{3}}{2}}+{\frac {n^{2}}{4}}\qquad } ( ニコマコスの定理 ) [19] :52 より一般的には、 ファウルハーバーの公式 は p > 1 {\displaystyle p>1}
∑ k = 1 n k p = n p + 1 p + 1 + 1 2 n p + ∑ k = 2 p ( p k ) B k p − k + 1 n p − k + 1 , {\displaystyle \sum _{k=1}^{n}k^{p}={\frac {n^{p+1}}{p+1}}+{\frac {1}{2}}n^{p}+\sum _{k=2}^{p}{\binom {p}{k}}{\frac {B_{k}}{p-k+1}}\,n^{p-k+1},} ここで、は ベルヌーイ数 、 は 二項係数 です 。 B k {\displaystyle B_{k}} ( p k ) {\displaystyle {\binom {p}{k}}}
指数における和の指数 以下の和において、 aは 1とは異なると仮定します。
∑ i = 0 n − 1 a i = 1 − a n 1 − a {\displaystyle \sum _{i=0}^{n-1}a^{i}={\frac {1-a^{n}}{1-a}}} (等差数列 の和 ) ∑ i = 0 n − 1 1 2 i = 2 − 1 2 n − 1 {\displaystyle \sum _{i=0}^{n-1}{\frac {1}{2^{i}}}=2-{\frac {1}{2^{n-1}}}} ( a = 1/2 の特別な場合 ) ∑ i = 0 n − 1 i a i = a − n a n + ( n − 1 ) a n + 1 ( 1 − a ) 2 {\displaystyle \sum _{i=0}^{n-1}ia^{i}={\frac {a-na^{n}+(n-1)a^{n+1}}{(1-a)^{2}}}} ( a に等差数列の a に関する微分を掛けたもの) ∑ i = 0 n − 1 ( b + i d ) a i = b ∑ i = 0 n − 1 a i + d ∑ i = 0 n − 1 i a i = b ( 1 − a n 1 − a ) + d ( a − n a n + ( n − 1 ) a n + 1 ( 1 − a ) 2 ) = b ( 1 − a n ) − ( n − 1 ) d a n 1 − a + d a ( 1 − a n − 1 ) ( 1 − a ) 2 {\displaystyle {\begin{aligned}\sum _{i=0}^{n-1}\left(b+id\right)a^{i}&=b\sum _{i=0}^{n-1}a^{i}+d\sum _{i=0}^{n-1}ia^{i}\\&=b\left({\frac {1-a^{n}}{1-a}}\right)+d\left({\frac {a-na^{n}+(n-1)a^{n+1}}{(1-a)^{2}}}\right)\\&={\frac {b(1-a^{n})-(n-1)da^{n}}{1-a}}+{\frac {da(1-a^{n-1})}{(1-a)^{2}}}\end{aligned}}} (等比等比数列 の和 )
二項係数と階乗 二項係数を含む和の恒等式は非常に多く存在します( 『具体数学 』では、基本的な手法だけを扱った章が1つあります)。最も基本的なもののいくつかを以下に示します。
二項定理を含む ∑ i = 0 n ( n i ) a n − i b i = ( a + b ) n , {\displaystyle \sum _{i=0}^{n}{n \choose i}a^{n-i}b^{i}=(a+b)^{n},} 二 項定理 ∑ i = 0 n ( n i ) = 2 n , {\displaystyle \sum _{i=0}^{n}{n \choose i}=2^{n},} a = b = 1 の特別な場合 ∑ i = 0 n ( n i ) p i ( 1 − p ) n − i = 1 {\displaystyle \sum _{i=0}^{n}{n \choose i}p^{i}(1-p)^{n-i}=1} p = a = 1 − b の特別な場合で 、これは 二項分布 の和を表します。 0 ≤ p ≤ 1 , {\displaystyle 0\leq p\leq 1,} ∑ i = 0 n i ( n i ) = n ( 2 n − 1 ) , {\displaystyle \sum _{i=0}^{n}i{n \choose i}=n(2^{n-1}),} 二項定理の a に関する 微分 の a = b = 1 における値 ∑ i = 0 n ( n i ) i + 1 = 2 n + 1 − 1 n + 1 , {\displaystyle \sum _{i=0}^{n}{\frac {n \choose i}{i+1}}={\frac {2^{n+1}-1}{n+1}},} 二項定理の a に関する 不定積分 の a = b = 1 における値
順列数を含む 以下の和において、は n の k 順列の数です 。 n P k {\displaystyle {}_{n}P_{k}}
∑ i = 0 n i P k ( n i ) = n P k ( 2 n − k ) {\displaystyle \sum _{i=0}^{n}{}_{i}P_{k}{n \choose i}={}_{n}P_{k}(2^{n-k})} ∑ i = 1 n i + k P k + 1 = ∑ i = 1 n ∏ j = 0 k ( i + j ) = ( n + k + 1 ) ! ( n − 1 ) ! ( k + 2 ) {\displaystyle \sum _{i=1}^{n}{}_{i+k}P_{k+1}=\sum _{i=1}^{n}\prod _{j=0}^{k}(i+j)={\frac {(n+k+1)!}{(n-1)!(k+2)}}} ∑ i = 0 n i ! ⋅ ( n i ) = ∑ i = 0 n n P i = ⌊ n ! ⋅ e ⌋ , n ∈ Z + {\displaystyle \sum _{i=0}^{n}i!\cdot {n \choose i}=\sum _{i=0}^{n}{}_{n}P_{i}=\lfloor n!\cdot e\rfloor ,\quad n\in \mathbb {Z} ^{+}} ここで、およびは 床関数 を表します 。 ⌊ x ⌋ {\displaystyle \lfloor x\rfloor }
その他 ∑ k = 0 m ( n + k n ) = ( n + m + 1 n + 1 ) {\displaystyle \sum _{k=0}^{m}{\binom {n+k}{n}}={\binom {n+m+1}{n+1}}} ∑ i = k n ( i k ) = ( n + 1 k + 1 ) {\displaystyle \sum _{i=k}^{n}{i \choose k}={n+1 \choose k+1}} ∑ i = 0 n i ⋅ i ! = ( n + 1 ) ! − 1 {\displaystyle \sum _{i=0}^{n}i\cdot i!=(n+1)!-1} ∑ i = 0 n ( m + i − 1 i ) = ( m + n n ) {\displaystyle \sum _{i=0}^{n}{m+i-1 \choose i}={m+n \choose n}} ∑ i = 0 n ( n i ) 2 = ( 2 n n ) {\displaystyle \sum _{i=0}^{n}{n \choose i}^{2}={2n \choose n}} ∑ i = 0 n 1 i ! = ⌊ n ! e ⌋ n ! {\displaystyle \sum _{i=0}^{n}{\frac {1}{i!}}={\frac {\lfloor n!\;e\rfloor }{n!}}}
調和数 ∑ i = 1 n 1 i = H n {\displaystyle \sum _{i=1}^{n}{\frac {1}{i}}=H_{n}\quad } ( n 番目の 調和数 ) ∑ i = 1 n 1 i k = H n ( k ) {\displaystyle \sum _{i=1}^{n}{\frac {1}{i^{k}}}=H_{n}^{(k)}\quad } ( 一般化された調和数 )
成長率 以下は便利な 近似値 です( シータ表記 を使用)。
∑ i = 1 n i c ∈ Θ ( n c + 1 ) {\displaystyle \sum _{i=1}^{n}i^{c}\in \Theta (n^{c+1})} 実数 c が-1より大きい場合 ∑ i = 1 n 1 i ∈ Θ ( log e n ) {\displaystyle \sum _{i=1}^{n}{\frac {1}{i}}\in \Theta (\log _{e}n)} ( 調和数を 参照) ∑ i = 1 n c i ∈ Θ ( c n ) {\displaystyle \sum _{i=1}^{n}c^{i}\in \Theta (c^{n})} 実数 c が1より大きい場合 ∑ i = 1 n log ( i ) c ∈ Θ ( n ⋅ log ( n ) c ) {\displaystyle \sum _{i=1}^{n}\log(i)^{c}\in \Theta (n\cdot \log(n)^{c})} 非負の 実数 c の場合 ∑ i = 1 n log ( i ) c ⋅ i d ∈ Θ ( n d + 1 ⋅ log ( n ) c ) {\displaystyle \sum _{i=1}^{n}\log(i)^{c}\cdot i^{d}\in \Theta (n^{d+1}\cdot \log(n)^{c})} 非負の実数 c 、 d の場合 ∑ i = 1 n log ( i ) c ⋅ i d ⋅ b i ∈ Θ ( n d ⋅ log ( n ) c ⋅ b n ) {\displaystyle \sum _{i=1}^{n}\log(i)^{c}\cdot i^{d}\cdot b^{i}\in \Theta (n^{d}\cdot \log(n)^{c}\cdot b^{n})} 非負の実数 b > 1、 c 、 dの場合
参照
注記 ^ 詳細は 三角数を 参照してください。 ^ 和算法と和を含む算術演算の詳細な解説については、 Graham, Ronald L.、Knuth, Donald E.、Patashnik, Oren (1994). "Chapter 2: Sums". Concrete Mathematics: A Foundation for Computer Science (2nd ed.). Addison-Wesley Professional. ISBN を参照してください。 978-0201558029 。 ^ 虚数単位 と混同する可能性がない文脈において i {\displaystyle i} ^ ダミー変数 の名前は (定義上)重要ではありませんが、混乱のリスクがある場合は、通常、整数を表すためにアルファベットの真ん中の文字( から )を使用します。例えば、解釈に疑いの余地がない場合でも、 を含む上記の式 で ではなくを見ると、多くの数学者にとって少し混乱を招く可能性があります 。 i {\displaystyle i} q {\displaystyle q} x {\displaystyle x} k {\displaystyle k} k {\displaystyle k}
参考文献
参考文献
外部リンク ウィキメディア・コモンズにおける総和に関連するメディア