返回题库

AIME 2000 II · 第 9 题

AIME 2000 II — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Given that zz is a complex number such that z+1z=2cos3z+\frac 1z=2\cos 3^\circ, find the least integer that is greater than z2000+1z2000z^{2000}+\frac 1{z^{2000}}.

解析

Solution

Using the quadratic equation on z2(2cos3)z+1=0z^2 - (2 \cos 3 )z + 1 = 0, we have z=2cos3±4cos2342=cos3±isin3=cis3z = \frac{2\cos 3 \pm \sqrt{4\cos^2 3 - 4}}{2} = \cos 3 \pm i\sin 3 = \text{cis}\,3^{\circ}.

There are other ways we can come to this conclusion. Note that if zz is on the unit circle in the complex plane, then z=eiθ=cosθ+isinθz = e^{i\theta} = \cos \theta + i\sin \theta and 1z=eiθ=cosθisinθ\frac 1z= e^{-i\theta} = \cos \theta - i\sin \theta. We have z+1z=2cosθ=2cos3z+\frac 1z = 2\cos \theta = 2\cos 3^\circ and θ=3\theta = 3^\circ. Alternatively, we could let z=a+biz = a + bi and solve to get z=cos3+isin3z=\cos 3^\circ + i\sin 3^\circ.

Using De Moivre's Theorem we have z2000=cos6000+isin6000z^{2000} = \cos 6000^\circ + i\sin 6000^\circ, 6000=16(360)+2406000 = 16(360) + 240, so z2000=cos240+isin240z^{2000} = \cos 240^\circ + i\sin 240^\circ.

We want z2000+1z2000=2cos240=1z^{2000}+\frac 1{z^{2000}} = 2\cos 240^\circ = -1.

Finally, the least integer greater than 1-1 is 000\boxed{000}.

Solution 2

Let z=reiθz=re^{i\theta}. Notice that we have 2cos(3)=eiπ60+eiπ60=reiθ+1reiθ.2\cos(3^{\circ})=e^{i\frac{\pi}{60}}+e^{-i\frac{\pi}{60}}=re^{i\theta}+\frac{1}{r}e^{-i\theta}.

rr must be 11 (or if you take the magnitude would not be the same). Therefore, z=eiπθz=e^{i\frac{\pi}{\theta}} and plugging into the desired expression, we get ei100π3+ei100π3=2cos100π3=1e^{i\frac{100\pi}{3}}+e^{-i\frac{100\pi}{3}}=2\cos{\frac{100\pi}{3}}=-1. Therefore, the least integer greater is 000.\boxed{000}.

~solution by williamgolly

Solution 3 Intuitive

For this solution, we assume that z2000+1/z2000z^{2000} + 1/z^{2000} and z2048+1/z2048z^{2048} + 1/z^{2048} has the same least integer greater than their solution.

We have z+1/z=2cos3z + 1/z = 2\cos 3. Since cos3<1\cos 3<1, 2cos3<22\cos 3<2. If we square the equation z+1/z=2cos3z + 1/z = 2\cos 3, we get z2+2+1/(z2)=4cos23z^2 + 2 + 1/(z^2) = 4\cos^2 3, or z2+1/(z2)=4cos232z^2 + 1/(z^2) = 4\cos^2 3 - 2. 4cos2324\cos^2 3 - 2 is is less than 22, since 4cos234\cos^2 3 is less than 44. If we square the equation again, we get z4+1/(z4)=(4cos232)22z^4 + 1/(z^4) = (4\cos^2 3 - 2)^2 -2.

Since 4cos2324\cos^2 3 - 2 is less than 2, (4cos232)2(4\cos^2 3 - 2)^2 is less than 4, and (4cos232)22(4\cos^2 3 - 2)^2 -2 is less than 2. However (4cos232)22(4\cos^2 3 - 2)^2 -2 is also less than 4cos2324\cos^2 3 - 2. we can see that every time we square the equation, the right-hand side gets smaller and into the negatives. Since the smallest integer that is allowed as an answer is 0, the smallest integer greater is 000.\boxed{000}.

~ PaperMath ~megaboy6679

Solution 4

First, let z=a+biz = a+bi where aa and bb are real numbers. We now have that

a+bi+abia2+b2=2cos3a+bi+\frac{a-bi}{a^2+b^2} = 2 \cos{3^{\circ}} given the conditions of the problem. Equating imaginary coefficients, we have that

b(11a2+b2)=0b \left( 1 - \frac{1}{a^2+b^2}\right) = 0 giving us that either b=0b=0 or z=1|z| = 1. Let's consider the latter case for now.

We now know that a2+b2=1a^2+b^2=1, so when we equate real coefficients we have that 2a=2cos32a = 2 \cos{3^{\circ}}, therefore a=cos3a = \cos{3^{\circ}}. So, b=sin3b = \sin{3^{\circ}} and then we can write z=cis(3)z = \text{cis}(3)^{\circ}.

By De Moivre's Theorem,

z2000+1z2000=cis(6000)+cis(6000)z^{2000} + \frac{1}{z^{2000}} = \text{cis} (6000)^{\circ} + \text{cis} (-6000)^{\circ} . The imaginary parts cancel, leaving us with 2cos60002 \cos{6000^{\circ}}, which is 240(mod360)240 \pmod{360}. Therefore, it is 1-1, and our answer is 000\boxed{000}.

Now, if b=0b=0 then we have that a+1a=2cos3a+\frac{1}{a} = 2 \cos{3^{\circ}}. Therefore, aa is not violating our conditions set above.