MathDB
A problems related to floor function

Source: VMEO III

October 15, 2015
number theoryfloor functionalgebrafunction

Problem Statement

Prove that for all nZ+n\in\mathbb{Z}^+, we have p=1nq=1p1+8q+(2p1)22=n(n+1)(n+2)3 \sum\limits_{p=1}^n\sum\limits_{q=1}^p\left\lfloor -\frac{1+\sqrt{8q+(2p-1)^2}}{2}\right\rfloor =-\frac{n(n+1)(n+2)}{3}