Este tipo de exercício pode ser resolvido usando a função : sequencia_recursiva
Uma seqüência numérica é qualquer aplicação de ℕ ou uma parte de ℕ para ℝ.
Dizer que uma seqüência (`u_(n)`) é aritmética significa que existe um r real tal que para qualquer número natural n, `u_(n+1)`=`u_(n)`+r.
O real r é chamado de a razão da seqüência (`u_(n)`).
Se (`u_(n)`) for uma seqüência aritmética do primeiro termo `u_(0)`, e da razão r. Então para qualquer número natural n, `u_(n)=u_(0)+nr`
Se S=a+...+k é a soma dos termos p consecutivos de uma sequência aritmética então `S = p(a+k)/2`. Deduzimos que `1+2+3+...+n=n(n+1)/2`
Dizer que uma seqüência (`u_(n)`) é geométrica significa que existe um verdadeiro q tal que para qualquer número natural n, `u_(n+1)`=`qu_(n)`.
O real q é chamado o razão da seqüência (`u_(n)`).
Se (`u_(n)`) é uma seqüência geométrica do primeiro termo `u_(0)`, e razão q. Então para qualquer n natural, `u_(n)=u_(0)*q^n`
Se S=a+...+k é a soma dos termos p consecutivos de uma seqüência geométrica de razão q (`q != 1`) então `S = (a-k*q)/(1-q)`.
Deduzimos que `1+q+q^2+...+q^n=(1-q^(n+1))/(1-q)`