返回题库

AIME 1996 · 第 11 题

AIME 1996 — Problem 11

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Let P\mathrm {P} be the product of the roots of z6+z4+z3+z2+1=0z^6+z^4+z^3+z^2+1=0 that have a positive imaginary part, and suppose that P=r(cosθ+isinθ)\mathrm {P}=r(\cos{\theta^{\circ}}+i\sin{\theta^{\circ}}), where 0and0 and0\leq \theta <360.Find. Find\theta$.

解析

Solution 1

0=z6z+z4+z3+z2+z+1=z(z51)+z51z10=(z51)(z(z1)+1)z1=(z2z+1)(z51)z1\begin{aligned} 0 &=& z^6 - z + z^4 + z^3 + z^2 + z + 1 = z(z^5 - 1) + \frac{z^5-1}{z-1}\\ 0 &=& \frac{(z^5 - 1)(z(z-1)+1)}{z-1} = \frac{(z^2-z+1)(z^5-1)}{z-1} \end{aligned} Thus z5=1,z1z=cis 72,144,216,288z^5 = 1, z \neq 1 \Longrightarrow z = \mathrm{cis}\ 72, 144, 216, 288,

or z2z+1=0z=1±32=cis 60,300z^2 - z + 1 = 0 \Longrightarrow z = \frac{1 \pm \sqrt{-3}}{2} = \mathrm{cis}\ 60, 300

(see cis).

Discarding the roots with negative imaginary parts (leaving us with cisθ, 0<θ<180\mathrm{cis} \theta,\ 0 < \theta < 180), we are left with cis 60,72,144\mathrm{cis}\ 60, 72, 144; their product is P=cis(60+72+144)=cis276P = \mathrm{cis} (60 + 72 + 144) = \mathrm{cis} \boxed{276}.

Solution 2

Let w=w = the fifth roots of unity, except for 11. Then w6+w4+w3+w2+1=w4+w3+w2+w+1=0w^6 + w^4 + w^3 + w^2 + 1 = w^4 + w^3 + w^2 + w + 1 = 0, and since both sides have the fifth roots of unity as roots, we have z4+z3+z2+z+1z6+z4+z3+z2+1z^4 + z^3 + z^2 + z + 1 | z^6 + z^4 + z^3 + z^2 + 1. Long division quickly gives the other factor to be z2z+1z^2 - z + 1. The solution follows as above.

Solution 3

Divide through by z3z^3. We get the equation z3+1z3+z+1z+1=0z^3 + \frac {1}{z^3} + z + \frac {1}{z} + 1 = 0. Let x=z+1zx = z + \frac {1}{z}. Then z3+1z3=x33xz^3 + \frac {1}{z^3} = x^3 - 3x. Our equation is then x33x+x+1=x32x+1=(x1)(x2+x1)=0x^3 - 3x + x + 1 = x^3 - 2x + 1 = (x - 1)(x^2 + x - 1) = 0, with solutions x=1,1±52x = 1, \frac { - 1\pm\sqrt {5}}{2}. For x=1x = 1, we get z=cis60,cis300z = \text{cis}60,\text{cis}300. For x=1+52x = \frac { - 1 + \sqrt {5}}{2}, we get z=cis72,cis292z = \text{cis}{72},\text{cis}{292} (using exponential form of cos\cos). For x=152x = \frac { - 1 - \sqrt {5}}{2}, we get z=cis144,cis216z = \text{cis}144,\text{cis}216. The ones with positive imaginary parts are ones where 0θ1800\le\theta\le180, so we have 60+72+144=27660 + 72 + 144 = \boxed{276}.

Solution 4

This is just a slight variation of Solution 1.

We start off by adding z5z^5 to both sides, to get a neat geometric sequence with a=1a = 1 and r=zr = z, which gives us z71z1=z5\frac{z^7 - 1}{z - 1} = z^5. From here, multiply by z1z - 1 to both sides, noting that then zcos0+isin0z \neq \cos 0 + i\sin 0 since, then we are multiplying by 00 which makes it undefined. We now note that z71=z6z5    z7z6+z5=1z^7 - 1 = z^6 - z^5 \implies z^7 - z^6 + z^5 = 1. (This is the part that it becomes almost identical to Solution 1). Factor z5z^5 from the LHS, to get z5(z2z+1)=1z^5( z^2 - z + 1) = 1. Call the set of roots from z5z^5 as AA, and set of roots from z2z+1z^2 - z + 1 as BB. We are to find AB=A+BAB|A \cup B| = A + B - |A \cap B|. (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 z6+z5+z4+z3+z2+z+1=z71z1z^6+z^5+z^4+z^3+z^2+z+1=\frac{z^7-1}{z-1} and strongly wish for the equation to turn into so. Thankfully, we can do this by simultaneously adding and subtracting z5z^5 and zz as shown below. z6+z5+z4+z3+z2+z+1(z5+z)=0    z71z1(z5+z)=0z^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

Now, knowing that z=1z=1 is not a root, we multiply by z1z-1 to obtain z71(z1)(z5+z)=0    z71(z6+z2z5z)=0    z7z6+z5z2+z1=0z^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 Now, we see the z2+z1z^2+z-1 and it reminds us of the sum of two cubes. Cleverly factoring, we obtain that.. z5(z2z)+z5(z2z+1)=0    z5(z2z+1)(z2z+1)=0    (z51)(z2z+1)=0z^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.

Now, it is clear that we have two cases to consider.

Case 11: z51=0z^5-1=0 We obtain that z5=1z^5=1 or z5=e2πniz^5=e^{2\pi{n}{i}} Obviously, the answers to this case are eia,a2π5,4π5e^{ia}, a\in{\frac{2\pi}{5}, \frac{4\pi}{5}}

Case 22: z2z+1=0z^2-z+1=0 Completing the square and then algebra allows us to find that z=12±i32z=\frac{1}{2}\pm\frac{i\sqrt{3}}{2} which has arg\arg π3\frac{\pi}{3}

Hence, the answer is 18π15+5π15=23π15180π=276\frac{18\pi}{15}+\frac{5\pi}{15}=\frac{23\pi}{15}\cdot\frac{180}{\pi}=\boxed{276}

Solution 6

Add 1 to both sides of the equation to get x6+x4+x3+x2+1+1=1x^6+x^4+x^3+x^2+1+1=1. We can rearrange to find that (x6+x3+1)+(x4+x2+1)=1(x^6+x^3+1)+(x^4+x^2+1)=1. Then, using sum of a geometric series, x91x31+x61x21=1\frac{x^9-1}{x^3-1}+\frac{x^6-1}{x^2-1}=1.

Combining the two terms of the LHS, we get that x11x9x2+1+x9x6x3+1x5x3x2+1=1\frac{x^{11}-x^9-x^2+1+x^9-x^6-x^3+1}{x^5-x^3-x^2+1}=1, so x11x6x3x2+2=x5x3x2+1x^{11}-x^6-x^3-x^2+2=x^5-x^3-x^2+1, and simplifying, we see that x11x6x5+1=0x^{11}-x^6-x^5+1=0, so by SFFT, (x61)(x51)=0(x^6-1)(x^5-1)=0. 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 xx 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 cis(60,72,144)\mathrm{cis} (60, 72, 144), so our desired sum is 276\boxed{276}, and we are done.

-coolak

Solution 7

Take accout of the Z3Z^3 and use the formula (xn1)(xm+xmn+...+1)=xm+n1(x^n-1)(x^m+x^{m-n}+...+1) = x^{m+n}-1

Then factorise the function to solve Z5=1Z^5=1, Z31Z^3 \neq 1, Z21Z^2 \neq 1

~JiYang