Difference between revisions of "Mock AIME II 2012 Problems/Problem 2"
Viperstrike (talk | contribs) (→Solution) |
Premchandj (talk | contribs) (→Solution) |
||
Line 9: | Line 9: | ||
The first perfect square less than <math>20^2</math> is <math>19^2=361</math>. Therefore <math>k=\sqrt{361}=19</math>. | The first perfect square less than <math>20^2</math> is <math>19^2=361</math>. Therefore <math>k=\sqrt{361}=19</math>. | ||
− | We present | + | We present three ways to finding <math>m</math>: |
'''Way 1:''' Now notice that, for <math> n\equiv1(\bmod3) </math>, we have <math> a_n=1 </math>. Also, the terms under the radical counts down one for every <math> a_n </math> such that <math> a_n\not\equiv1(\bmod3 ) </math>. The number of <math> n\equiv1(\bmod 3) </math> before a number <math> n </math> can be seen to be <math> \lceil \frac{n}{3}\rceil </math>. Therefore, we can see that <math> a_n=\sqrt{401-n+\lceil\frac{n}{3}\rceil} </math>. Setting this equal to <math> 19 </math>, we see that <math> n-\lceil\frac{n}{3}\rceil=40 </math>. We can see that both <math> n=60 </math> and <math> n=61 </math> satisfy this, however, since <math> 61\equiv1(\bmod3) </math>, we disregard this, and we find that <math> a_{60}=19 </math>, so <math>m=60</math>. | '''Way 1:''' Now notice that, for <math> n\equiv1(\bmod3) </math>, we have <math> a_n=1 </math>. Also, the terms under the radical counts down one for every <math> a_n </math> such that <math> a_n\not\equiv1(\bmod3 ) </math>. The number of <math> n\equiv1(\bmod 3) </math> before a number <math> n </math> can be seen to be <math> \lceil \frac{n}{3}\rceil </math>. Therefore, we can see that <math> a_n=\sqrt{401-n+\lceil\frac{n}{3}\rceil} </math>. Setting this equal to <math> 19 </math>, we see that <math> n-\lceil\frac{n}{3}\rceil=40 </math>. We can see that both <math> n=60 </math> and <math> n=61 </math> satisfy this, however, since <math> 61\equiv1(\bmod3) </math>, we disregard this, and we find that <math> a_{60}=19 </math>, so <math>m=60</math>. | ||
Line 17: | Line 17: | ||
<math>1, (20, \sqrt{399}, 1), (\sqrt{398}, \sqrt{397}, 1), (\sqrt{396}, \sqrt{395}, 1), \cdots (\sqrt{362}, \sqrt{361}, 1)</math>. Note that the number of these groups of three that we have is equal to the number of terms in the sequence <math>(361, 363, 365, \cdots 399)</math>. This has <math>\frac{399-359}{2}=20</math> terms in it. Before the last group, we have <math>19*3+1=58</math> terms, and <math>\sqrt{361}</math> is therefore the <math>60</math>th term, and <math>m=60</math>. | <math>1, (20, \sqrt{399}, 1), (\sqrt{398}, \sqrt{397}, 1), (\sqrt{396}, \sqrt{395}, 1), \cdots (\sqrt{362}, \sqrt{361}, 1)</math>. Note that the number of these groups of three that we have is equal to the number of terms in the sequence <math>(361, 363, 365, \cdots 399)</math>. This has <math>\frac{399-359}{2}=20</math> terms in it. Before the last group, we have <math>19*3+1=58</math> terms, and <math>\sqrt{361}</math> is therefore the <math>60</math>th term, and <math>m=60</math>. | ||
− | Both ways lead to <math>m=60</math> and <math>k=19</math>, so the answer is <math> 60+19=\boxed{ | + | Both ways lead to <math>m=60</math> and <math>k=19</math>, so the answer is <math> 60+19=\boxed{79} </math>. |
To show that no smaller sums can be created, note that the next perfect square will be <math>k=18</math> and will take more than <math>60+(19^2-18^2)=97</math> as the value of <math>m</math>, and hence all other perfect squares will take more than <math>97</math>, and we have <math>97+k</math> as our sum which is greater than <math>79</math> since <math>k\ge 2</math>. | To show that no smaller sums can be created, note that the next perfect square will be <math>k=18</math> and will take more than <math>60+(19^2-18^2)=97</math> as the value of <math>m</math>, and hence all other perfect squares will take more than <math>97</math>, and we have <math>97+k</math> as our sum which is greater than <math>79</math> since <math>k\ge 2</math>. | ||
− | + | "Way 3" | |
− | |||
We must ignore the cases where <math>a_n=1</math>, as required by the problem statement. Write <math>a_n=\sqrt{400-k}</math> for some integers <math>k,a_n</math>. We want to minimize <math>a_n+n</math>. Note if <math>a_n</math> is even (<math>k</math> is even) then <math>n=1.5k+2</math>, and if <math>a_n</math> is odd (<math>k</math> is odd), then <math>n=1.5k+1.5</math>. Rewrite <math>k=400-a_n^2</math> and note that <math>a_n</math> is at most <math>19</math>. In the case that <math>a_n</math> is odd, we have <math>a_n+n=a_n+1.5(400-a_n^2)+1.5</math>. This is a quadratic in <math>a_n</math> and is strictly decreasing for <math>a_n>0</math>, so to minimize we should choose <math>a_n=19</math>, which gives <math>a_n+n=79</math>. Do the case for <math>a_n</math> even as well, you find that <math>79</math> is the lowest. | We must ignore the cases where <math>a_n=1</math>, as required by the problem statement. Write <math>a_n=\sqrt{400-k}</math> for some integers <math>k,a_n</math>. We want to minimize <math>a_n+n</math>. Note if <math>a_n</math> is even (<math>k</math> is even) then <math>n=1.5k+2</math>, and if <math>a_n</math> is odd (<math>k</math> is odd), then <math>n=1.5k+1.5</math>. Rewrite <math>k=400-a_n^2</math> and note that <math>a_n</math> is at most <math>19</math>. In the case that <math>a_n</math> is odd, we have <math>a_n+n=a_n+1.5(400-a_n^2)+1.5</math>. This is a quadratic in <math>a_n</math> and is strictly decreasing for <math>a_n>0</math>, so to minimize we should choose <math>a_n=19</math>, which gives <math>a_n+n=79</math>. Do the case for <math>a_n</math> even as well, you find that <math>79</math> is the lowest. |
Revision as of 23:05, 5 October 2017
Problem
Let be a recursion defined such that , and where , and is an integer. If for being a positive integer greater than and being a positive integer greater than 2, find the smallest possible value of .
Solution
The sequence goes as follows: Note that this sequence repeats, because once we get to , we subtract from the number under the square root sign and take the square root of that, then when you take the difference of the squares of these two numbers, they have a difference of , so you get back to .
The first perfect square less than is . Therefore .
We present three ways to finding :
Way 1: Now notice that, for , we have . Also, the terms under the radical counts down one for every such that . The number of before a number can be seen to be . Therefore, we can see that . Setting this equal to , we see that . We can see that both and satisfy this, however, since , we disregard this, and we find that , so .
Way 2: Look at the sequence by grouping terms as follows:
. Note that the number of these groups of three that we have is equal to the number of terms in the sequence . This has terms in it. Before the last group, we have terms, and is therefore the th term, and .
Both ways lead to and , so the answer is .
To show that no smaller sums can be created, note that the next perfect square will be and will take more than as the value of , and hence all other perfect squares will take more than , and we have as our sum which is greater than since .
"Way 3"
We must ignore the cases where , as required by the problem statement. Write for some integers . We want to minimize . Note if is even ( is even) then , and if is odd ( is odd), then . Rewrite and note that is at most . In the case that is odd, we have . This is a quadratic in and is strictly decreasing for , so to minimize we should choose , which gives . Do the case for even as well, you find that is the lowest.