1998 AIME Problems/Problem 13
From AoPSWiki
Problem
If 
is a set of real numbers, indexed so that 
its complex power sum is defined to be 
where 
Let 
be the sum of the complex power sums of all nonempty subsets of 
Given that 
and 
were 
and 
are integers, find 
Solution
We note that the number of subsets (for now, including the empty subset, which we will just define to have a power sum of zero) with 
in it is equal to the number of subsets without a . To easily see this, take all possible subsets of 
. Since the sets are ordered, a must go at the end; hence we can just append a to any of those subsets to get a new one.
Now that we have drawn that bijection, we can calculate the complex power sum recursively. Since appending a to a subset doesn't change anything about that subset's complex power sum besides adding an additional term, we have that 
, where 
refers to the sum of all of the 
.
It a subset of size 1 has a 9, then its power sum must be 
, and there is only 
of these such subsets. There are 
with 
, 
with 
, and so forth. So 
. This is exactly the binomial expansion of 
. We can use De Moivre's Theorem to calculate the power: 
. Hence 
, and 
. Thus, 
.
See also
| 1998 AIME (Problems • Resources) | ||
| Preceded by Problem 12 | Followed by Problem 14 | |
| 1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
