Difference between revisions of "2020 AMC 12B Problems/Problem 23"

(Solution)
 
(26 intermediate revisions by 8 users not shown)
Line 1: Line 1:
 
+
== Problem ==
 
 
==Problem 23==
 
 
 
 
How many integers <math>n \geq 2</math> are there such that whenever <math>z_1, z_2, ..., z_n</math> are complex numbers such that
 
How many integers <math>n \geq 2</math> are there such that whenever <math>z_1, z_2, ..., z_n</math> are complex numbers such that
  
Line 10: Line 7:
 
<math>\textbf{(A)}\ 1 \qquad\textbf{(B)}\ 2 \qquad\textbf{(C)}\ 3 \qquad\textbf{(D)}\ 4 \qquad\textbf{(E)}\ 5</math>
 
<math>\textbf{(A)}\ 1 \qquad\textbf{(B)}\ 2 \qquad\textbf{(C)}\ 3 \qquad\textbf{(D)}\ 4 \qquad\textbf{(E)}\ 5</math>
  
[[2020 AMC 12B Problems/Problem 23|Solution]]
+
== Solution ==
 
 
==Solution==
 
  
 
For <math>n=2</math>, we see that if <math>z_{1}+z_{2}=0</math>, then <math>z_{1}=-z_{2}</math>, so they are evenly spaced along the unit circle.
 
For <math>n=2</math>, we see that if <math>z_{1}+z_{2}=0</math>, then <math>z_{1}=-z_{2}</math>, so they are evenly spaced along the unit circle.
  
For <math>n=3</math>, WLOG, we can set <math>z_{1}=1</math>. Notice that now <math>\Re(z_{2}+z_{3})=-1</math> and <math>\Im\{z_{2}\}=-\Im\{z_{3}\}</math>. This forces <math>z_{2}</math> and <math>z_{3}</math> to be equal to <math>e^{i\frac{2\pi}{3}}</math> and <math>e^{-i\frac{2\pi}{3}}</math>, meaning that all three are equally spaced along the unit circle.
+
For <math>n=3</math>, WLOG, we can set <math>z_{1}=1</math>. Notice that now Re<math>(z_{2}+z_{3})=-1</math> and Im<math>\{z_{2}\}</math> = <math>-</math>Im<math>\{z_{3}\}</math>. This forces <math>z_{2}</math> and <math>z_{3}</math> to be equal to <math>e^{i\frac{2\pi}{3}}</math> and <math>e^{-i\frac{2\pi}{3}}</math>, meaning that all three are equally spaced along the unit circle.
  
 
We can now show that we can construct complex numbers when <math>n\geq 4</math> that do not satisfy the conditions in the problem.
 
We can now show that we can construct complex numbers when <math>n\geq 4</math> that do not satisfy the conditions in the problem.
  
Suppose that the condition in the problem holds for some <math>n=k</math>. We can now add two points <math>z_{k+1}</math> and <math>z_{k+2}</math> anywhere on the unit circle such that <math>z_{k+1}=-z_{k+2}</math>, which will break the condition. Now that we have shown that <math>n=2</math> and <math>n=3</math> works, by this construction, any <math>n\geq 4</math> does not work, making the answer <math>\boxed{\mathbf(B) 2}</math>.
+
Suppose that the condition in the problem holds for some <math>n=k</math>. We can now add two points <math>z_{k+1}</math> and <math>z_{k+2}</math> anywhere on the unit circle such that <math>z_{k+1}=-z_{k+2}</math>, which will break the condition. Now that we have shown that <math>n=2</math> and <math>n=3</math> works, by this construction, any <math>n\geq 4</math> does not work, making the answer <math>\boxed{\textbf{(B)} 2}</math>.
  
 
-Solution by Qqqwerw
 
-Solution by Qqqwerw
 +
-Minor edit made by HappySharks
  
==Solution 1.5==
+
== Video Solution by On The Spot STEM ==
(for people not used to notation)
+
https://www.youtube.com/watch?v=JOgSOni5HhM
 
 
Note: I personally don't think the question was very well worded; it should explicitly state that if the first two conditions/equations are satisfied, then the final condition MUST be satisfied as well. The question can be misinterpreted as "how many different sizes of a list of complex numbers exist such that at least one satisfies the conditions" (in which case the answer would be infinitely many).
 
 
 
The problem asks for the number of list lengths that satisfy the three conditions given; i.e. how many different sizes can the list of complex numbers be such that the elements in the list always satisfy the conditions. This means that for a list of length 3, for example, all possible lists have to satisfy the conditions. If even one variation of a list of length 3 does not satisfy the conditions, then 3 is not an acceptable value of n.
 
 
 
A complex number can be written in the form <math>a + bi</math> where <math>a</math> represents the real part and <math>b</math> represents the coefficient of the imaginary part. If a complex number is plotted on the complex plane, then <math>a</math> becomes the x-coordinate, and <math>b</math> becomes the y-coordinate, so to speak.
 
 
 
The first condition states that the absolute value of each complex number is equal to 1; i.e. the point (a, b) is a distance of one from the origin. If all of the complex numbers are a distance of 1 from the origin, they must all be on the unit circle. This condition simply allows us to be able to check condition 3, as it is sort of a "given".
 
 
 
The second condition states that the sum of all the complex numbers is equal to 0. Therefore, adding all the x-coordinates and the y-coordinates will yield 0. However, we know that real numbers and complex numbers cannot be simplified together (since we are assuming that <math>a</math> and <math>b</math> are real numbers). This means that the real portions of the complex numbers, i.e. the x-coordinates, must sum to 0 by themselves. The same is true for the imaginary portions (the y-coordinates).
 
 
 
The third condition states that the complex numbers must be evenly spaced along the unit circle. This condition can be used to determine acceptable values of x.
 
 
 
Start with <math>n = 2</math>. If we have 2 complex numbers, in order to satisfy condition 2, the x coordinates must be opposites. The same is true for the y-coordinates. After drawing (or imagining) we find that the two points are directly across from one another. Upon further thought, we find that whenever we have an even number of points, if they are paired up in this way, they will always satisfy conditions 1 and 2. However, it is possible to arrange these pairs of points (whenever we have at least 2 pairs) such as the points are not evenly spaced out. Therefore, any even value of <math>n</math> greater than 2 will not work (since we proved that not all variations satisfy the 3 conditions).
 
 
 
Now we consider <math>n = 3</math>. It is much easier to consider 2 numbers instead of 3, so we will assume that the first number is <math>1 + 0i</math> or <math>(1, 0)</math> (we can do this because a circle has rotational symmetry). Since the y-coordinate of the first number is 0, the y-coordinates of the other 2 numbers must be opposites. Since the x coordinate of the first number is 1, the x-coordinates of the other 2 numbers must sum to -1. Using this knowledge, we find that the coordinates of the other 2 numbers MUST be <math>(-\frac{1}{2}, \sqrt{3})</math> and <math>(-\frac{1}{2}, -\sqrt{3})</math>. After calculating angle measurements, we see that the 3 points are, indeed, equally spaced apart. Therefore 3 is an acceptable value of <math>n</math> (all variations of this specific list are simply rotations of this specific case, and therefore satisfy the 3 conditions as well).
 
 
 
Lastly we consider the odd numbers. If we start with the same arrangement of points as above, we see that adding pairs of opposite points will continue to satisfy conditions 1 and 2, but NOT ALWAYS condition 3. Therefore, any odd number greater than 3 is not
 
an acceptable value of <math>n</math>.
 
 
 
So we have <math>n = 2 or 3</math> for a total of 2 possibilities or<math>\boxed{\mathbf(B) 2}</math>
 
 
 
==Video Solution==
 
On The Spot STEM: https://www.youtube.com/watch?v=JOgSOni5HhM
 
  
 
==See Also==
 
==See Also==

Latest revision as of 16:45, 28 January 2024

Problem

How many integers $n \geq 2$ are there such that whenever $z_1, z_2, ..., z_n$ are complex numbers such that

\[|z_1| = |z_2| = ... = |z_n| = 1 \text{    and    } z_1 + z_2 + ... + z_n = 0,\] then the numbers $z_1, z_2, ..., z_n$ are equally spaced on the unit circle in the complex plane?

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

Solution

For $n=2$, we see that if $z_{1}+z_{2}=0$, then $z_{1}=-z_{2}$, so they are evenly spaced along the unit circle.

For $n=3$, WLOG, we can set $z_{1}=1$. Notice that now Re$(z_{2}+z_{3})=-1$ and Im$\{z_{2}\}$ = $-$Im$\{z_{3}\}$. This forces $z_{2}$ and $z_{3}$ to be equal to $e^{i\frac{2\pi}{3}}$ and $e^{-i\frac{2\pi}{3}}$, meaning that all three are equally spaced along the unit circle.

We can now show that we can construct complex numbers when $n\geq 4$ that do not satisfy the conditions in the problem.

Suppose that the condition in the problem holds for some $n=k$. We can now add two points $z_{k+1}$ and $z_{k+2}$ anywhere on the unit circle such that $z_{k+1}=-z_{k+2}$, which will break the condition. Now that we have shown that $n=2$ and $n=3$ works, by this construction, any $n\geq 4$ does not work, making the answer $\boxed{\textbf{(B)} 2}$.

-Solution by Qqqwerw -Minor edit made by HappySharks

Video Solution by On The Spot STEM

https://www.youtube.com/watch?v=JOgSOni5HhM

See Also

2020 AMC 12B (ProblemsAnswer KeyResources)
Preceded by
Problem 22
Followed by
Problem 24
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