Board Coverage
Board Paper Notes AQA Paper 1, 2 Arithmetic and geometric sequences, sigma notation Edexcel P1, P2 Same; recurrence relations in P2 OCR (A) Paper 1 Arithmetic and geometric progressions CIE (9709) P1, P3 Sequences and series; P3 includes Σ \Sigma Σ notation more extensively
1. Sequences and Series: Definitions
Definition. A sequence is an ordered list of numbers ( a 1 , a 2 , a 3 , … ) (a_1, a_2, a_3, \ldots) ( a 1 , a 2 , a 3 , … ) . We write
( a n ) n = 1 ∞ (a_n)_{n=1}^{\infty} ( a n ) n = 1 ∞ or simply ( a n ) (a_n) ( a n ) .
Definition. A series is the sum of the terms of a sequence:
∑ n = 1 N a n = a 1 + a 2 + ⋯ + a N \sum_{n=1}^{N} a_n = a_1 + a_2 + \cdots + a_N ∑ n = 1 N a n = a 1 + a 2 + ⋯ + a N .
Definition. A sequence defined by a n + 1 = f ( a n ) a_{n+1} = f(a_n) a n + 1 = f ( a n ) with an initial value a 1 a_1 a 1 is a
recurrence relation (or iterative sequence ).
2. Arithmetic Sequences
Definition. An arithmetic sequence (arithmetic progression, AP) is a sequence where each term
differs from the previous by a constant d d d (the common difference ):
a n + 1 = a n + d a_{n+1} = a_n + d a n + 1 = a n + d
2.1 The n n n th Term
Theorem. The n n n th term of an arithmetic sequence with first term a a a and common difference d d d
is:
a n = a + ( n − 1 ) d a_n = a + (n - 1)d a n = a + ( n − 1 ) d
Proof. By induction on n n n .
Base case (n = 1 n = 1 n = 1 ): a 1 = a + 0 ⋅ d = a a_1 = a + 0 \cdot d = a a 1 = a + 0 ⋅ d = a . ✓
Inductive step: Assume a k = a + ( k − 1 ) d a_k = a + (k - 1)d a k = a + ( k − 1 ) d . Then:
a k + 1 = a k + d = a + ( k − 1 ) d + d = a + k d a_{k+1} = a_k + d = a + (k - 1)d + d = a + kd a k + 1 = a k + d = a + ( k − 1 ) d + d = a + k d
This matches the formula for n = k + 1 n = k + 1 n = k + 1 . ■ \blacksquare ■
2.2 Sum of an Arithmetic Series
Theorem. The sum of the first n n n terms of an arithmetic sequence is:
S n = n 2 ( 2 a + ( n − 1 ) d ) = n 2 ( a + ℓ ) S_n = \frac{n}{2}(2a + (n - 1)d) = \frac{n}{2}(a + \ell) S n = 2 n ( 2 a + ( n − 1 ) d ) = 2 n ( a + ℓ )
where ℓ = a n = a + ( n − 1 ) d \ell = a_n = a + (n - 1)d ℓ = a n = a + ( n − 1 ) d is the last term.
Proof (Pairing Method). Write out the sum twice, once forwards and once backwards:
S n = a + ( a + d ) + ( a + 2 d ) + ⋯ + ( a + ( n − 1 ) d ) S n = ( a + ( n − 1 ) d ) + ( a + ( n − 2 ) d ) + ⋯ + a \begin{aligned}
S_n &= a + (a + d) + (a + 2d) + \cdots + (a + (n-1)d) \\
S_n &= (a + (n-1)d) + (a + (n-2)d) + \cdots + a
\end{aligned} S n S n = a + ( a + d ) + ( a + 2 d ) + ⋯ + ( a + ( n − 1 ) d ) = ( a + ( n − 1 ) d ) + ( a + ( n − 2 ) d ) + ⋯ + a
Adding vertically, each pair sums to 2 a + ( n − 1 ) d 2a + (n-1)d 2 a + ( n − 1 ) d , and there are n n n such pairs:
2 S n = n ( 2 a + ( n − 1 ) d ) 2S_n = n(2a + (n - 1)d) 2 S n = n ( 2 a + ( n − 1 ) d )
S n = n 2 ( 2 a + ( n − 1 ) d ) ■ S_n = \frac{n}{2}(2a + (n - 1)d) \quad \blacksquare S n = 2 n ( 2 a + ( n − 1 ) d ) ■
Intuition. Gauss supposedly used this method as a child to sum 1 + 2 + ⋯ + 100 = 5050 1 + 2 + \cdots + 100 = 5050 1 + 2 + ⋯ + 100 = 5050 . Pair
the first and last, second and second-to-last, etc. Each pair sums to the same value.
Details
Example
Find the sum of the first 20 terms of
3 , 7 , 11 , 15 , … 3, 7, 11, 15, \ldots 3 , 7 , 11 , 15 , …
Here a = 3 a = 3 a = 3 , d = 4 d = 4 d = 4 , n = 20 n = 20 n = 20 .
S 20 = 20 2 ( 2 × 3 + 19 × 4 ) = 10 ( 6 + 76 ) = 10 × 82 = 820 S_{20} = \frac{20}{2}(2 \times 3 + 19 \times 4) = 10(6 + 76) = 10 \times 82 = 820 S 20 = 2 20 ( 2 × 3 + 19 × 4 ) = 10 ( 6 + 76 ) = 10 × 82 = 820
3. Geometric Sequences
Definition. A geometric sequence (geometric progression, GP) is a sequence where each term is
a constant multiple r r r (the common ratio ) of the previous term:
a n + 1 = a n ⋅ r a_{n+1} = a_n \cdot r a n + 1 = a n ⋅ r
3.1 The n n n th Term
Theorem. The n n n th term of a geometric sequence with first term a a a and common ratio r r r is:
a n = a r n − 1 a_n = ar^{n-1} a n = a r n − 1
Proof. By induction.
Base case: a 1 = a r 0 = a a_1 = ar^0 = a a 1 = a r 0 = a . ✓
Inductive step: a k + 1 = a k ⋅ r = a r k − 1 ⋅ r = a r k a_{k+1} = a_k \cdot r = ar^{k-1} \cdot r = ar^k a k + 1 = a k ⋅ r = a r k − 1 ⋅ r = a r k . ✓ ■ \blacksquare ■
3.2 Sum of a Finite Geometric Series
Theorem. For r ≠ 1 r \neq 1 r = 1 :
S n = a 1 − r n 1 − r = a r n − 1 r − 1 S_n = a\frac{1 - r^n}{1 - r} = a\frac{r^n - 1}{r - 1} S n = a 1 − r 1 − r n = a r − 1 r n − 1
Proof. Write:
S n = a + a r + a r 2 + ⋯ + a r n − 1 r S n = a r + a r 2 + a r 3 + ⋯ + a r n \begin{aligned}
S_n &= a + ar + ar^2 + \cdots + ar^{n-1} \\
rS_n &= ar + ar^2 + ar^3 + \cdots + ar^n
\end{aligned} S n r S n = a + a r + a r 2 + ⋯ + a r n − 1 = a r + a r 2 + a r 3 + ⋯ + a r n
Subtracting: S n − r S n = a − a r n S_n - rS_n = a - ar^n S n − r S n = a − a r n
S n ( 1 − r ) = a ( 1 − r n ) S_n(1 - r) = a(1 - r^n) S n ( 1 − r ) = a ( 1 − r n )
S n = a ( 1 − r n ) 1 − r ■ S_n = \frac{a(1 - r^n)}{1 - r} \quad \blacksquare S n = 1 − r a ( 1 − r n ) ■
Intuition (Self-Similarity). Multiplying the sum by r r r shifts every term one position to the
right. The original sum and the shifted sum overlap almost completely — the difference is just the
first term minus the new last term. This "shift and subtract" idea is the same principle behind many
iterative algorithms.
3.3 Sum to Infinity
Theorem. If ∣ r ∣ < 1 |r| < 1 ∣ r ∣ < 1 , the infinite geometric series converges, and:
S ∞ = ∑ n = 1 ∞ a r n − 1 = a 1 − r S_\infty = \sum_{n=1}^{\infty} ar^{n-1} = \frac{a}{1 - r} S ∞ = ∑ n = 1 ∞ a r n − 1 = 1 − r a
Proof. From S n = a ( 1 − r n ) 1 − r S_n = \frac{a(1 - r^n)}{1 - r} S n = 1 − r a ( 1 − r n ) , we take the limit as n → ∞ n \to \infty n → ∞ .
Since ∣ r ∣ < 1 |r| < 1 ∣ r ∣ < 1 , we have lim n → ∞ r n = 0 \lim_{n \to \infty} r^n = 0 lim n → ∞ r n = 0 (a standard limit; see below).
S ∞ = lim n → ∞ S n = a ( 1 − 0 ) 1 − r = a 1 − r ■ S_\infty = \lim_{n \to \infty} S_n = \frac{a(1 - 0)}{1 - r} = \frac{a}{1 - r} \quad \blacksquare S ∞ = lim n → ∞ S n = 1 − r a ( 1 − 0 ) = 1 − r a ■
Lemma. If ∣ r ∣ < 1 |r| < 1 ∣ r ∣ < 1 , then lim n → ∞ r n = 0 \lim_{n \to \infty} r^n = 0 lim n → ∞ r n = 0 .
Proof. Write r n = e n ln ∣ r ∣ r^n = e^{n \ln|r|} r n = e n l n ∣ r ∣ . Since ∣ r ∣ < 1 |r| < 1 ∣ r ∣ < 1 , we have ln ∣ r ∣ < 0 \ln|r| < 0 ln ∣ r ∣ < 0 . As n → ∞ n \to \infty n → ∞ ,
n ln ∣ r ∣ → − ∞ n \ln|r| \to -\infty n ln ∣ r ∣ → − ∞ , so e n ln ∣ r ∣ → 0 e^{n \ln|r|} \to 0 e n l n ∣ r ∣ → 0 . ■ \blacksquare ■
Theorem. If ∣ r ∣ ≥ 1 |r| \geq 1 ∣ r ∣ ≥ 1 , the geometric series ∑ n = 1 ∞ a r n − 1 \sum_{n=1}^{\infty} ar^{n-1} ∑ n = 1 ∞ a r n − 1 diverges.
Proof. If ∣ r ∣ > 1 |r| > 1 ∣ r ∣ > 1 , then ∣ r n ∣ → ∞ |r^n| \to \infty ∣ r n ∣ → ∞ , so ∣ a n ∣ → ∞ |a_n| \to \infty ∣ a n ∣ → ∞ . Since the terms don't tend to
zero, the series diverges by the divergence test.
If r = 1 r = 1 r = 1 : S n = n a → ± ∞ S_n = na \to \pm\infty S n = na → ± ∞ (unless a = 0 a = 0 a = 0 ).
If r = − 1 r = -1 r = − 1 : S n = a − a + a − a + ⋯ S_n = a - a + a - a + \cdots S n = a − a + a − a + ⋯ , which oscillates and does not converge. ■ \blacksquare ■
The condition ∣ r ∣ < 1 |r| < 1 ∣ r ∣ < 1 is essential. A common mistake is to apply the sum-to-infinity
formula when ∣ r ∣ ≥ 1 |r| \geq 1 ∣ r ∣ ≥ 1 , which gives nonsense.
Details
Example
Find the sum to infinity of
1 + 1 2 + 1 4 + 1 8 + ⋯ 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots 1 + 2 1 + 4 1 + 8 1 + ⋯
Here a = 1 a = 1 a = 1 , r = 1 2 r = \frac{1}{2} r = 2 1 , ∣ r ∣ < 1 |r| < 1 ∣ r ∣ < 1 .
S ∞ = ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 − 1 2 ◆ R B ◆ = 2 S_\infty = \frac◆LB◆1◆RB◆◆LB◆1 - \frac{1}{2}◆RB◆ = 2 S ∞ = L ◆ B ◆1◆ R B ◆◆ L B ◆1 − 2 1 ◆ R B ◆ = 2
4. Sigma Notation
Definition. ∑ k = 1 n a k = a 1 + a 2 + ⋯ + a n \sum_{k=1}^{n} a_k = a_1 + a_2 + \cdots + a_n ∑ k = 1 n a k = a 1 + a 2 + ⋯ + a n .
Properties:
∑ k = 1 n ( a k + b k ) = ∑ k = 1 n a k + ∑ k = 1 n b k ∑ k = 1 n c a k = c ∑ k = 1 n a k \begin{aligned}
\sum_{k=1}^{n} (a_k + b_k) &= \sum_{k=1}^{n} a_k + \sum_{k=1}^{n} b_k \\
\sum_{k=1}^{n} ca_k &= c\sum_{k=1}^{n} a_k
\end{aligned} k = 1 ∑ n ( a k + b k ) k = 1 ∑ n c a k = k = 1 ∑ n a k + k = 1 ∑ n b k = c k = 1 ∑ n a k
4.1 Standard Sums
∑ k = 1 n k = n ( n + 1 ) 2 ∑ k = 1 n k 2 = n ( n + 1 ) ( 2 n + 1 ) 6 ∑ k = 1 n k 3 = n 2 ( n + 1 ) 2 4 \begin{aligned}
\sum_{k=1}^{n} k &= \frac{n(n+1)}{2} \\
\sum_{k=1}^{n} k^2 &= \frac{n(n+1)(2n+1)}{6} \\
\sum_{k=1}^{n} k^3 &= \frac{n^2(n+1)^2}{4}
\end{aligned} k = 1 ∑ n k k = 1 ∑ n k 2 k = 1 ∑ n k 3 = 2 n ( n + 1 ) = 6 n ( n + 1 ) ( 2 n + 1 ) = 4 n 2 ( n + 1 ) 2
Proof of ∑ k = 1 n k = n ( n + 1 ) 2 \sum_{k=1}^{n} k = \frac{n(n+1)}{2} ∑ k = 1 n k = 2 n ( n + 1 ) . This is the arithmetic series with a = 1 a = 1 a = 1 ,
d = 1 d = 1 d = 1 , n n n terms. By the formula: S n = n 2 ( 2 + ( n − 1 ) ) = n ( n + 1 ) 2 S_n = \frac{n}{2}(2 + (n-1)) = \frac{n(n+1)}{2} S n = 2 n ( 2 + ( n − 1 )) = 2 n ( n + 1 ) .
■ \blacksquare ■
5. Recurrence Relations
A recurrence relation defines each term in terms of previous terms. A recurrence relation of order
k k k requires k k k initial conditions.
Example. u n + 1 = 2 u n + 3 u_{n+1} = 2u_n + 3 u n + 1 = 2 u n + 3 , u 1 = 1 u_1 = 1 u 1 = 1 .
u 2 = 2 ( 1 ) + 3 = 5 u_2 = 2(1) + 3 = 5 u 2 = 2 ( 1 ) + 3 = 5 , u 3 = 2 ( 5 ) + 3 = 13 u_3 = 2(5) + 3 = 13 u 3 = 2 ( 5 ) + 3 = 13 , u 4 = 2 ( 13 ) + 3 = 29 u_4 = 2(13) + 3 = 29 u 4 = 2 ( 13 ) + 3 = 29 , ...
Periodic sequences. If u n + 1 = f ( u n ) u_{n+1} = f(u_n) u n + 1 = f ( u n ) and the sequence returns to a previous value, it
becomes periodic.
Example. u n + 1 = 1 u n u_{n+1} = \frac{1}{u_n} u n + 1 = u n 1 , u 1 = 2 u_1 = 2 u 1 = 2 .
u 2 = 1 2 u_2 = \frac{1}{2} u 2 = 2 1 , u 3 = 2 u_3 = 2 u 3 = 2 , u 4 = 1 2 u_4 = \frac{1}{2} u 4 = 2 1 , ... This is periodic with period 2.
6. Arithmetic Mean and Geometric Mean
Definition. The arithmetic mean (AM) of two positive numbers a a a and b b b is a + b 2 \frac{a+b}{2} 2 a + b .
The geometric mean (GM) is a b \sqrt{ab} ab .
Theorem (AM-GM Inequality). For any positive real numbers a , b a, b a , b :
a + b 2 ≥ a b \frac{a + b}{2} \geq \sqrt{ab} 2 a + b ≥ ab
Equality holds if and only if a = b a = b a = b .
Proof. Since a , b > 0 a, b \gt{} 0 a , b > 0 , both a \sqrt{a} a and b \sqrt{b} b are real numbers. For any real number
x x x , we have x 2 ≥ 0 x^2 \geq 0 x 2 ≥ 0 . In particular:
( a − b ) 2 ≥ 0 (\sqrt{a} - \sqrt{b})^2 \geq 0 ( a − b ) 2 ≥ 0
Expanding:
a − 2 a b + b ≥ 0 a - 2\sqrt{a}\sqrt{b} + b \geq 0 a − 2 a b + b ≥ 0
a + b ≥ 2 a b a + b \geq 2\sqrt{ab} a + b ≥ 2 ab
a + b 2 ≥ a b ■ \frac{a + b}{2} \geq \sqrt{ab} \quad \blacksquare 2 a + b ≥ ab ■
Equality condition. ( a − b ) 2 = 0 (\sqrt{a} - \sqrt{b})^2 = 0 ( a − b ) 2 = 0 if and only if a = b \sqrt{a} = \sqrt{b} a = b , i.e.,
a = b a = b a = b .
Extension. For n n n positive real numbers x 1 , x 2 , … , x n x_1, x_2, \ldots, x_n x 1 , x 2 , … , x n :
◆ L B ◆ x 1 + x 2 + ⋯ + x n ◆ R B ◆◆ L B ◆ n ◆ R B ◆ ≥ x 1 x 2 ⋯ x n n \frac◆LB◆x_1 + x_2 + \cdots + x_n◆RB◆◆LB◆n◆RB◆ \geq \sqrt[n]{x_1 x_2 \cdots x_n} L ◆ B ◆ x 1 + x 2 + ⋯ + x n ◆ R B ◆◆ L B ◆ n ◆ R B ◆ ≥ n x 1 x 2 ⋯ x n
with equality if and only if x 1 = x 2 = ⋯ = x n x_1 = x_2 = \cdots = x_n x 1 = x 2 = ⋯ = x n . The proof of the general case (by induction
using the two-variable result as the base) is beyond A-level scope.
Details
Example
Find the minimum value of
x + 4 x x + \frac{4}{x} x + x 4 for
x > 0 x \gt{} 0 x > 0 .
By AM-GM with a = x a = x a = x and b = 4 x b = \frac{4}{x} b = x 4 (both positive):
◆ L B ◆ x + 4 x ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ ≥ ◆ L B ◆ x ⋅ 4 x ◆ R B ◆ = 4 = 2 \frac◆LB◆x + \frac{4}{x}◆RB◆◆LB◆2◆RB◆ \geq \sqrt◆LB◆x \cdot \frac{4}{x}◆RB◆ = \sqrt{4} = 2 L ◆ B ◆ x + x 4 ◆ R B ◆◆ L B ◆2◆ R B ◆ ≥ ◆ L B ◆ x ⋅ x 4 ◆ R B ◆ = 4 = 2
So x + 4 x ≥ 4 x + \frac{4}{x} \geq 4 x + x 4 ≥ 4 .
Equality when x = 4 x x = \frac{4}{x} x = x 4 , i.e., x 2 = 4 x^2 = 4 x 2 = 4 , so x = 2 x = 2 x = 2 (since x > 0 x \gt{} 0 x > 0 ).
Minimum value is 4, achieved at x = 2 x = 2 x = 2 .
7. Sigma Notation — Method of Differences
Definition. A telescoping sum is a series where most terms cancel when written out, leaving
only a few terms at the beginning and end.
Key Idea. If we can express the general term u k u_k u k as a difference f ( k ) − f ( k + 1 ) f(k) - f(k+1) f ( k ) − f ( k + 1 ) , then:
∑ k = 1 n u k = ∑ k = 1 n [ f ( k ) − f ( k + 1 ) ] = f ( 1 ) − f ( n + 1 ) \sum_{k=1}^{n} u_k = \sum_{k=1}^{n} [f(k) - f(k+1)] = f(1) - f(n+1) ∑ k = 1 n u k = ∑ k = 1 n [ f ( k ) − f ( k + 1 )] = f ( 1 ) − f ( n + 1 )
This is because the sum expands as [ f ( 1 ) − f ( 2 ) ] + [ f ( 2 ) − f ( 3 ) ] + ⋯ + [ f ( n ) − f ( n + 1 ) ] [f(1) - f(2)] + [f(2) - f(3)] + \cdots + [f(n) - f(n+1)] [ f ( 1 ) − f ( 2 )] + [ f ( 2 ) − f ( 3 )] + ⋯ + [ f ( n ) − f ( n + 1 )] , and
all intermediate terms cancel.
The most common technique is to use partial fractions to decompose a rational term into a
difference.
Details
Example
Evaluate
∑ k = 1 n 1 k ( k + 1 ) \sum_{k=1}^{n} \frac{1}{k(k+1)} ∑ k = 1 n k ( k + 1 ) 1 .
Using partial fractions:
1 k ( k + 1 ) = A k + B k + 1 \frac{1}{k(k+1)} = \frac{A}{k} + \frac{B}{k+1} k ( k + 1 ) 1 = k A + k + 1 B
1 = A ( k + 1 ) + B k 1 = A(k+1) + Bk 1 = A ( k + 1 ) + B k
Setting k = 0 k = 0 k = 0 : A = 1 A = 1 A = 1 . Setting k = − 1 k = -1 k = − 1 : B = − 1 B = -1 B = − 1 .
So 1 k ( k + 1 ) = 1 k − 1 k + 1 \frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1} k ( k + 1 ) 1 = k 1 − k + 1 1 .
Therefore:
∑ k = 1 n 1 k ( k + 1 ) = ∑ k = 1 n ( 1 k − 1 k + 1 ) \sum_{k=1}^{n} \frac{1}{k(k+1)} = \sum_{k=1}^{n} \left(\frac{1}{k} - \frac{1}{k+1}\right) ∑ k = 1 n k ( k + 1 ) 1 = ∑ k = 1 n ( k 1 − k + 1 1 )
= ( 1 − 1 2 ) + ( 1 2 − 1 3 ) + ⋯ + ( 1 n − 1 n + 1 ) = \left(1 - \frac{1}{2}\right) + \left(\frac{1}{2} - \frac{1}{3}\right) + \cdots + \left(\frac{1}{n} - \frac{1}{n+1}\right) = ( 1 − 2 1 ) + ( 2 1 − 3 1 ) + ⋯ + ( n 1 − n + 1 1 )
= 1 − 1 n + 1 = n n + 1 = 1 - \frac{1}{n+1} = \frac{n}{n+1} = 1 − n + 1 1 = n + 1 n
Details
Example
Evaluate
∑ k = 1 n 1 k ( k + 2 ) \sum_{k=1}^{n} \frac{1}{k(k+2)} ∑ k = 1 n k ( k + 2 ) 1 .
Using partial fractions:
1 k ( k + 2 ) = A k + B k + 2 \frac{1}{k(k+2)} = \frac{A}{k} + \frac{B}{k+2} k ( k + 2 ) 1 = k A + k + 2 B
1 = A ( k + 2 ) + B k 1 = A(k+2) + Bk 1 = A ( k + 2 ) + B k
k = 0 k = 0 k = 0 : A = 1 2 A = \frac{1}{2} A = 2 1 . k = − 2 k = -2 k = − 2 : B = − 1 2 B = -\frac{1}{2} B = − 2 1 .
So 1 k ( k + 2 ) = 1 2 ( 1 k − 1 k + 2 ) \frac{1}{k(k+2)} = \frac{1}{2}\left(\frac{1}{k} - \frac{1}{k+2}\right) k ( k + 2 ) 1 = 2 1 ( k 1 − k + 2 1 ) .
∑ k = 1 n 1 k ( k + 2 ) = 1 2 ∑ k = 1 n ( 1 k − 1 k + 2 ) \sum_{k=1}^{n} \frac{1}{k(k+2)} = \frac{1}{2}\sum_{k=1}^{n}\left(\frac{1}{k} - \frac{1}{k+2}\right) ∑ k = 1 n k ( k + 2 ) 1 = 2 1 ∑ k = 1 n ( k 1 − k + 2 1 )
Writing out terms:
= 1 2 [ ( 1 − 1 3 ) + ( 1 2 − 1 4 ) + ( 1 3 − 1 5 ) + ⋯ + ( 1 n − 1 n + 2 ) ] = \frac{1}{2}\left[\left(1 - \frac{1}{3}\right) + \left(\frac{1}{2} - \frac{1}{4}\right) + \left(\frac{1}{3} - \frac{1}{5}\right) + \cdots + \left(\frac{1}{n} - \frac{1}{n+2}\right)\right] = 2 1 [ ( 1 − 3 1 ) + ( 2 1 − 4 1 ) + ( 3 1 − 5 1 ) + ⋯ + ( n 1 − n + 2 1 ) ]
The terms − 1 3 -\frac{1}{3} − 3 1 and + 1 3 +\frac{1}{3} + 3 1 cancel, − 1 4 -\frac{1}{4} − 4 1 and + 1 4 +\frac{1}{4} + 4 1 cancel, etc.
The surviving terms are 1 1 1 and 1 2 \frac{1}{2} 2 1 from the start, with − 1 n + 1 -\frac{1}{n+1} − n + 1 1 and
− 1 n + 2 -\frac{1}{n+2} − n + 2 1 at the end:
= 1 2 ( 1 + 1 2 − 1 n + 1 − 1 n + 2 ) = 1 2 ( 3 2 − 2 n + 3 ( n + 1 ) ( n + 2 ) ) = \frac{1}{2}\left(1 + \frac{1}{2} - \frac{1}{n+1} - \frac{1}{n+2}\right) = \frac{1}{2}\left(\frac{3}{2} - \frac{2n + 3}{(n+1)(n+2)}\right) = 2 1 ( 1 + 2 1 − n + 1 1 − n + 2 1 ) = 2 1 ( 2 3 − ( n + 1 ) ( n + 2 ) 2 n + 3 )
= 3 4 − 2 n + 3 2 ( n + 1 ) ( n + 2 ) = \frac{3}{4} - \frac{2n + 3}{2(n+1)(n+2)} = 4 3 − 2 ( n + 1 ) ( n + 2 ) 2 n + 3
When using the method of differences, always write out the first few terms explicitly to
identify the cancellation pattern before simplifying. Be especially careful when the "gap" in the
denominator is larger than 1 (e.g., k ( k + 2 ) k(k+2) k ( k + 2 ) ), as not all terms cancel in a simple pairwise fashion.
8. Arithmetic-Geometric Sequences
Definition. An arithmetic-geometric sequence has terms of the form:
a , ( a + d ) r , ( a + 2 d ) r 2 , … a, \; (a+d)r, \; (a+2d)r^2, \; \ldots a , ( a + d ) r , ( a + 2 d ) r 2 , …
Each term is the product of a term from an arithmetic progression (a , a + d , a + 2 d , … a, a+d, a+2d, \ldots a , a + d , a + 2 d , … ) and a
term from a geometric progression (1 , r , r 2 , … 1, r, r^2, \ldots 1 , r , r 2 , … ).
Theorem. The n n n th term is:
u n = ( a + ( n − 1 ) d ) r n − 1 u_n = (a + (n-1)d)\,r^{n-1} u n = ( a + ( n − 1 ) d ) r n − 1
where a a a is the first term of the AP part, d d d is the common difference, and r r r is the common
ratio of the GP part.
8.1 Sum of an Arithmetic-Geometric Series
Theorem. For r ≠ 1 r \neq 1 r = 1 :
S n = a − [ a + ( n − 1 ) d ] r n 1 − r + d r ( 1 − r n − 1 ) ( 1 − r ) 2 S_n = \frac{a - [a + (n-1)d]\,r^n}{1 - r} + \frac{dr(1 - r^{n-1})}{(1-r)^2} S n = 1 − r a − [ a + ( n − 1 ) d ] r n + ( 1 − r ) 2 d r ( 1 − r n − 1 )
Proof. Write out S n S_n S n and r S n rS_n r S n , then subtract:
S n = a + ( a + d ) r + ( a + 2 d ) r 2 + ⋯ + [ a + ( n − 1 ) d ] r n − 1 r S n = a r + ( a + d ) r 2 + ( a + 2 d ) r 3 + ⋯ + [ a + ( n − 1 ) d ] r n \begin{aligned}
S_n &= a + (a+d)r + (a+2d)r^2 + \cdots + [a+(n-1)d]\,r^{n-1} \\
rS_n &= ar + (a+d)r^2 + (a+2d)r^3 + \cdots + [a+(n-1)d]\,r^n
\end{aligned} S n r S n = a + ( a + d ) r + ( a + 2 d ) r 2 + ⋯ + [ a + ( n − 1 ) d ] r n − 1 = a r + ( a + d ) r 2 + ( a + 2 d ) r 3 + ⋯ + [ a + ( n − 1 ) d ] r n
Subtracting:
S n − r S n = a + d r + d r 2 + ⋯ + d r n − 1 − [ a + ( n − 1 ) d ] r n S_n - rS_n = a + dr + dr^2 + \cdots + dr^{n-1} - [a+(n-1)d]\,r^n S n − r S n = a + d r + d r 2 + ⋯ + d r n − 1 − [ a + ( n − 1 ) d ] r n
S n ( 1 − r ) = a + d ( r + r 2 + ⋯ + r n − 1 ) − [ a + ( n − 1 ) d ] r n S_n(1-r) = a + d(r + r^2 + \cdots + r^{n-1}) - [a+(n-1)d]\,r^n S n ( 1 − r ) = a + d ( r + r 2 + ⋯ + r n − 1 ) − [ a + ( n − 1 ) d ] r n
The bracketed geometric series sums to r ( 1 − r n − 1 ) 1 − r \frac{r(1 - r^{n-1})}{1 - r} 1 − r r ( 1 − r n − 1 ) :
S n ( 1 − r ) = a + d r ( 1 − r n − 1 ) 1 − r − [ a + ( n − 1 ) d ] r n S_n(1-r) = a + \frac{dr(1 - r^{n-1})}{1-r} - [a+(n-1)d]\,r^n S n ( 1 − r ) = a + 1 − r d r ( 1 − r n − 1 ) − [ a + ( n − 1 ) d ] r n
S n = a − [ a + ( n − 1 ) d ] r n 1 − r + d r ( 1 − r n − 1 ) ( 1 − r ) 2 ■ S_n = \frac{a - [a+(n-1)d]\,r^n}{1-r} + \frac{dr(1 - r^{n-1})}{(1-r)^2} \quad \blacksquare S n = 1 − r a − [ a + ( n − 1 ) d ] r n + ( 1 − r ) 2 d r ( 1 − r n − 1 ) ■
8.2 Sum to Infinity
When ∣ r ∣ < 1 |r| \lt{} 1 ∣ r ∣ < 1 , both r n → 0 r^n \to 0 r n → 0 and r n − 1 → 0 r^{n-1} \to 0 r n − 1 → 0 as n → ∞ n \to \infty n → ∞ :
S ∞ = a 1 − r + d r ( 1 − r ) 2 S_\infty = \frac{a}{1 - r} + \frac{dr}{(1-r)^2} S ∞ = 1 − r a + ( 1 − r ) 2 d r
Details
Example
A salary is 30000 in year 1 and increases by 1500 each year. Due to inflation, each year's salary is discounted by a factor of 0.9 when expressed in present-value terms. Find the total present value of all future salary payments.
The sequence of discounted salaries is an arithmetic-geometric sequence:
AP part: a = 30000 a = 30000 a = 30000 , d = 1500 d = 1500 d = 1500
GP part: r = 0.9 r = 0.9 r = 0.9
Since ∣ r ∣ < 1 |r| \lt{} 1 ∣ r ∣ < 1 :
S ∞ = 30000 1 − 0.9 + ◆ L B ◆ 1500 × 0.9 ◆ R B ◆◆ L B ◆ ( 1 − 0.9 ) 2 ◆ R B ◆ S_\infty = \frac{30000}{1 - 0.9} + \frac◆LB◆1500 \times 0.9◆RB◆◆LB◆(1 - 0.9)^2◆RB◆ S ∞ = 1 − 0.9 30000 + L ◆ B ◆1500 × 0.9◆ R B ◆◆ L B ◆ ( 1 − 0.9 ) 2 ◆ R B ◆
= 30000 0.1 + 1350 0.01 = \frac{30000}{0.1} + \frac{1350}{0.01} = 0.1 30000 + 0.01 1350
= 300000 + 135000 = 435000 = 300000 + 135000 = 435000 = 300000 + 135000 = 435000
The total present value is 435000.
9.1 Proof of ∑ k = 1 n k 2 = n ( n + 1 ) ( 2 n + 1 ) 6 \sum_{k=1}^{n} k^2 = \frac{n(n+1)(2n+1)}{6} ∑ k = 1 n k 2 = 6 n ( n + 1 ) ( 2 n + 1 )
Proof by induction.
Base case (n = 1 n = 1 n = 1 ): LHS = 1 = 1 = 1 . RHS = ◆ L B ◆ 1 × 2 × 3 ◆ R B ◆◆ L B ◆ 6 ◆ R B ◆ = 1 = \frac◆LB◆1 \times 2 \times 3◆RB◆◆LB◆6◆RB◆ = 1 = L ◆ B ◆1 × 2 × 3◆ R B ◆◆ L B ◆6◆ R B ◆ = 1 . ✓
Inductive step: Assume ∑ k = 1 n k 2 = n ( n + 1 ) ( 2 n + 1 ) 6 \displaystyle\sum_{k=1}^{n} k^2 = \frac{n(n+1)(2n+1)}{6} k = 1 ∑ n k 2 = 6 n ( n + 1 ) ( 2 n + 1 ) for some
n ≥ 1 n \geq 1 n ≥ 1 .
Then:
∑ k = 1 n + 1 k 2 = n ( n + 1 ) ( 2 n + 1 ) 6 + ( n + 1 ) 2 = n ( n + 1 ) ( 2 n + 1 ) + 6 ( n + 1 ) 2 6 = ◆ L B ◆ ( n + 1 ) [ n ( 2 n + 1 ) + 6 ( n + 1 ) ] ◆ R B ◆◆ L B ◆ 6 ◆ R B ◆ = ( n + 1 ) ( 2 n 2 + 7 n + 6 ) 6 = ( n + 1 ) ( n + 2 ) ( 2 n + 3 ) 6 \begin{aligned}
\sum_{k=1}^{n+1} k^2 &= \frac{n(n+1)(2n+1)}{6} + (n+1)^2 \\
&= \frac{n(n+1)(2n+1) + 6(n+1)^2}{6} \\
&= \frac◆LB◆(n+1)\bigl[n(2n+1) + 6(n+1)\bigr]◆RB◆◆LB◆6◆RB◆ \\
&= \frac{(n+1)(2n^2 + 7n + 6)}{6} \\
&= \frac{(n+1)(n+2)(2n+3)}{6}
\end{aligned} k = 1 ∑ n + 1 k 2 = 6 n ( n + 1 ) ( 2 n + 1 ) + ( n + 1 ) 2 = 6 n ( n + 1 ) ( 2 n + 1 ) + 6 ( n + 1 ) 2 = L ◆ B ◆ ( n + 1 ) [ n ( 2 n + 1 ) + 6 ( n + 1 ) ] ◆ R B ◆◆ L B ◆6◆ R B ◆ = 6 ( n + 1 ) ( 2 n 2 + 7 n + 6 ) = 6 ( n + 1 ) ( n + 2 ) ( 2 n + 3 )
This equals ◆ L B ◆ ( n + 1 ) ( ( n + 1 ) + 1 ) ( 2 ( n + 1 ) + 1 ) ◆ R B ◆◆ L B ◆ 6 ◆ R B ◆ \frac◆LB◆(n+1)\bigl((n+1)+1\bigr)\bigl(2(n+1)+1\bigr)◆RB◆◆LB◆6◆RB◆ L ◆ B ◆ ( n + 1 ) ( ( n + 1 ) + 1 ) ( 2 ( n + 1 ) + 1 ) ◆ R B ◆◆ L B ◆6◆ R B ◆ , which is the formula for
n + 1 n+1 n + 1 . ✓ ■ \blacksquare ■
9.2 Proof of ∑ k = 1 n k 3 = [ n ( n + 1 ) 2 ] 2 \sum_{k=1}^{n} k^3 = \left[\frac{n(n+1)}{2}\right]^2 ∑ k = 1 n k 3 = [ 2 n ( n + 1 ) ] 2
Proof by induction.
Base case (n = 1 n = 1 n = 1 ): LHS = 1 = 1 = 1 . RHS = [ ◆ L B ◆ 1 × 2 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ ] 2 = 1 = \left[\frac◆LB◆1 \times 2◆RB◆◆LB◆2◆RB◆\right]^2 = 1 = [ L ◆ B ◆1 × 2◆ R B ◆◆ L B ◆2◆ R B ◆ ] 2 = 1 . ✓
Inductive step: Assume ∑ k = 1 n k 3 = [ n ( n + 1 ) 2 ] 2 \displaystyle\sum_{k=1}^{n} k^3 = \left[\frac{n(n+1)}{2}\right]^2 k = 1 ∑ n k 3 = [ 2 n ( n + 1 ) ] 2 .
Then:
∑ k = 1 n + 1 k 3 = [ n ( n + 1 ) 2 ] 2 + ( n + 1 ) 3 = n 2 ( n + 1 ) 2 4 + ( n + 1 ) 3 = n 2 ( n + 1 ) 2 + 4 ( n + 1 ) 3 4 = ◆ L B ◆ ( n + 1 ) 2 ( n 2 + 4 ( n + 1 ) ) ◆ R B ◆◆ L B ◆ 4 ◆ R B ◆ = ( n + 1 ) 2 ( n 2 + 4 n + 4 ) 4 = ( n + 1 ) 2 ( n + 2 ) 2 4 = [ ( n + 1 ) ( n + 2 ) 2 ] 2 \begin{aligned}
\sum_{k=1}^{n+1} k^3 &= \left[\frac{n(n+1)}{2}\right]^2 + (n+1)^3 \\
&= \frac{n^2(n+1)^2}{4} + (n+1)^3 \\
&= \frac{n^2(n+1)^2 + 4(n+1)^3}{4} \\
&= \frac◆LB◆(n+1)^2\bigl(n^2 + 4(n+1)\bigr)◆RB◆◆LB◆4◆RB◆ \\
&= \frac{(n+1)^2(n^2 + 4n + 4)}{4} \\
&= \frac{(n+1)^2(n+2)^2}{4} \\
&= \left[\frac{(n+1)(n+2)}{2}\right]^2
\end{aligned} k = 1 ∑ n + 1 k 3 = [ 2 n ( n + 1 ) ] 2 + ( n + 1 ) 3 = 4 n 2 ( n + 1 ) 2 + ( n + 1 ) 3 = 4 n 2 ( n + 1 ) 2 + 4 ( n + 1 ) 3 = L ◆ B ◆ ( n + 1 ) 2 ( n 2 + 4 ( n + 1 ) ) ◆ R B ◆◆ L B ◆4◆ R B ◆ = 4 ( n + 1 ) 2 ( n 2 + 4 n + 4 ) = 4 ( n + 1 ) 2 ( n + 2 ) 2 = [ 2 ( n + 1 ) ( n + 2 ) ] 2
This is the formula for n + 1 n+1 n + 1 . ✓ ■ \blacksquare ■
9.3 Connection: ( ∑ k ) 2 = ∑ k 3 (\sum k)^2 = \sum k^3 ( ∑ k ) 2 = ∑ k 3
Notice that:
( ∑ k = 1 n k ) 2 = [ n ( n + 1 ) 2 ] 2 = ∑ k = 1 n k 3 \left(\sum_{k=1}^{n} k\right)^2 = \left[\frac{n(n+1)}{2}\right]^2 = \sum_{k=1}^{n} k^3 ( ∑ k = 1 n k ) 2 = [ 2 n ( n + 1 ) ] 2 = ∑ k = 1 n k 3
This is a remarkable identity: the square of the sum of the first n n n positive integers equals the
sum of the first n n n cubes.
Pattern observation. Check for small values of n n n :
n = 1 n = 1 n = 1 : ( 1 ) 2 = 1 = 1 3 (1)^2 = 1 = 1^3 ( 1 ) 2 = 1 = 1 3 ✓
n = 2 n = 2 n = 2 : ( 1 + 2 ) 2 = 9 = 1 + 8 = 1 3 + 2 3 (1+2)^2 = 9 = 1 + 8 = 1^3 + 2^3 ( 1 + 2 ) 2 = 9 = 1 + 8 = 1 3 + 2 3 ✓
n = 3 n = 3 n = 3 : ( 1 + 2 + 3 ) 2 = 36 = 1 + 8 + 27 = 1 3 + 2 3 + 3 3 (1+2+3)^2 = 36 = 1 + 8 + 27 = 1^3 + 2^3 + 3^3 ( 1 + 2 + 3 ) 2 = 36 = 1 + 8 + 27 = 1 3 + 2 3 + 3 3 ✓
This can also be visualised geometrically: a square of side n ( n + 1 ) 2 \frac{n(n+1)}{2} 2 n ( n + 1 ) can be decomposed
into nested gnomons (L-shaped regions) that correspond to 1 3 , 2 3 , … , n 3 1^3, 2^3, \ldots, n^3 1 3 , 2 3 , … , n 3 .
10. Problem Set
Problem 1. The 5th term of an arithmetic sequence is 17 and the 12th term is 38. Find the first
term and the common difference.
Details
Solution
a + 4 d = 17 − − − ( 1 ) a + 4d = 17 \quad \mathrm{--- (1)} a + 4 d = 17 − − − ( 1 )
a + 11 d = 38 − − − ( 2 ) a + 11d = 38 \quad \mathrm{--- (2)} a + 11 d = 38 − − − ( 2 )
(2) - (1): 7 d = 21 ⟹ d = 3 7d = 21 \implies d = 3 7 d = 21 ⟹ d = 3 .
a = 17 − 12 = 5 a = 17 - 12 = 5 a = 17 − 12 = 5 .
If you get this wrong, revise: Arithmetic sequences
Problem 2. Evaluate ∑ k = 1 50 ( 3 k − 1 ) \sum_{k=1}^{50} (3k - 1) ∑ k = 1 50 ( 3 k − 1 ) .
Details
Solution
This is an arithmetic series with first term
a = 2 a = 2 a = 2 , last term
ℓ = 3 ( 50 ) − 1 = 149 \ell = 3(50) - 1 = 149 ℓ = 3 ( 50 ) − 1 = 149 ,
n = 50 n = 50 n = 50 .
S = 50 2 ( 2 + 149 ) = 25 × 151 = 3775 S = \frac{50}{2}(2 + 149) = 25 \times 151 = 3775 S = 2 50 ( 2 + 149 ) = 25 × 151 = 3775
If you get this wrong, revise: Sigma notation
Problem 3. A geometric series has first term 5 and sum to infinity 25. Find the common ratio.
Details
Solution
S ∞ = a 1 − r = 25 S_\infty = \frac{a}{1 - r} = 25 S ∞ = 1 − r a = 25
5 1 − r = 25 ⟹ 1 − r = 1 5 ⟹ r = 4 5 \frac{5}{1 - r} = 25 \implies 1 - r = \frac{1}{5} \implies r = \frac{4}{5} 1 − r 5 = 25 ⟹ 1 − r = 5 1 ⟹ r = 5 4
If you get this wrong, revise: Sum to infinity
Problem 4. Find the sum of the first 10 terms of the geometric series 2 − 6 + 18 − 54 + ⋯ 2 - 6 + 18 - 54 + \cdots 2 − 6 + 18 − 54 + ⋯
Details
Solution
a = 2 a = 2 a = 2 ,
r = − 3 r = -3 r = − 3 ,
n = 10 n = 10 n = 10 .
S 10 = 2 ( 1 − ( − 3 ) 10 ) 1 − ( − 3 ) = 2 ( 1 − 59049 ) 4 = 2 ( − 59048 ) 4 = − 29524 S_{10} = \frac{2(1 - (-3)^{10})}{1 - (-3)} = \frac{2(1 - 59049)}{4} = \frac{2(-59048)}{4} = -29524 S 10 = 1 − ( − 3 ) 2 ( 1 − ( − 3 ) 10 ) = 4 2 ( 1 − 59049 ) = 4 2 ( − 59048 ) = − 29524
If you get this wrong, revise: Sum of finite geometric series
Problem 5. Show that ∑ k = 1 n ( 4 k + 1 ) = n ( 2 n + 3 ) \sum_{k=1}^{n} (4k + 1) = n(2n + 3) ∑ k = 1 n ( 4 k + 1 ) = n ( 2 n + 3 ) .
Solution ∑ k = 1 n ( 4 k + 1 ) = 4 ∑ k = 1 n k + ∑ k = 1 n 1 = 4 ⋅ n ( n + 1 ) 2 + n = 2 n ( n + 1 ) + n = 2 n 2 + 2 n + n = 2 n 2 + 3 n = n ( 2 n + 3 ) ■ \begin{aligned}
\sum_{k=1}^{n} (4k + 1) &= 4\sum_{k=1}^{n} k + \sum_{k=1}^{n} 1 \\
&= 4 \cdot \frac{n(n+1)}{2} + n \\
&= 2n(n+1) + n \\
&= 2n^2 + 2n + n \\
&= 2n^2 + 3n \\
&= n(2n + 3) \quad \blacksquare
\end{aligned} k = 1 ∑ n ( 4 k + 1 ) = 4 k = 1 ∑ n k + k = 1 ∑ n 1 = 4 ⋅ 2 n ( n + 1 ) + n = 2 n ( n + 1 ) + n = 2 n 2 + 2 n + n = 2 n 2 + 3 n = n ( 2 n + 3 ) ■
If you get this wrong, revise: Sigma notation
Problem 6. Given u 1 = 3 u_1 = 3 u 1 = 3 and u n + 1 = u n + 1 u n − 1 u_{n+1} = \frac{u_n + 1}{u_n - 1} u n + 1 = u n − 1 u n + 1 , find u 2 u_2 u 2 , u 3 u_3 u 3 , u 4 u_4 u 4 ,
and u 5 u_5 u 5 . Comment on the sequence.
Details
Solution
u 2 = 3 + 1 3 − 1 = 2 u_2 = \frac{3 + 1}{3 - 1} = 2 u 2 = 3 − 1 3 + 1 = 2
u 3 = 2 + 1 2 − 1 = 3 u_3 = \frac{2 + 1}{2 - 1} = 3 u 3 = 2 − 1 2 + 1 = 3
u 4 = 3 + 1 3 − 1 = 2 u_4 = \frac{3 + 1}{3 - 1} = 2 u 4 = 3 − 1 3 + 1 = 2
u 5 = 2 + 1 2 − 1 = 3 u_5 = \frac{2 + 1}{2 - 1} = 3 u 5 = 2 − 1 2 + 1 = 3
The sequence is periodic: 3 , 2 , 3 , 2 , 3 , 2 , … 3, 2, 3, 2, 3, 2, \ldots 3 , 2 , 3 , 2 , 3 , 2 , … with period 2.
If you get this wrong, revise: Recurrence relations
Problem 7. The first three terms of a geometric sequence are x , x + 4 , x + 12 x, x + 4, x + 12 x , x + 4 , x + 12 . Find x x x and
the common ratio.
Details
Solution
x + 4 x = x + 12 x + 4 \frac{x + 4}{x} = \frac{x + 12}{x + 4} x x + 4 = x + 4 x + 12
( x + 4 ) 2 = x ( x + 12 ) (x + 4)^2 = x(x + 12) ( x + 4 ) 2 = x ( x + 12 )
x 2 + 8 x + 16 = x 2 + 12 x x^2 + 8x + 16 = x^2 + 12x x 2 + 8 x + 16 = x 2 + 12 x
4 x = 16 ⟹ x = 4 4x = 16 \implies x = 4 4 x = 16 ⟹ x = 4
The sequence is 4 , 8 , 16 , … 4, 8, 16, \ldots 4 , 8 , 16 , … with r = 2 r = 2 r = 2 .
If you get this wrong, revise: Geometric sequences
Problem 8. A ball is dropped from a height of 10 m. Each bounce reaches 80% of the previous
height. Find the total distance travelled before the ball comes to rest.
Details
Solution
The ball falls 10 m, then rises
10 × 0.8 = 8 10 \times 0.8 = 8 10 × 0.8 = 8 m, falls 8 m, rises
8 × 0.8 = 6.4 8 \times 0.8 = 6.4 8 × 0.8 = 6.4 m, etc.
Total distance = 10 + 2 ( 8 + 6.4 + 5.12 + ⋯ ) 10 + 2(8 + 6.4 + 5.12 + \cdots) 10 + 2 ( 8 + 6.4 + 5.12 + ⋯ ) .
The bracketed series is geometric with a = 8 a = 8 a = 8 , r = 0.8 r = 0.8 r = 0.8 .
S ∞ = 8 1 − 0.8 = 8 0.2 = 40 S_\infty = \frac{8}{1 - 0.8} = \frac{8}{0.2} = 40 S ∞ = 1 − 0.8 8 = 0.2 8 = 40
Total distance = 10 + 2 × 40 = 90 10 + 2 \times 40 = 90 10 + 2 × 40 = 90 m.
If you get this wrong, revise: Sum to infinity
Problem 9. Find the least value of n n n such that the sum of the first n n n terms of
3 + 6 + 12 + 24 + ⋯ 3 + 6 + 12 + 24 + \cdots 3 + 6 + 12 + 24 + ⋯ exceeds 10000.
Details
Solution
a = 3 a = 3 a = 3 ,
r = 2 r = 2 r = 2 .
S n = 3 ( 2 n − 1 ) 2 − 1 = 3 ( 2 n − 1 ) > 10000 S_n = \frac{3(2^n - 1)}{2 - 1} = 3(2^n - 1) > 10000 S n = 2 − 1 3 ( 2 n − 1 ) = 3 ( 2 n − 1 ) > 10000
2 n − 1 > 10000 3 ⟹ 2 n > 10003 3 ≈ 3334.33 2^n - 1 > \frac{10000}{3} \implies 2^n > \frac{10003}{3} \approx 3334.33 2 n − 1 > 3 10000 ⟹ 2 n > 3 10003 ≈ 3334.33
n > log 2 ( 3334.33 ) ≈ 11.7 n > \log_2(3334.33) \approx 11.7 n > log 2 ( 3334.33 ) ≈ 11.7
So n = 12 n = 12 n = 12 .
Check: S 11 = 3 ( 2048 − 1 ) = 6141 < 10000 S_{11} = 3(2048 - 1) = 6141 < 10000 S 11 = 3 ( 2048 − 1 ) = 6141 < 10000 .
S 12 = 3 ( 4096 − 1 ) = 12285 > 10000 S_{12} = 3(4096 - 1) = 12285 > 10000 S 12 = 3 ( 4096 − 1 ) = 12285 > 10000 . ✓
If you get this wrong, revise: Sum of finite geometric series
Problem 10. Prove that ∑ k = 1 n k ( k + 1 ) = n ( n + 1 ) ( n + 2 ) 3 \sum_{k=1}^{n} k(k+1) = \frac{n(n+1)(n+2)}{3} ∑ k = 1 n k ( k + 1 ) = 3 n ( n + 1 ) ( n + 2 ) .
Details
Solution
By induction.
Base case (n = 1 n = 1 n = 1 ): LHS = 1 × 2 = 2 = 1 \times 2 = 2 = 1 × 2 = 2 . RHS = ◆ L B ◆ 1 × 2 × 3 ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ = 2 = \frac◆LB◆1 \times 2 \times 3◆RB◆◆LB◆3◆RB◆ = 2 = L ◆ B ◆1 × 2 × 3◆ R B ◆◆ L B ◆3◆ R B ◆ = 2 . ✓
Inductive step: Assume ∑ k = 1 n k ( k + 1 ) = n ( n + 1 ) ( n + 2 ) 3 \sum_{k=1}^{n} k(k+1) = \frac{n(n+1)(n+2)}{3} ∑ k = 1 n k ( k + 1 ) = 3 n ( n + 1 ) ( n + 2 ) .
Then:
∑ k = 1 n + 1 k ( k + 1 ) = n ( n + 1 ) ( n + 2 ) 3 + ( n + 1 ) ( n + 2 ) = n ( n + 1 ) ( n + 2 ) + 3 ( n + 1 ) ( n + 2 ) 3 = ( n + 1 ) ( n + 2 ) ( n + 3 ) 3 = ( n + 1 ) ( ( n + 1 ) + 1 ) ( ( n + 1 ) + 2 ) 3 \begin{aligned}
\sum_{k=1}^{n+1} k(k+1) &= \frac{n(n+1)(n+2)}{3} + (n+1)(n+2) \\
&= \frac{n(n+1)(n+2) + 3(n+1)(n+2)}{3} \\
&= \frac{(n+1)(n+2)(n + 3)}{3} \\
&= \frac{(n+1)((n+1)+1)((n+1)+2)}{3}
\end{aligned} k = 1 ∑ n + 1 k ( k + 1 ) = 3 n ( n + 1 ) ( n + 2 ) + ( n + 1 ) ( n + 2 ) = 3 n ( n + 1 ) ( n + 2 ) + 3 ( n + 1 ) ( n + 2 ) = 3 ( n + 1 ) ( n + 2 ) ( n + 3 ) = 3 ( n + 1 ) (( n + 1 ) + 1 ) (( n + 1 ) + 2 ) This is the formula for n + 1 n + 1 n + 1 . ✓ ■ \blacksquare ■
If you get this wrong, revise: Proof by induction
Problem 11. Given that x > 0 x \gt{} 0 x > 0 , find the minimum value of x 2 + 9 x 2 x^2 + \frac{9}{x^2} x 2 + x 2 9 and state
the value of x x x at which it occurs.
Details
Solution
By AM-GM with
a = x 2 a = x^2 a = x 2 and
b = 9 x 2 b = \frac{9}{x^2} b = x 2 9 (both positive since
x > 0 x \gt{} 0 x > 0 ):
◆ L B ◆ x 2 + 9 x 2 ◆ R B ◆◆ L B ◆ 2 ◆ R B ◆ ≥ ◆ L B ◆ x 2 ⋅ 9 x 2 ◆ R B ◆ = 9 = 3 \frac◆LB◆x^2 + \frac{9}{x^2}◆RB◆◆LB◆2◆RB◆ \geq \sqrt◆LB◆x^2 \cdot \frac{9}{x^2}◆RB◆ = \sqrt{9} = 3 L ◆ B ◆ x 2 + x 2 9 ◆ R B ◆◆ L B ◆2◆ R B ◆ ≥ ◆ L B ◆ x 2 ⋅ x 2 9 ◆ R B ◆ = 9 = 3
So x 2 + 9 x 2 ≥ 6 x^2 + \frac{9}{x^2} \geq 6 x 2 + x 2 9 ≥ 6 .
Equality when x 2 = 9 x 2 x^2 = \frac{9}{x^2} x 2 = x 2 9 , i.e., x 4 = 9 x^4 = 9 x 4 = 9 , so x 2 = 3 x^2 = 3 x 2 = 3 , giving x = 3 x = \sqrt{3} x = 3 (positive
root).
Minimum value is 6, achieved at x = 3 x = \sqrt{3} x = 3 .
If you get this wrong, revise: AM-GM inequality
Problem 12. Evaluate ∑ k = 1 n 2 ( k + 1 ) ( k + 3 ) \sum_{k=1}^{n} \frac{2}{(k+1)(k+3)} ∑ k = 1 n ( k + 1 ) ( k + 3 ) 2 using the method of differences.
Details
Solution
Using partial fractions:
2 ( k + 1 ) ( k + 3 ) = A k + 1 + B k + 3 \frac{2}{(k+1)(k+3)} = \frac{A}{k+1} + \frac{B}{k+3} ( k + 1 ) ( k + 3 ) 2 = k + 1 A + k + 3 B
2 = A ( k + 3 ) + B ( k + 1 ) 2 = A(k+3) + B(k+1) 2 = A ( k + 3 ) + B ( k + 1 )
k = − 3 k = -3 k = − 3 : B = − 1 B = -1 B = − 1 . k = − 1 k = -1 k = − 1 : A = 1 A = 1 A = 1 .
So 2 ( k + 1 ) ( k + 3 ) = 1 k + 1 − 1 k + 3 \frac{2}{(k+1)(k+3)} = \frac{1}{k+1} - \frac{1}{k+3} ( k + 1 ) ( k + 3 ) 2 = k + 1 1 − k + 3 1 .
∑ k = 1 n 2 ( k + 1 ) ( k + 3 ) = ∑ k = 1 n ( 1 k + 1 − 1 k + 3 ) \sum_{k=1}^{n} \frac{2}{(k+1)(k+3)} = \sum_{k=1}^{n} \left(\frac{1}{k+1} - \frac{1}{k+3}\right) ∑ k = 1 n ( k + 1 ) ( k + 3 ) 2 = ∑ k = 1 n ( k + 1 1 − k + 3 1 )
Writing out terms:
= ( 1 2 − 1 4 ) + ( 1 3 − 1 5 ) + ( 1 4 − 1 6 ) + ⋯ + ( 1 n + 1 − 1 n + 3 ) = \left(\frac{1}{2} - \frac{1}{4}\right) + \left(\frac{1}{3} - \frac{1}{5}\right) + \left(\frac{1}{4} - \frac{1}{6}\right) + \cdots + \left(\frac{1}{n+1} - \frac{1}{n+3}\right) = ( 2 1 − 4 1 ) + ( 3 1 − 5 1 ) + ( 4 1 − 6 1 ) + ⋯ + ( n + 1 1 − n + 3 1 )
After cancellation, surviving terms:
= 1 2 + 1 3 − 1 n + 2 − 1 n + 3 = 5 6 − 2 n + 5 ( n + 2 ) ( n + 3 ) = \frac{1}{2} + \frac{1}{3} - \frac{1}{n+2} - \frac{1}{n+3} = \frac{5}{6} - \frac{2n + 5}{(n+2)(n+3)} = 2 1 + 3 1 − n + 2 1 − n + 3 1 = 6 5 − ( n + 2 ) ( n + 3 ) 2 n + 5
If you get this wrong, revise: Method of differences
Problem 13. Find the sum to infinity of the arithmetic-geometric series whose terms are
1 , 4 × 1 2 , 7 × 1 4 , 10 × 1 8 , … 1, \; 4 \times \tfrac{1}{2}, \; 7 \times \tfrac{1}{4}, \; 10 \times \tfrac{1}{8}, \; \ldots 1 , 4 × 2 1 , 7 × 4 1 , 10 × 8 1 , …
Details
Solution
Identify the components:
AP part: first term a = 1 a = 1 a = 1 , common difference d = 3 d = 3 d = 3 (since 4 − 1 = 3 4 - 1 = 3 4 − 1 = 3 , 7 − 4 = 3 7 - 4 = 3 7 − 4 = 3 , etc.)
GP part: common ratio r = 1 2 r = \frac{1}{2} r = 2 1
Since ∣ r ∣ < 1 |r| \lt{} 1 ∣ r ∣ < 1 , the sum to infinity converges:
S ∞ = a 1 − r + d r ( 1 − r ) 2 S_\infty = \frac{a}{1 - r} + \frac{dr}{(1-r)^2} S ∞ = 1 − r a + ( 1 − r ) 2 d r
= ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 − 1 2 ◆ R B ◆ + ◆ L B ◆ 3 × 1 2 ◆ R B ◆◆ L B ◆ ( 1 − 1 2 ) 2 ◆ R B ◆ = \frac◆LB◆1◆RB◆◆LB◆1 - \frac{1}{2}◆RB◆ + \frac◆LB◆3 \times \frac{1}{2}◆RB◆◆LB◆\left(1 - \frac{1}{2}\right)^2◆RB◆ = L ◆ B ◆1◆ R B ◆◆ L B ◆1 − 2 1 ◆ R B ◆ + L ◆ B ◆3 × 2 1 ◆ R B ◆◆ L B ◆ ( 1 − 2 1 ) 2 ◆ R B ◆
= ◆ L B ◆ 1 ◆ R B ◆◆ L B ◆ 1 2 ◆ R B ◆ + ◆ L B ◆ 3 2 ◆ R B ◆◆ L B ◆ 1 4 ◆ R B ◆ = \frac◆LB◆1◆RB◆◆LB◆\frac{1}{2}◆RB◆ + \frac◆LB◆\frac{3}{2}◆RB◆◆LB◆\frac{1}{4}◆RB◆ = L ◆ B ◆1◆ R B ◆◆ L B ◆ 2 1 ◆ R B ◆ + L ◆ B ◆ 2 3 ◆ R B ◆◆ L B ◆ 4 1 ◆ R B ◆
= 2 + 6 = 8 = 2 + 6 = 8 = 2 + 6 = 8
If you get this wrong, revise: Arithmetic-geometric sequences
Problem 14. Find ∑ k = 1 n k ( k − 1 ) \sum_{k=1}^{n} k(k-1) ∑ k = 1 n k ( k − 1 ) in closed form, and verify your answer for n = 4 n = 4 n = 4 .
Solution ∑ k = 1 n k ( k − 1 ) = ∑ k = 1 n ( k 2 − k ) = ∑ k = 1 n k 2 − ∑ k = 1 n k = n ( n + 1 ) ( 2 n + 1 ) 6 − n ( n + 1 ) 2 = n ( n + 1 ) 6 [ ( 2 n + 1 ) − 3 ] = n ( n + 1 ) ( 2 n − 2 ) 6 = n ( n + 1 ) ( n − 1 ) 3 \begin{aligned}
\sum_{k=1}^{n} k(k-1) &= \sum_{k=1}^{n} (k^2 - k) \\
&= \sum_{k=1}^{n} k^2 - \sum_{k=1}^{n} k \\
&= \frac{n(n+1)(2n+1)}{6} - \frac{n(n+1)}{2} \\
&= \frac{n(n+1)}{6}\bigl[(2n+1) - 3\bigr] \\
&= \frac{n(n+1)(2n - 2)}{6} \\
&= \frac{n(n+1)(n-1)}{3}
\end{aligned} k = 1 ∑ n k ( k − 1 ) = k = 1 ∑ n ( k 2 − k ) = k = 1 ∑ n k 2 − k = 1 ∑ n k = 6 n ( n + 1 ) ( 2 n + 1 ) − 2 n ( n + 1 ) = 6 n ( n + 1 ) [ ( 2 n + 1 ) − 3 ] = 6 n ( n + 1 ) ( 2 n − 2 ) = 3 n ( n + 1 ) ( n − 1 ) Verification for n = 4 n = 4 n = 4 : 1 × 0 + 2 × 1 + 3 × 2 + 4 × 3 = 0 + 2 + 6 + 12 = 20 1 \times 0 + 2 \times 1 + 3 \times 2 + 4 \times 3 = 0 + 2 + 6 + 12 = 20 1 × 0 + 2 × 1 + 3 × 2 + 4 × 3 = 0 + 2 + 6 + 12 = 20 .
Formula: ◆ L B ◆ 4 × 5 × 3 ◆ R B ◆◆ L B ◆ 3 ◆ R B ◆ = 20 \frac◆LB◆4 \times 5 \times 3◆RB◆◆LB◆3◆RB◆ = 20 L ◆ B ◆4 × 5 × 3◆ R B ◆◆ L B ◆3◆ R B ◆ = 20 . ✓
If you get this wrong, revise: Sigma notation
Problem 15. A sequence satisfies u n + 1 = 3 u n + 2 u_{n+1} = 3u_n + 2 u n + 1 = 3 u n + 2 with u 1 = 1 u_1 = 1 u 1 = 1 . Find a closed-form
expression for u n u_n u n and verify it for n = 1 , 2 , 3 n = 1, 2, 3 n = 1 , 2 , 3 .
Details
Solution
This is a first-order linear recurrence relation. We solve it by finding the equilibrium and subtracting.
At equilibrium, u = 3 u + 2 u = 3u + 2 u = 3 u + 2 , giving − 2 u = 2 -2u = 2 − 2 u = 2 , so u = − 1 u = -1 u = − 1 .
Define v n = u n − ( − 1 ) = u n + 1 v_n = u_n - (-1) = u_n + 1 v n = u n − ( − 1 ) = u n + 1 . Then:
v n + 1 = u n + 1 + 1 = 3 u n + 2 + 1 = 3 u n + 3 = 3 ( u n + 1 ) = 3 v n v_{n+1} = u_{n+1} + 1 = 3u_n + 2 + 1 = 3u_n + 3 = 3(u_n + 1) = 3v_n v n + 1 = u n + 1 + 1 = 3 u n + 2 + 1 = 3 u n + 3 = 3 ( u n + 1 ) = 3 v n
So v n v_n v n is a geometric sequence with ratio 3. Since v 1 = u 1 + 1 = 2 v_1 = u_1 + 1 = 2 v 1 = u 1 + 1 = 2 :
v n = 2 ⋅ 3 n − 1 v_n = 2 \cdot 3^{n-1} v n = 2 ⋅ 3 n − 1
Therefore:
u n = 2 ⋅ 3 n − 1 − 1 u_n = 2 \cdot 3^{n-1} - 1 u n = 2 ⋅ 3 n − 1 − 1
Verification:
n = 1 n = 1 n = 1 : u 1 = 2 ⋅ 1 − 1 = 1 u_1 = 2 \cdot 1 - 1 = 1 u 1 = 2 ⋅ 1 − 1 = 1 ✓
n = 2 n = 2 n = 2 : u 2 = 2 ⋅ 3 − 1 = 5 u_2 = 2 \cdot 3 - 1 = 5 u 2 = 2 ⋅ 3 − 1 = 5 . Check: 3 ( 1 ) + 2 = 5 3(1) + 2 = 5 3 ( 1 ) + 2 = 5 ✓
n = 3 n = 3 n = 3 : u 3 = 2 ⋅ 9 − 1 = 17 u_3 = 2 \cdot 9 - 1 = 17 u 3 = 2 ⋅ 9 − 1 = 17 . Check: 3 ( 5 ) + 2 = 17 3(5) + 2 = 17 3 ( 5 ) + 2 = 17 ✓
If you get this wrong, revise: Recurrence relations
tip
Ready to test your understanding of Sequences and Series ? The diagnostic test contains the hardest questions within the A-Level specification for this topic, each with a full worked solution.
Unit tests probe edge cases and common misconceptions. Integration tests combine Sequences and Series with other pure mathematics topics to test synthesis under exam conditions.
See Diagnostic Guide for instructions on self-marking and building a personal test matrix.