Let x_n be a sequence defined by x₁=1 and x_n+1=3x_n+[x_n√5] for all n=1,2,3... where [x] denotes the greatest integer that does not exceed x. Prove that for any positive integer n we have x_nx_n+2−x²_n+1=4^n-1
.

There are no comments yet.