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:

---

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

---