求和符號(英語:summation;符號:
,讀作:sigma),是歐拉於1755年首先使用的一個數學符號。這個符號是源自於希臘文σογμαρω(增加)的字頭,Σ正是σ的大寫。
求和指的是將給定的數值相加的過程,又稱為加總。求和符號常用來簡化有多個數值相加的數學表達式。
假設有
個數值
,則這
個數值的總和
可表示為
。
用等式來呈現的話就是
。
舉例來說,若有4個數值:
,則這4個數值的總和為:
在數學中,求和是任何類型數字的序列相加,稱為加數或加數;結果是它們的總和或總數。除了數字之外,也可以對其他類型的值求和:函數、向量、矩陣、多項式,以及通常在其上定義了表示為「+」的運算的任何類型的數學物件的元素。
無窮序列的總和稱為級數,它們涉及極限的概念,本條目不予考慮。
顯式序列的總和表示為一連串的加法。例如,[1, 2, 4, 2] 的和記為 1 + 2 + 4 + 2,得到 9,即 1 + 2 + 4 + 2 = 9。因為加法是結合可交換的,所以有不需要括號,無論加法的順序如何,結果都是一樣的。只有一個元素的序列的總和會產生這個元素本身。按照慣例,空序列(沒有元素的序列)的總和結果為 0。
- 裂項法:利用
求出
。
- 錯位相減法:透過兩個求和式的相減化簡求和數列的求和方法。
- 倒序求和:對於有對稱中心的函數
首尾求和[1][2]
- 逐項求導:可從
推導出
[3]
- 阿貝爾變換:
![{\displaystyle \sum _{i=1}^{n}a_{i}b_{i}=a_{1}(b_{1}-b_{2})+(a_{1}+a_{2})(b_{2}-b_{3})+\dots +(a_{1}+a_{2}+\dots +a_{n-1})(b_{n-1}-b_{n})+(a_{1}+a_{2}+\dots +a_{n})b_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/83ca12177f4780168f0811e22d205a103cdc1409)
以下設p為多項式,
- 有限和
有封閉型和式
- 當p為常數時,是對等比數列求和,當p為一次多項式時,是對差比數列求和。
![{\displaystyle \displaystyle \sum _{k=1}^{n}p(k)q^{k-1}=f(n)q^{n}-f(0)}](//wikimedia.org/api/rest_v1/media/math/render/svg/c893862e449241760fdc01f0cdbb1adf4ee686bf)
[4]
[7]
,其中
為調和數或調和級數
![{\displaystyle \sum _{r=0}^{n}{\binom {n}{r}}=2^{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2d638af53fc53d82f2ab7db262b0fcd34135e908)
![{\displaystyle \sum _{r=0}^{n-k}{\frac {(-1)^{r}(n+1)}{k+r+1}}{\binom {n-k}{r}}={\binom {n}{k}}^{-1}}](//wikimedia.org/api/rest_v1/media/math/render/svg/7ce09355d42a91adc6bfed7bc2c20d358fbf31ae)
[參 1]
[參 2]
![{\displaystyle F_{n-1}+F_{n}=\sum _{i=0}^{\infty }{\binom {n-1-i}{i}}+\sum _{i=0}^{\infty }{\binom {n-i}{i}}=1+\sum _{i=1}^{\infty }{\binom {n-i}{i-1}}+\sum _{i=1}^{\infty }{\binom {n-i}{i}}=1+\sum _{i=1}^{\infty }{\binom {n+1-i}{i}}=\sum _{i=0}^{\infty }{\binom {n+1-i}{i}}=F_{n+1}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ff17a31db9ff2c91ab4e60157d3d765a95f66a96)
![{\displaystyle \sum _{i=m}^{n}{\binom {i}{a}}={\binom {n+1}{a+1}}-{\binom {m}{a+1}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ad1bebd88e19081be2a587663c3f8b1af82c499e)
![{\displaystyle {\binom {m}{a+1}}+{\binom {m}{a}}+{\binom {m+1}{a}}...+{\binom {n}{a}}={\binom {n+1}{a+1}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/98a56eafe4229e80320952ad962396373dbd9eb2)
![{\displaystyle \sum _{i=m}^{n}{\binom {k_{1}+i}{k_{2}}}={\binom {k_{1}+n+1}{k_{2}+1}}-{\binom {k_{1}+m}{k_{2}+1}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/f917e0f40c6444a42b8d40421ecf9629416ebc70)
![{\displaystyle \sum _{i=m}^{n}{\binom {k_{1}+i}{k_{2}+i}}={\binom {k_{1}+n+1}{k_{2}+n}}-{\binom {k_{1}+m}{k_{2}+m-1}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/41613940db7dadc7f2cc011ed0a97ba8e5afda94)
![{\displaystyle {\binom {n+k}{k}}^{2}=\sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2e3cfabcca16cad9c9ccb723716dc8264bda4386)
范德蒙恆等式與廣義超幾何函數有關係:
![{\displaystyle \sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}={\frac {(n+2k)!}{(2k)!n!}}{}_{3}F_{2}(-k,-k,-n;1,-n-2k;1)={\binom {n+k}{k}}^{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6b230c813e4c9c6940419c1cd57af5afcc1e905a)
以
為例:
syms k n;symsum(k^9,k,1,n)
In[1]:= Sum[i^9, {i, 1, n}]
Out[1]:=
伍啟期. 组合数列求和. 佛山科學技術學院學報(自然科學版). 1996, (4) [2018-06-24]. (原始內容存檔於2019-05-02).
馬志鋼. 倒序求和几例. 中學生數學. 2006, (5) [2014-07-16]. (原始內容存檔於2019-05-09).
郭子偉. 高中基础数列知识微型整理. 數學空間. 2011, (1): 第11頁 [2014-07-16]. (原始內容存檔於2016-03-04).
黃嘉威. 方幂和及其推广和式. 數學學習與研究. 2016, (7) [2016-05-18]. (原始內容存檔於2020-01-15).
Károly Jordán. Calculus of Finite Differences.
Murray Spiegel. Schaum's Outline of Calculus of Finite Differences and Difference Equations.
劉治國. 一类指数型幂级数的求和. 撫州師專學報. 1994, (01): 第65–66頁 [2017-07-23]. (原始內容存檔於2019-05-08).
吳煒超. 数列不等式的定积分解法. 數學空間. 2011, (5): 第23–26頁 [2014-04-10]. (原始內容存檔於2015-09-24).