Difference between revisions of "2016 AIME II Problems/Problem 9"
(→Solution 2) |
(→Solution 2 (No trial and error)) |
||
Line 9: | Line 9: | ||
We have <math>a_k=r^{k-1}</math> and <math>b_k=(k-1)d</math>. First, <math>b_{k-1}<c_{k-1}=100</math> implies <math>d<100</math>, so <math>b_{k+1}<300</math>. | We have <math>a_k=r^{k-1}</math> and <math>b_k=(k-1)d</math>. First, <math>b_{k-1}<c_{k-1}=100</math> implies <math>d<100</math>, so <math>b_{k+1}<300</math>. | ||
− | It follows that <math>a_{k+1}=1000-b_{k+1}>700</math>, i.e., < | + | It follows that <math>a_{k+1}=1000-b_{k+1}>700</math>, i.e., <cmath>700 < r^k < 1000.</cmath> Moreover, since <math>k</math> is atleast <math>3</math> we get <math>r^3\le r^k <1000</math>, i.e. <math>r<10</math>. For every <math>r</math> in this range, define <math>i(r) = \max \{x : r^x < 700\}</math>, and define <math>j(r) = \min \{x : r^x > 1000\}</math>. We are looking for values of <math>r</math> such that <math>j(r) -i(r)>1</math>. Let's make a table: |
<cmath>\begin{array}[b]{ c c c c c c c c c } | <cmath>\begin{array}[b]{ c c c c c c c c c } | ||
r & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\[2ex] | r & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\[2ex] | ||
− | + | i(r) & 9 & 5 & 4 & 4 & 3 & 3 & 3 & 2\\[2ex] | |
− | + | j(r) & 10 & 7 & 5 & 5 & 4 & 4 & 4 & 4 | |
\end{array} </cmath> | \end{array} </cmath> | ||
− | The only admissible <math>r^ | + | The only admissible values for <math>r^k</math> are <math>\{3^6, 9^3\}</math>. However, since <math>100=c_{k-1}=r^{k-2}+(k-2)d+1</math>, we must have <math>(k-2)\mid 99-r^{k-2}</math>. This does not hold for <math>r^k=3^6</math> because <math>4</math> does not divide <math>99-3^4=18</math>. This leaves <math>r^k=9^3</math> as the only option. |
− | + | For <math>r=9</math> and <math>k=3</math>, we check: <math>a_{k-1}= a_2 = r =9</math> implies <math>b_{k-1}= b_2 = 91</math>, i.e. <math>d=90</math>. Then <math>a_{k+1}=a_4 = r^3 = 729</math> and <math>b_{k+1}=b_4 = 1+3d = 271</math> and <math>c_{k+1}=c_4=a_4+b_4 = 729+271=1000</math>; so it works! Then <math>c_k = c_3 = 9^2+181 = 262</math>. | |
− | |||
− | |||
== Solution 3== | == Solution 3== |
Revision as of 13:46, 6 December 2021
Contents
Problem
The sequences of positive integers and are an increasing arithmetic sequence and an increasing geometric sequence, respectively. Let . There is an integer such that and . Find .
Solution 1
Since all the terms of the sequences are integers, and 100 isn't very big, we should just try out the possibilities for . When we get to and , we have and , which works, therefore, the answer is .
Solution 2 (No trial and error)
We have and . First, implies , so .
It follows that , i.e., Moreover, since is atleast we get , i.e. . For every in this range, define , and define . We are looking for values of such that . Let's make a table: The only admissible values for are . However, since , we must have . This does not hold for because does not divide . This leaves as the only option.
For and , we check: implies , i.e. . Then and and ; so it works! Then .
Solution 3
Using the same reasoning ( isn't very big), we can guess which terms will work. The first case is , so we assume the second and fourth terms of are and . We let be the common ratio of the geometric sequence and write the arithmetic relationships in terms of .
The common difference is , and so we can equate: . Moving all the terms to one side and the constants to the other yields
, or . Simply listing out the factors of shows that the only factor less than a square that works is . Thus and we solve from there to get .
Solution by rocketscience
Solution 4 (More Robust Bash)
The reason for bashing in this context can also be justified by the fact 100 isn't very big.
Let the common difference for the arithmetic sequence be , and the common ratio for the geometric sequence be . The sequences are now , and . We can now write the given two equations as the following:
Take the difference between the two equations to get . Since 900 is divisible by 4, we can tell is even and is odd. Let , , where and are positive integers. Substitute variables and divide by 4 to get:
Because very small integers for yield very big results, we can bash through all cases of . Here, we set an upper bound for by setting as 3. After trying values, we find that , so . Testing out yields the correct answer of . Note that even if this answer were associated with another b value like , the value of can still only be 3 for all of the cases.
-Dankster42
See also
2016 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 8 |
Followed by Problem 10 | |
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.