Problem

Source: Romanian IMO Team Selection Test TST 1999, problem 3

Tags: quadratics, modular arithmetic, induction, floor function, binomial coefficients, algebra, special factorizations



Prove that for any positive integer $n$, the number \[ S_n = {2n+1\choose 0}\cdot 2^{2n}+{2n+1\choose 2}\cdot 2^{2n-2}\cdot 3 +\cdots + {2n+1 \choose 2n}\cdot 3^n \] is the sum of two consecutive perfect squares. Dorin Andrica