Guess rⁿ and see what r must be
Substituting turns the recurrence into a polynomial equation. Its roots are the geometric sequences that satisfy the recurrence.
For a linear homogeneous recurrence, substitute aₙ = rⁿ and solve the resulting polynomial. Distinct roots give a combination of geometric sequences; repeated roots need an extra factor of n.
Core ideas
The whole method rests on one guess — that the solution is geometric — and on the fact that solutions can be added.
Substituting turns the recurrence into a polynomial equation. Its roots are the geometric sequences that satisfy the recurrence.
If two sequences satisfy a linear homogeneous recurrence, so does any combination of them. The initial conditions pick the combination.
One root gives one solution, and two initial conditions need two free constants. n rⁿ supplies the second and does satisfy the recurrence.
The material
Derivation, the two cases, and the nonhomogeneous extension.
Take aₙ = c₁aₙ₋₁ + c₂aₙ₋₂ and try aₙ = rⁿ with r ≠ 0. Substituting gives rⁿ = c₁rⁿ⁻¹ + c₂rⁿ⁻², and dividing by rⁿ⁻² leaves
If r² − c₁r − c₂ = 0 has distinct roots r₁ ≠ r₂, then every solution of the recurrence has the form aₙ = A r₁ⁿ + B r₂ⁿ, and A, B are determined by the initial conditions.
If the characteristic equation has a single root r of multiplicity 2, then every solution has the form aₙ = (A + Bn) rⁿ.
Why the extra n? With one root there is only one geometric solution and only one free constant, which cannot generally satisfy two initial conditions. Substituting n rⁿ into the recurrence and using c₁ = 2r, c₂ = −r² (which is what a repeated root means) confirms it is also a solution.
aₙ = 4aₙ₋₁ − 4aₙ₋₂, a₀ = 1, a₁ = 4. Characteristic r² − 4r + 4 = (r − 2)² = 0, so aₙ = (A + Bn)2ⁿ. From a₀ = 1: A = 1. From a₁ = 4: (1 + B) · 2 = 4, so B = 1, and aₙ = (n + 1)2ⁿ. Check at a₂, which the fitting did not use: formula 3 · 4 = 12; recurrence 4 · 4 − 4 · 1 = 12. Had the n been forgotten, A·2ⁿ + B·2ⁿ is one constant C·2ⁿ, and a₀ demands C = 1 while a₁ demands C = 2 — the contradiction is how the missing factor announces itself.
Fₙ = Fₙ₋₁ + Fₙ₋₂ gives r² = r + 1, so r = (1 ± √5)/2. Writing φ and ψ for the two roots, Fₙ = Aφⁿ + Bψⁿ. From F₀ = 0 we get A + B = 0, and from F₁ = 1 we get Aφ + Bψ = 1, giving A = 1/√5, B = −1/√5. So Fₙ = (φⁿ − ψⁿ)/√5 — Binet's formula, which produces integers from irrational numbers at every n.
For aₙ = c₁aₙ₋₁ + ⋯ + c_k aₙ₋ₖ + f(n), the general solution is aₙ = (general solution of the homogeneous part) + (any one particular solution).
So the work is finding one particular solution. The standard approach is to guess a form matching f(n) and solve for its coefficients.
Hₙ = 2Hₙ₋₁ + 1. Homogeneous part: r = 2, so C·2ⁿ. Particular: try a constant A, giving A = 2A + 1, so A = −1. General solution Hₙ = C·2ⁿ − 1, and H₁ = 1 gives C = 1. So Hₙ = 2ⁿ − 1 — derived rather than guessed.
The collision case is worth a sentence. If f(n) = 2ⁿ and 2 is a root of the characteristic equation, then A·2ⁿ already solves the homogeneous equation and cannot produce the forcing term. Multiplying by n and trying A n 2ⁿ is the fix, exactly as with a repeated root.
Interactive
Iterated and solved, then compared
Method
Homogeneous part first, then a particular solution, then fit.
Replace aₙ₋ⱼ by r^{k−j} and set the polynomial to zero. Its degree is the order of the recurrence.
Distinct roots give A r₁ⁿ + B r₂ⁿ; a root of multiplicity m contributes (A₀ + A₁n + ⋯ + A_{m−1}n^{m−1}) rⁿ.
Guess a form matching f(n), substitute, and solve for the coefficients. Multiply by n if the guess collides with a root.
One linear equation per initial condition. Then check the closed form reproduces a term you did not use in the fitting.
Second order, homogeneous, distinct roots.
The check at a₂ used a term not involved in fitting the constants, which is what makes it a real check. Verifying a₀ and a₁ would only confirm the arithmetic of the fitting.
Solve aₙ = 6aₙ₋₁ − 9aₙ₋₂ with a₀ = 1, a₁ = 6, and check your closed form at a₃ against the recurrence. The repeated root makes this the case people get wrong.
Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.
No recommendations yet for this lesson.