Difference between revisions of "2020 AMC 12A Problems/Problem 25"
MRENTHUSIASM (talk | contribs) (→Proof: Proof completed.) |
MRENTHUSIASM (talk | contribs) m (→Proof) |
||
Line 67: | Line 67: | ||
Clearly, the equation <math>f(x)=g(x)</math> has no negative solutions, and its positive solutions all satisfy <math>x>1.</math>Moreover, none of its solutions is an integer. | Clearly, the equation <math>f(x)=g(x)</math> has no negative solutions, and its positive solutions all satisfy <math>x>1.</math>Moreover, none of its solutions is an integer. | ||
− | Note that the upper bounds of the branches of <math>f(x)</math> are along the line <math>h(x)=x-1</math> (excluded). We wish to show that for each branch of <math>f(x),</math> there is exactly one solution for <math>f(x)=g(x)</math> (from the branch <math>x\in(1,2)</math> to the branch containing the larger solution of <math>g(x)=h(x)</math>). <b>In 8:07-11:31 of [https://www.youtube.com/watch?v=7_mdreGBPvg&t=428s&ab_channel=ArtofProblemSolving Video Solution 3 (Art of Problem-Solving)], Mr. Rusczyk questions whether two solutions of <math> | + | Note that the upper bounds of the branches of <math>f(x)</math> are along the line <math>h(x)=x-1</math> (excluded). <i><b>We wish to show that for each branch of <math>\boldsymbol{f(x),}</math> there is exactly one solution for <math>\boldsymbol{f(x)=g(x)}</math> (from the branch <math>\boldsymbol{x\in(1,2)}</math> to the branch containing the larger solution of <math>\boldsymbol{g(x)=h(x)}</math>).</b></i> In 8:07-11:31 of [https://www.youtube.com/watch?v=7_mdreGBPvg&t=428s&ab_channel=ArtofProblemSolving Video Solution 3 (Art of Problem-Solving)], Mr. Rusczyk questions whether two solutions of <math>f(x)=g(x)</math> can be in the same branch of <math>f(x),</math> and he concludes that it is impossible in 16:25-16:43. |
We analyze the upper bound of <math>f(x):</math> Let <math>(c,c-1)</math> be one solution of <math>g(x)=h(x).</math> It is clear that <math>c>1.</math> We substitute this point to find <math>a:</math> | We analyze the upper bound of <math>f(x):</math> Let <math>(c,c-1)</math> be one solution of <math>g(x)=h(x).</math> It is clear that <math>c>1.</math> We substitute this point to find <math>a:</math> | ||
Line 97: | Line 97: | ||
It follows that for <math>g(x)=h(x),</math> the smaller solution <math>x=\frac{c}{c-1}</math> is in the interval <math>(1,2),</math> and <math>g(x)<h(x)</math> holds for all <math>x\in\left(\frac{c}{c-1},c\right).</math> | It follows that for <math>g(x)=h(x),</math> the smaller solution <math>x=\frac{c}{c-1}</math> is in the interval <math>(1,2),</math> and <math>g(x)<h(x)</math> holds for all <math>x\in\left(\frac{c}{c-1},c\right).</math> | ||
− | By the <b>Intermediate Value Theorem</b>, for each branch of <math>f(x),</math> where <math>x\in\left[c',c'+1\right),</math> we have <math>g(x)</math> in between the left output and the right "output", namely <math>0=f\left(c'\right)<g\left(c'\right)<c'.</math> Therefore, for the equation <math>f(x)=g(x),</math> there is exactly one solution for each branch of <math>f(x),</math> where <math>x\in\left(\frac{c}{c-1},c\right).</math> | + | By the <b>Intermediate Value Theorem</b>, for each branch of <math>f(x),</math> where <math>x\in\left[c',c'+1\right),</math> we have <math>g(x)</math> in between the left output and the right "output", namely <math>0=f\left(c'\right)<g\left(c'\right)<c'.</math> Therefore, for the equation <math>f(x)=g(x),</math> there is exactly one solution for each branch of <math>f(x),</math> where <math>x\in\left(\frac{c}{c-1},c\right).</math> Now, the proof of the bolded sentence of paragraph 2 is complete. |
<math>\textbf{Case (3): }\boldsymbol{\frac{c}{c-1}>c>1\Longrightarrow 1<c<2} \textbf{ and } \boldsymbol{\frac{c}{c-1}>1}.</math> | <math>\textbf{Case (3): }\boldsymbol{\frac{c}{c-1}>c>1\Longrightarrow 1<c<2} \textbf{ and } \boldsymbol{\frac{c}{c-1}>1}.</math> |
Revision as of 02:19, 8 March 2021
Contents
Problem
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 ?
Solution 1
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 .
Solution 2
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
https://www.youtube.com/watch?v=xex8TBSzKNE ~ MathEx
Video Solution 3 (by Art of Problem-Solving)
https://www.youtube.com/watch?v=7_mdreGBPvg&t=428s&ab_channel=ArtofProblemSolving
Created by Richard Rusczyk
Remarks of Solution 2 and Video Solution 3
Let and
Graph
We make the following table of values:
We graph by branches:
~MRENTHUSIASM (Graph by Desmos: https://www.desmos.com/calculator/ouvaiqjdzj)
Claim
For all positive integers the first nonzero solutions to are of the form where
~MRENTHUSIASM
Proof
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). 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.
~MRENTHUSIASM
See Also
2020 AMC 12A (Problems • Answer Key • Resources) | |
Preceded by Problem 24 |
Followed by Last Problem |
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 |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.