Proving the Recursion Formula for $(x_n)$ Using Strong Induction

  • Context: MHB 
  • Thread starter Thread starter KOO
  • Start date Start date
  • Tags Tags
    Induction
Click For Summary

Discussion Overview

The discussion centers around proving the recursion formula for the sequence $(x_n)$ defined by the initial conditions and the recursive relation. Participants explore the use of strong induction to establish a closed form for the sequence, which is proposed to be $x_n = 2^n + 3^{n-1}$.

Discussion Character

  • Technical explanation
  • Homework-related
  • Debate/contested

Main Points Raised

  • One participant presents the recursion formula and attempts to prove the closed form using strong induction, verifying the base cases for $n=1$ and $n=2$.
  • Another participant questions the necessity of using induction, suggesting that there may be a simpler method to derive the closed form.
  • A subsequent reply confirms that the use of induction is required for the task at hand.
  • A later reply advises the first participant to distribute terms on the right side of the equation while noting a specific factorization related to the number 6.

Areas of Agreement / Disagreement

There is no consensus on the method of proof, as some participants advocate for induction while others suggest alternative approaches. The discussion remains unresolved regarding the best strategy to prove the formula.

Contextual Notes

Participants have not yet fully explored the implications of their proposed methods, and there may be missing assumptions regarding the sequence's properties or the requirements of the proof.

KOO
Messages
19
Reaction score
0
Let $(x_n)$ be a sequence given by the following recursion formula:

$$x_1 = 3, x_2 = 7,\text{ and }x_{n+1} = 5x_n - 6x_{n-1}$$

Prove that for all $n\in\Bbb N$, $x_n = 2^n + 3^{n-1}$.

Attempt:

For $n = 1$, we have $2^1 + 3^0 = 3 = x_1$ TRUE
For $n = 2$, we have $2^2 + 3^1 = 7 = x_2$ TRUE

Assume $x_k = 2^k + 3^{k-1}$ for some $k\in\Bbb N$.

Now, for $n = k+1$:

$$\begin{align*}
x_{k+1} &= 5x_k - 6x_{k-1}\\
&= 5\left(2^k + 3^{k-1}\right) - 6\left(2^{k-1} + 3^{k-2}\right)
\end{align*}$$

What Next?
 
Physics news on Phys.org
Are you required to use induction, or did you choose to do so, because there is a much simpler way to derive the closed form for the recursion.
 
MarkFL said:
Are you required to use induction, or did you choose to do so, because there is a much simpler way to derive the closed form for the recursion.

We are required to use induction.
 
Okay as your next step, I would distribute on the right side, keeping in mind that $6=2\cdot3$.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 17 ·
Replies
17
Views
2K