Let denote the greatest integer less than or equal to . How many real numbers satisfy the equation ?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Split x into whole part n and decimal part. Each interval from n to n + 1 has one solution when (n + 1) squared is below 10,000.
Solution
Move the terms around so the floor sits next to :
The quantity is the part of after its whole part, the "decimal part." For example, for it is , and for it is too (since ). It is always at least and less than .
1. Limit the size of . The decimal part is less than , so . That means is strictly between and .
2. Split . Write , where is a whole number and is the decimal part, . The equation becomes
For each whole number , ask how many from up to (not including) solve this.
3. Compare the two sides as goes from to . Let the "left" be and the "right" be .
- At : left , right . The left is at least as big.
- At : left , right .
If , the right side has overtaken the left by , so they are equal somewhere in between: one solution. (The right side climbs by as goes from to , far faster than the left side can change when is at most , so they cross only once.)
4. Which work? means is between and , not including the ends. So . That is
(For the solution is , that is , which does satisfy the equation.)
5. The edge case . Now exactly, so the two sides only meet at , meaning . But must be less than , and was already ruled out in step 1. So no solution here.
6. No other . Step 1 says is between and , so cannot be or less, or or more.
Total: solutions.
The answer is .
Why this works
Equations with a floor become ordinary equations once you fix the whole part and let only the decimal part vary. Then you just ask, interval by interval, whether a solution lands inside. Comparing the two sides at the ends of each interval answers that quickly. The real danger is at the edge, where the solution lands exactly on the boundary and does not count.
Alternative approach
Think of graphs. The equation says (decimal part of ) . The left side is a sawtooth: on each interval from to it climbs from almost to , then drops. The right side is a very flat U-shaped curve, below for between and . Each tooth crosses the curve once as long as the curve is still below at the tooth's right end, meaning . That is the teeth through , giving crossings. On the tooth from to the curve stays above the tooth.
The trap
Counting one solution for every whole part from -100 to 99 (200 in all). For n = 99 the only candidate is x = 100, which does not lie between 99 and 100.
Concise solution
Rewrite the equation as
where is the fractional part. So , forcing .
Write with an integer and . For a fixed we need a root of
Since , the two roots of have sum and product , so at most one root can lie in ; if one root is below the other exceeds .
Now and . When , i.e. , there is a sign change on and hence exactly one solution. This gives , which is integers (for the solution is , i.e. , which does satisfy the equation).
Boundary cases: gives , whose only small root is , not allowed. would force , excluded. Larger is impossible.
Total: solutions. The answer is .
Review in the AoPS books
- Introduction to Number Theory, Chapter 1: Integers: The Basics
- Introduction to Algebra, Chapter 10: Quadratic Equations – Part 1 (§10.2, §10.3, §10.4)
- Introduction to Algebra, Chapter 16: Functions
- Intermediate Algebra, Chapter 20: Some Advanced Strategies (§20.2)
Techniques
Bound the quantity above/below or estimate to pin it down · Substitute to simplify (u = x+1/x, shifting, scaling)