Difference between revisions of "1998 AIME Problems/Problem 13"

(See also: category)
m (boxed answer)
 
(6 intermediate revisions by 5 users not shown)
Line 1: Line 1:
 
== Problem ==
 
== Problem ==
If <math>\{a_1,a_2,a_3,\ldots,a_n\}</math> is a [[set]] of [[real numbers]], indexed so that <math>\displaystyle a_1 < a_2 < a_3 < \displaystyle  \cdots < a_n,</math> its complex power sum is defined to be <math>\displaystyle a_1i + a_2i^2 \displaystyle + a_3i^3 + \cdots + a_ni^n,</math> where <math>i^2 = - 1.</math>  Let <math>S_n</math> be the sum of the complex power sums of all nonempty [[subset]]s of <math>\displaystyle \{1,2,\ldots,n\}.</math>  Given that <math>S_8 = - 176 - 64i</math> and <math>\displaystyle  S_9 = p + qi,</math> were <math>p</math> and <math>q</math> are integers, find <math>|p| + |q|.</math>
+
If <math>\{a_1,a_2,a_3,\ldots,a_n\}</math> is a [[set]] of [[real numbers]], indexed so that <math>a_1 < a_2 < a_3 < \cdots < a_n,</math> its complex power sum is defined to be <math>a_1i + a_2i^2+ a_3i^3 + \cdots + a_ni^n,</math> where <math>i^2 = - 1.</math>  Let <math>S_n</math> be the sum of the complex power sums of all nonempty [[subset]]s of <math>\{1,2,\ldots,n\}.</math>  Given that <math>S_8 = - 176 - 64i</math> and <math> S_9 = p + qi,</math> where <math>p</math> and <math>q</math> are integers, find <math>|p| + |q|.</math>
  
 
== Solution ==
 
== 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 <math>9</math> in it is equal to the number of subsets without a <math>9</math>. To easily see this, take all possible subsets of <math>\displaystyle \{1,2,\ldots,8\}</math>. Since the sets are ordered, a <math>9</math> must go at the end; hence we can just append a <math>9</math> to any of those subsets to get a new one.  
+
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 <math>9</math> in it is equal to the number of subsets without a <math>9</math>. To easily see this, take all possible subsets of <math>\{1,2,\ldots,8\}</math>. Since the sets are ordered, a <math>9</math> must go at the end; hence we can just append a <math>9</math> 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 <math>9</math> to a subset doesn't change anything about that subset's complex power sum besides adding an additional term, we have that <math>S_9 = 2S_8 + T_9</math>, where <math>T_9</math> refers to the sum of all of the <math>9i^x</math>.  
 
Now that we have drawn that [[bijection]], we can calculate the complex power sum recursively. Since appending a <math>9</math> to a subset doesn't change anything about that subset's complex power sum besides adding an additional term, we have that <math>S_9 = 2S_8 + T_9</math>, where <math>T_9</math> refers to the sum of all of the <math>9i^x</math>.  
  
It a subset of size 1 has a 9, then its power sum must be <math>9i</math>, and there is only <math>1</math> of these such subsets. There are <math>{8\choose1}</math> with <math>9\cdot i^2</math>, <math>{8\choose2}</math> with <math>9\cdot i^3</math>, and so forth. So <math>T_9 = \displaystyle\sum_{k=0}^{8} 9{8\choose{k}}i^{k+1}</math>. This is exactly the [[binomial expansion]] of <math>9i \cdot (1+i)^8</math>. We can use [[De Moivre's Theorem]] to calculate the power: <math>(\sqrt{2})^8\cos{8\cdot45} = 16</math>. Hence <math>T_9 = 16\cdot9i = 144i</math>, and <math>S_9 = 2S_8 + 144i = 2(-176 -64i) + 144i = -352 + 16i</math>. Thus, <math>|p| + |q| = |-352| + |16| = 368</math>.
+
If a subset of size 1 has a 9, then its power sum must be <math>9i</math>, and there is only <math>1</math> of these such subsets. There are <math>{8\choose1}</math> with <math>9\cdot i^2</math>, <math>{8\choose2}</math> with <math>9\cdot i^3</math>, and so forth. So <math>T_9 =\sum_{k=0}^{8} 9{8\choose{k}}i^{k+1}</math>. This is exactly the [[binomial expansion]] of <math>9i \cdot (1+i)^8</math>. We can use [[De Moivre's Theorem]] to calculate the power: <math>(\sqrt{2})^8\cos{8\cdot45} = 16</math>. Hence <math>T_9 = 16\cdot9i = 144i</math>, and <math>S_9 = 2S_8 + 144i = 2(-176 -64i) + 144i = -352 + 16i</math>. Thus, <math>|p| + |q| = |-352| + |16| = \boxed{368}</math>.
 +
 
 +
== Video Solution ==
 +
https://youtu.be/cpzXYDvkZIg?si=6pv_9cwfpW0bhBId
 +
 
 +
~MathProblemSolvingSkills.com
 +
 
 +
 
  
 
== See also ==
 
== See also ==
Line 13: Line 20:
  
 
[[Category:Intermediate Algebra Problems]]
 
[[Category:Intermediate Algebra Problems]]
 +
{{MAA Notice}}

Latest revision as of 15:47, 14 September 2024

Problem

If $\{a_1,a_2,a_3,\ldots,a_n\}$ is a set of real numbers, indexed so that $a_1 < a_2 < a_3 < \cdots < a_n,$ its complex power sum is defined to be $a_1i + a_2i^2+ a_3i^3 + \cdots + a_ni^n,$ where $i^2 = - 1.$ Let $S_n$ be the sum of the complex power sums of all nonempty subsets of $\{1,2,\ldots,n\}.$ Given that $S_8 = - 176 - 64i$ and $S_9 = p + qi,$ where $p$ and $q$ are integers, find $|p| + |q|.$

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 $9$ in it is equal to the number of subsets without a $9$. To easily see this, take all possible subsets of $\{1,2,\ldots,8\}$. Since the sets are ordered, a $9$ must go at the end; hence we can just append a $9$ 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 $9$ to a subset doesn't change anything about that subset's complex power sum besides adding an additional term, we have that $S_9 = 2S_8 + T_9$, where $T_9$ refers to the sum of all of the $9i^x$.

If a subset of size 1 has a 9, then its power sum must be $9i$, and there is only $1$ of these such subsets. There are ${8\choose1}$ with $9\cdot i^2$, ${8\choose2}$ with $9\cdot i^3$, and so forth. So $T_9 =\sum_{k=0}^{8} 9{8\choose{k}}i^{k+1}$. This is exactly the binomial expansion of $9i \cdot (1+i)^8$. We can use De Moivre's Theorem to calculate the power: $(\sqrt{2})^8\cos{8\cdot45} = 16$. Hence $T_9 = 16\cdot9i = 144i$, and $S_9 = 2S_8 + 144i = 2(-176 -64i) + 144i = -352 + 16i$. Thus, $|p| + |q| = |-352| + |16| = \boxed{368}$.

Video Solution

https://youtu.be/cpzXYDvkZIg?si=6pv_9cwfpW0bhBId

~MathProblemSolvingSkills.com


See also

1998 AIME (ProblemsAnswer KeyResources)
Preceded by
Problem 12
Followed by
Problem 14
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. AMC logo.png