MathDB
perfect square belonging to an integer sequence

Source: Nordic Mathematical Contest 2013 #1

September 23, 2017
floor functionPerfect Squarenumber theoryInteger sequence

Problem Statement

Let (an)n1{(a_n)_{n\ge1}} be a sequence with a1=1{a_1 = 1} and an+1=an+an+12{a_{n+1} = \lfloor a_n +\sqrt{a_n}+\frac{1}{2}\rfloor } for all n1{n \ge 1}, where x{\lfloor x \rfloor} denotes the greatest integer less than or equal to x{x}. Find all n2013{n \le 2013} such that an{a_n} is a perfect square