Difference between revisions of "1980 USAMO Problems/Problem 2"
Lopkiloinm (talk | contribs) (→Solution) |
Lopkiloinm (talk | contribs) (→Solution) |
||
Line 4: | Line 4: | ||
== Solution == | == Solution == | ||
− | Consider the first few cases for < | + | Consider the first few cases for <math>n</math> with the entire <math>n</math> numbers forming an arithmetic sequence <cmath>(1, 2, 3, \ldots, n)</cmath> |
− | If < | + | If <math>n = 3</math>, there will be one ascending triplet (123). Let's only consider the ascending order for now. |
− | If < | + | If <math>n = 4</math>, the first 3 numbers give 1 triplet, the addition of the 4 gives one more, for 2 in total. |
− | If < | + | If <math>n = 5</math>, the first 4 numbers give 2 triplets, and the 5th number gives 2 more triplets (135 and 345). |
− | Repeating a few more times, we can quickly see that if < | + | Repeating a few more times, we can quickly see that if <math>n</math> is even, the nth number will give <cmath>\frac{n}{2} - 1</cmath> more triplets in addition to all the prior triplets from the first <math>n-1</math> numbers. |
− | If < | + | If <math>n</math> is odd, the <math>n</math>th number will give <cmath>\frac{n-1}{2}</cmath> more triplets. |
− | Let f(n) denote the total number of triplets for < | + | Let <math>f(n)</math> denote the total number of triplets for <math>n</math> numbers. The above two statements are summarized as follows: |
− | <cmath>f(n) = f(n-1) + \frac{n}{2} - 1</cmath> | + | If <math>n</math> is even, <cmath>f(n) = f(n-1) + \frac{n}{2} - 1</cmath> |
− | <cmath>f(n) = f(n-1) + \frac{n-1}{2}</cmath> | + | If <math>n</math> is odd, <cmath>f(n) = f(n-1) + \frac{n-1}{2}</cmath> |
− | Let's obtain the closed form for when < | + | Let's obtain the closed form for when <math>n</math> is even: |
<cmath>f(n) = f(n-2) + n-2</cmath> | <cmath>f(n) = f(n-2) + n-2</cmath> | ||
<cmath>f(n) = f(n-4) + (n-2) + (n-4)</cmath> | <cmath>f(n) = f(n-4) + (n-2) + (n-4)</cmath> | ||
Line 20: | Line 20: | ||
<cmath>f(n) = \frac{n^2 - 2n}{4}</cmath> | <cmath>f(n) = \frac{n^2 - 2n}{4}</cmath> | ||
− | Now obtain the closed form when < | + | Now obtain the closed form when <math>n</math> is odd by using the previous result for when <math>n</math> is even |
<cmath>f(n) = f(n-1) + \frac{n-1}{2}</cmath> | <cmath>f(n) = f(n-1) + \frac{n-1}{2}</cmath> | ||
<cmath>f(n) = \frac{{(n-1)}^2 - 2(n-1)}{4} + \frac{n-1}{2} = \frac{{(n-1)}^2}{4}</cmath> | <cmath>f(n) = \frac{{(n-1)}^2 - 2(n-1)}{4} + \frac{n-1}{2} = \frac{{(n-1)}^2}{4}</cmath> | ||
We need to double the expression to account for the descending versions of each triple, to obtain: | We need to double the expression to account for the descending versions of each triple, to obtain: | ||
− | <cmath>f(n) = \frac{n^2 - 2n}{2}</cmath> | + | If <math>n</math> is even, <cmath>\boxed{f(n) = \frac{n^2 - 2n}{2}}</cmath> |
− | <cmath>f(n) = \frac{{(n-1)}^2}{ | + | If <math>n</math> is odd, <cmath>\boxed{f(n) = \frac{{(n-1)}^2}{2}}</cmath> ~Lopkiloinm |
== See Also == | == See Also == |
Revision as of 23:55, 12 July 2020
Problem
Find the maximum possible number of three term arithmetic progressions in a monotone sequence of distinct reals.
Solution
Consider the first few cases for with the entire numbers forming an arithmetic sequence If , there will be one ascending triplet (123). Let's only consider the ascending order for now. If , the first 3 numbers give 1 triplet, the addition of the 4 gives one more, for 2 in total. If , the first 4 numbers give 2 triplets, and the 5th number gives 2 more triplets (135 and 345). Repeating a few more times, we can quickly see that if is even, the nth number will give more triplets in addition to all the prior triplets from the first numbers. If is odd, the th number will give more triplets. Let denote the total number of triplets for numbers. The above two statements are summarized as follows: If is even, If is odd,
Let's obtain the closed form for when is even:
Now obtain the closed form when is odd by using the previous result for when is even
We need to double the expression to account for the descending versions of each triple, to obtain: If is even, If is odd, ~Lopkiloinm
See Also
1980 USAMO (Problems • Resources) | ||
Preceded by Problem 1 |
Followed by Problem 3 | |
1 • 2 • 3 • 4 • 5 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.