Somatório e Produtório

Propriedades de Somatório

$\sum _{n=s}^{t}C\cdot f(n)=C\cdot \sum _{n=s}^{t}f(n)$, onde C é uma constante.

$\sum _{n=s}^{t}f(n)+\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)+g(n)\right]$

$\sum _{n=s}^{t}f(n)-\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left[f(n)-g(n)\right]$

$\sum _{i=m}^{n}f(i)=\sum _{i=m+p}^{n+p}f(i-p)$

$\sum \limits _{n=s}^{t}j=\sum \limits _{n=1}^{t}j-\sum \limits _{n=1}^{s-1}j$

$\sum _{n=s}^{j}f(n)+\sum _{n=j+1}^{t}f(n)=\sum _{n=s}^{t}f(n)$, note que $s\leq j\leq t$

$\sum _{i=m}^{n}i={\frac {n(n+1)}{2}}-{\frac {m(m-1)}{2}}={\frac {(n+1-m)(n+m)}{2}},$ progressão aritmética.

$\sum _{i=0}^{n}i=\sum _{i=1}^{n}i={\frac {n(n+1)}{2}}$

$\sum \limits _{k=0}^{n-1}{2^{k}}=2^{n}-1$

$\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}$

$\sum _{i=0}^{n}i^{3}=\left(\sum _{i=0}^{n}i\right)^{2}$

$\sum _{i=m}^{n-1}a^{i}={\frac {a^{m}-a^{n}}{1-a}}(m<n)$

$\sum _{i=0}^{n-1}a^{i}={\frac {1-a^{n}}{1-a}}$

---

Principais representações

Soma simples

$\sum _{i=1}^{n}x_{i}=x_{1}+x_{2}+...+x_{n}$

Soma de quadrados

$\sum _{i=1}^{n}x_{i}^{2}=x_{1}^{2}+x_{2}^{2}+...+x_{n}^{2}$

Quadrado da soma

$(\sum _{i=1}^{n}x_{i})^{2}=(x_{1}+x_{2}+...+x_{n})^{2}$

Soma de produtos

$\sum _{i=1}^{n}x_{i}y_{i}=x_{1}y_{1}+x_{2}y_{2}+...+x_{n}y_{n}$

Produtos das somas

$(\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 $\sum _{j=1}^{n}(a_{j}-a_{j-1})$ é igual a $a_{n}-a_{0}$, onde $(a_{i})_{i=0}^{\infty }$ é uma sequência de números reais. Este tipo de soma é bastante conhecida em Matemática como soma telescópica.

Resolução

$\sum _{j=1}^{n}(a_{j}-a_{j-1})=(a_{n}-a_{n-1})+\sum _{j=1}^{n-1}$

Expandindo $n$ vezes:

$\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})$

$\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}$

$\sum _{j=1}^{n}(a_{j}-a_{j-1})=a_{n}-a_{0}$

---

Provas de algumas propriedades

Multiplicação por constante

$\sum _{n=s}^{t}C\cdot f(n)=C\cdot \sum _{n=s}^{t}f(n)$, onde C é uma constante.

Passo base: s = t

$\sum _{n=s}^{t}C\cdot f(n)=C\cdot f(n)$, pela definição de somatório.

Passo indutivo: s < t

Suponha que para um $k\in N,k>s$ arbitrário:

$\sum _{n=s}^{k}C\cdot f(n)=C\cdot \sum _{n=s}^{k}f(n)$ (Hipótese de indução)

Para $k+1$, assumindo o lado esquerdo da equação, temos:

$\sum _{n=s}^{k+1}C\cdot f(n)=C\cdot f(k+1)+\sum _{n=s}^{k}C\cdot f(n)$, pela definição de somatório.

Aplicando a HI:

$\sum _{n=s}^{k+1}C\cdot f(n)=C\cdot f(k+1)+C\cdot \sum _{n=s}^{k}f(n)$

Expandindo $k-s$ vezes:

$\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))$

Colocando $C$ em evidência:

$\sum _{n=s}^{k+1}C\cdot f(n)=C\cdot (f(k+1)+f(k)+f(k-1)+...+f(s+1)+f(s))$

$\sum _{n=s}^{k+1}C\cdot f(n)=C\cdot \sum _{n=s}^{k+1}f(n)$

Portanto:

$\sum _{n=s}^{t}C\cdot f(n)=C\cdot \sum _{n=s}^{t}f(n)$, onde C é uma constante, $\forall s,t\in N$.

Mudança de índices

$\sum _{n=s}^{t}f(n)=\sum _{n=s+1}^{t+1}f(n-1)$

Passo base: s = t

$\sum _{n=s}^{t}f(n)=f(n)=\sum _{n=s+1}^{t+1}f(n-1)$, pela definição de somatório.

Passo indutivo: s < t

Suponha que para um $k\in N,k>s$ arbitrário:

$\sum _{n=s}^{k}f(n)=\sum _{n=s+1}^{k+1}f(n-1)$ (Hipótese de indução)

Para $k+1$, assumindo o lado esquerdo da equação, temos:

$\sum _{n=s}^{k+1}f(n)=f(k+1)+\sum _{n=s}^{k}f(n)$, pela definição de somatório.

Aplicando a HI:

$\sum _{n=s}^{k+1}f(n)=f(k+1)+\sum _{n=s+1}^{k+1}f(n-1)$

Expandindo $k-s$ vezes:

$\sum _{n=s}^{k+1}f(n)=f(k+1)+f(k+1-1)+f(k-1)+...+f(s-1)+f(s+1-1)$

$\sum _{n=s}^{k+1}f(n)=f(k+1)+f(k)+f(k-1)+...+f(s-1)+f(s)$

$\sum _{n=s}^{k+1}f(n)=\sum _{n=s+1}^{k+2}f(n-1)$, uma vez que existem $k+2$ termos.

Portanto:

$\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

Elixir

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

---