Math Core

Module 1.4 · Algebra

Recursion and telescoping

A sequence defined by a rule like an+1=f(an)a_{n+1} = f(a_n) can look impossible to push out to the 20262026th term, and a sum of 10001000 fractions can look impossible to add. On the AIME they never are. Either the sequence has a closed form, it repeats, or the sum telescopes: almost every term cancels and only the ends survive.

Telescoping sums

A sum telescopes when each term can be written as a difference bk−bk+1b_k - b_{k+1} of consecutive values of some sequence:

∑k=1n(bk−bk+1)=(b1−b2)+(b2−b3)+⋯+(bn−bn+1)=b1−bn+1.\sum_{k=1}^{n}(b_k - b_{k+1}) = (b_1 - b_2) + (b_2 - b_3) + \dots + (b_n - b_{n+1}) = b_1 - b_{n+1}.

The work is in finding bkb_k. The standard tools:

  • Partial fractions. 1k(k+1)=1k−1k+1\dfrac{1}{k(k+1)} = \dfrac1k - \dfrac{1}{k+1}, and more generally 1k(k+d)=1d(1k−1k+d)\dfrac{1}{k(k+d)} = \dfrac1d\left(\dfrac1k - \dfrac{1}{k+d}\right).
  • Rationalizing. 1k+k+1=k+1−k\dfrac{1}{\sqrt k + \sqrt{k+1}} = \sqrt{k+1} - \sqrt k.
  • Spotting a difference of squares or products. For example, 2k+1k2(k+1)2=1k2−1(k+1)2\dfrac{2k+1}{k^2(k+1)^2} = \dfrac{1}{k^2} - \dfrac{1}{(k+1)^2} because (k+1)2−k2=2k+1(k+1)^2 - k^2 = 2k + 1.

Common mistake

With a gap of dd, as in 1k−1k+2\dfrac1k - \dfrac1{k+2}, dd terms survive at each end, not one. Write out the first few and last few terms to see exactly which ones remain:

∑k=1n(1k−1k+2)=1+12−1n+1−1n+2.\sum_{k=1}^{n}\left(\frac1k - \frac1{k+2}\right) = 1 + \frac12 - \frac1{n+1} - \frac1{n+2}.

Telescoping products

The same idea works with ratios: ∏k=1nbk+1bk=bn+1b1\displaystyle\prod_{k=1}^{n}\frac{b_{k+1}}{b_k} = \frac{b_{n+1}}{b_1}. Factor each term, then look for factors that reappear shifted by one. For instance

1−1k2=(k−1)(k+1)k⋅k=k−1k⋅k+1k,1 - \frac1{k^2} = \frac{(k-1)(k+1)}{k \cdot k} = \frac{k-1}{k} \cdot \frac{k+1}{k},

and each of the two pieces telescopes separately.

Linear recursions

Characteristic equation

If an=pan−1+qan−2a_n = pa_{n-1} + qa_{n-2}, look for solutions of the form an=rna_n = r^n. Dividing by rn−2r^{n-2} gives the characteristic equation

r2=pr+q.r^2 = pr + q.

If it has distinct roots r1,r2r_1, r_2, then every solution is an=Ar1n+Br2na_n = Ar_1^n + Br_2^n, where AA and BB are fixed by the first two terms.

Why it works: if two sequences both satisfy the recursion, so does any combination A(⋅)+B(⋅)A(\cdot) + B(\cdot), and two free constants are exactly enough to match any two starting values. This is the same recursion you saw in Newton's sums: the power sums r1n+r2nr_1^n + r_2^n satisfy it automatically.

Periodic sequences

For a nonlinear rule, compute the first several terms exactly (as fractions). Often the sequence returns to its starting pair, and from then on it cycles. If the period is TT, then an=an mod Ta_n = a_{n \bmod T} (adjusting for a remainder of 00), and a sum or product over many terms splits into full periods plus a leftover piece.

Worked examples

Worked example: Partial fractions

Compute 11⋅2+12⋅3+⋯+199⋅100\dfrac{1}{1 \cdot 2} + \dfrac{1}{2 \cdot 3} + \dots + \dfrac{1}{99 \cdot 100}.

Each term is 1k−1k+1\dfrac1k - \dfrac1{k+1}, so the sum is 1−1100=991001 - \dfrac1{100} = \dfrac{99}{100}.

Worked example: A product of cubes

Compute ∏k=210k3−1k3+1\displaystyle\prod_{k=2}^{10}\frac{k^3 - 1}{k^3 + 1}.

Factor: k3−1k3+1=k−1k+1⋅k2+k+1k2−k+1\dfrac{k^3 - 1}{k^3 + 1} = \dfrac{k - 1}{k + 1} \cdot \dfrac{k^2 + k + 1}{k^2 - k + 1}.

The first factors give 13⋅24⋅35⋯911=1⋅210⋅11=155\dfrac13 \cdot \dfrac24 \cdot \dfrac35 \cdots \dfrac{9}{11} = \dfrac{1 \cdot 2}{10 \cdot 11} = \dfrac{1}{55}.

For the second factors, notice k2−k+1=(k−1)2+(k−1)+1k^2 - k + 1 = (k-1)^2 + (k-1) + 1. So with ck=k2+k+1c_k = k^2 + k + 1, the factor is ckck−1\dfrac{c_k}{c_{k-1}}, and the product is c10c1=1113=37\dfrac{c_{10}}{c_1} = \dfrac{111}{3} = 37.

The answer is 3755\dfrac{37}{55}.

Worked example: A linear recursion

A sequence has a0=0a_0 = 0, a1=5a_1 = 5 and an=an−1+6an−2a_n = a_{n-1} + 6a_{n-2} for n≥2n \ge 2. Find a5a_5.

The characteristic equation r2=r+6r^2 = r + 6 has roots 33 and −2-2, so an=A⋅3n+B(−2)na_n = A \cdot 3^n + B(-2)^n. From a0=0a_0 = 0: B=−AB = -A. From a1=5a_1 = 5: 3A+2A=53A + 2A = 5, so A=1A = 1. Thus an=3n−(−2)na_n = 3^n - (-2)^n and a5=243+32=275a_5 = 243 + 32 = 275.

Check by direct computation: a2=5a_2 = 5, a3=35a_3 = 35, a4=65a_4 = 65, a5=65+210=275a_5 = 65 + 210 = 275.

Worked example: A periodic sequence

A sequence satisfies an+2=an+1−ana_{n+2} = a_{n+1} - a_n with a1=4a_1 = 4 and a2=7a_2 = 7. Find a1+a2+⋯+a100a_1 + a_2 + \dots + a_{100}.

The terms are 4,7,3,−4,−7,−3,4,7,…4, 7, 3, -4, -7, -3, 4, 7, \dots. The sequence has period 66, and each full period sums to 00. Since 100=6⋅16+4100 = 6 \cdot 16 + 4, the sum equals a1+a2+a3+a4=4+7+3−4=10a_1 + a_2 + a_3 + a_4 = 4 + 7 + 3 - 4 = 10.

Tip

To find the right telescoping form for a nonlinear recursion, try rewriting it in terms of 1an\dfrac{1}{a_n} or an−ca_n - c for a well-chosen constant cc. A good substitution often turns the recursion into bn+1=bn+(something simple)b_{n+1} = b_n + (\text{something simple}).

Practice

Practice 1

Find the positive integer nn such that

∑k=1n1k+k+1=30.\sum_{k=1}^{n}\frac{1}{\sqrt k + \sqrt{k+1}} = 30.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 2

The product (1−122)(1−132)⋯(1−11002)\left(1 - \dfrac1{2^2}\right)\left(1 - \dfrac1{3^2}\right)\cdots\left(1 - \dfrac1{100^2}\right) equals mn\dfrac mn in lowest terms. Find m+nm + n.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

The sum ∑k=192k+1k2(k+1)2\displaystyle\sum_{k=1}^{9}\frac{2k+1}{k^2(k+1)^2} equals mn\dfrac mn in lowest terms. Find m+nm + n.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

A sequence has a1=2a_1 = 2, a2=5a_2 = 5 and an+2=an+1ana_{n+2} = \dfrac{a_{n+1}}{a_n} for n≥1n \ge 1. The product a1a2a3⋯a2026a_1a_2a_3\cdots a_{2026} equals mn\dfrac mn in lowest terms. Find m+nm + n.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 5

A sequence has a0=2a_0 = 2, a1=5a_1 = 5 and an=5an−1−6an−2a_n = 5a_{n-1} - 6a_{n-2} for n≥2n \ge 2. Find the remainder when a20a_{20} is divided by 10001000.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 6

A sequence has a1=1a_1 = 1 and an+1=an1+nana_{n+1} = \dfrac{a_n}{1 + na_n} for n≥1n \ge 1. Find 1a45\dfrac{1}{a_{45}}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

The sum ∑k=1201k(k+1)(k+2)\displaystyle\sum_{k=1}^{20}\frac{1}{k(k+1)(k+2)} equals mn\dfrac mn in lowest terms. Find m+nm + n.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 8

A sequence has a1=2a_1 = 2 and an+1=an2−an+1a_{n+1} = a_n^2 - a_n + 1 for n≥1n \ge 1. Let S=1a1+1a2+⋯+1a10S = \dfrac1{a_1} + \dfrac1{a_2} + \dots + \dfrac1{a_{10}}. Find ⌊1000S⌋\lfloor 1000S \rfloor.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Real contest practice