Propriedades de Somatório
, onde C é uma constante.
, note que
progressão aritmética.
Principais representações
Soma simples
Soma de quadrados
Quadrado da soma
Soma de produtos
Produtos das somas
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
é igual a ,
onde é uma sequência de números reais.
Este tipo de soma é bastante conhecida em Matemática como soma telescópica.
Resolução
Expandindo vezes:
Exemplo 2
O objetivo deste problema é encontrar uma fórmula fechada para
Para tal, note que
Logo,
Então, utilize o resultado do problema conhecido como "soma telescópia" do exemplo 1 para encontrar a fórmula
desejada.
Resolução
Pela fórmula da soma telescópica
Exemplo 3
Utilize as propriedades de notação de somatório e os seus conhecimentos de soma de termos de uma PA para
calcular
de forma distinta daquela usada no problema anterior. Qual das duas
soluções lhe parece mais fácil?
Resolução
Exemplo 4
Suprimindo um dos elementos do conjunto {}, 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
média aritmética é dada por :
média aritmética de
usando a função de calculo da média:
Substituindo na equação:
Portanto o termo omitido foi:
Exemplo 5
Encontre uma fórmula fechada
onde . Observe o padrão utilizado para resolver as duas questões anteriores e
Resolução
Temos:
Exemplo 6
Calcule a soma
onde
Resolução
Separando o somatório:
Temos:
e teremos que descobrir o
então
Exemplo 7
Os números
podem pertencer a uma mesma progressão aritmética?
Resolução
Assumindo uma PA
os termos
pertencem a essa progressão se pela propriedade da progressão aritmética a média aritmética dos termos da ponta de uma sequencia (a, b e c)
for igual a o termo do meio:
Portanto não pertencem a mesma progressão aritmética.
Provas de algumas propriedades
Multiplicação por constante
, onde C é uma constante.
Passo base: s = t
, pela definição de somatório.
Passo indutivo: s < t
Suponha que para um arbitrário:
(Hipótese de indução)
Para , assumindo o lado esquerdo da equação, temos:
, pela definição de somatório.
Aplicando a HI:
Expandindo vezes:
Colocando em evidência:
Portanto:
, onde C é uma constante, .
Mudança de índices
Passo base: s = t
, pela definição de somatório.
Passo indutivo: s < t
Suponha que para um arbitrário:
(Hipótese de indução)
Para , assumindo o lado esquerdo da equação, temos:
, pela definição de somatório.
Aplicando a HI:
Expandindo vezes:
, uma vez que existem termos.
Portanto:
.
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
Autores
Jaimerson
Francleide