ironfern @ docs ~/math/grade-9/sequences/sum-arithmetic $

Sum of the First nn Terms of an Arithmetic Progression

Consider a finite arithmetic progression a1,a2,a3,,an2,an1,ana_1, a_2, a_3, \ldots, a_{n-2}, a_{n-1}, a_n. Let SnS_n denote the sum of the terms of this progression:

Sn=a1+a2+a3++an2+an1+an.S_n = a_1 + a_2 + a_3 + \ldots + a_{n-2} + a_{n-1} + a_n.

Gauss’s Method

First, consider a problem whose solution will suggest how to derive the formula. Consider the arithmetic progression 1,2,3,,98,99,1001, 2, 3, \ldots, 98, 99, 100 and find the sum of its terms.

Write the sum in two ways:

S100=1+2+3++98+99+100S100=100+99+98++3+2+1\begin{aligned} S_{100} &= 1 + 2 + 3 + \ldots + 98 + 99 + 100 \\ S_{100} &= 100 + 99 + 98 + \ldots + 3 + 2 + 1 \end{aligned}

Adding these equalities:

2S100=101+101+101++101+101+101100 terms2S_{100} = \underbrace{101 + 101 + 101 + \ldots + 101 + 101 + 101}_{100 \text{ terms}}

Therefore 2S100=101×1002S_{100} = 101 \times 100; S100=5050S_{100} = 5050.

Note — Carl Friedrich Gauss

It is said that the great German mathematician Carl Friedrich Gauss (1777—1855) came up with this solution at the age of 5.

The Sum Formula

Using the same approach to find SnS_n, write the sum in two ways:

Sn=a1+(a1+d)+(a1+2d)++(a1+(n1)d),S_n = a_1 + (a_1 + d) + (a_1 + 2d) + \ldots + (a_1 + (n-1)d), Sn=an+(and)+(an2d)++(an(n1)d).S_n = a_n + (a_n - d) + (a_n - 2d) + \ldots + (a_n - (n-1)d).

Adding these equalities:

2Sn=(a1+an)+(a1+an)++(a1+an)=n(a1+an).2S_n = (a_1 + a_n) + (a_1 + a_n) + \ldots + (a_1 + a_n) = n(a_1 + a_n).
Theorem — Sum of the First n Terms of an Arithmetic Progression
Sn=a1+an2nS_n = \frac{a_1 + a_n}{2} \cdot n

Substituting the expression an=a1+d(n1)a_n = a_1 + d(n-1) gives the equivalent formula:

Sn=2a1+d(n1)2nS_n = \frac{2a_1 + d(n-1)}{2} \cdot n

The latter formula is convenient when the first term and common difference are given.

Examples

Example — Sum of All Three-Digit Multiples of 6

Problem. Find the sum of all three-digit numbers that are multiples of 6.

Solution. These numbers form an arithmetic progression with first term a1=102a_1 = 102 and common difference d=6d = 6. Then an=102+6(n1)=6n+96a_n = 102 + 6(n-1) = 6n + 96. Since an<1000a_n < 1000, the number of terms is the largest natural solution of 6n+96<10006n + 96 < 1000:

6n<904;n<15023.6n < 904; \quad n < 150\tfrac{2}{3}.

So n=150n = 150. Now compute the sum:

S150=2102+6(1501)2150=82350.S_{150} = \frac{2 \cdot 102 + 6 \cdot (150 - 1)}{2} \cdot 150 = 82\,350.

Answer: 82,350.

Example — Finding a Term from the Sum

Problem. The sum of the first seventy-five terms of an arithmetic progression is 450. Find the thirty-eighth term.

Solution. Let the first term and common difference be a1a_1 and dd respectively. Then:

S75=2a1+74d275=75(a1+37d)=450.S_{75} = \frac{2a_1 + 74d}{2} \cdot 75 = 75(a_1 + 37d) = 450.

Since a38=a1+37da_{38} = a_1 + 37d, the desired term equals:

a38=450÷75=6.a_{38} = 450 \div 75 = 6.

Answer: 6.

Example — Quadratic Sum Formula Implies AP

Problem. Prove that a sequence whose sum of the first nn terms can be computed by the formula Sn=an2+bnS_n = an^2 + bn, where aa and bb are constants, is an arithmetic progression.

Solution. We have:

an+1=Sn+1Sn=a(n+1)2+b(n+1)an2bn=2an+a+b.a_{n+1} = S_{n+1} - S_n = a(n+1)^2 + b(n+1) - an^2 - bn = 2an + a + b.

The equality an+1=2an+a+ba_{n+1} = 2an + a + b shows that the sequence a2,a3,,an,a_2, a_3, \ldots, a_n, \ldots is an arithmetic progression with common difference 2a2a. If we show that a2a1=2aa_2 - a_1 = 2a, the proof is complete.

We have: a1=S1=a+ba_1 = S_1 = a + b; a2=2a+a+b=3a+ba_2 = 2a + a + b = 3a + b. Then a2a1=2aa_2 - a_1 = 2a.

Thus a1,a2,a3,,an,a_1, a_2, a_3, \ldots, a_n, \ldots is an arithmetic progression.

Exercises

Exercise — Sum of Arithmetic Progression Problems

32.1. What is the sum of the first seven terms of an arithmetic progression (an)(a_n) if a1=9a_1 = 9 and a7=15a_7 = 15?

32.3. Find the sum of the first twelve terms of an arithmetic progression with first term a1=6a_1 = -6 and common difference d=4d = 4.

32.7. The arithmetic progression (an)(a_n) is defined by an=4n+1a_n = -4n + 1. Find the sum of its first thirty-two terms.

32.15. What is the sum of the first nn:

  1. Natural numbers;
  2. Odd natural numbers?