The Student Room Group

Subsequences are monotone

Hello!!! Given that a1>0a_{1}>0 and an+1=1+21+ana_{n+1}=1+\frac{2}{1+a_{n}}. I am asked to prove that the two subsequences a2ka_{2k} and a2k1a_{2k-1} are monotone, but I don't know how... :frown::s-smilie: Could you give me a hint how to start??
Reply 1
Original post by mathmari
Hello!!! Given that a1>0a_{1}>0 and an+1=1+21+ana_{n+1}=1+\frac{2}{1+a_{n}}. I am asked to prove that the two subsequences a2ka_{2k} and a2k1a_{2k-1} are monotone, but I don't know how... :frown::s-smilie: Could you give me a hint how to start??

prove a2ka2k10 a_{2k} - a_{2k-1} \leq 0
or
a2ka2k10a_{2k} - a_{2k-1} \geq 0
Reply 2
Original post by mathsguy1
prove a2ka2k10 a_{2k} - a_{2k-1} \leq 0
or
a2ka2k10a_{2k} - a_{2k-1} \geq 0



a2ka2k101+21+a2k1a2k101+a2k1+2a2k120a2k12a2k130a2k11+132 a_{2k} - a_{2k-1} \leq 0 \Rightarrow 1+\frac{2}{1+a_{2k-1}}-a_{2k-1} \leq 0 \Rightarrow 1+a_{2k-1}+2-a_{2k-1}^2 \leq 0 \Rightarrow a_{2k-1}^2-a_{2k-1}-3 \geq 0 \Rightarrow a_{2k-1} \geq \frac{1+\sqrt{13}}{2},
since an>0 a_{n} >0 for each n.

So how can I continue???
Reply 3
Original post by mathsguy1
prove a2ka2k10 a_{2k} - a_{2k-1} \leq 0
or
a2ka2k10a_{2k} - a_{2k-1} \geq 0


This is not correct. You have to prove that two separate sequences are monotone, not that alternate "steps" in the original sequence are all in the same direction. What you need is for the sequences.
Reply 4
Original post by BlueSam3
This is not correct. You have to prove that two separate sequences are monotone, not that alternate "steps" in the original sequence are all in the same direction. What you need is for the sequences.


How can I show this then??
Original post by mathmari
a2ka2k101+21+a2k1a2k101+a2k1+2a2k120a2k12a2k130a2k11+132 a_{2k} - a_{2k-1} \leq 0 \Rightarrow 1+\frac{2}{1+a_{2k-1}}-a_{2k-1} \leq 0 \Rightarrow 1+a_{2k-1}+2-a_{2k-1}^2 \leq 0 \Rightarrow a_{2k-1}^2-a_{2k-1}-3 \geq 0 \Rightarrow a_{2k-1} \geq \frac{1+\sqrt{13}}{2},
since an>0 a_{n} >0 for each n.

So how can I continue???

I think you've been given incorrect advice.

You wish to show that a2ka2(k1)a_{2k} - a_{2(k-1)} is either less than or equal to 0 or greater than or equal to 0 for the first subsequence sequence and that a2k1a2(k1)1a_{2k-1} - a_{2(k-1) - 1} is less than or equal to 0 or greater than or equal to 0 for the second sub sequence.

Also, what you've posted their you seem to have assumed what you were trying to prove and show it's correct, try starting with what you're given in the question and ending up with the identity :smile:
Reply 6
Original post by mathmari
How can I show this then??


You need to show that a2(k+1)a2ka_{2(k+1)} \geq a_{2k}, k\forall k, (or the opposite inequality), and the same for [tex]a_{2(k+1)+1} \geq a_{2k+1}, k\forall k, (or, again, the opposite inequality). There are two very standard ways of showing these things. Which looks easier in this case?
Reply 7
And to show for example that a2(k+1)+1a2k+1 a_{2(k+1)+1} \geq a_{2k+1} , I have to replace the relation given for an+1 a_{n+1} , right??
Reply 8
Original post by mathmari
And to show for example that a2(k+1)+1a2k+1 a_{2(k+1)+1} \geq a_{2k+1} , I have to replace the relation given for an+1 a_{n+1} , right??


Express a2(k+1)+1 a_{2(k+1)+1} in terms of a2k+1a_{2k+1}.
Reply 9
Original post by BlueSam3
Express a2(k+1)+1 a_{2(k+1)+1} in terms of a2k+1a_{2k+1}.
I wouldn't actually do that, although I'm partly speaking from the experience of having done very similar questions before.

Instead of worrying about a2k,a2k+1a_{2k}, a_{2k+1} etc., simply express

ak+2a_{k+2} in terms of aka_k and then consider ak+2aka_{k+2} - a_k.

Hint: At this point you may find it useful to represent a_k in terms of a_{k-2}.

Spoiler

Reply 10
I found the difference ak+2ak a_{k+2}-a_{k}.To show that the subsequences are monotone, the difference must have contant sign, or not? How can I show this??
Post what you have so far.
Reply 12
Original post by DFranklin
Post what you have so far.

I wrote the difference and I have this now:
an+2an=3an22+an a_{n+2}-a_{n}=\frac{3-a_{n}^2}{2+a_{n}} , how can I show that the sign is constant?
What I meant for you to do is to find an+2a_{n+2} in terms of ana_n, and (seperately) find ana_n in terms of an2a_{n-2}.

Use this to find an+2ana_{n+2} - a_n in terms of ana_n and an2a_{n-2}. You should then be easily able to show that the sign of an+2ana_{n+2}-a_n is the same as anan2a_n - a_{n-2}.
Reply 14
The advice you have been given by DFranklin is the best way to do this, but if all else fails proving it by induction will almost always work in these sorts of cases.
Reply 15
Thank you for your help!!!

Quick Reply

Latest