Problem:
For real number x let βxβ be the greatest integer less than or equal to x, and define {x}=xββxβ to be the fractional part of x. For example, {3}=0 and {4.56}=0.56. Define f(x)=x{x}, and let N be the number of real-valued solutions to the equation f(f(f(x)))=17 for 0β€xβ€2020. Find the remainder when N is divided by 1000.
Solution:
Let's look at x. Suppose nβ€x<n+1 for some integer n.
Notice how since {x} increases on the interval [n,n+1), and {x} also increases on the interval [n,n+1)
that f(x)=x{x} would also increase on this interval.
Now, let's examine the values that f takes on this interval more closely.
Notice that if we look at f(x) on the interval [n,n+1), that f(x)=x{x}=x(xβn).
Where x takes values on [n,n+1).
This function is unique as on this interval, f(x) can take on any value from 0 to n+1.
Thus, notice the way that f(x)=17 would have 1 solution, between [17,18), one between [18,19) all the way to [2019,2020)
So the number of solutions to f(x)=17 can be determined because there's one solution for βxβ=17,18,19,...,2019β2005 ways.
The unique part of this is that when examining
f(f(x))=17, that it can be determined uniquely based off the values of βxβ that would be some integer in the range [17,2019], follows by the value of βf(x)β, which would be another integer that is at most as large as x.
Thus, for f(f(f(x)))=17, we basically can find the number of solutions based off setting 3 values, particularly the value of βf(f(x))β,βf(x)β,βxβ, under the condition that
βf(f(x))ββ€βf(x)ββ€βxβ
This can be solved using stars and bars as the possible floors can be taken on integers based off the list {17,18,19,...,2019}.
Suppose a17β is the number of times 17 is chosen, and define a18β through a2019β similarly.
We have to solve the number of solutions to
a17β+a18β+...+a2019β=3β(2003β12003+3β1β)=(20022005β)=(32005β)β‘10βmod1000
The problems on this page are the property of the MAA's American Mathematics Competitions