Proving the Recursive Formula for an Using Induction

  • Thread starter Thread starter IntroAnalysis
  • Start date Start date
  • Tags Tags
    Induction
IntroAnalysis
Messages
58
Reaction score
0

Homework Statement


Define an = (an-1 + an-2)/2 for each positive integer ≥ 2. Use induction to show that: an+1 - an = (-1/2)n(a1 -a0)


Homework Equations


First show it is true for base case. Assume if it is true for (k), then show it is true for (k + 1).


The Attempt at a Solution


Base case n=1. Then a2 - a1 = (-1/2)1(a1 - a0) = (a0 - a1)/2
Check: a2 - a1 = (a1 + a0)/2 - a1 = (a1 + a0 - 2a1)/2 = (a0 - a1)/2.

So then do I assume that ak+1 - ak = (-1/2)k(a1 - a0)? Then what?
 
Physics news on Phys.org
so assume it is true for k-1,k as below (note you had the power wrong above)
a_k - a_{k-1} = (-1/2)^k(a_1 - a_0)

Now using that can you show
a_{k+1} - a_{k} = (-1/2)^{k+1}(a_1 - a_0)
 
No, I did not have the power wrong. This is from Introduction to Analysis, Gaughan, Prob. 23.

It says you may want to use induction to show that:
an+1 - an = (-1/2)^n(a1 - a0).
 
Got the induction part:

Assume ak+1 - ak = (-1/2)k(a1-a0), then

ak+2 - ak+1 = (ak+1 + ak)/2 -[(-1/2)k(a1 - a0) + ak]

= (ak+1 + ak - 2ak)/2 - [(-1/2)k(a1 - a0)]
= (ak+1 - ak)/2 - [(-1/2)k(a1 - a0)]
= (1/2)(-1/2)k(a1 - a0) - [(-1/2)k(a1 - a0)]
= -(-1/2)k+1(a1 - a0) - [(-1/2)k(a1 - a0)]
= (-1/2)k(a1 - a0)[1/2 - 1] = (-1/2)k+1(a1 - a0) as desired.

The rest of the proof uses Triangle Inequality Theorem.
 
Last edited:
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...

Similar threads

Back
Top