SOLUTION: A sequence {𝑎𝑛} is defined by 𝑎1 = 2, 𝑎2 = 3 and 𝑎𝑛+2 = 3𝑎𝑛+1 − 2𝑎𝑛 for all 𝑛 = 1, 2, 3, …. Prove by mathematical induction that 𝑎𝑛 = 2

Algebra ->  Logarithm Solvers, Trainers and Word Problems -> SOLUTION: A sequence {𝑎𝑛} is defined by 𝑎1 = 2, 𝑎2 = 3 and 𝑎𝑛+2 = 3𝑎𝑛+1 − 2𝑎𝑛 for all 𝑛 = 1, 2, 3, …. Prove by mathematical induction that 𝑎𝑛 = 2      Log On


   



Question 1205174: A sequence {𝑎𝑛} is defined by 𝑎1 = 2, 𝑎2 = 3 and 𝑎𝑛+2 = 3𝑎𝑛+1 − 2𝑎𝑛 for all 𝑛 = 1, 2, 3, ….
Prove by mathematical induction that
𝑎𝑛 = 2^𝑛−1 + 1 for all 𝑛 = 1, 2, 3, ….

Found 2 solutions by math_tutor2020, ikleyn:
Answer by math_tutor2020(3817) About Me  (Show Source):
You can put this solution on YOUR website!

I assume that an = 2^n-1+1 refers to a%5Bn%5D+=+2%5E%28n-1%29%2B1
To make "n-1" the exponent, surround it in parenthesis.
You should write an = 2^(n-1)+1

Base case:
n = 1
a%5Bn%2B2%5D+=+3%2Aa%5Bn%2B1%5D-2%2Aa%5Bn%5D
a%5B1%2B2%5D+=+3%2Aa%5B1%2B1%5D-2%2Aa%5B1%5D
a%5B3%5D+=+3%2Aa%5B2%5D-2%2Aa%5B1%5D
a%5B3%5D+=+3%2A3-2%2A2
a%5B3%5D+=+5
and
a%5Bn%5D+=+2%5E%28n-1%29%2B1
a%5B1%5D+=+2%5E%281-1%29%2B1
a%5B1%5D+=+2
and
a%5Bn%5D+=+2%5E%28n-1%29%2B1
a%5B2%5D+=+2%5E%282-1%29%2B1
a%5B2%5D+=+3
and lastly
a%5Bn%5D+=+2%5E%28n-1%29%2B1
a%5B3%5D+=+2%5E%283-1%29%2B1
a%5B3%5D+=+5
The base case is done.

Inductive step:
Assume that a%5Bk%5D+=+2%5E%28k-1%29%2B1 for some integer k such that k > 3.
The goal is to show a%5Bk%2B1%5D+=+2%5E%28k%2B1-1%29%2B1+=+2%5Ek+%2B+1 based on that assumption.

A bit of scratch work off to the side
a%5Bk%5D+=+2%5E%28k-1%29%2B1
a%5Bk-1%5D+=+2%5E%28k-1-1%29%2B1
a%5Bk-1%5D+=+2%5E%28k-2%29%2B1

Now onto the inductive step
a%5Bn%2B2%5D+=+3%2Aa%5Bn%2B1%5D-2%2Aa%5Bn%5D

a%5Bk-1%2B2%5D+=+3%2Aa%5Bk-1%2B1%5D-2%2Aa%5Bk-1%5D Reindexing (replace each n with k-1)

a%5Bk%2B1%5D+=+3%2Aa%5Bk%5D-2%2Aa%5Bk-1%5D

a%5Bk%2B1%5D+=+3%2A%282%5E%28k-1%29%2B1%29-2%2A%282%5E%28k-2%29%2B1%29 Substitution. Use the inductive assumption shown above.

a%5Bk%2B1%5D+=+3%2A2%5E%28k-1%29%2B3-2%2A2%5E%28k-2%29-2

a%5Bk%2B1%5D+=+3%2A2%5E%28k-1%29-2%2A2%5E%28k-2%29%2B1

a%5Bk%2B1%5D+=+3%2A2%5Ek%2A2%5E%28-1%29-2%2A2%5Ek%2A2%5E%28-2%29%2B1

a%5Bk%2B1%5D+=+%283%2F2%29%2A2%5Ek-%281%2F2%29%2A2%5Ek%2B1

a%5Bk%2B1%5D+=+%283%2F2-1%2F2%29%2A2%5Ek%2B1

a%5Bk%2B1%5D+=+%281%29%2A2%5Ek%2B1

a%5Bk%2B1%5D+=+2%5Ek%2B1
This wraps up the inductive step and the induction proof is complete.

We have shown that the assumption a%5Bk%5D+=+2%5E%28k-1%29%2B1 leads to a%5Bk%2B1%5D+=+2%5Ek+%2B+1

Therefore, the recursive sequence
system%28a%5B1%5D+=+2%2C+a%5B2%5D+=+3%2C+a%5Bn%2B2%5D+=+3%2Aa%5Bn%2B1%5D-2%2Aa%5Bn%5D%29
has the closed form
a%5Bn%5D+=+2%5E%28n-1%29%2B1
A spreadsheet can be used to generate a list of examples.

Answer by ikleyn(52908) About Me  (Show Source):