Four Claims About a Recurrence

Problem

A sequence {an}\{a_n\} satisfies an>0a_n>0 and

an2=2an+12−an+1(n∈N∗).a_n^2=2a_{n+1}^2-a_{n+1}\qquad(n\in\mathbb N^{*}).

Determine, with proof, which of the following claims are true.

1. If a1=12a_1=\dfrac 12, then an>an+1a_n>a_{n+1} for all nn. 2. If an<an+1a_n<a_{n+1} for all nn, then a1>1a_1>1. 3. a1+a5⩽2a3a_1+a_5\leqslant 2a_3. 4. ∣an+2−an+1∣⩽22∣an+1−an∣|a_{n+2}-a_{n+1}|\leqslant \dfrac{\sqrt 2}2|a_{n+1}-a_n| for all nn.

Answer

Solution

Difficulty8/10
TopicsMean Value Theorem, Monotonicity, Recursion, sequences, inequality

Whiteboard

Your sketch is saved only in this browser. To share it, export your drawing as an image (whiteboard menu → Export as → PNG), then upload that image in the comments below.

Discussion

Ask questions, share alternate solutions, and use LaTeX freely.

0 comments
Log in to join the discussion.

No comments yet.