返回题库

AIME 2005 II · 第 9 题

AIME 2005 II — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

For how many positive integers nn less than or equal to 10001000 is (sint+icost)n=sinnt+icosnt(\sin t + i \cos t)^n = \sin nt + i \cos nt true for all real tt?

解析

Solution

Solution 1

We know by De Moivre's Theorem that (cost+isint)n=cosnt+isinnt(\cos t + i \sin t)^n = \cos nt + i \sin nt for all real numbers tt and all integers nn. So, we'd like to somehow convert our given expression into a form from which we can apply De Moivre's Theorem.

Recall the trigonometric identities cos(π2u)=sinu\cos \left(\frac{\pi}2 - u\right) = \sin u and sin(π2u)=cosu\sin \left(\frac{\pi}2 - u\right) = \cos u hold for all real uu. If our original equation holds for all tt, it must certainly hold for t=π2ut = \frac{\pi}2 - u. Thus, the question is equivalent to asking for how many positive integers n1000n \leq 1000 we have that (sin(π2u)+icos(π2u))n=sinn(π2u)+icosn(π2u)\left(\sin\left(\frac\pi2 - u\right) + i \cos\left(\frac\pi 2 - u\right)\right)^n = \sin n \left(\frac\pi2 -u \right) + i\cos n \left(\frac\pi2 - u\right) holds for all real uu.

(sin(π2u)+icos(π2u))n=(cosu+isinu)n=cosnu+isinnu\left(\sin\left(\frac\pi2 - u\right) + i \cos\left(\frac\pi 2 - u\right)\right)^n = \left(\cos u + i \sin u\right)^n = \cos nu + i\sin nu. We know that two complex numbers are equal if and only if both their real part and imaginary part are equal. Thus, we need to find all nn such that cosnu=sinn(π2u)\cos n u = \sin n\left(\frac\pi2 - u\right) and sinnu=cosn(π2u)\sin nu = \cos n\left(\frac\pi2 - u\right) hold for all real uu.

sinx=cosy\sin x = \cos y if and only if either x+y=π2+2πkx + y = \frac \pi 2 + 2\pi \cdot k or xy=π2+2πkx - y = \frac\pi2 + 2\pi\cdot k for some integer kk. So from the equality of the real parts we need either nu+n(π2u)=π2+2πknu + n\left(\frac\pi2 - u\right) = \frac\pi 2 + 2\pi \cdot k, in which case n=1+4kn = 1 + 4k, or we need nu+n(π2u)=π2+2πk-nu + n\left(\frac\pi2 - u\right) = \frac\pi 2 + 2\pi \cdot k, in which case nn will depend on uu and so the equation will not hold for all real values of uu. Checking n=1+4kn = 1 + 4k in the equation for the imaginary parts, we see that it works there as well, so exactly those values of nn congruent to 1(mod4)1 \pmod 4 work. There are 250\boxed{250} of them in the given range.

Solution 2

This problem begs us to use the familiar identity eit=cos(t)+isin(t)e^{it} = \cos(t) + i \sin(t). Notice, sin(t)+icos(t)=i(cos(t)isin(t))=ieit\sin(t) + i \cos(t) = i(\cos(t) - i \sin(t)) = i e^{-it} since sin(t)=sin(t)\sin(-t) = -\sin(t). Using this, (sin(t)+icos(t))n=sin(nt)+icos(nt)(\sin(t) + i \cos(t))^n = \sin(nt) + i \cos(nt) is recast as (ieit)n=ieitn(i e^{-it})^n = i e^{-itn}. Hence we must have in=iin1=1n1mod4i^n = i \Rightarrow i^{n-1} = 1 \Rightarrow n \equiv 1 \bmod{4}. Thus since 10001000 is a multiple of 44 exactly one quarter of the residues are congruent to 11 hence we have 250\boxed{250}.

Solution 3

We can rewrite sin(t)\sin(t) as cos(π2t)\cos\left(\frac{\pi}{2}-t\right) and cos(t)\cos(t) as sin(π2t)\sin\left(\frac{\pi}{2}-t\right). This means that sint+icost=ei(π2t)=eπi2eit\sin t + i\cos t = e^{i\left(\frac{\pi}{2}-t\right)}=\frac{e^{\frac{\pi i}{2}}}{e^{it}}. This theorem also tells us that eπi2=ie^{\frac{\pi i}{2}}=i, so sint+icost=ieit\sin t + i\cos t = \frac{i}{e^{it}}. By the same line of reasoning, we have sinnt+icosnt=ieint\sin nt + i\cos nt = \frac{i}{e^{int}}.

For the statement in the question to be true, we must have (ieit)n=ieint\left(\frac{i}{e^{it}}\right)^n=\frac{i}{e^{int}}. The left hand side simplifies to ineint\frac{i^n}{e^{int}}. We cancel the denominators and find that the only thing that needs to be true is that in=ii^n=i. This is true if n1(mod4)n\equiv1\pmod{4}, and there are 250\boxed{250} such numbers between 11 and 10001000. Solution by Zeroman

Solution 4

We are using degrees in this solution instead of radians. I just process stuff better that way.

We can see that the LHS is cis(n(90t))cis(n(90^{\circ}-t)), and the RHS is cis(90nt)cis(90^{\circ}-nt) So, n(90t)90ntmod360n(90-t) \equiv 90-nt \mod 360 Expanding and canceling the nt terms, we will get 90n90mod36090n \equiv 90 \mod 360. Canceling gets n1mod4n \equiv 1 \mod 4, and thus there are 250\boxed{250} values of n.

-AlexLikeMath

Solution 5(CHEAP)

Let t=0t=0. Then, we have in=ii^n=i which means n1(mod4)n\equiv 1\pmod{4}. Thus, the answer is 250\boxed{250}.

Solution 6

We factor out ini^n from (sint+icost)n=in(cos(t)isint)=in(cos(nt)isinnt).(\sin t + i \cos t)^n = i^n (\cos(t) - i \sin t)= i^n(\cos(nt) - i\sin nt). We know the final expression must be the same as sinnt+icosnt\sin nt + i \cos nt so we must have in(cos(nt)isinnt)=sinnt+icosnti^n(\cos(nt) - i\sin nt) = \sin nt + i \cos nt in which testing yields n1(mod4)n \equiv 1 \pmod{4} is the only mod that works, so we have a total of 100014=2501000 \cdot\frac{1}{4} = \boxed{250} integers nn that work.

Solution 7

Note that this looks like de Moivre's except switched around. Using de Moivre's as motivation we try to convert the given expression into de Moivre's. Note that sint=cos(90t)\sin t = \cos(90 - t) and cost=sin(90t)\cos t = \sin(90 - t). So we rewrite the expression and setting it equal to the given expression in the problem, we get cos(90nt)+isin(90nt)=cos(90nnt)+isin(90nnt)\cos(90 - nt) + i\sin(90 - nt) = \cos(90n - nt) + i\sin(90n - nt). Now we can just look at the imaginary parts. Doing so and simplifying, we see that 1+4k=n1 + 4k= n. From this we see that n1(mod4)n \equiv 1\pmod{4}. So there are 250\boxed{250} solutions.

~coolmath_2018

Solution 8

(sinθ+icosθ)n=in(cosθisinθ)n(\sin\theta + i\cos\theta)^{n} = i^{n} (\cos\theta - i\sin\theta)^n

Hence the required condition is just in=ii^{n} = i which is true for exactly 1 in 4 consecutive numbers. Thus 250\boxed{250}