(1) The given expression can be rewritten as
an+1=an+2tn−12(tn+1−1)(an+1)−1.
Then
tn+1−1an+1+1=an+2tn−12(an+1)=tn−1an+1+2tn−12(an+1).
Let tn−1an+1=bn. Then bn+1=bn+22bn, with b1=t−1a1+1=t−12t−2=2.
Furthermore, bn+11=bn1+21, b11=21. Then
bn1=b11+(n−1)⋅21=2n.
Therefore, tn−1an+1=n2, which means an=n2(tn−1)−1.
(2) We have
an+1−an=n+12(tn+1−1)−n2(tn−1)=n(n+1)2(t−1)[n(1+t+⋯+tn−1+tn)−(n+1)(1+t+⋯+tn−1)]=n(n+1)2(t−1)[ntn−(1+t+⋯+tn−1)]=n(n+1)2(t−1)[(tn−1)+(tn−t)+⋯+(tn−tn−1)]=n(n+1)2(t−1)2[(tn−1+tn−2+⋯+1)+t(tn−2+tn−3+⋯+1)+⋯+tn−1].
It is obvious that an+1−an>0 for t>0 (t=1). Therefore, an+1>an.