MathDB
M 2

Source:

May 25, 2007
floor functioninductionRecursive Sequences

Problem Statement

An integer sequence {an}n1\{a_{n}\}_{n \ge 1} is defined by a1=1,  an+1=an+an.a_{1}=1, \; a_{n+1}=a_{n}+\lfloor \sqrt{a_{n}}\rfloor. Show that ana_{n} is a square if and only if n=2k+k2n=2^{k}+k-2 for some kNk \in \mathbb{N}.