Results 1 to 5 of 5

Math Help - Bounded and Monotone

  1. #1
    Member
    Joined
    Jul 2011
    Posts
    80

    Bounded and Monotone

    Suppose a0>1 and an(read: a sub n)=2-1/a(sub n-1), n is an element of the natural numbers. Show that the sequence {a(sub n)} from n=1 to infinity is bounded and monotone. Find the limit.

    Help, please!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Sep 2012
    From
    Washington DC USA
    Posts
    525
    Thanks
    146

    Re: Bounded and Monotone

    a_0>1. \ a_n = 2-\frac{1}{a_{n-1}}, n \in \{1, 2, ... \}

    It's almost always enlightening to simply write out the first few when given a recurrence formula:

    a_1 = 2-\frac{1}{a_{0}} = \frac{2a_0 - 1}{a_{0}}

    a_2 = 2-\frac{1}{a_{1}} = 2 + \frac{-1}{\left(\frac{2a_0 - 1}{a_{0}}\right)} = 2 + \frac{-a_0}{2a_0 - 1} = \frac{3a_0 - 2}{2a_0 - 1}

    a_3 = 2-\frac{1}{a_{2}} = 2 + \frac{-1}{\left(\frac{3a_0 - 2}{2a_0 - 1}\right)} = 2 + \frac{-2a_0 + 1}{3a_0 - 2} = \frac{4a_0 - 3}{3a_0 - 2}

    It's pretty obvious that the general form will be: a_n = \frac{(n+1)a_0 - n}{na_0 - (n-1)}, n \ge 1.

    Prove it by induction.

    Then the monotinicity is just a matter of algebra, and the limit is easy to compute.
    Last edited by johnsomeone; October 17th 2012 at 10:09 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Jul 2011
    Posts
    80

    Re: Bounded and Monotone

    I am having trouble proving by induction. How should I set that up?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member
    Joined
    Sep 2012
    From
    Washington DC USA
    Posts
    525
    Thanks
    146

    Re: Bounded and Monotone

    \text{If }a_n = 2-\frac{1}{a_{n-1}}, n \in \{1, 2, ... \}, \text{ and } a_0>1

    \text{then }a_n = \frac{(n+1)a_0 - n}{na_0 - (n-1)} \text{ for all } n \ge 1.

    \text{Proof: (by induction)}

    \text{Define }b_n = \frac{(n+1)a_0 - n}{na_0 - (n-1)} \text{ for all } n \ge 1.

    \text{The claim then is that } a_n = b_n \ \forall n \ge 1.

    \text{Have already shown that: }a_1 = \frac{2a_0 - 1}{a_{0}} = \frac{(1+1)a_0 - (1)}{(1)a_0 - (1-1)} = b_1,

    a_2 = \frac{3a_0 - 2}{2a_0 - 1} = \frac{(2+1)a_0 - (2)}{(2)a_0 - (2-1)} = b_2,

    \text{and } a_3 = \frac{4a_0 - 3}{3a_0 - 2} = \frac{(3+1)a_0 - (3)}{(3)a_0 - (3-1)} = b_3,

    \text{so have established the claim for }n = 1, n=2, \text{ and } n=3 \text{ (that's more than is needed.)}

    \text{Assume it's true for } n=k, \text{ for some } k \ge 1. \text{ Then }a_k = b_k.

    \text{Thus }a_k = \frac{(k+1)a_0 - k}{ka_0 - (k-1)}.

    \text{But by definition, have }a_{k+1} = 2-\frac{1}{a_{(k+1)-1}} = 2+\frac{-1}{a_k}.

    \text{Thus }a_{k+1} = 2+\frac{-1}{\left(\frac{(k+1)a_0 - k}{ka_0 - (k-1)}\right)}

    = 2+\frac{(-1)(ka_0 - (k-1))}{(k+1)a_0 - k}

    = \frac{2((k+1)a_0 - k)}{(k+1)a_0 - k} + \frac{-ka_0 + (k-1)}{(k+1)a_0 - k}

    = \frac{(2k+2)a_0 - 2k}{(k+1)a_0 - k} + \frac{-ka_0 + (k-1)}{(k+1)a_0 - k}

    = \frac{[ (2k+2)a_0 - 2k ] + [ -ka_0 + (k-1) ] }{(k+1)a_0 - k}

    = \frac{ (2k + 2 - k )a_0 + (- 2k + (k-1) ) }{(k+1)a_0 - k}

    = \frac{ (k + 2)a_0 + (- k - 1) }{(k+1)a_0 - k}

    = \frac{ ((k+1) + 1)a_0 - (k+1) }{(k+1)a_0 - ((k+1)-1)}

    = b_{k+1}.

    \text{Have proven that, for all }k \ge 1,  a_k = b_k \text{ implies that } a_{k+1} = b_{k+1}.

    \text{Since }a_1 = b_1, \text{ that proves by induction that } a_n = b_n \text{ for all } n \ge 1,

    \text{and so have proven that } a_n = \frac{(n+1)a_0 - n}{na_0 - (n-1)} \text{ for all } n \ge 1.
    Last edited by johnsomeone; October 21st 2012 at 03:14 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Jul 2011
    Posts
    80

    Re: Bounded and Monotone

    This helped so much. I was able to see where I went wrong. Thanks!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove that the sequence is monotone and bounded above
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: January 16th 2012, 06:11 AM
  2. Replies: 3
    Last Post: April 6th 2010, 08:49 AM
  3. 2 monotone bounded questions
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: November 15th 2009, 12:05 PM
  4. Replies: 4
    Last Post: October 12th 2009, 08:43 PM
  5. Cauchy/Monotone--Bounded
    Posted in the Calculus Forum
    Replies: 1
    Last Post: April 3rd 2007, 06:21 PM

Search Tags


/mathhelpforum @mathhelpforum