返回题库

AIME 1984 · 第 8 题

AIME 1984 — Problem 8

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

The equation z6+z3+1=0z^6+z^3+1=0 has complex roots with argument θ\theta between 9090^\circ and 180180^\circ in the complex plane. Determine the degree measure of θ\theta.

解析

Solution 1

We shall introduce another factor to make the equation easier to solve. If rr is a root of z6+z3+1z^6+z^3+1, then 0=(r31)(r6+r3+1)=r910=(r^3-1)(r^6+r^3+1)=r^9-1. The polynomial x91x^9-1 has all of its roots with absolute value 11 and argument of the form 40m40m^\circ for integer mm (the ninth degree roots of unity). Now we simply need to find the root within the desired range that satisfies our original equation x6+x3+1=0x^6 + x^3 + 1 = 0.

This reduces θ\theta to either 120120^{\circ} or 160160^{\circ}. But θ\theta can't be 120120^{\circ} because if r=cos120+isin120r=\cos 120^\circ +i\sin 120^\circ, then r6+r3+1=3r^6+r^3+1=3. (When we multiplied by r31r^3 - 1 at the beginning, we introduced some extraneous solutions, and the solution with 120120^\circ was one of them.) This leaves θ=160\boxed{\theta=160}.

Solution 2

The substitution y=z3y=z^3 simplifies the equation to y2+y+1=0y^2+y+1 = 0. Applying the quadratic formula gives roots y=12±3i2y=-\frac{1}{2}\pm \frac{\sqrt{3}i}{2}, which have arguments of 120120 and 240,240, respectively. We can write them as z3=cos240+isin240z^3 = \cos 240^\circ + i\sin 240^\circ and z3=cos120+isin120z^3 = \cos 120^\circ + i\sin 120^\circ. So we can use De Moivre's theorem (which I would suggest looking at if you never heard of it before) to find the fractional roots of the expressions above! For cos240+isin240\cos 240^\circ + i\sin 240 we have (cos240+isin240)1/3(\cos 240^\circ + i\sin 240^\circ)^{1/3} \Rightarrow cos80+isin80,cos200+isin200,\cos 80^\circ + i\sin 80^\circ, \cos 200^\circ + i\sin200^\circ, and cos320+isin320.\cos 320^\circ + i\sin320^\circ. Similarly for (cos120+isin120)1/3(\cos 120^\circ + i\sin 120^\circ)^{1/3}, we have cos40+isin40,cos160+isin160,\cos 40^\circ + i\sin 40^\circ, \cos 160^\circ + i\sin 160^\circ, and cos280+isin280.\cos 280^\circ + i\sin 280^\circ. The only argument out of all these roots that fits the description is θ=160\theta = \boxed{160}

Note: We can add 120120 to the angles of the previous solutions to get new solutions because De Moivre's formula says that (cosθ+isinθ)n=cosnθ+isinnθ(\cos \theta + i \sin \theta)^n = \cos n\theta + i \sin n\theta and 3603=120\frac{360}{3} = 120. ~programmeruser

~ blueballoon

Solution 3

As in Solution 2, make the substitution u=z3u=z^3. Then we are left with u2+u+1=0u^2+u+1=0, and we would have the solutions e2π3i,e4π3i,e8π3i,e103πe^{\frac{2\pi}{3}i},e^{\frac{4\pi}{3}i},e^{\frac{8\pi}{3}i},e^{\frac{10}{3}\pi}. The latter two solutions are obtained by adding one extra revolution around the unit circle. (Notice how we omitted e6π3ie^{\frac{6\pi}{3}i}, since this would yield e2iπ=1e^{2i\pi}=1 and does not satisfy the equation.) Now, we substitute back, which gives us z3=e2π3i,e4π3i,e103π    z=e2π9i,e4π9i,e8π9i,e10π9iz^3=e^{\frac{2\pi}{3}i},e^{\frac{4\pi}{3}i},e^{\frac{10}{3}\pi}\implies z=e^{\frac{2\pi}{9}i},e^{\frac{4\pi}{9}i},e^{\frac{8\pi}{9}i},e^{\frac{10\pi}{9}i}. The only root in the range π2<θ<π\frac{\pi}{2}<\theta<\pi is achieved when θ=8π9=160\theta=\frac{8\pi}{9}=\boxed{160^\circ}. Note that there are 6 solutions to zz in this equation, and they are obtained by simply adding more revolutions around the unit circle and dividing by 3.