Why a Finite Geometric Sum Has a Compact Formula
A geometric sum is a finite sum in which each term is obtained from the previous term by multiplying by the same number. For example, in \(1+2+4+8+16\), the common ratio is \(2\). Writing out and adding all the terms works well for a short sum, but it becomes cumbersome when there are many terms.
The finite geometric sum formula replaces that repeated addition with a single expression. Its derivation uses a useful pattern: write the sum, multiply it by its common ratio, then subtract. Most terms cancel, leaving only the first and last terms. This is an algebraic identity about a finite sum; it does not require any claim about an infinite series.
Definition and Indexing
The exponent at the end is one less than the number of terms because the first term has exponent \(0\). For example, when \(n=4\), the exponents are \(0,1,2,3\), so the sum has four terms: \(1+r+r^2+r^3\). Keeping track of this relationship prevents a common off-by-one error.
The sum in the definition starts at \(1\), since \(r^0=1\) for every real \(r\). A geometric sum can also be written with different indices or a different first term. The same multiplication-and-subtraction idea applies, but first make sure you can identify how many terms are present and what each term is.
Deriving the Formula
Suppose first that \(r\ne 1\). Begin with the finite sum \(S_n\). Multiplying every term by \(r\) increases each exponent by one. The resulting sum lines up with the original sum so that all the intermediate powers cancel when we subtract.
For \(n\) terms, \(S_n=1+r+r^2+\cdots+r^{n-1}\).
Multiplication by \(r\) gives \(rS_n=r+r^2+\cdots+r^{n-1}+r^n\).
In \(S_n-rS_n\), the terms \(r,r^2,\ldots,r^{n-1}\) cancel, leaving \(1-r^n\).
Since \(S_n-rS_n=(1-r)S_n\), divide by \(1-r\). This division is allowed because \(r\ne1\).
Putting those steps together gives the identity and its condition:
The condition \(r\ne1\) is essential to the derivation: the step from \((1-r)S_n=1-r^n\) to a formula for \(S_n\) divides by \(1-r\). If \(r=1\), that denominator is zero, so the quotient formula cannot be used. The sum itself is still well-defined; it must be evaluated directly as \(1+1+\cdots+1=n\).
Why the Subtraction Works
The cancellation is not a coincidence. Multiplying the sum by \(r\) shifts every power up by one. The original and shifted sums therefore contain the same intermediate powers, with the same coefficients, and those terms disappear under subtraction. Only the term at the beginning, \(1\), and the new term at the end, \(r^n\), remain.
For a concrete view, take \(n=5\). Then \(S_5=1+r+r^2+r^3+r^4\), while \(rS_5=r+r^2+r^3+r^4+r^5\). Subtracting term by term gives \(S_5-rS_5=1-r^5\). The general derivation works for every positive integer \(n\), because the same alignment and cancellation occur no matter how many intermediate powers there are.
Worked Examples
Worked Example: Evaluate a Sum Starting at Exponent Zero
Evaluate \(\displaystyle \sum_{j=0}^{5}2^j\). The exponents run from \(0\) through \(5\), so there are \(5-0+1=6\) terms. The ratio is \(r=2\), and \(r\ne1\). In the standard formula, \(n=6\):
Check by listing and adding the six terms: \(2^0=1\), \(2^1=2\), \(2^2=4\), \(2^3=8\), \(2^4=16\), and \(2^5=32\). Their sum is \(1+2+4+8+16+32=63\), which agrees with the formula.
Worked Example: Evaluate a Sum with a Fractional Ratio
Evaluate \(\displaystyle \sum_{j=0}^{3}\left(\frac12\right)^j\). There are four terms, because the exponents are \(0,1,2,3\). Here \(n=4\) and \(r=\frac12\), so \(r\ne1\):
Check directly: the terms are \(1\), \(\frac12\), \(\frac14\), and \(\frac18\). Using denominator \(8\), their sum is \(\frac88+\frac48+\frac28+\frac18=\frac{15}{8}\). The direct addition confirms the formula’s value.
Worked Example: Use the Formula When the Index Starts at One
Evaluate \(\displaystyle \sum_{k=1}^{4}3^k\). The terms are \(3^1,3^2,3^3,3^4\), so there are four terms, and the first term is \(3\). To use the formula derived above, factor out that first \(3\):
Check by evaluating the original four terms: \(3^1=3\), \(3^2=9\), \(3^3=27\), and \(3^4=81\). Thus \(3+9+27+81=12+108=120\), matching the formula-based result.
Worked Example: Handle a Ratio of One
Evaluate \(\displaystyle \sum_{j=0}^{4}1^j\). There are five terms, and every term is \(1\), since \(1^j=1\) for each exponent \(j\). Therefore:
Check the term count: the exponents \(0,1,2,3,4\) give five terms, each with value \(1\), so the total is \(5\). The quotient formula would give \((1-1^5)/(1-1)=0/0\), which is undefined. The direct result is valid; the quotient formula is simply not applicable when \(r=1\).
A Common Mistake: Counting the Terms Incorrectly
A frequent error is to confuse the final exponent with the number of terms. For instance, in \(\sum_{j=0}^{5}2^j\), the largest exponent is \(5\), but the sum has six terms because it includes the exponent \(0\). Using \(n=5\) would give the wrong calculation:
This value is not the sum through exponent \(5\); it is the sum \(1+2+4+8+16\), which stops at exponent \(4\). For the original sum, count the indices: \(5-0+1=6\). Then the correct calculation is:
A reliable check is to write down the first and last terms and count the exponents included. For consecutive integer indices from \(a\) through \(b\), inclusive, the number of indices is \(b-a+1\). In the standard formula, the lower exponent is \(0\), so the upper exponent \(n-1\) corresponds to \(n\) terms.
When the Formula Is Useful
The finite formula is useful whenever a problem asks for the total of a fixed number of terms that share a common ratio. It can reduce a long addition to a few algebraic steps, and it makes the dependence on both the ratio and the number of terms explicit. The same formula also helps check a proposed answer: substitute the ratio and term count, then compare with a direct sum when the list is short enough.
Before applying it, confirm three things: the terms really follow a constant ratio, the number of terms is counted correctly, and the ratio is not \(1\). If the ratio equals \(1\), use the separate result \(S_n=n\). If the expression starts at an index other than zero, identify its actual terms first rather than inserting the index bounds into the formula without checking what they mean.
For every \(r\ne1\), the formula is exactly equivalent to the finite addition it represents: multiplying and subtracting proves the quotient equals the sum. The result is not an approximation and does not depend on terms becoming small. It is an identity for a finite list of powers.
Check Your Understanding
For each question, identify the number of terms before using a formula. Keep the case \(r=1\) separate.
- How many terms occur in \(\displaystyle \sum_{j=0}^{7}r^j\), and what is its value when \(r\ne1\)?
- Evaluate \(\displaystyle \sum_{j=0}^{3}4^j\) using the finite geometric sum formula, then verify by adding the terms.
- Why is the condition \(r\ne1\) needed when deriving the quotient formula?
- Evaluate \(\displaystyle \sum_{j=0}^{6}1^j\) without using the quotient formula.
- In \(\displaystyle \sum_{k=1}^{5}2^k\), how many terms are present, and what is the first term?