1996 USAMO Problems/Problem 1
Prove that the average of the numbers is .
First, as we omit that term. Now, we multiply by to get, after using product to sum, . This simplifies to . Since this simplifies to . We multiplied by in the beginning, so we must divide by it now, and thus the sum is just , so the average is , as desired.
Notice that for every there exists a corresponding pair term , for not . Pairing gives the sum of all terms to be , and thus the average is We need to show that . Multiplying (*) by and using sum-to-product and telescoping gives . Thus, , as desired.
Solution 3 -hashtagmath
We know that the average of a list of numbers is the sum of all the terms, divided by the number of terms. So we will set up an average. This average will average to . So we can set it equal to . Doing so, gives us
We should try to simplify the numerator as it looks pretty messy.
Now we know that , so maybe we can use this to clear things up a bit. Applying this to gives us
Now, we know that , and and so on. We also know that , so we can omit the last term. Also, we know that . Thus . So we will use all these when we further simplify. Another thing that we can simplify is to notice that when we reach the term , we can rewrite it as . Thus we can rewrite everything in the form as , starting with the term , then , and so on.
Thus we can further simplify our equation. Doing so, gives us
Then, to make things easier, we can rewrite all the numbers with degrees less than and combine like terms. Doing so gives us
Now we can factor out to get
Then we can simplify it by getting rid of the denominator to get to
Now we notice that we can multiply both sides by . Doing so gives us
Now, simplifying doesn't look too promising. So maybe if we expand again, we can maybe somehow use our product to sum formulas.
Doing so, gives us
Now we can use our product of sines to sum formula and see if we can find a pattern.
We will start with expanding . Because the format of our formula for the product of sines is , we can factor out the and find the product, then multiply by . So, we are at . Our formula for the product of sines is . Plugging in our values into the formula and simplifying gives us . We know that will just cancel out to . So we are left with .
Next we expand . We use the same steps or strategy as we did above and get .
We may be noticing a pattern. Just to make sure it is true, we will expand . When we expand this using the same strategy above, we get . So our pattern is that
Now we notice that when we add and , and cancel themselves out to just . Then, when we add to it, and also cancel themselves out.
Now, we need to figure out when we should stop canceling out. We can use formula and replace with since is the last one in . Applying this formula and simplifying gives us , so the last term would be .
Thus we know that everything we cancel themselves out except the first and the last term. So, we are left with
Now we notice that we have on both sides. Thus we can subtract from both sides to get . Now we can add to both sides and get . Now we also know that . Thus we know that . Hence, our proof is complete.
|1996 USAMO (Problems • Resources)|
|1 • 2 • 3 • 4 • 5 • 6|
|All USAMO Problems and Solutions|