Difference between revisions of "1996 AIME Problems/Problem 11"
(→Solution 1) |
Hashtagmath (talk | contribs) |
||
(10 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
+ | __TOC__ | ||
+ | |||
== Problem == | == Problem == | ||
Let <math>\mathrm {P}</math> be the product of the [[root]]s of <math>z^6+z^4+z^3+z^2+1=0</math> that have a positive [[imaginary]] part, and suppose that <math>\mathrm {P}=r(\cos{\theta^{\circ}}+i\sin{\theta^{\circ}})</math>, where <math>0<r</math> and <math>0\leq \theta <360</math>. Find <math>\theta</math>. | Let <math>\mathrm {P}</math> be the product of the [[root]]s of <math>z^6+z^4+z^3+z^2+1=0</math> that have a positive [[imaginary]] part, and suppose that <math>\mathrm {P}=r(\cos{\theta^{\circ}}+i\sin{\theta^{\circ}})</math>, where <math>0<r</math> and <math>0\leq \theta <360</math>. Find <math>\theta</math>. | ||
− | + | == Solution 1 == | |
− | |||
<cmath>\begin{eqnarray*} | <cmath>\begin{eqnarray*} | ||
0 &=& z^6 - z + z^4 + z^3 + z^2 + z + 1 = z(z^5 - 1) + \frac{z^5-1}{z-1}\\ | 0 &=& z^6 - z + z^4 + z^3 + z^2 + z + 1 = z(z^5 - 1) + \frac{z^5-1}{z-1}\\ | ||
Line 9: | Line 10: | ||
\end{eqnarray*}</cmath> | \end{eqnarray*}</cmath> | ||
− | |||
− | or <math>z^2 - z + 1 = 0 \Longrightarrow z = \frac{1 \pm \sqrt{-3}}{2} = \mathrm{cis}\ 60 | + | Thus <math>z^5 = 1, z \neq 1 \Longrightarrow z = \mathrm{cis}\ 72, 144, 216, 288</math>, |
+ | |||
+ | or <math>z^2 - z + 1 = 0 \Longrightarrow z = \frac{1 \pm \sqrt{-3}}{2} = \mathrm{cis}\ 60, 300</math> | ||
(see [[cis]]). | (see [[cis]]). | ||
Line 17: | Line 19: | ||
Discarding the roots with negative imaginary parts (leaving us with <math>\mathrm{cis} \theta,\ 0 < \theta < 180</math>), we are left with <math>\mathrm{cis}\ 60, 72, 144</math>; their product is <math>P = \mathrm{cis} (60 + 72 + 144) = \mathrm{cis} \boxed{276}</math>. | Discarding the roots with negative imaginary parts (leaving us with <math>\mathrm{cis} \theta,\ 0 < \theta < 180</math>), we are left with <math>\mathrm{cis}\ 60, 72, 144</math>; their product is <math>P = \mathrm{cis} (60 + 72 + 144) = \mathrm{cis} \boxed{276}</math>. | ||
− | + | == Solution 2 == | |
Let <math>w = </math> the fifth [[roots of unity]], except for <math>1</math>. Then <math>w^6 + w^4 + w^3 + w^2 + 1 = w^4 + w^3 + w^2 + w + 1 = 0</math>, and since both sides have the fifth roots of unity as roots, we have <math>z^4 + z^3 + z^2 + z + 1 | z^6 + z^4 + z^3 + z^2 + 1</math>. Long division quickly gives the other factor to be <math>z^2 - z + 1</math>. The solution follows as above. | Let <math>w = </math> the fifth [[roots of unity]], except for <math>1</math>. Then <math>w^6 + w^4 + w^3 + w^2 + 1 = w^4 + w^3 + w^2 + w + 1 = 0</math>, and since both sides have the fifth roots of unity as roots, we have <math>z^4 + z^3 + z^2 + z + 1 | z^6 + z^4 + z^3 + z^2 + 1</math>. Long division quickly gives the other factor to be <math>z^2 - z + 1</math>. The solution follows as above. | ||
− | + | == Solution 3 == | |
Divide through by <math>z^3</math>. We get the equation <math>z^3 + \frac {1}{z^3} + z + \frac {1}{z} + 1 = 0</math>. Let <math>x = z + \frac {1}{z}</math>. Then <math>z^3 + \frac {1}{z^3} = x^3 - 3x</math>. Our equation is then <math>x^3 - 3x + x + 1 = x^3 - 2x + 1 = (x - 1)(x^2 + x - 1) = 0</math>, with solutions <math>x = 1, \frac { - 1\pm\sqrt {5}}{2}</math>. For <math>x = 1</math>, we get <math>z = \text{cis}60,\text{cis}300</math>. For <math>x = \frac { - 1 + \sqrt {5}}{2}</math>, we get <math>z = \text{cis}{72},\text{cis}{292}</math> (using exponential form of <math>\cos</math>). For <math>x = \frac { - 1 - \sqrt {5}}{2}</math>, we get <math>z = \text{cis}144,\text{cis}216</math>. The ones with positive imaginary parts are ones where <math>0\le\theta\le180</math>, so we have <math>60 + 72 + 144 = \boxed{276}</math>. | Divide through by <math>z^3</math>. We get the equation <math>z^3 + \frac {1}{z^3} + z + \frac {1}{z} + 1 = 0</math>. Let <math>x = z + \frac {1}{z}</math>. Then <math>z^3 + \frac {1}{z^3} = x^3 - 3x</math>. Our equation is then <math>x^3 - 3x + x + 1 = x^3 - 2x + 1 = (x - 1)(x^2 + x - 1) = 0</math>, with solutions <math>x = 1, \frac { - 1\pm\sqrt {5}}{2}</math>. For <math>x = 1</math>, we get <math>z = \text{cis}60,\text{cis}300</math>. For <math>x = \frac { - 1 + \sqrt {5}}{2}</math>, we get <math>z = \text{cis}{72},\text{cis}{292}</math> (using exponential form of <math>\cos</math>). For <math>x = \frac { - 1 - \sqrt {5}}{2}</math>, we get <math>z = \text{cis}144,\text{cis}216</math>. The ones with positive imaginary parts are ones where <math>0\le\theta\le180</math>, so we have <math>60 + 72 + 144 = \boxed{276}</math>. | ||
+ | |||
+ | == Solution 4 == | ||
+ | This is just a slight variation of Solution 1. | ||
+ | |||
+ | We start off by adding <math>z^5</math> to both sides, to get a neat geometric sequence with <math>a = 1</math> and <math>r = z</math>, which gives us <math>\frac{z^7 - 1}{z - 1} = z^5</math>. From here, multiply by <math>z - 1</math> to both sides, noting that then <math>z \neq \cos 0 + i\sin 0</math> since, then we are multiplying by <math>0</math> which makes it undefined. We now note that <math>z^7 - 1 = z^6 - z^5 \implies z^7 - z^6 + z^5 = 1</math>. (This is the part that it becomes almost identical to Solution 1). Factor <math>z^5</math> from the LHS, to get <math>z^5( z^2 - z + 1) = 1</math>. Call the set of roots from <math>z^5</math> as <math>A</math>, and set of roots from <math>z^2 - z + 1</math> as <math>B</math>. We are to find <math>|A \cup B| = A + B - |A \cap B|</math>. (Essentially, we are to find the roots that are not common to both equations/sets, or else we are overcounting a root two times, rather than once. Try out some equation to see where this might apply) Thankfully in this case, none of the roots are overcounted. From here, proceed with Solution 1. | ||
+ | |||
+ | == Solution 5 == | ||
+ | We recognize that <math>z^6+z^5+z^4+z^3+z^2+z+1=\frac{z^7-1}{z-1}</math> and strongly wish for the equation to turn into so. Thankfully, we can do this by simultaneously adding and subtracting <math>z^5</math> and <math>z</math> as shown below. | ||
+ | <math>z^6+z^5+z^4+z^3+z^2+z+1-(z^5+z)=0\implies \frac{z^7-1}{z-1}-(z^5+z)=0</math> | ||
+ | |||
+ | Now, knowing that <math>z=1</math> is not a root, we multiply by <math>z-1</math> to obtain | ||
+ | <math>z^7-1-(z-1)(z^5+z)=0\implies z^7-1-(z^6+z^2-z^5-z)=0\implies z^7-z^6+z^5-z^2+z-1=0</math> | ||
+ | Now, we see the <math>z^2+z-1</math> and it reminds us of the sum of two cubes. Cleverly factoring, we obtain that.. | ||
+ | <math>z^5(z^2-z)+z^5-(z^2-z+1)=0\implies z^5(z^2-z+1)-(z^2-z+1)=0\implies (z^5-1)(z^2-z+1)=0</math>. | ||
+ | |||
+ | Now, it is clear that we have two cases to consider. | ||
+ | |||
+ | Case <math>1</math>: <math>z^5-1=0</math> | ||
+ | We obtain that <math>z^5=1</math> or <math>z^5=e^{2\pi{n}{i}}</math> | ||
+ | Obviously, the answers to this case are <math>e^{ia}, a\in{\frac{2\pi}{5}, \frac{4\pi}{5}}</math> | ||
+ | |||
+ | Case <math>2</math>: <math>z^2-z+1=0</math> | ||
+ | Completing the square and then algebra allows us to find that | ||
+ | <math>z=\frac{1}{2}\pm\frac{i\sqrt{3}}{2}</math> which has <math>\arg</math> <math>\frac{\pi}{3}</math> | ||
+ | |||
+ | Hence, the answer is <math>\frac{18\pi}{15}+\frac{5\pi}{15}=\frac{23\pi}{15}\cdot\frac{180}{\pi}=\boxed{276}</math> | ||
+ | |||
+ | ==Solution 6== | ||
+ | |||
+ | Add 1 to both sides of the equation to get <math>x^6+x^4+x^3+x^2+1+1=1</math>. We can rearrange to find that <math>(x^6+x^3+1)+(x^4+x^2+1)=1</math>. Then, using sum of a geometric series, <math>\frac{x^9-1}{x^3-1}+\frac{x^6-1}{x^2-1}=1</math>. | ||
+ | |||
+ | Combining the two terms of the LHS, we get that <math>\frac{x^{11}-x^9-x^2+1+x^9-x^6-x^3+1}{x^5-x^3-x^2+1}=1</math>, so <math>x^{11}-x^6-x^3-x^2+2=x^5-x^3-x^2+1</math>, and simplifying, we see that <math>x^{11}-x^6-x^5+1=0</math>, so by SFFT, <math>(x^6-1)(x^5-1)=0</math>. Then, the roots of our polynomial are the fifth and sixth roots of unity. However, looking back at our expression when it had fractions, we realize that if <math>x</math> is a second or third root of unity, it would cause a denominator to be zero, so the roots of our polynomial are the fifth and sixth roots of unity that are not the second or third roots of unity. The only roots in this category are <math>\mathrm{cis} (60, 72, 144)</math>, so our desired sum is <math>\boxed{276}</math>, and we are done. | ||
+ | |||
+ | -coolak | ||
== See also == | == See also == |
Latest revision as of 20:23, 17 April 2021
Contents
Problem
Let be the product of the roots of
that have a positive imaginary part, and suppose that
, where
and
. Find
.
Solution 1
Thus ,
or
(see cis).
Discarding the roots with negative imaginary parts (leaving us with ), we are left with
; their product is
.
Solution 2
Let the fifth roots of unity, except for
. Then
, and since both sides have the fifth roots of unity as roots, we have
. Long division quickly gives the other factor to be
. The solution follows as above.
Solution 3
Divide through by . We get the equation
. Let
. Then
. Our equation is then
, with solutions
. For
, we get
. For
, we get
(using exponential form of
). For
, we get
. The ones with positive imaginary parts are ones where
, so we have
.
Solution 4
This is just a slight variation of Solution 1.
We start off by adding to both sides, to get a neat geometric sequence with
and
, which gives us
. From here, multiply by
to both sides, noting that then
since, then we are multiplying by
which makes it undefined. We now note that
. (This is the part that it becomes almost identical to Solution 1). Factor
from the LHS, to get
. Call the set of roots from
as
, and set of roots from
as
. We are to find
. (Essentially, we are to find the roots that are not common to both equations/sets, or else we are overcounting a root two times, rather than once. Try out some equation to see where this might apply) Thankfully in this case, none of the roots are overcounted. From here, proceed with Solution 1.
Solution 5
We recognize that and strongly wish for the equation to turn into so. Thankfully, we can do this by simultaneously adding and subtracting
and
as shown below.
Now, knowing that is not a root, we multiply by
to obtain
Now, we see the
and it reminds us of the sum of two cubes. Cleverly factoring, we obtain that..
.
Now, it is clear that we have two cases to consider.
Case :
We obtain that
or
Obviously, the answers to this case are
Case :
Completing the square and then algebra allows us to find that
which has
Hence, the answer is
Solution 6
Add 1 to both sides of the equation to get . We can rearrange to find that
. Then, using sum of a geometric series,
.
Combining the two terms of the LHS, we get that , so
, and simplifying, we see that
, so by SFFT,
. Then, the roots of our polynomial are the fifth and sixth roots of unity. However, looking back at our expression when it had fractions, we realize that if
is a second or third root of unity, it would cause a denominator to be zero, so the roots of our polynomial are the fifth and sixth roots of unity that are not the second or third roots of unity. The only roots in this category are
, so our desired sum is
, and we are done.
-coolak
See also
1996 AIME (Problems • Answer Key • Resources) | ||
Preceded by Problem 10 |
Followed by Problem 12 | |
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.