If we take ceil and floor of $\sqrt{a(a+1)}$ we get $a$ and $a+1$ respectively. Is there an analog of this assuming roots exist in modular arithmetic (at least modulo primes)?