Given a sequence of positive terms {an} that satisfies a1=2, an+12+2an+1=an+2, n∈N∗.
(I) Prove that (an+2−an+1) and (an+1−an) have the same sign, and an+1<an;
(II) Prove that ∣an+1−1∣<41∣an−1∣, n∈N∗;
(III) Prove that ∣a1−1∣+∣a2−1∣+∣a3−1∣+⋯+∣an−1∣<34, n∈N∗.
Solution
Proof: (I) From an+12+2an+1=an+2 (1), we get an+22+2an+2=an+1+2 (2).
Subtracting equation (1) from equation (2), we obtain (an+22−an+12)+2(an+2−an+1)=an+1−an, which simplifies to (an+2−an+1)(an+2+an+1+2)=an+1−an.
Since an>0, (an+2−an+1) and (an+1−an) have the same sign.
As (a2+1)2=a1+3=5, we have a2=5−1, and (a2−a1)=5−30, we have an−1>0, which means an>1.
As a result, (an+1+3)>4, and an+1+31<41. Thus, ∣an+1−1∣<41∣an−1∣.
(III) From (II), we know that when n⩾2, ∣an−1∣=∣a1−1∣×∣a1−1∣∣a2−1∣×∣a2−1∣∣a3−1∣×⋯×∣an−1−1∣∣an−1∣<4n−11∣a1−1∣=4n−11.