Diz a lenda que, em 1787, um professor cansado mandou sua turma somar todos os números de 1 a 100, esperando ganhar pelo menos uma hora de silêncio. Mas, em poucos segundos, uma das crianças — chamada Carl Friedrich Gauss — chegou ao seguinte resultado: 5050.
Como Gauss fez isso? Obviamente ele não somou um por um. Ele enxergou um padrão que transforma a soma dos termos de uma progressão aritmética (PA) em uma simples multiplicação.
Neste post, deduzirei a fórmula da soma dos termos de uma PA usando a ideia de Gauss.
Conteúdo do post
A Ideia de Gauss: O Poder dos Pares
A soma que Gauss fez foi
\[ 1+2+3+4+…+100 \]
Note que isso é a soma dos termos de uma PA de razão 1, cujo primeiro termo é 1. Depois de entender como Gauss somou essa PA específica, poderemos generalizar a ideia para qualquer progressão aritmética.
A ideia brilhante de Gauss foi perceber que, se somarmos o primeiro termo com o último, o resultado é o mesmo que somar o segundo com o penúltimo, e assim por diante:
- $1 + 100 = 101$
- $2 + 99 = 101$
- $3 + 98 = 101$
- $\hspace{0.9cm} \vdots$
- $48 + 53 = 101$
- $49 + 52 = 101$
- $50 + 51 = 101$
Ou seja: cada par soma exatamente o mesmo número. Isso significa que não precisamos fazer 99 contas diferentes. Basta saber quantos pares existem.
Como temos 100 números, temos exatamente 50 pares de 101. Logo, a resposta é $50 \times 101 = 5050$.
Fácil, né? Vejamos como generalizar essa dedução para qualquer PA.
Como calcular a soma de uma Progressão Aritmética (PA)?
Para qualquer PA, a lógica é a mesma. A fórmula da soma dos termos de uma PA é a seguinte:
\[ S_n = \frac{(a_1+a_n) \cdot n}{2} \]
- $S_n$: Soma dos n primeiros termos.
- $a_1$: Primeiro termo.
- $a_n$: Enésimo termo (último termo da soma).
- $n$: Quantidade de termos da PA.
Dedução Passo a Passo da Fórmula
Seja $PA$ a seguinte progressão aritmética genérica:
\[ a_1, a_2, a_3, … , a_n \]
Para deduzir quanto é a soma $S_n$ dessa PA, escrevemos $S_n$ duas vezes: uma na ordem crescente e outra na ordem decrescente:
\[ S_n = a_1 + a_2 + a_3 + …+ a_n \]
\[ S_n = a_n + a_{n-1} + a_{n-2} + …+ a_1 \]
Somando as duas equações termo a termo, obtemos:
\[ 2S_n = (a_1 + a_n) + (a_2 + a_{n-1}) + \dots + (a_n + a_1) \]
Agora precisamos notar que a soma dos termos equidistantes dos extremos é sempre constante. Veja:
\[ a_1+a_n = a_1+a_1+(n-1)r = 2a_1 + (n-1)r \]
e
\[ a_2+a_{n-1} = a_1+r+a_1+(n-1-1)r = 2a_1+r+(n-2)r = 2a_1+(n-1)r \]
(aqui estou usando a fórmula do termo geral de uma PA)
Observe que as contribuições da razão $r$ se complementam, de modo que cada par soma $2a_1+(n−1)r$
Logo,
\[ a_1 + a_n = a_2 + a_{n-1} = a_3+a_{n-2} = … = a_n+a_1 \]
Voltando à dedução, concluímos então que em $2S_n$ temos $n$ vezes o termo $(a_1 + a_n)$. Portanto:
\[ 2S_n = n \cdot (a_1 + a_n) \]
Isolando $S_n$, chegamos à famosa fórmula:
\[ S_n = \frac{(a_1 + a_n)n}{2} \]
Na próxima vez que você vir uma soma enorme, lembre-se da ideia de Gauss: talvez exista um padrão escondido esperando para transformar dezenas de contas em uma única multiplicação.
Exercício Resolvido para Praticar
Agora que deduzimos a fórmula, que tal usá-la?
Considere a seguinte PA de números ímpares:
\[ 1, 3, 5, 7, 9, 11, 13, 15, 17, 19 \]
Quanto dá a soma de todos esses números?
Desafio: Calcule a soma desses 10 números de duas formas:
- Pela fórmula: Identifique $a_1$, $a_{10}$ e $n$.
- Pela lógica de Gauss: Agrupe os pares equidistantes (ex: 1 + 19).
Dica: O resultado deste exercício é um quadrado perfeito! Isso acontece porque a soma dos n primeiros números ímpares é sempre n ao quadrado.
Resolução do Exercício
Pela fórmula da PA:
- $a_1 = 1$
- $a_{10} = 19$
- $n = 10$
$S_{10} = \frac{(1 + 19) \cdot 10}{2} = \frac{20 \cdot 10}{2} = \mathbf{100}$
Pela lógica de Gauss (Pares):
- $1 + 19 = 20$
- $3 + 17 = 20$
- $5 + 15 = 20$
- $7 + 13 = 20$
- $9 + 11 = 20$
Temos 5 pares de $20$. Logo, $5 \times 20 = \mathbf{100}$.
Curiosidades e Próximos Passos
Uma coisa que eu evitei falar para não complicar demais é o que acontece se a PA tiver uma quantidade ímpar de termos. Surpreendemente, a fórmula que deduzimos continua valendo porque nossa prova não depende da paridade de $n$. O que acontece é que quando somamos os termos de uma PA com um número ímpar de termos, o par do termo central é ele mesmo.
Diferentemente de uma Progressão Geométrica (PG), a soma de uma PA infinita nunca converge (a menos que seja a PA nula). Isso ocorre porque os termos não tendem a zero, fazendo com que a soma cresça indefinidamente.
Outra curiosidade é que o fato do exercício acima dar um quadrado perfeito é fundamental para calcular a soma $1^2+2^2+3^2+…+n^2$.
Caso tenha interesse em explorar mais essas curiosidades, confira também:
Dedução da soma dos termos de PG’s finitas e infinitas – Quarto 707
Dedução da soma dos quadrados dos n primeiros naturais – Quarto 707
Conseguiu chegar no resultado do exercício proposto usando os dois métodos? Me conta aqui nos comentários: você prefere usar a fórmula pronta ou prefere visualizar os pares de Gauss? Quero saber se vocês curtem posts com exercícios para eu trazer mais!