2020 AMC 12A Problems/Problem 25
The number , where and are relatively prime positive integers, has the property that the sum of all real numbers satisfying is , where denotes the greatest integer less than or equal to and denotes the fractional part of . What is ?
Let be the unique solution in this range. Note that is also a solution as long as , hence all our solutions are for some . This sum must be between and , which gives and . Plugging this back in gives .
First note that when while . Thus we only need to look at positive solutions ( doesn't affect the sum of the solutions). Next, we breakdown down for each interval , where is a positive integer. Assume , then . This means that when , . Setting this equal to gives We're looking at the solution with the positive , which is . Note that if is the greatest such that has a solution, the sum of all these solutions is slightly over , which is when , just under . Checking this gives ~ktong
Video Solution 1 (Geometry)
This video shows how things like The Pythagorean Theorem and The Law of Sines work together to solve this seemingly algebraic problem: https://www.youtube.com/watch?v=6IJ7Jxa98zw&feature=youtu.be
Video Solution 2
Video Solution 3 (by Art of Problem-Solving)
Created by Richard Rusczyk
Remarks of Solution 2 and Video Solution 3
We make the following table of values:
We graph by branches:
~MRENTHUSIASM (Graph by Desmos: https://www.desmos.com/calculator/ouvaiqjdzj)
For all positive integers the first nonzero solutions to are of the form where
Clearly, the equation has no negative solutions, and its positive solutions all satisfy Moreover, none of its solutions is an integer.
Note that the upper bounds of the branches of are along the line (excluded). To prove the claim, we wish to show that for each branch of there is exactly one solution for (from the branch to the branch containing the larger solution of ). In 8:07-11:31 of Video Solution 3 (Art of Problem-Solving), Mr. Rusczyk questions whether two solutions of can be in the same branch of and he concludes that it is impossible in 16:25-16:43.
We analyze the upper bound of Let be one solution of It is clear that We substitute this point to find
We substitute this result back to find By the way, using the precondition that is a root of we can factor its left side easily by the Factor Theorem.
Now, we perform casework:
It follows that the graphs of and only intersect at which is not on the graph of So, the equation has no solution in this case.
It follows that for the smaller solution is in the interval and holds for all
By the Intermediate Value Theorem, for each branch of where we have in between the left output and the right "output", namely Therefore, for the equation there is exactly one solution for each branch of where Now, the proof of the bolded sentence of paragraph 2 is complete.
This case uses the same argument as The smaller solution is in the interval and for each branch of where the equation has exactly one solution.
|2020 AMC 12A (Problems • Answer Key • Resources)|
|1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25|
|All AMC 12 Problems and Solutions|