The symbolism denotes the largest integer not exceeding . For example, and . Compute
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
Floor of sqrt(n) equals k for the 2k+1 integers from k^2 to (k+1)^2 - 1, so group the sum as 3 ones, 5 twos, 7 threes, and one 4.
Solution
exactly when . Split through by the perfect squares :
- : three terms, each equal to ;
- : five terms, each equal to ;
- : seven terms, each equal to ;
- : one term equal to .
Adding,
The answer is .
Why this works
A floor-of-root sum is constant on the blocks between consecutive perfect squares, and the block for value has members. Grouping equal terms turns sixteen evaluations into four multiplications, and the same block structure handles sums up to any bound (with a short final block when the bound is not one less than a square).
The trap
Miscounting a block's length as 2k instead of 2k+1, or treating 16 as a 3 rather than a 4.
Common mistakes
- Miscounting a block's length as instead of , or treating as a rather than a .
- Rounding square roots to the nearest integer instead of rounding down; for example, , not .
Techniques
Organized listing / direct enumeration · Compute small cases, spot the pattern, generalize