Olympiad Maths Prep

Track / Stage 5 / 227 of 400 #827 of 2000

Problem 827

AIME late
Number theory Difficulty 5.5 Find the answer

15. For any real number xx, let x\lceil x\rceil denote the smallest integer that is greater than or equal to xx and x\lfloor x\rfloor denote the largest integer that is less than or equal to xx (for example, 1.23=2\lceil 1.23\rceil=2 and 1.23=1\lfloor 1.23\rfloor=1 ). Find the value of
k=12010[2010k2010k] \sum_{k=1}^{2010}\left[\frac{2010}{k}-\left\lfloor\frac{2010}{k}\right\rfloor\right] \text {. }

Official solution

15. Answer: 1994
Consider k=1,2,,2010k=1,2, \ldots, 2010. If k2010k \mid 2010, then x:=2010k2010k=0x:=\frac{2010}{k}-\left\lfloor\frac{2010}{k}\right\rfloor=0, so x=0\lceil x\rceil=0. If
k\2010k \backslash 2010, then 0<y:=2010k2010k<10<y:=\frac{2010}{k}-\left\lfloor\frac{2010}{k}\right\rfloor<1, so y=1\lceil y\rceil=1.
Since the prime factorization of 2010 is 2×3×5×672 \times 3 \times 5 \times 67, we see that 2010 has 16 distinct divisors. Hence
k=120102010k2010k=k:2010x+k,2010y= number of non-divisor of 2010 among k=201016=1994 \begin{aligned} \sum_{k=1}^{2010}\left\lceil\frac{2010}{k}-\left\lfloor\frac{2010}{k}\right\rfloor\right\rceil & =\sum_{k: 2010}\lceil x\rceil+\sum_{k, 2010}\lceil y\rceil \\ & =\text { number of non-divisor of } 2010 \text { among } k \\ & =2010-16=1994 \end{aligned}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.