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 "2013 Mock AIME I Problems/Problem 7"

(created solution page)
 
m (fixed minor inaccuracy)
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
  
 
== Solution ==
 
== Solution ==
−
<math>\boxed{005}</math>.
+
 
 +
Note that the only non-primitive <math>7</math>th or <math>9</math>th root of unity with a positive imaginary part is <math>e^{i\tfrac{6\pi}9} = e^{i\tfrac{2\pi}3}</math>. Listing the other such roots shows that both <math>S</math> and <math>T</math> have <math>3</math> elements, so <math>C</math> is equal to <math>3</math> times the sum of all the elements of <math>S</math> plus <math>3</math> times the sum of all the elements of <math>T</math>, because all of the terms are added thrice to the sum.
 +
 
 +
Because all of the <math>7</math>th roots of unity sum to <math>0</math>, the sum of their real parts must be <math>0</math>. Without <math>1</math>, the sum of their real parts is <math>-1</math>. Because reciprocals of <math>7</math>th roots of unity are also <math>7</math>th roots of unity (but with opposite imaginary parts and the same real part), the sum of the real parts of the roots with a positive imaginary part must be <math>-\tfrac1 2</math>. The same ''would'' be true for the primitive <math>9</math>th roots of unity, but we have to remember to exclude <math>e^{i\tfrac{2\pi}3}</math>, which, by [[Euler's Identity]], has a real part of <math>\cos(\tfrac{2\pi}3)=-\tfrac 1 2</math>. Subtracting this from <math>-\tfrac 1 2</math> yields <math>0</math>, so the sum of the real parts of the elements of <math>T</math> is <math>0</math>.
 +
 
 +
Thus, <math>|\Re(C)| = |3(-\tfrac 1 2)| = \tfrac 3 2</math>, so our answer is <math>3+2=\boxed{005}</math>.
  
 
== See also ==
 
== See also ==

Latest revision as of 12:56, 30 July 2024

Problem

Let $S$ be the set of all $7$th primitive roots of unity with imaginary part greater than $0$. Let $T$ be the set of all $9$th primitive roots of unity with imaginary part greater than $0$. (A primitive $n$th root of unity is a $n$th root of unity that is not a $k$th root of unity for any $1 \le k < n$.)Let $C=\sum_{s\in S}\sum_{t\in T}(s+t)$. The absolute value of the real part of $C$ can be expressed in the form $\frac{m}{n}$ where $m$ and $n$ are relatively prime numbers. Find $m+n$.

Solution

Note that the only non-primitive $7$th or $9$th root of unity with a positive imaginary part is $e^{i\tfrac{6\pi}9} = e^{i\tfrac{2\pi}3}$. Listing the other such roots shows that both $S$ and $T$ have $3$ elements, so $C$ is equal to $3$ times the sum of all the elements of $S$ plus $3$ times the sum of all the elements of $T$, because all of the terms are added thrice to the sum.

Because all of the $7$th roots of unity sum to $0$, the sum of their real parts must be $0$. Without $1$, the sum of their real parts is $-1$. Because reciprocals of $7$th roots of unity are also $7$th roots of unity (but with opposite imaginary parts and the same real part), the sum of the real parts of the roots with a positive imaginary part must be $-\tfrac1 2$. The same would be true for the primitive $9$th roots of unity, but we have to remember to exclude $e^{i\tfrac{2\pi}3}$, which, by Euler's Identity, has a real part of $\cos(\tfrac{2\pi}3)=-\tfrac 1 2$. Subtracting this from $-\tfrac 1 2$ yields $0$, so the sum of the real parts of the elements of $T$ is $0$.

Thus, $|\Re(C)| = |3(-\tfrac 1 2)| = \tfrac 3 2$, so our answer is $3+2=\boxed{005}$.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2013_Mock_AIME_I_Problems/Problem_7&oldid=223988"