The method of differences is a powerful technique for finding sums of sequences, particularly those involving rational expressions. We begin with a fascinating problem that motivated the development of this method: proving that the sum of reciprocal squares converges.
Motivating Problem: Basel Problem
Consider the infinite series:
∑ n = 1 ∞ 1 n 2 \sum_{n=1}^{\infty} \frac{1}{n^2} ∑ n = 1 ∞ n 2 1
How can we prove this sum is finite? And what is its value?
This famous problem, known as the Basel Problem , was solved by Euler in 1735. He proved that:
∑ n = 1 ∞ 1 n 2 = π 2 6 \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} ∑ n = 1 ∞ n 2 1 = 6 π 2
While Euler’s proof used deep analysis, we can prove the sum is finite using the method of differences .
To show that the sum is finite, we use the comparison test. Notice that:
1 n 2 < 1 n ( n − 1 ) for n ≥ 2 \frac{1}{n^2} < \frac{1}{n(n-1)} \quad \text{for } n \geq 2 n 2 1 < n ( n − 1 ) 1 for n ≥ 2
This implies:
∑ n = 2 ∞ 1 n 2 < ∑ n = 2 ∞ 1 n ( n − 1 ) \sum_{n=2}^{\infty} \frac{1}{n^2} < \sum_{n=2}^{\infty} \frac{1}{n(n-1)} ∑ n = 2 ∞ n 2 1 < ∑ n = 2 ∞ n ( n − 1 ) 1
The series on the right can be simplified using partial fractions:
1 n ( n − 1 ) = 1 n − 1 − 1 n \frac{1}{n(n-1)} = \frac{1}{n-1} - \frac{1}{n} n ( n − 1 ) 1 = n − 1 1 − n 1
This results in a telescoping series:
∑ n = 2 ∞ ( 1 n − 1 − 1 n ) \sum_{n=2}^{\infty} \left( \frac{1}{n-1} - \frac{1}{n} \right) ∑ n = 2 ∞ ( n − 1 1 − n 1 )
The terms cancel, leading to a finite limit. Thus, since ∑ n = 2 ∞ 1 n ( n − 1 ) \sum_{n=2}^{\infty} \frac{1}{n(n-1)} ∑ n = 2 ∞ n ( n − 1 ) 1 converges, we conclude that ∑ n = 1 ∞ 1 n 2 \sum_{n=1}^{\infty} \frac{1}{n^2} ∑ n = 1 ∞ n 2 1 is also finite.
Definition — Method of Differences: The method of differences is used to find sums of sequences by:
First expressing the term as a difference of two or more terms
Then using cancellation to find the sum
Express 1 ( r + 3 ) ( r + 5 ) \dfrac{1}{(r+3)(r+5)} ( r + 3 ) ( r + 5 ) 1 in partial fractions. Hence find ∑ r = 1 n 1 ( r + 3 ) ( r + 5 ) \displaystyle\sum_{r=1}^n \frac{1}{(r+3)(r+5)} r = 1 ∑ n ( r + 3 ) ( r + 5 ) 1 using the method of differences.
Solution:
Let 1 ( r + 3 ) ( r + 5 ) = A r + 3 + B r + 5 \dfrac{1}{(r+3)(r+5)} = \dfrac{A}{r+3} + \dfrac{B}{r+5} ( r + 3 ) ( r + 5 ) 1 = r + 3 A + r + 5 B
Multiply both sides by ( r + 3 ) ( r + 5 ) (r+3)(r+5) ( r + 3 ) ( r + 5 ) :
1 = A ( r + 5 ) + B ( r + 3 ) 1 = A(r+5) + B(r+3) 1 = A ( r + 5 ) + B ( r + 3 )
A = _ _ _ _ A = \_\_\_\_ A = ____ and B = _ _ _ _ B = \_\_\_\_ B = ____
Therefore:
1 ( r + 3 ) ( r + 5 ) = _ _ _ _ \frac{1}{(r+3)(r+5)} = \_\_\_\_ ( r + 3 ) ( r + 5 ) 1 = ____
Write out first 3 terms and last 2 terms:
_ _ _ _ + _ _ _ _ + _ _ _ _ + ⋯ + _ _ _ _ + _ _ _ _ \_\_\_\_ + \_\_\_\_ + \_\_\_\_ + \cdots + \_\_\_\_ + \_\_\_\_ ____ + ____ + ____ + ⋯ + ____ + ____
Non-cancelling terms are:
_ _ _ _ + _ _ _ _ − _ _ _ _ − _ _ _ _ \_\_\_\_ + \_\_\_\_ - \_\_\_\_ - \_\_\_\_ ____ + ____ − ____ − ____
Put over common denominator and simplify:
= _ _ _ _ = \_\_\_\_ = ____
Express 1 ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) \dfrac{1}{(2r-1)(2r+1)(2r+3)} ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) 1 in partial fractions. Hence find ∑ r = 1 n 1 ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) \displaystyle\sum_{r=1}^n \frac{1}{(2r-1)(2r+1)(2r+3)} r = 1 ∑ n ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) 1 using the method of differences.
Solution:
Let 1 ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) = A 2 r − 1 + B 2 r + 1 + C 2 r + 3 \dfrac{1}{(2r-1)(2r+1)(2r+3)} = \dfrac{A}{2r-1} + \dfrac{B}{2r+1} + \dfrac{C}{2r+3} ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) 1 = 2 r − 1 A + 2 r + 1 B + 2 r + 3 C
Multiply throughout by ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) (2r-1)(2r+1)(2r+3) ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) :
1 = A ( 2 r + 1 ) ( 2 r + 3 ) + B ( 2 r − 1 ) ( 2 r + 3 ) + C ( 2 r − 1 ) ( 2 r + 1 ) 1 = A(2r+1)(2r+3) + B(2r-1)(2r+3) + C(2r-1)(2r+1) 1 = A ( 2 r + 1 ) ( 2 r + 3 ) + B ( 2 r − 1 ) ( 2 r + 3 ) + C ( 2 r − 1 ) ( 2 r + 1 )
Put r = _ _ _ _ r = \_\_\_\_ r = ____ , r = _ _ _ _ r = \_\_\_\_ r = ____ , r = _ _ _ _ r = \_\_\_\_ r = ____ to find A A A , B B B , C C C :
A = _ _ _ _ , B = _ _ _ _ , C = _ _ _ _ A = \_\_\_\_, \quad B = \_\_\_\_, \quad C = \_\_\_\_ A = ____ , B = ____ , C = ____
Therefore:
1 ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) = _ _ _ _ \frac{1}{(2r-1)(2r+1)(2r+3)} = \_\_\_\_ ( 2 r − 1 ) ( 2 r + 1 ) ( 2 r + 3 ) 1 = ____
Write out first three terms and the last two terms:
_ _ _ _ + _ _ _ _ + _ _ _ _ + ⋯ + _ _ _ _ + _ _ _ _ \_\_\_\_ + \_\_\_\_ + \_\_\_\_ + \cdots + \_\_\_\_ + \_\_\_\_ ____ + ____ + ____ + ⋯ + ____ + ____
Identify non-cancelling terms:
_ _ _ _ − _ _ _ _ + _ _ _ _ − _ _ _ _ \_\_\_\_ - \_\_\_\_ + \_\_\_\_ - \_\_\_\_ ____ − ____ + ____ − ____
Put over common denominator:
= _ _ _ _ = \_\_\_\_ = ____
Key Points for Three-Term Problems
1. When finding partial fractions:
Write A a x + b + B c x + d + C e x + f \dfrac{A}{ax+b} + \dfrac{B}{cx+d} + \dfrac{C}{ex+f} a x + b A + c x + d B + e x + f C
Use strategic values of x x x to find coefficients
Check your work by expanding back
2. When using method of differences:
Write out enough terms to establish the pattern
Pay attention to coefficients when identifying non-cancelling terms
Combine terms carefully over a common denominator
Guided Exercise 1
Use the binomial expansion to show that:
n 5 − ( n − 1 ) 5 = 5 n 4 − 10 n 3 + 10 n 2 − 5 n + 1 n^5 - (n-1)^5 = 5n^4 - 10n^3 + 10n^2 - 5n + 1 n 5 − ( n − 1 ) 5 = 5 n 4 − 10 n 3 + 10 n 2 − 5 n + 1
Hence, show that:
∑ r = 1 n r 4 = 1 30 n ( n + 1 ) ( 2 n + 1 ) ( 3 n 2 + 3 n − 1 ) \sum_{r=1}^n r^4 = \frac{1}{30}n(n+1)(2n+1)(3n^2 + 3n - 1) ∑ r = 1 n r 4 = 30 1 n ( n + 1 ) ( 2 n + 1 ) ( 3 n 2 + 3 n − 1 )
Guidance:
Rearrange to express r 4 r^4 r 4 in terms of the other expressions.
Write out the sum ∑ r = 1 n r 4 \sum_{r=1}^n r^4 ∑ r = 1 n r 4 using this expression.
Use these known formulas:
∑ r = 1 n r = n ( n + 1 ) 2 \displaystyle\sum_{r=1}^n r = \frac{n(n+1)}{2} r = 1 ∑ n r = 2 n ( n + 1 )
∑ r = 1 n r 2 = n ( n + 1 ) ( 2 n + 1 ) 6 \displaystyle\sum_{r=1}^n r^2 = \frac{n(n+1)(2n+1)}{6} r = 1 ∑ n r 2 = 6 n ( n + 1 ) ( 2 n + 1 )
∑ r = 1 n r 3 = ( n ( n + 1 ) 2 ) 2 \displaystyle\sum_{r=1}^n r^3 = \left(\frac{n(n+1)}{2}\right)^2 r = 1 ∑ n r 3 = ( 2 n ( n + 1 ) ) 2
Substitute and simplify to get the required form.
Exercise
Use the method of differences to prove that:
∑ r = 1 n r 3 = ( n ( n + 1 ) 2 ) 2 \sum_{r=1}^n r^3 = \left(\frac{n(n+1)}{2}\right)^2 ∑ r = 1 n r 3 = ( 2 n ( n + 1 ) ) 2
Hint: Consider the difference ( r + 1 ) 4 − r 4 (r+1)^4 - r^4 ( r + 1 ) 4 − r 4 .
Show that for r ≥ 1 r \geq 1 r ≥ 1 :
r r ( r + 1 ) + r ( r − 1 ) = A ( r ( r + 1 ) − r ( r − 1 ) ) \frac{r}{\sqrt{r(r+1)} + \sqrt{r(r-1)}} = A\left(\sqrt{r(r+1)} - \sqrt{r(r-1)}\right) r ( r + 1 ) + r ( r − 1 ) r = A ( r ( r + 1 ) − r ( r − 1 ) )
where A A A is a constant to be determined.
Solution:
Let the left side be L L L and the right side be R R R :
L = r r ( r + 1 ) + r ( r − 1 ) , R = A ( r ( r + 1 ) − r ( r − 1 ) ) L = \frac{r}{\sqrt{r(r+1)} + \sqrt{r(r-1)}}, \quad R = A\left(\sqrt{r(r+1)} - \sqrt{r(r-1)}\right) L = r ( r + 1 ) + r ( r − 1 ) r , R = A ( r ( r + 1 ) − r ( r − 1 ) )
To find A A A , multiply L L L by r ( r + 1 ) − r ( r − 1 ) r ( r + 1 ) − r ( r − 1 ) \dfrac{\sqrt{r(r+1)} - \sqrt{r(r-1)}}{\sqrt{r(r+1)} - \sqrt{r(r-1)}} r ( r + 1 ) − r ( r − 1 ) r ( r + 1 ) − r ( r − 1 ) to rationalise the denominator:
L = r ( r ( r + 1 ) − r ( r − 1 ) ) _ _ _ _ L = \frac{r\left(\sqrt{r(r+1)} - \sqrt{r(r-1)}\right)}{\_\_\_\_} L = ____ r ( r ( r + 1 ) − r ( r − 1 ) )
Therefore:
L = _ _ _ _ ( r ( r + 1 ) − r ( r − 1 ) ) L = \_\_\_\_ \left(\sqrt{r(r+1)} - \sqrt{r(r-1)}\right) L = ____ ( r ( r + 1 ) − r ( r − 1 ) )
Comparing with R R R , we find A = _ _ _ _ A = \_\_\_\_ A = ____ .
Using the previous result, find:
∑ r = 1 n r r ( r + 1 ) + r ( r − 1 ) \sum_{r=1}^n \frac{r}{\sqrt{r(r+1)} + \sqrt{r(r-1)}} ∑ r = 1 n r ( r + 1 ) + r ( r − 1 ) r
Solution:
From the previous example:
r r ( r + 1 ) + r ( r − 1 ) = _ _ _ _ ( r ( r + 1 ) − r ( r − 1 ) ) \frac{r}{\sqrt{r(r+1)} + \sqrt{r(r-1)}} = \_\_\_\_ \left(\sqrt{r(r+1)} - \sqrt{r(r-1)}\right) r ( r + 1 ) + r ( r − 1 ) r = ____ ( r ( r + 1 ) − r ( r − 1 ) )
Write out first three terms and last two terms, then identify the telescoping pattern.
Therefore:
∑ r = 1 n r r ( r + 1 ) + r ( r − 1 ) = _ _ _ _ \sum_{r=1}^n \frac{r}{\sqrt{r(r+1)} + \sqrt{r(r-1)}} = \_\_\_\_ ∑ r = 1 n r ( r + 1 ) + r ( r − 1 ) r = ____
Find the constant k k k such that:
∑ r = 1 n k r r ( r + 1 ) + r ( r − 1 ) = ∑ r = 1 n r \sum_{r=1}^n \frac{kr}{\sqrt{r(r+1)} + \sqrt{r(r-1)}} = \sqrt{\sum_{r=1}^n r} ∑ r = 1 n r ( r + 1 ) + r ( r − 1 ) k r = ∑ r = 1 n r
Solution:
From the previous example:
∑ r = 1 n k r r ( r + 1 ) + r ( r − 1 ) = _ _ _ _ \sum_{r=1}^n \frac{kr}{\sqrt{r(r+1)} + \sqrt{r(r-1)}} = \_\_\_\_ ∑ r = 1 n r ( r + 1 ) + r ( r − 1 ) k r = ____
The right side is:
∑ r = 1 n r = _ _ _ _ \sqrt{\sum_{r=1}^n r} = \_\_\_\_ ∑ r = 1 n r = ____
Equating these and solving: k = _ _ _ _ k = \_\_\_\_ k = ____ .
Using the formula
cos ( A + B ) = cos A cos B − sin A sin B \cos(A+B) = \cos A \cos B - \sin A \sin B cos ( A + B ) = cos A cos B − sin A sin B
show that:
2 sin ( 1 2 ) sin ( n ) = cos ( n − 1 2 ) − cos ( n + 1 2 ) 2\sin\left(\frac{1}{2}\right)\sin(n) = \cos\left(n - \frac{1}{2}\right) - \cos\left(n + \frac{1}{2}\right) 2 sin ( 2 1 ) sin ( n ) = cos ( n − 2 1 ) − cos ( n + 2 1 )
Solution:
Use the given formula:
cos ( A − B ) − cos ( A + B ) = cos A cos B + sin A sin B − ( cos A cos B − sin A sin B ) = 2 sin A sin B \cos(A-B) - \cos(A+B) = \cos A \cos B + \sin A \sin B - (\cos A \cos B - \sin A \sin B) = 2 \sin A \sin B cos ( A − B ) − cos ( A + B ) = cos A cos B + sin A sin B − ( cos A cos B − sin A sin B ) = 2 sin A sin B
Let A = n A = n A = n and B = 1 2 B = \dfrac{1}{2} B = 2 1 :
2 sin ( 1 2 ) sin ( n ) = cos ( n − 1 2 ) − cos ( n + 1 2 ) 2\sin\left(\frac{1}{2}\right)\sin(n) = \cos\left(n - \frac{1}{2}\right) - \cos\left(n + \frac{1}{2}\right) 2 sin ( 2 1 ) sin ( n ) = cos ( n − 2 1 ) − cos ( n + 2 1 )
Using the previous result, show that:
∑ n = 1 N sin ( n ) = 1 2 csc ( 1 2 ) [ cos ( 1 2 ) − cos ( 2 N + 1 2 ) ] \sum_{n=1}^N \sin(n) = \frac{1}{2}\csc\left(\frac{1}{2}\right)\left[\cos\left(\frac{1}{2}\right) - \cos\left(\frac{2N+1}{2}\right)\right] ∑ n = 1 N sin ( n ) = 2 1 csc ( 2 1 ) [ cos ( 2 1 ) − cos ( 2 2 N + 1 ) ]
Solution:
From the previous example:
sin ( n ) = 1 2 csc ( 1 2 ) [ cos ( n − 1 2 ) − cos ( n + 1 2 ) ] \sin(n) = \frac{1}{2}\csc\left(\frac{1}{2}\right)\left[\cos\left(n - \frac{1}{2}\right) - \cos\left(n + \frac{1}{2}\right)\right] sin ( n ) = 2 1 csc ( 2 1 ) [ cos ( n − 2 1 ) − cos ( n + 2 1 ) ]
Write out first few terms:
1 2 csc ( 1 2 ) [ cos ( 1 2 ) − cos ( 3 2 ) ] + 1 2 csc ( 1 2 ) [ cos ( 3 2 ) − cos ( 5 2 ) ] + ⋯ \frac{1}{2}\csc\left(\frac{1}{2}\right)\left[\cos\left(\frac{1}{2}\right) - \cos\left(\frac{3}{2}\right)\right] + \frac{1}{2}\csc\left(\frac{1}{2}\right)\left[\cos\left(\frac{3}{2}\right) - \cos\left(\frac{5}{2}\right)\right] + \cdots 2 1 csc ( 2 1 ) [ cos ( 2 1 ) − cos ( 2 3 ) ] + 2 1 csc ( 2 1 ) [ cos ( 2 3 ) − cos ( 2 5 ) ] + ⋯
+ 1 2 csc ( 1 2 ) [ cos ( 2 N − 1 2 ) − cos ( 2 N + 1 2 ) ] + \frac{1}{2}\csc\left(\frac{1}{2}\right)\left[\cos\left(\frac{2N-1}{2}\right) - \cos\left(\frac{2N+1}{2}\right)\right] + 2 1 csc ( 2 1 ) [ cos ( 2 2 N − 1 ) − cos ( 2 2 N + 1 ) ]
Notice the telescoping pattern:
First term contains cos ( 1 2 ) \cos\left(\frac{1}{2}\right) cos ( 2 1 )
Last term contains − cos ( 2 N + 1 2 ) -\cos\left(\frac{2N+1}{2}\right) − cos ( 2 2 N + 1 )
All other terms cancel in pairs
Therefore:
∑ n = 1 N sin ( n ) = 1 2 csc ( 1 2 ) [ cos ( 1 2 ) − cos ( 2 N + 1 2 ) ] \sum_{n=1}^N \sin(n) = \frac{1}{2}\csc\left(\frac{1}{2}\right)\left[\cos\left(\frac{1}{2}\right) - \cos\left(\frac{2N+1}{2}\right)\right] ∑ n = 1 N sin ( n ) = 2 1 csc ( 2 1 ) [ cos ( 2 1 ) − cos ( 2 2 N + 1 ) ]
Common Pitfalls
Don’t forget to check if terms actually telescope
Be careful with signs when splitting fractions
Watch for opportunities to factor before using partial fractions
Remember that the method works only if you can find a difference form
Express
3 ( 3 r − 1 ) ( 3 r + 2 ) \frac{3}{(3r-1)(3r+2)} ( 3 r − 1 ) ( 3 r + 2 ) 3
in partial fractions.
Using your answer to part 1 and the method of differences, show that
∑ r = 1 n 3 ( 3 r − 1 ) ( 3 r + 2 ) = 3 n 2 ( 3 n + 2 ) \sum_{r=1}^n \frac{3}{(3r-1)(3r+2)} = \frac{3n}{2(3n+2)} ∑ r = 1 n ( 3 r − 1 ) ( 3 r + 2 ) 3 = 2 ( 3 n + 2 ) 3 n
Evaluate
∑ r = 100 1000 3 ( 3 r − 1 ) ( 3 r + 2 ) \sum_{r=100}^{1000} \frac{3}{(3r-1)(3r+2)} ∑ r = 100 1000 ( 3 r − 1 ) ( 3 r + 2 ) 3
giving your answer to 3 significant figures.
Given that
( 2 r + 1 ) 3 = A r 3 + B r 2 + C r + 1 (2r+1)^3 = Ar^3 + Br^2 + Cr + 1 ( 2 r + 1 ) 3 = A r 3 + B r 2 + C r + 1
where A A A , B B B and C C C are constants to be determined:
Find A A A , B B B and C C C .
Show that
( 2 r + 1 ) 3 − ( 2 r − 1 ) 3 = 24 r 2 + 2 (2r+1)^3 - (2r-1)^3 = 24r^2 + 2 ( 2 r + 1 ) 3 − ( 2 r − 1 ) 3 = 24 r 2 + 2
Using the result in part 2 and the method of differences, show that
∑ r = 1 n r 2 = 1 6 n ( n + 1 ) ( 2 n + 1 ) \sum_{r=1}^n r^2 = \frac{1}{6}n(n+1)(2n+1) ∑ r = 1 n r 2 = 6 1 n ( n + 1 ) ( 2 n + 1 )
Challenge Problem
Given that A > B > 0 A > B > 0 A > B > 0 , and letting x = arctan A x = \arctan A x = arctan A and y = arctan B y = \arctan B y = arctan B :
(a) Prove that:
arctan A − arctan B = arctan ( A − B 1 + A B ) \arctan A - \arctan B = \arctan\left(\frac{A-B}{1+AB}\right) arctan A − arctan B = arctan ( 1 + A B A − B )
(b) Show that when A = r + 2 A = r + 2 A = r + 2 and B = r B = r B = r :
A − B 1 + A B = 2 ( 1 + r ) 2 \frac{A-B}{1+AB} = \frac{2}{(1+r)^2} 1 + A B A − B = ( 1 + r ) 2 2
(c) Hence, using the method of differences, show that:
∑ r = 1 n arctan ( 2 ( 1 + r ) 2 ) = arctan ( n + p ) + arctan ( n + q ) − arctan 2 − π 4 \sum_{r=1}^n \arctan\left(\frac{2}{(1+r)^2}\right) = \arctan(n+p) + \arctan(n+q) - \arctan 2 - \frac{\pi}{4} ∑ r = 1 n arctan ( ( 1 + r ) 2 2 ) = arctan ( n + p ) + arctan ( n + q ) − arctan 2 − 4 π
where p p p and q q q are integers to be determined.
(d) Hence, making your reasoning clear, determine:
∑ r = 1 ∞ arctan ( 2 ( 1 + r ) 2 ) \sum_{r=1}^{\infty} \arctan\left(\frac{2}{(1+r)^2}\right) ∑ r = 1 ∞ arctan ( ( 1 + r ) 2 2 )
giving the answer in the form k π − arctan 2 k\pi - \arctan 2 k π − arctan 2 , where k k k is a constant.