Propriedades de Somatório
∑
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)}
∑
n
=
s
t
f
(
n
)
+
∑
n
=
s
t
g
(
n
)
=
∑
n
=
s
t
[
f
(
n
)
+
g
(
n
)
]
{\displaystyle \sum _{n=s}^{t}f(n)+\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)+g(n)\right]}
∑
n
=
s
t
f
(
n
)
−
∑
n
=
s
t
g
(
n
)
=
∑
n
=
s
t
[
f
(
n
)
−
g
(
n
)
]
{\displaystyle \sum _{n=s}^{t}f(n)-\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)-g(n)\right]}
∑
i
=
m
n
f
(
i
)
=
∑
i
=
m
+
p
n
+
p
f
(
i
−
p
)
{\displaystyle \sum _{i=m}^{n}f(i)=\sum _{i=m+p}^{n+p}f(i-p)}
∑
n
=
s
t
j
=
∑
n
=
1
t
j
−
∑
n
=
1
s
−
1
j
{\displaystyle \sum \limits _{n=s}^{t}j=\sum \limits _{n=1}^{t}j-\sum \limits _{n=1}^{s-1}j}
∑
n
=
s
j
f
(
n
)
+
∑
n
=
j
+
1
t
f
(
n
)
=
∑
n
=
s
t
f
(
n
)
{\displaystyle \sum _{n=s}^{j}f(n)+\sum _{n=j+1}^{t}f(n)=\sum _{n=s}^{t}f(n)}
s
≤
j
≤
t
{\displaystyle s\leq j\leq t}
∑
i
=
m
n
i
=
n
(
n
+
1
)
2
−
m
(
m
−
1
)
2
=
(
n
+
1
−
m
)
(
n
+
m
)
2
,
{\displaystyle \sum _{i=m}^{n}i={\frac {n(n+1)}{2}}-{\frac {m(m-1)}{2}}={\frac {(n+1-m)(n+m)}{2}},}
∑
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}}}
∑
k
=
0
n
−
1
2
k
=
2
n
−
1
{\displaystyle \sum \limits _{k=0}^{n-1}{2^{k}}=2^{n}-1}
∑
i
=
s
m
∑
j
=
t
n
a
i
c
j
=
∑
i
=
s
m
a
i
⋅
∑
j
=
t
n
c
j
{\displaystyle \sum _{i=s}^{m}\sum _{j=t}^{n}{a_{i}}{c_{j}}=\sum _{i=s}^{m}a_{i}\cdot \sum _{j=t}^{n}c_{j}}
∑
i
=
0
n
i
3
=
(
∑
i
=
0
n
i
)
2
{\displaystyle \sum _{i=0}^{n}i^{3}=\left(\sum _{i=0}^{n}i\right)^{2}}
∑
i
=
m
n
−
1
a
i
=
a
m
−
a
n
1
−
a
(
m
<
n
)
{\displaystyle \sum _{i=m}^{n-1}a^{i}={\frac {a^{m}-a^{n}}{1-a}}(m<n)}
∑
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}}}
Principais representações
Soma simples
∑
i
=
1
n
x
i
=
x
1
+
x
2
+
.
.
.
+
x
n
{\displaystyle \sum _{i=1}^{n}x_{i}=x_{1}+x_{2}+...+x_{n}}
Soma de quadrados
∑
i
=
1
n
x
i
2
=
x
1
2
+
x
2
2
+
.
.
.
+
x
n
2
{\displaystyle \sum _{i=1}^{n}x_{i}^{2}=x_{1}^{2}+x_{2}^{2}+...+x_{n}^{2}}
Quadrado da soma
(
∑
i
=
1
n
x
i
)
2
=
(
x
1
+
x
2
+
.
.
.
+
x
n
)
2
{\displaystyle (\sum _{i=1}^{n}x_{i})^{2}=(x_{1}+x_{2}+...+x_{n})^{2}}
Soma de produtos
∑
i
=
1
n
x
i
y
i
=
x
1
y
1
+
x
2
y
2
+
.
.
.
+
x
n
y
n
{\displaystyle \sum _{i=1}^{n}x_{i}y_{i}=x_{1}y_{1}+x_{2}y_{2}+...+x_{n}y_{n}}
Produtos das somas
(
∑
i
=
1
n
x
i
)
(
∑
j
=
1
m
y
j
)
=
(
x
1
+
x
2
+
.
.
.
+
x
n
)
(
y
1
+
y
2
+
.
.
.
+
y
n
)
{\displaystyle (\sum _{i=1}^{n}x_{i})(\sum _{j=1}^{m}y_{j})=(x_{1}+x_{2}+...+x_{n})(y_{1}+y_{2}+...+y_{n})}
Aplicação das Propriedades
Alguns exemplos de aplicações das propriedades do somatório:
Exemplo 1 Utilize as propriedades de notação de somatório e,
possivelmente, mudança de índice para deduzir que
∑
j
=
1
n
(
a
j
−
a
j
−
1
)
{\displaystyle \sum _{j=1}^{n}(a_{j}-a_{j-1})}
a
n
−
a
0
{\displaystyle a_{n}-a_{0}}
(
a
i
)
i
=
0
∞
{\displaystyle (a_{i})_{i=0}^{\infty }}
soma telescópica .
Resolução
∑
j
=
1
n
(
a
j
−
a
j
−
1
)
=
(
a
n
−
a
n
−
1
)
+
∑
j
=
1
n
−
1
{\displaystyle \sum _{j=1}^{n}(a_{j}-a_{j-1})=(a_{n}-a_{n-1})+\sum _{j=1}^{n-1}}
n
{\displaystyle n}
∑
j
=
1
n
(
a
j
−
a
j
−
1
)
=
(
a
n
−
a
n
−
1
)
+
(
a
n
−
1
−
a
n
−
2
)
+
.
.
.
+
(
a
2
−
a
1
)
+
(
a
1
−
a
0
)
{\displaystyle \sum _{j=1}^{n}(a_{j}-a_{j-1})=(a_{n}-a_{n-1})+(a_{n-1}-a_{n-2})+...+(a_{2}-a_{1})+(a_{1}-a_{0})}
∑
j
=
1
n
(
a
j
−
a
j
−
1
)
=
a
n
−
a
n
−
1
+
a
n
−
1
−
a
n
−
2
+
.
.
.
+
a
2
−
a
1
+
a
1
−
a
0
{\displaystyle \sum _{j=1}^{n}(a_{j}-a_{j-1})=a_{n}-{\cancel {a_{n-1}}}+{\cancel {a_{n-1}}}-{\cancel {a_{n-2}}}+...+{\cancel {a_{2}}}-{\cancel {a_{1}}}+{\cancel {a_{1}}}-a_{0}}
∑
j
=
1
n
(
a
j
−
a
j
−
1
)
=
a
n
−
a
0
{\displaystyle \sum _{j=1}^{n}(a_{j}-a_{j-1})=a_{n}-a_{0}}
Exemplo 2 O objetivo deste problema é encontrar uma fórmula fechada para
∑
k
=
1
n
(
2
⋅
k
−
1
)
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)}
k
2
−
(
k
−
1
)
2
=
2
k
−
1
{\displaystyle k^{2}-(k-1)^{2}=2k-1}
∑
k
=
1
n
(
k
2
−
(
k
−
1
)
2
)
=
∑
k
=
1
n
(
2
k
−
1
)
{\displaystyle \sum _{k=1}^{n}\left(k^{2}-(k-1)^{2}\right)=\sum _{k=1}^{n}(2k-1)}
Resolução
∑
k
=
1
n
2
⋅
k
−
1
=
∑
k
=
1
n
k
2
−
(
k
−
1
)
2
{\displaystyle \sum _{k=1}^{n}2\cdot k-1=\sum _{k=1}^{n}k^{2}-(k-1)^{2}}
∑
k
=
1
n
2
⋅
k
−
1
=
n
2
−
0
2
=
n
2
{\displaystyle \sum _{k=1}^{n}2\cdot k-1=n^{2}-0^{2}=n^{2}}
Exemplo 3 Utilize as propriedades de notação de somatório e os seus conhecimentos de soma de termos de uma PA para
calcular
∑
k
=
1
n
(
2
⋅
k
−
1
)
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)}
de forma distinta daquela usada no problema anterior. Qual das duas
soluções lhe parece mais fácil?
Resolução
∑
k
=
1
n
(
2
⋅
k
−
1
)
=
∑
k
=
1
n
2
⋅
k
−
∑
k
=
1
n
1
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)=\sum _{k=1}^{n}2\cdot k-\sum _{k=1}^{n}1}
∑
k
=
1
n
(
2
⋅
k
−
1
)
=
2
⋅
∑
k
=
1
n
k
−
n
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)=2\cdot \sum _{k=1}^{n}k-n}
∑
k
=
1
n
(
2
⋅
k
−
1
)
=
2
⋅
n
⋅
(
n
+
1
)
2
−
n
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)=2\cdot {\frac {n\cdot (n+1)}{2}}-n}
∑
k
=
1
n
(
2
⋅
k
−
1
)
=
n
2
+
n
−
n
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)=n^{2}+n-n}
∑
k
=
1
n
(
2
⋅
k
−
1
)
=
n
2
{\displaystyle \sum _{k=1}^{n}(2\cdot k-1)=n^{2}}
Exemplo 4 Suprimindo um dos elementos do conjunto {1, 2, . . . , n}, a média aritmética dos elementos
16,1. Determine o valor de n e qual foi o elemento suprimido do conjunto para o cálculo da média.
Resolução
∑
k
=
1
n
k
=
1
+
2
+
.
.
.
+
n
=
n
⋅
(
n
+
1
)
2
{\displaystyle \sum _{k=1}^{n}k=1+2+...+n={\frac {n\cdot (n+1)}{2}}}
média aritmética:
n
⋅
(
n
+
1
)
2
n
=
n
⋅
(
n
+
1
)
2
n
=
1
n
∑
k
=
1
n
k
{\displaystyle {\frac {\frac {n\cdot (n+1)}{2}}{n}}={\frac {n\cdot (n+1)}{2n}}={\frac {1}{n}}\sum _{k=1}^{n}k}
Exemplo 5 Encontre uma fórmula fechada
∑
k
=
1
n
k
3
{\displaystyle \sum _{k=1}^{n}k^{3}}
onde n ∈ N, com n ≥ 1. Observe o padrão utilizado para resolver as duas questões anteriores e
Resolução Exemplo 6 Calcule a soma
∑
k
=
1
n
k
⋅
k
!
{\displaystyle \sum _{k=1}^{n}k\cdot k!}
onde n ∈ N, com n ≥ 1.
Resolução Exemplo 7 Os números
2
,
3
e
5
{\displaystyle {\sqrt {2}},\quad {\sqrt {3}}\quad {\text{e}}\quad {\sqrt {5}}}
podem pertencer a uma mesma progressão aritmética?
Resolução Pela propriedade da média aritmética uma sequencia (a, b e c) pertence a mesma progressão se
a
+
c
2
=
b
{\displaystyle {\frac {a+c}{2}}=b}
em processo de alteração...
Provas de algumas propriedades
Multiplicação por constante
∑
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)}
Passo base: s = t
∑
n
=
s
t
C
⋅
f
(
n
)
=
C
⋅
f
(
n
)
{\displaystyle \sum _{n=s}^{t}C\cdot f(n)=C\cdot f(n)}
Passo indutivo: s < t Suponha que para um
k
∈
N
,
k
>
s
{\displaystyle k\in N,k>s}
∑
n
=
s
k
C
⋅
f
(
n
)
=
C
⋅
∑
n
=
s
k
f
(
n
)
{\displaystyle \sum _{n=s}^{k}C\cdot f(n)=C\cdot \sum _{n=s}^{k}f(n)}
k
+
1
{\displaystyle k+1}
∑
n
=
s
k
+
1
C
⋅
f
(
n
)
=
C
⋅
f
(
k
+
1
)
+
∑
n
=
s
k
C
⋅
f
(
n
)
{\displaystyle \sum _{n=s}^{k+1}C\cdot f(n)=C\cdot f(k+1)+\sum _{n=s}^{k}C\cdot f(n)}
∑
n
=
s
k
+
1
C
⋅
f
(
n
)
=
C
⋅
f
(
k
+
1
)
+
C
⋅
∑
n
=
s
k
f
(
n
)
{\displaystyle \sum _{n=s}^{k+1}C\cdot f(n)=C\cdot f(k+1)+C\cdot \sum _{n=s}^{k}f(n)}
k
−
s
{\displaystyle k-s}
∑
n
=
s
k
+
1
C
⋅
f
(
n
)
=
C
⋅
(
f
(
k
+
1
)
)
+
C
⋅
(
f
(
k
)
+
f
(
k
−
1
)
+
.
.
.
+
f
(
s
+
1
)
+
f
(
s
)
)
{\displaystyle \sum _{n=s}^{k+1}C\cdot f(n)=C\cdot (f(k+1))+C\cdot (f(k)+f(k-1)+...+f(s+1)+f(s))}
C
{\displaystyle C}
∑
n
=
s
k
+
1
C
⋅
f
(
n
)
=
C
⋅
(
f
(
k
+
1
)
+
f
(
k
)
+
f
(
k
−
1
)
+
.
.
.
+
f
(
s
+
1
)
+
f
(
s
)
)
{\displaystyle \sum _{n=s}^{k+1}C\cdot f(n)=C\cdot (f(k+1)+f(k)+f(k-1)+...+f(s+1)+f(s))}
∑
n
=
s
k
+
1
C
⋅
f
(
n
)
=
C
⋅
∑
n
=
s
k
+
1
f
(
n
)
{\displaystyle \sum _{n=s}^{k+1}C\cdot f(n)=C\cdot \sum _{n=s}^{k+1}f(n)}
∑
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)}
∀
s
,
t
∈
N
{\displaystyle \forall s,t\in N}
Mudança de índices
∑
n
=
s
t
f
(
n
)
=
∑
n
=
s
+
1
t
+
1
f
(
n
−
1
)
{\displaystyle \sum _{n=s}^{t}f(n)=\sum _{n=s+1}^{t+1}f(n-1)}
Passo base: s = t
∑
n
=
s
t
f
(
n
)
=
f
(
n
)
=
∑
n
=
s
+
1
t
+
1
f
(
n
−
1
)
{\displaystyle \sum _{n=s}^{t}f(n)=f(n)=\sum _{n=s+1}^{t+1}f(n-1)}
Passo indutivo: s < t Suponha que para um
k
∈
N
,
k
>
s
{\displaystyle k\in N,k>s}
∑
n
=
s
k
f
(
n
)
=
∑
n
=
s
+
1
k
+
1
f
(
n
−
1
)
{\displaystyle \sum _{n=s}^{k}f(n)=\sum _{n=s+1}^{k+1}f(n-1)}
k
+
1
{\displaystyle k+1}
∑
n
=
s
k
+
1
f
(
n
)
=
f
(
k
+
1
)
+
∑
n
=
s
k
f
(
n
)
{\displaystyle \sum _{n=s}^{k+1}f(n)=f(k+1)+\sum _{n=s}^{k}f(n)}
∑
n
=
s
k
+
1
f
(
n
)
=
f
(
k
+
1
)
+
∑
n
=
s
+
1
k
+
1
f
(
n
−
1
)
{\displaystyle \sum _{n=s}^{k+1}f(n)=f(k+1)+\sum _{n=s+1}^{k+1}f(n-1)}
k
−
s
{\displaystyle k-s}
∑
n
=
s
k
+
1
f
(
n
)
=
f
(
k
+
1
)
+
f
(
k
+
1
−
1
)
+
f
(
k
−
1
)
+
.
.
.
+
f
(
s
−
1
)
+
f
(
s
+
1
−
1
)
{\displaystyle \sum _{n=s}^{k+1}f(n)=f(k+1)+f(k+1-1)+f(k-1)+...+f(s-1)+f(s+1-1)}
∑
n
=
s
k
+
1
f
(
n
)
=
f
(
k
+
1
)
+
f
(
k
)
+
f
(
k
−
1
)
+
.
.
.
+
f
(
s
−
1
)
+
f
(
s
)
{\displaystyle \sum _{n=s}^{k+1}f(n)=f(k+1)+f(k)+f(k-1)+...+f(s-1)+f(s)}
∑
n
=
s
k
+
1
f
(
n
)
=
∑
n
=
s
+
1
k
+
2
f
(
n
−
1
)
{\displaystyle \sum _{n=s}^{k+1}f(n)=\sum _{n=s+1}^{k+2}f(n-1)}
k
+
2
{\displaystyle k+2}
∑
n
=
s
t
f
(
n
)
=
∑
n
=
s
+
1
t
+
1
f
(
n
−
1
)
∀
s
,
t
∈
N
{\displaystyle \sum _{n=s}^{t}f(n)=\sum _{n=s+1}^{t+1}f(n-1)\forall s,t\in N}
Somatório em Linguagem Funcional
defmodule FMC do
def somatorio(start \\0, finish, callback)
def somatorio(start, finish, callback) when start == finish do
callback.(start)
end
def somatorio(start, finish, callback) do
_somatorio(Enum.to_list(start..finish), callback)
end
defp _somatorio([], _), do: 0
defp _somatorio([head | tail], callback) do
callback.(head) + _somatorio(tail, callback)
end
end
Referências 
![{\displaystyle \sum _{n=s}^{t}f(n)+\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)+g(n)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a762d789e2af544d36eeeefc783b61559d64dc84)
![{\displaystyle \sum _{n=s}^{t}f(n)-\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)-g(n)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3b63ace30b999de1bbdcf04f85ed8c7ce0b7a9a)
