8.2 Summation and Finite Series Formulas

8.2 Summation and Finite Series Formulas

Quick Answer: A series is the indicated sum of the terms of a sequence. Sigma notation $\sum_{k=1}^n a_k$ specifies adding terms from lower limit $k = 1$ to upper limit $k = n$, containing $(n - 1 + 1) = n$ terms. The sum of a finite arithmetic series is $S_n = \frac{n}{2}(a_1 + a_n)$ (the number of terms times the average of the first and last terms). The sum of a finite geometric series ($r \neq 1$) is given by the official NYSED Reference Sheet formula $S_n = \frac{a_1(1 - r^n)}{1 - r}$, derived algebraically by subtracting $rS_n$ from $S_n$ so that all intermediate terms telescope to zero.

---

1. Series Fundamentals and Sigma Notation (AII-F.BF.6)

While a sequence is an ordered list of numbers separated by commas ($a_1, a_2, a_3, \dots$), a series is the indicated sum of the terms of a sequence:

$$S_n = a_1 + a_2 + a_3 + \dots + a_n$$

To represent sums compactly without writing extensive strings of addition signs, mathematicians utilize the capital Greek letter sigma, $\sum$.

Anatomy of Sigma Notation

$$\sum_{k=1}^{n} a_k = a_1 + a_2 + a_3 + \dots + a_n$$

                     Upper Limit of Summation (Stopping Index: n)
                                     |
                                     v
                                     n
                                   -----
                                   \ 
                                    >    a_k  <--- Summand (Formula for k-th term)
                                   / 
                                   -----
                                   k = 1
                                     ^
                                     |
                     Index of Summation (k) & Lower Limit (Starting Index: 1)

1. Index of Summation ($k$, $i$, or $n$): The dummy variable that increments by 1 for each successive term.
2. Lower Limit: The initial integer substituted into the summand formula (typically $k = 1$ or $k = 0$).
3. Upper Limit: The final integer substituted into the summand formula.
4. Summand ($a_k$): The algebraic expression that generates each individual term as $k$ steps through each consecutive integer.

The Fundamental Number of Terms Rule

A critical trap on the Regents examination involves identifying the exact number of terms in a sigma expression. The total count of terms is given by:

$$\text{Number of Terms} = \text{Upper Limit} - \text{Lower Limit} + 1$$

• If a series runs from $k = 1$ to $k = 10$, it contains $10 - 1 + 1 = 10$ terms.
• If a series runs from $k = 0$ to $k = 6$, it contains $6 - 0 + 1 = 7$ terms.
• If a series runs from $k = 4$ to $k = 12$, it contains $12 - 4 + 1 = 9$ terms.

Algebraic Properties of Summation

Because summation is repeated addition, it satisfies the commutative, associative, and distributive properties of real numbers:

1. Factoring Out Constants: $\sum_{k=1}^{n} c \cdot a_k = c \sum_{k=1}^{n} a_k$
2. Sum / Difference Distribution: $\sum_{k=1}^{n} (a_k \pm b_k) = \sum_{k=1}^{n} a_k \pm \sum_{k=1}^{n} b_k$
3. Sum of a Constant: $\sum_{k=1}^{n} c = c + c + \dots + c = c \cdot n$

---

2. Sum of a Finite Arithmetic Series

An arithmetic series is the sum of terms in an arithmetic sequence. This formula is printed on the Next Generation Algebra II reference sheet as $S_n = \dfrac{n(a_1 + a_n)}{2}$, directly beneath the arithmetic sequence formula - you do not have to memorize it, but you do have to recognize when it applies. Tracing the terms reveals that pairing elements from opposite ends of the series produces identical sums.

The Gauss Pairing Insight and Derivation

Consider writing the sum of $n$ arithmetic terms forwards and backwards:

$$\begin{aligned} S_n &= a_1 &+& \;(a_1 + d) &+& \;(a_1 + 2d) &+& \;\dots &+& \;a_n \\ S_n &= a_n &+& \;(a_n - d) &+& \;(a_n - 2d) &+& \;\dots &+& \;a_1 \end{aligned}$$

Adding these two equations column by column, the $+d$ and $-d$ offsets cancel completely in every single pair:

$$2S_n = (a_1 + a_n) + (a_1 + a_n) + (a_1 + a_n) + \dots + (a_1 + a_n)$$

Because there are $n$ terms in the series, the sum contains exactly $n$ identical pairs of $(a_1 + a_n)$:

$$2S_n = n(a_1 + a_n) \implies S_n = \frac{n}{2}(a_1 + a_n) = n \left(\frac{a_1 + a_n}{2}\right)$$

Alternative Form in Terms of $a_1$ and $d$

Substituting the explicit sequence formula $a_n = a_1 + (n - 1)d$ into the summation formula produces:

$$S_n = \frac{n}{2}\left(a_1 + [a_1 + (n - 1)d]\right) = \frac{n}{2}\left(2a_1 + (n - 1)d\right)$$

This form allows immediate evaluation of $S_n$ when the last term $a_n$ is not explicitly provided.

---

3. Sum of a Finite Geometric Series (NYSED Reference Sheet Formula)

A geometric series is the sum of terms in a geometric sequence:

$$S_n = a_1 + a_1 r + a_1 r^2 + a_1 r^3 + \dots + a_1 r^{n-1}$$

On the official New York State Next Generation Mathematics Reference Sheet, the sum of a finite geometric series is provided in two equivalent forms - the closed form and the sigma form $S_n = \sum_{k=1}^{n} a_1 r^{\,k-1}$, both carrying the restriction $r \neq 1$:

$$S_n = \frac{a_1(1 - r^n)}{1 - r} \quad \text{where } r \neq 1$$

• $a_1$ is the first term of the series.
• $r$ is the common ratio ($r = \frac{a_k}{a_{k-1}}$).
• $n$ is the total number of terms being summed.
• Condition $r \neq 1$: If $r = 1$, the denominator $1 - r = 0$, making the formula undefined. However, when $r = 1$, every term equals $a_1$, so the sum simplifies trivially to $S_n = n \cdot a_1$.

---

4. Rigorous Algebraic Derivation of the Geometric Series Sum Formula

Standard AII-F.BF.7 asks students to explore the derivation of the finite series formulas, so knowing where the closed form comes from is course-level expected work. The derivation relies on a subtraction trick that causes all intermediate terms to telescope to zero.

   S_n   = a_1  +  a_1·r  +  a_1·r²  + ... +  a_1·r^(n-1)
- r·S_n  =         a_1·r  +  a_1·r²  + ... +  a_1·r^(n-1)  +  a_1·r^n
----------------------------------------------------------------------
S_n - r·S_n = a_1  +    0   +    0    + ... +      0       -  a_1·r^n

The Step-by-Step Algebraic Proof

• Step 1: Write out the expanded sum of the first $n$ terms.

  $$S_n = a_1 + a_1 r + a_1 r^2 + a_1 r^3 + \dots + a_1 r^{n-1} \quad \text{--- (Equation 1)}$$

• Step 2: Multiply both sides of Equation 1 by the common ratio $r$.

  $$r S_n = a_1 r + a_1 r^2 + a_1 r^3 + \dots + a_1 r^{n-1} + a_1 r^n \quad \text{--- (Equation 2)}$$

• Step 3: Subtract Equation 2 from Equation 1. Aligning like terms reveals that every single intermediate term from $a_1 r$ to $a_1 r^{n-1}$ subtracts out completely:

  $$S_n - r S_n = a_1 - a_1 r^n$$

• Step 4: Factor out common expressions on both sides. Factor $S_n$ out of the left-hand side, and factor $a_1$ out of the right-hand side:

  $$S_n(1 - r) = a_1(1 - r^n)$$

• Step 5: Isolate $S_n$ by dividing by $(1 - r)$. Under the condition that $r \neq 1$, divide both sides by $(1 - r)$:

  $$S_n = \frac{a_1(1 - r^n)}{1 - r}$$

  This completes the formal algebraic proof.

---

5. Summary of Finite Series Formulas

---

6. Worked Problem 1: Arithmetic Series with Unknown Term Count $n$

Problem: Evaluate the sum of the finite arithmetic series: $9 + 15 + 21 + 27 + \dots + 153$.

• Step 1: Identify known values. First term: $a_1 = 9$ Common difference: $d = 15 - 9 = 6$ Last term: $a_n = 153$

• Step 2: Determine the number of terms $n$ using the explicit formula.

  $$a_n = a_1 + (n - 1)d$$ $$153 = 9 + (n - 1)6$$

  Subtract 9 from both sides:

  $$144 = 6(n - 1)$$

  Divide by 6:

  $$24 = n - 1 \implies n = 25$$

  The series contains exactly 25 terms.

• Step 3: Apply the arithmetic series sum formula.

  $$S_{25} = \frac{n}{2}(a_1 + a_n) = \frac{25}{2}(9 + 153)$$ $$S_{25} = \frac{25}{2}(162) = 25 \cdot 81 = 2025$$

---

7. Worked Problem 2: Evaluating a Geometric Series in Sigma Notation

Problem: Evaluate the finite geometric series given in sigma notation: $\sum_{k=1}^{8} 4 \cdot (3)^{k-1}$.

• Step 1: Identify the components from the sigma expression. Lower limit: $k = 1$ Upper limit: $k = 8$ Number of terms: $n = 8 - 1 + 1 = 8$

• Step 2: Find the initial term $a_1$ and common ratio $r$. Substitute lower limit $k = 1$ into the summand:

  $$a_1 = 4 \cdot (3)^{1 - 1} = 4 \cdot 3^0 = 4 \cdot 1 = 4$$

  Substitute $k = 2$ to verify ratio:

  $$a_2 = 4 \cdot (3)^{2 - 1} = 4 \cdot 3^1 = 12 \implies r = \frac{12}{4} = 3$$

• Step 3: Substitute into the NYSED Reference Sheet formula.

  $$S_8 = \frac{a_1(1 - r^n)}{1 - r} = \frac{4(1 - 3^8)}{1 - 3}$$

• Step 4: Compute powers and simplify.

  $$3^8 = 6561$$ $$S_8 = \frac{4(1 - 6561)}{-2} = \frac{4(-6560)}{-2} = -2(-6560) = 13120$$

---

8. Common Regents Pitfalls and Exam Strategies

• Pitfall 1: Miscounting Terms when Summation Begins at Zero: In an expression like $\sum_{k=0}^{5} 2(3)^k$, the upper limit is 5, but the total number of terms is $5 - 0 + 1 = 6$. Students who mistakenly set $n = 5$ in $S_n = \frac{a_1(1 - r^n)}{1 - r}$ will compute an incorrect total.
• Pitfall 2: Confusing the Base with the First Term: In $\sum_{k=1}^{n} 5(2)^k$, students often assume $a_1 = 5$. However, evaluating at $k = 1$ gives $a_1 = 5(2)^1 = 10$. Always evaluate the summand at the lower limit to establish $a_1$.
• Pitfall 3: Calculator Syntax with Negative Common Ratios: When evaluating a geometric series with $r < 0$ on the TI-84 Plus CE, enclose the base in parentheses: 1 - (-2)^10. Typing 1 - -2^10 evaluates as $1 - (-1024) = 1025$, whereas without proper grouping, calculator order of operations may square the negation incorrectly.
• Graphing Calculator Summation Feature: To verify sigma evaluations, press [MATH], scroll to 0: summation ∑(, enter the variable, lower limit, upper limit, and summand formula, and press [ENTER].