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^n_{i = m} f(i) = \sum^{n+p}_{i = m+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} $$

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_iy_i = x_1y_1+x_2y_2+...+x_ny_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:

Multiplicação por constante
$$ \sum_{n=s}^t C\cdot f(n) = C\cdot \sum_{n=s}^t f(n) $$, onde C é uma constante.

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