Difference between revisions of "2016 AIME I Problems/Problem 11"
(→Solution 1) |
(→Very Easy) |
||
(21 intermediate revisions by 6 users not shown) | |||
Line 3: | Line 3: | ||
==Solution 1== | ==Solution 1== | ||
− | Plug in <math>x=1</math> to get <math>(1-1)P(1+1) = 0 = (1+2)P(1) \Rightarrow P(1) = 0</math>. Plug in <math>x= | + | Plug in <math>x=1</math> to get <math>(1-1)P(1+1) = 0 = (1+2)P(1) \Rightarrow P(1) = 0</math>. Plug in <math>x=0</math> to get <math>(0-1)P(0+1) = (0+2)P(0)\Rightarrow P(0) = -\frac{1}{2}P(1) = 0</math>. Plug in <math>x=-1</math> to get <math>(-1-1)P(-1+1) = (-1+2)P(-1)\Rightarrow (-2)P(0)=P(-1)\Rightarrow P(-1) = 0</math>. So <math>P(x) = x(x-1)(x+1)Q(x)</math> for some polynomial <math>Q(x)</math>. Using the initial equation, once again, <cmath>(x-1)P(x+1) = (x+2)P(x)</cmath> |
<cmath>(x-1)((x+1)(x+1-1)(x+1+1)Q(x+1)) = (x+2)((x)(x-1)(x+1)Q(x))</cmath> | <cmath>(x-1)((x+1)(x+1-1)(x+1+1)Q(x+1)) = (x+2)((x)(x-1)(x+1)Q(x))</cmath> | ||
<cmath>(x-1)(x+1)(x)(x+2)Q(x+1) = (x+2)(x)(x-1)(x+1)Q(x)</cmath> | <cmath>(x-1)(x+1)(x)(x+2)Q(x+1) = (x+2)(x)(x-1)(x+1)Q(x)</cmath> | ||
<cmath>Q(x+1) = Q(x)</cmath> | <cmath>Q(x+1) = Q(x)</cmath> | ||
− | From here, we know that <math>Q(x) = C</math> for a constant <math>C</math>, so <math>P(x) = Cx(x-1)(x+1)</math>. We know that <math>\left(P(2)\right)^2 = P(3)</math>. Plugging those into our definition of <math>P(x)</math>: <math>(C \cdot 2 \cdot (2-1) \cdot (2+1))^2 = C \cdot 3 \cdot (3-1) \cdot (3+1) \Rightarrow (6C)^2 = 24C \Rightarrow 36C^2 - 24C = 0 \Rightarrow C = 0</math> or <math>\frac{2}{3}</math>. So we know that <math>P(x) = \frac{2}{3}x(x-1)(x+1)</math>. So <math>P(\frac{7}{2}) = \frac{2}{3} \cdot \frac{7}{2} \cdot (\frac{7}{2} - 1) \cdot (\frac{7}{2} + 1) = \frac{105}{4}</math>. Thus, the answer is <math>105 + 4 = \boxed{109}</math>. | + | From here, we know that <math>Q(x) = C</math> for a constant <math>C</math> (<math>Q(x)</math> cannot be periodic since it is a polynomial), so <math>P(x) = Cx(x-1)(x+1)</math>. We know that <math>\left(P(2)\right)^2 = P(3)</math>. Plugging those into our definition of <math>P(x)</math>: <math>(C \cdot 2 \cdot (2-1) \cdot (2+1))^2 = C \cdot 3 \cdot (3-1) \cdot (3+1) \Rightarrow (6C)^2 = 24C \Rightarrow 36C^2 - 24C = 0 \Rightarrow C = 0</math> or <math>\frac{2}{3}</math>. So we know that <math>P(x) = \frac{2}{3}x(x-1)(x+1)</math>. So <math>P(\frac{7}{2}) = \frac{2}{3} \cdot \frac{7}{2} \cdot (\frac{7}{2} - 1) \cdot (\frac{7}{2} + 1) = \frac{105}{4}</math>. Thus, the answer is <math>105 + 4 = \boxed{109}</math>. |
==Solution 2== | ==Solution 2== | ||
− | + | From the equation we see that <math>x-1</math> divides <math>P(x)</math> and <math>(x+2)</math> divides <math>P(x+1)</math> so we can conclude that <math>x-1</math> and <math>x+1</math> divide <math>P(x)</math> (if we shift the function right by 1, we get <math>(x-2)P(x) = (x+1)P(x-1)</math>, and from here we can see that <math>x+1</math> divides <math>P(x)</math>). This means that <math>1</math> and <math>-1</math> are roots of <math>P(x)</math>. Plug in <math>x = 0</math> and we see that <math>P(0) = 0</math> so <math>0</math> is also a root. | |
− | Suppose we had another root that is not those <math>3</math>. Notice that the equation above indicates that if <math>r</math> is a root then <math>r+1</math> and <math>r-1</math> is also a root. Then we'd get an infinite amount of roots! So that is bad. So we cannot have any other roots besides those three. | + | Suppose we had another root that is not one of those <math>3</math>. Notice that the equation above indicates that if <math>r</math> is a root then <math>r+1</math> and <math>r-1</math> is also a root. Then we'd get an infinite amount of roots! So that is bad. So we cannot have any other roots besides those three. |
That means <math>P(x) = cx(x-1)(x+1)</math>. We can use <math>P(2)^2 = P(3)</math> to get <math>c = \frac{2}{3}</math>. Plugging in <math>\frac{7}{2}</math> is now trivial and we see that it is <math>\frac{105}{4}</math> so our answer is <math>\boxed{109}</math> | That means <math>P(x) = cx(x-1)(x+1)</math>. We can use <math>P(2)^2 = P(3)</math> to get <math>c = \frac{2}{3}</math>. Plugging in <math>\frac{7}{2}</math> is now trivial and we see that it is <math>\frac{105}{4}</math> so our answer is <math>\boxed{109}</math> | ||
Line 20: | Line 20: | ||
==Solution 4== | ==Solution 4== | ||
− | + | Substituting <math>x=2</math> into the given equation, we find that <math>P(3)=4P(2)=P(2)^2</math>. Therefore, either <math>P(2)=0</math> or <math>P(2)=4</math>. Now for integers <math>n\ge 2</math>, we know that | |
<cmath>P(n+1)=\frac{n+2}{n-1}P(n).</cmath> | <cmath>P(n+1)=\frac{n+2}{n-1}P(n).</cmath> | ||
Applying this repeatedly, we find that | Applying this repeatedly, we find that | ||
<cmath>P(n+1)=\frac{(n+2)!/3!}{(n-1)!}P(2).</cmath> | <cmath>P(n+1)=\frac{(n+2)!/3!}{(n-1)!}P(2).</cmath> | ||
− | Therefore, | + | If <math>P(2)=0</math>, this shows that <math>P(x)</math> has infinitely many roots, meaning that <math>P(x)</math> is identically equal to zero. But this contradicts the problem statement. Therefore, <math>P(2)=4</math>, and we find <math>P(n+1)=\frac{2}{3}(n+2)(n+1)n</math> for all positive integers <math>n\ge2</math>. This cubic polynomial matches the values <math>P(n+1)</math> for infinitely many numbers, hence the two polynomials are identically equal. In particular, <math>P\left(\frac72\right)=\frac23\cdot\frac92\cdot\frac72\cdot\frac52=\frac{105}{4}</math>, and the answer is <math>\boxed{109}</math>. |
+ | |||
+ | ==Solution 5== | ||
+ | We can find zeroes of the polynomial by making the first given equation <math>0 = 0</math>. Plugging in <math>x = 1</math> and <math>x = -2</math> gives us the zeroes <math>1</math> and <math>-1</math>, respectively. Now we can plug in these zeros to get more zeroes. <math>x = -1</math> gives us the zero <math>0</math> (no pun intended). <math>x = 1</math> makes the equation <math>0 \cdot P(2) = 0</math>, which means <math>P(2)</math> is not necessarily <math>0</math>. If <math>P(2) = 0</math>, then plugging in <math>2</math> to the equation yields <math>P(3) = 0</math>, plugging in <math>3</math> to the equation yields <math>P(4) = 0</math>, and so on, a contradiction of "nonzero polynomial". So <math>2</math> is not a zero. Note that plugging in <math>x = 0</math> to the equation does not yield any additional zeros. Thus, the only zeroes of <math>P(x)</math> are <math>-1, 0,</math> and <math>1</math>, so <math>P(x) = a(x + 1)x(x - 1)</math> for some nonzero constant <math>a</math>. We can plug in <math>2</math> and <math>3</math> into the polynomial and use the second given equation to find an equation for <math>a</math>. <math>P(2) = 6a</math> and <math>P(3) = 24a</math>, so: | ||
+ | <cmath>(6a)^2 = 24a \implies 36a^2 = 24a \implies a = \frac23</cmath> | ||
+ | Plugging in <math>\frac72</math> into the polynomial <math>\frac23(x + 1)x(x - 1)</math> yields <math>\frac{105}{4}</math>. <math>105 + 4 = \boxed{109}</math>. | ||
+ | |||
+ | == Solution 6 == | ||
+ | |||
+ | Plug in <math>x=2</math> yields <math>P(3)=4P(2)</math>. Since also <math>(P(2))^2=P(3)</math>, we have <math>P(2)=4</math> and <math>P(3)=16</math>. Plug in <math>x=3</math> yields <math>2P(4)=5P(3)</math> so <math>P(4)=40</math>. | ||
+ | |||
+ | Repeat the action gives <math>P(2)=4</math>, <math>P(3)=16</math>, <math>P(4)=40</math>, <math>P(5)=80</math>, and <math>P(6)=140</math>. | ||
+ | |||
+ | Since <math>P(x)</math> is a polynomial, the <math>k</math>th difference is constant, where <math>k=\deg(P(x))</math>. Thus we can list out the 0th, 1st, 2nd, 3rd, ... differences until we obtain a constant. | ||
+ | |||
+ | <cmath>4,16,40,80,140</cmath> | ||
+ | <cmath>12,24,40,60</cmath> | ||
+ | <cmath>12,16,20</cmath> | ||
+ | <cmath>4,4,4</cmath> | ||
+ | |||
+ | Since the 3rd difference of <math>P(x)</math> is constant, we can conclude that <math>\deg(P(x))=3</math>. | ||
+ | |||
+ | Let <math>P(x)=a_3x^3+a_2x^2+a_1x+a_0</math>. Plug in the values for <math>x</math> and solve the system of 4 equations gives <math>(a_3,a_2,a_1,a_0)=(\frac{2}{3},0,-\frac{2}{3},0)</math> | ||
+ | |||
+ | Thus <math>P(x)=\frac{2}{3}x^3-\frac{2}{3}x</math> and <math>P(\frac{7}{2})=\frac{105}{4}\Longrightarrow m+n=\boxed{109}</math> | ||
+ | |||
+ | ~ Nafer | ||
== See also == | == See also == | ||
{{AIME box|year=2016|n=I|num-b=10|num-a=12}} | {{AIME box|year=2016|n=I|num-b=10|num-a=12}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Revision as of 13:00, 22 December 2021
Contents
Problem
Let be a nonzero polynomial such that for every real , and . Then , where and are relatively prime positive integers. Find .
Solution 1
Plug in to get . Plug in to get . Plug in to get . So for some polynomial . Using the initial equation, once again, From here, we know that for a constant ( cannot be periodic since it is a polynomial), so . We know that . Plugging those into our definition of : or . So we know that . So . Thus, the answer is .
Solution 2
From the equation we see that divides and divides so we can conclude that and divide (if we shift the function right by 1, we get , and from here we can see that divides ). This means that and are roots of . Plug in and we see that so is also a root.
Suppose we had another root that is not one of those . Notice that the equation above indicates that if is a root then and is also a root. Then we'd get an infinite amount of roots! So that is bad. So we cannot have any other roots besides those three.
That means . We can use to get . Plugging in is now trivial and we see that it is so our answer is
Solution 3
Although this may not be the most mathematically rigorous answer, we see that . Using a bit of logic, we can make a guess that has a factor of , telling us has a factor of . Similarly, we guess that has a factor of , which means has a factor of . Now, since and have so many factors that are off by one, we may surmise that when you plug into , the factors "shift over," i.e. , which goes to . This is useful because these, when divided, result in . If , then we get and , . This gives us and , and at this point we realize that there has to be some constant multiplied in front of the factors, which won't affect our fraction but will give us the correct values of and . Thus , and we utilize to find . Evaluating is then easy, and we see it equals , so the answer is
Solution 4
Substituting into the given equation, we find that . Therefore, either or . Now for integers , we know that Applying this repeatedly, we find that If , this shows that has infinitely many roots, meaning that is identically equal to zero. But this contradicts the problem statement. Therefore, , and we find for all positive integers . This cubic polynomial matches the values for infinitely many numbers, hence the two polynomials are identically equal. In particular, , and the answer is .
Solution 5
We can find zeroes of the polynomial by making the first given equation . Plugging in and gives us the zeroes and , respectively. Now we can plug in these zeros to get more zeroes. gives us the zero (no pun intended). makes the equation , which means is not necessarily . If , then plugging in to the equation yields , plugging in to the equation yields , and so on, a contradiction of "nonzero polynomial". So is not a zero. Note that plugging in to the equation does not yield any additional zeros. Thus, the only zeroes of are and , so for some nonzero constant . We can plug in and into the polynomial and use the second given equation to find an equation for . and , so: Plugging in into the polynomial yields . .
Solution 6
Plug in yields . Since also , we have and . Plug in yields so .
Repeat the action gives , , , , and .
Since is a polynomial, the th difference is constant, where . Thus we can list out the 0th, 1st, 2nd, 3rd, ... differences until we obtain a constant.
Since the 3rd difference of is constant, we can conclude that .
Let . Plug in the values for and solve the system of 4 equations gives
Thus and
~ Nafer
See also
2016 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 10 |
Followed by Problem 12 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.