Prove that for any positive integer n, the number
Sn=(02n+1)⋅22n+(22n+1)⋅22n−2⋅3+⋯+(2n2n+1)⋅3n is the sum of two consecutive perfect squares.
Dorin Andrica quadraticsmodular arithmeticinductionfloor functionbinomial coefficientsalgebraspecial factorizations