MathDB
prove polynomial

Source: 2016 KJMO #5

November 14, 2016
polynomialnumber theoryalgebra

Problem Statement

nN+n \in \mathbb {N^+} Prove that the following equation can be expressed as a polynomial about nn. [21]+[22]+[23]+...+[2n2]\left[2\sqrt {1}\right]+\left[2\sqrt {2}\right]+\left[2\sqrt {3}\right]+ . . . +\left[2\sqrt {n^2}\right]