Steply

Solve a_n = -4a_(n-1) - 4a_(n-2), a_0 = 1, a_1 = 0

Step by step, with the reason for every step · Second-order recurrences · Discrete Math

Step by step

The question

Question: solve aₙ = -4aₙ₋₁ − 4aₙ₋₂, with a₀ = 1 and a₁ = 0.

an = −4an − 1 − 4an − 2, a0 = 1, a1 = 0

1 Everything on one side

Move everything to one side.

Each term changes its sign when it moves.

an + 4an − 1 + 4an − 2 = 0

2 The characteristic equation

Powers are good at this: try aₙ = x to the n, for some number x.

try an = xn

Put x to the n in for aₙ, x to the n minus 1 for aₙ₋₁, and so on.

xn + 4xn − 1 + 4xn − 2 = 0

Divide everything by x to the n minus 2: the powers drop to 2, 1 and 0.

This is the characteristic equation.

x2 + 4x + 4 = 0
÷ xn − 2 on both sides

Careful!

Watch the signs.

The terms moved to the left, so their signs changed.

Careful: not x2 + 4x − 4 = 0 ✗

3 Solve it

Factor: we need two numbers that multiply to 4 and add to 4: 2 and 2.

(x + 2)² = 0
2 × 2 = 4, 2 + 2 = 4

Both brackets are the same: one root, −2, twice.

x = −2 (twice)

4 The general form

With one root twice, the second part gets an extra n: A times −2 to the n, plus B times n times −2 to the n.

an = A × (−2)n + B × n × (−2)n

5 Use the start values

n = 0: the n in front makes the B part 0.

So A = 1.

A = 1 ①

n = 1: -2A + -2B = 0.

-2A + -2B = 0 ②

Put A = 1 in.

−2 + -2B = 0

Take away −2.

-2B = 2

Divide by -2: B = −1.

B = −1

So aₙ = (−2)ⁿ − n × (−2)ⁿ.

an = (−2)n − n × (−2)n

6 Check

Check a₂.

The rule: -4 times 0, minus 4 times 1: −4.

rule: a2 = -4 × 0 − 4 × 1 = −4

The formula with n = 2 gives −4 too.

Right!

formula: a2 = −4

Let's look back.

First: everything on one side.

Then: the characteristic equation.

Then: solve it.

Then: the general form.

Then: use the start values.

Last: check.

Answer
an = (−2)n − n × (−2)n

Your turn

Try this one yourself, then check:

Solve an4an − 1 − 4an − 2, a0 = 1, a1 = 4
Show the answer
an = 2n + n × 2n

More from Second-order recurrences

The whole lesson: Second-order recurrences →