Wednesday, 12 March 2014

real analysis - How to prove that an+1=1+fracanan+1 is monotone increasing with a1=1

This question has been driving me crazy, and I can't find the answer anywhere.



I tried proving it using induction.



As for the base case:




a1=1<1.5=a2



Next, suppose akak+1



Then,



akak+1
ak+1ak+1+1
1ak+11ak+1+1

akak+1akak+1+1
akak+1+1akak+1+1+1



My goal was to get
akak+1+1ak+1ak+1+1+1
ak+1ak+2



But obviously, I was not able to find a way.



I also tried a different inductive approach where I noted

ak+2=5an+33an+2
You can check that this is true by seeing you get the correct a3=1.6 using the given a1=1.



Assuming akak+1 I had that



ak1+anan+1
anan+1+1an2+4an+2an2+2an+1



From the assumption ak1+anan+1, we have that an2an+1, so
anan+1+1an2+4an+2an2+2an+1(an+1)+4an+2an2+2an+1=5an+3an2+2an+1




If only I could change the denominator the same way while keeping the direction of the inequality, I could substitute an+1 for an2 and I would get the desired 5an+33an+2, proving that ak+1ak+2 since ak+2=5an+33an+2.



How do I prove the sequence is monotonic increasing? Both of these routes did not get me to the answer.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...