Problem

Source: ELMO 2018 #5, 2018 ELMO SL A2

Tags: algebra



Let $a_1,a_2,\dots,a_m$ be a finite sequence of positive integers. Prove that there exist nonnegative integers $b,c,$ and $N$ such that $$\left\lfloor \sum_{i=1}^m \sqrt{n+a_i} \right\rfloor =\left\lfloor \sqrt{bn+c} \right\rfloor$$holds for all integers $n>N.$ Proposed by Carl Schildkraut