1999 AIME Problems/Problem 11

Revision as of 03:38, 8 December 2023 by Qefhjzh (talk | contribs) (Alternate Solution)

Problem

Given that $\sum_{k=1}^{35}\sin 5k=\tan \frac mn,$ where angles are measured in degrees, and $m_{}$ and $n_{}$ are relatively prime positive integers that satisfy $\frac mn<90,$ find $m+n.$

Solution

Let $s = \sum_{k=1}^{35}\sin 5k  = \sin 5 + \sin 10 + \ldots + \sin 175$. We could try to manipulate this sum by wrapping the terms around (since the first half is equal to the second half), but it quickly becomes apparent that this way is difficult to pull off. Instead, we look to telescope the sum. Using the identity $\sin a \sin b = \frac 12(\cos (a-b) - \cos (a+b))$, we can rewrite $s$ as

\begin{align*} s \cdot \sin 5 = \sum_{k=1}^{35} \sin 5k \sin 5 &= \sum_{k=1}^{35} \frac{1}{2}(\cos (5k - 5)- \cos (5k + 5))\\ &= 0.5(\cos 0 - \cos 10 + \cos 5 - \cos 15 + \cos 10 \ldots + \cos 165 - \cos 175+ \cos 170 - \cos 180) \end{align*}

This telescopes to \[s = \frac{\cos 0 + \cos 5 - \cos 175 - \cos 180}{2 \sin 5} = \frac{1 + \cos 5}{\sin 5}.\] Manipulating this to use the identity $\tan x = \frac{1 - \cos 2x}{\sin 2x}$, we get \[s = \frac{1 - \cos 175}{\sin 175} \Longrightarrow s = \tan \frac{175}{2},\] and our answer is $\boxed{177}$.

Alternate Solution

We note that $\sin x = \mbox{Im } e^{ix}\text{*}$. We thus have that \begin{align*} \sum_{k = 1}^{35} \sin 5k &= \sum_{k = 1}^{35} \mbox{Im } e^{5ki}\\ &= \mbox{Im } \sum_{k = 1}^{35} e^{5ki}\\ &= \mbox{Im } \frac{e^{5i}(1 - e^{180i})}{1 - e^{5i}}\\ &= \mbox{Im } \frac{2\cos5 + 2i \sin 5}{(1 - \cos 5) - i \sin 5}\\ &= \mbox{Im } \frac{(2 \cos 5 + 2i \sin 5)[(1 - \cos 5) + i \sin 5]}{(1 - \cos 5)^2 + \sin^2 5}\\ &= \frac{2 \sin 5}{2 - 2 \cos 5}\\ &= \frac{\sin 5}{1 - \cos 5}\\ &= \frac{\sin 175}{1 + \cos 175} \\ &= \tan \frac{175}{2}.\\ \end{align*} The desired answer is thus $175 + 2 = \boxed{177}$.

  • Only if $x$ is in radians, which it is not. However, the solution is still viable, so keep reading.

Solution 3

Let $x=e^{\frac{i\pi}{36}}$. By Euler's Formula, $\sin{5k^\circ}=\frac{x^k-\frac{1}{x^{k}}}{2i}$.

The sum we want is thus $\frac{x-\frac{1}{x}}{2i}+\frac{x^2-\frac{1}{x^{2}}}{2i}+\cdots+\frac{x^{35}-\frac{1}{x^{35}}}{2i}$

We factor the $\frac{1}{2i}$ and split into two geometric series to get $\frac{1}{2i}\left(\frac{-\frac{1}{x^{35}}(x^{35}-1)}{x-1}+\frac{x(x^{35}-1)}{x-1}\right)$

However, we note that $x^{36}=-1$, so $-\frac{1}{x^{35}}=x$, so our two geometric series are actually the same. We combine the terms and simplify to get $\frac{1}{i}\left(\frac{x^{36}-x}{x-1}\right)$

Apply Euler's identity and simplify again to get $\frac{1}{i}\left(\frac{-x-1}{x-1}\right)$

Now, we need to figure out how to express this as the tangent of something. We note that $\tan(5k^\circ)=\frac{\sin(5k^\circ)}{\cos(5k^\circ)}=\frac{\frac{x^k-\frac{1}{x^k}}{2i}}{\frac{x^k+\frac{1}{x^k}}{2}}=\frac{1}{i}\frac{x^{2k}-1}{x^{2k}+1}$.

So, we set the two equal to each other to solve for $k$. Cross multiplying gets $(-x-1)(x^{2k}+1)=(x-1)(x^{2k}-1)$. Expanding yields $-x^{2k+1}-x-x^{2k}-1=x^{2k+1}-x-x^{2k}+1$. Simplifying yields $x^{2k+1}=-1$. Since $2k+1=36$ is the smallest solution, we have $k=\frac{35}{2}$, and the argument of tangent is $5k=\frac{175}{2}$. The requested sum is $175+2=\boxed{177}$.

See also

1999 AIME (ProblemsAnswer KeyResources)
Preceded by
Problem 10
Followed by
Problem 12
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
All AIME Problems and Solutions

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