Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2005 AMC 12B Problems/Problem 22"

(→‎Solution)
Line 15: Line 15:
 
</math>
 
</math>
  
−
== Solution ==
+
== Solution 1 ==
 
Since <math>|z_0|=1</math>, let <math>z_0=e^{i\theta_0}</math>, where <math>\theta_0</math> is an [[argument]] of <math>z_0</math>.  
 
Since <math>|z_0|=1</math>, let <math>z_0=e^{i\theta_0}</math>, where <math>\theta_0</math> is an [[argument]] of <math>z_0</math>.  
 
We will prove by induction that <math>z_n=e^{i\theta_n}</math>, where <math>\theta_n=2^n(\theta_0+\frac{\pi}{2})-\frac{\pi}{2}</math>.
 
We will prove by induction that <math>z_n=e^{i\theta_n}</math>, where <math>\theta_n=2^n(\theta_0+\frac{\pi}{2})-\frac{\pi}{2}</math>.
Line 37: Line 37:
 
</cmath>
 
</cmath>
 
The value of <math>\theta_0</math> only matters [[modulo]] <math>2\pi</math>. Since <math>\frac{k+2^{2005}}{2^{2004}}\pi\equiv\frac{k}{2^{2004}}\pi\mod 2\pi</math>, k can take values from 0 to <math>2^{2005}-1</math>, so the answer is <math>2^{2005}\Rightarrow\boxed{E}</math>
 
The value of <math>\theta_0</math> only matters [[modulo]] <math>2\pi</math>. Since <math>\frac{k+2^{2005}}{2^{2004}}\pi\equiv\frac{k}{2^{2004}}\pi\mod 2\pi</math>, k can take values from 0 to <math>2^{2005}-1</math>, so the answer is <math>2^{2005}\Rightarrow\boxed{E}</math>
 +
 +
== Solution 2 ==
 +
Let <math>z_0 = \cos \theta + i\sin \theta</math>.
 +
<cmath>z_1 = \frac {iz_{0}}{\overline {z_{0}}} = \frac{i(\cos \theta + i\sin \theta)}{\cos \theta - i\sin \theta} = i(\cos \theta + i\sin \theta)^2 = i(\cos 2\theta + i\sin 2\theta) = ie^{i2\theta}</cmath>
 +
<cmath>z_2 = \frac {iz_{1}}{\overline {z_{1}}} = \frac{i(\cos 2\theta + i\sin 2\theta)}{\cos 2\theta - \sin 2\theta} = i(\cos 2\theta + i\sin 2\theta)^{2} = i(\cos 2^2\theta + i\sin 2^2\theta) = ie^{i2^2\theta}</cmath>
 +
Repeating through this recursive process, we can quickly see that
 +
<cmath>z_{2005} = ie^{i2^{2005}\theta} = i(\cos 2^{2005}\theta + i\sin 2^{2005}\theta) = 1</cmath>
 +
Thus, <math>\sin 2^{2005}\theta = -1</math>. The solutions for <math>\theta</math> are thus <math>\frac{\frac{3\pi}{2}+2\pi k} {2^{2005}}</math> where <math>k = 0,1,2...(2^{2005}-1)</math>. The answer is <math>2^{2005}\Rightarrow\boxed{E}</math>. (Author: Patrick Yin)
  
 
== See Also ==
 
== See Also ==

Revision as of 02:47, 29 January 2019

Problem

A sequence of complex numbers $z_{0}, z_{1}, z_{2}, ...$ is defined by the rule

\[z_{n+1} = \frac {iz_{n}}{\overline {z_{n}}},\]

where $\overline {z_{n}}$ is the complex conjugate of $z_{n}$ and $i^{2}=-1$. Suppose that $|z_{0}|=1$ and $z_{2005}=1$. How many possible values are there for $z_{0}$?

$\textbf{(A)}\ 1 \qquad \textbf{(B)}\ 2 \qquad \textbf{(C)}\ 4 \qquad \textbf{(D)}\ 2005 \qquad \textbf{(E)}\ 2^{2005}$

Solution 1

Since $|z_0|=1$, let $z_0=e^{i\theta_0}$, where $\theta_0$ is an argument of $z_0$. We will prove by induction that $z_n=e^{i\theta_n}$, where $\theta_n=2^n(\theta_0+\frac{\pi}{2})-\frac{\pi}{2}$.

Base Case: trivial

Inductive Step: Suppose the formula is correct for $z_k$, then \[z_{k+1}=\frac{iz_k}{\overline {z_k}}=i e^{i\theta_k} e^{i\theta_k}=e^{i(2\theta_k+\pi/2)}\] Since \[2\theta_k+\frac{\pi}{2}=2\cdot 2^n(\theta_0+\frac{\pi}{2})-\pi+\frac{\pi}{2}=2^{n+1}(\theta_0+\frac{\pi}{2})-\frac{\pi}{2}=\theta_{n+1}\] the formula is proven

$z_{2005}=1\Rightarrow \theta_{2005}=2k\pi$, where $k$ is an integer. Therefore, \[2^{2005}(\theta_0+\frac{\pi}{2})=(2k+\frac{1}{2})\pi\] \[\theta_0=\frac{k}{2^{2004}}\pi+\left(\frac{1}{2^{2006}}-\frac{1}{2}\right)\pi\] The value of $\theta_0$ only matters modulo $2\pi$. Since $\frac{k+2^{2005}}{2^{2004}}\pi\equiv\frac{k}{2^{2004}}\pi\mod 2\pi$, k can take values from 0 to $2^{2005}-1$, so the answer is $2^{2005}\Rightarrow\boxed{E}$

Solution 2

Let $z_0 = \cos \theta + i\sin \theta$. \[z_1 = \frac {iz_{0}}{\overline {z_{0}}} = \frac{i(\cos \theta + i\sin \theta)}{\cos \theta - i\sin \theta} = i(\cos \theta + i\sin \theta)^2 = i(\cos 2\theta + i\sin 2\theta) = ie^{i2\theta}\] \[z_2 = \frac {iz_{1}}{\overline {z_{1}}} = \frac{i(\cos 2\theta + i\sin 2\theta)}{\cos 2\theta - \sin 2\theta} = i(\cos 2\theta + i\sin 2\theta)^{2} = i(\cos 2^2\theta + i\sin 2^2\theta) = ie^{i2^2\theta}\] Repeating through this recursive process, we can quickly see that \[z_{2005} = ie^{i2^{2005}\theta} = i(\cos 2^{2005}\theta + i\sin 2^{2005}\theta) = 1\] Thus, $\sin 2^{2005}\theta = -1$. The solutions for $\theta$ are thus $\frac{\frac{3\pi}{2}+2\pi k} {2^{2005}}$ where $k = 0,1,2...(2^{2005}-1)$. The answer is $2^{2005}\Rightarrow\boxed{E}$. (Author: Patrick Yin)

See Also

2005 AMC 12B (Problems • Answer Key • Resources)
Preceded by
Problem 21 		Followed by
Problem 23
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25
All AMC 12 Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2005_AMC_12B_Problems/Problem_22&oldid=101061"