Can someone please help me answering this problem. This problem came from the IMO (i think its 1962). Here it goes:

Prove that \(\cos \frac{\pi}{7} - \cos \frac{2\pi}{7} + \cos \frac{3\pi}{7} = \frac{1}{2}\)

I have done everything i know with this, even using the sum to product identities, still it doesn't work. Please help. thanks.

## Comments

Sort by:

TopNewestIf I recall correctly, the official solution is to consider the expression \[ \sin \frac{\pi}{7} \left( \cos \frac{\pi}{7} - \cos \frac{2\pi}{7} + \cos \frac{3\pi}{7} \right), \] distributing the sine factor and using the product-to-sum identity \[ \sin \alpha \cos \beta = \frac{1}{2} \left( \sin (\alpha+\beta) + \sin (\alpha - \beta) \right). \] – Hero P. · 3 years, 11 months ago

Log in to reply

– Jaydee Lucero · 3 years, 11 months ago

wow!!! :D now i know how will I apply the product to sum identity. But, how should I remove the sine factor thereafter?Log in to reply

– Hero P. · 3 years, 11 months ago

After you compute and simplify the expression, you will find it equals \( \frac{1}{2} \sin \frac{\pi}{7} \), from which the original identity immediately follows.Log in to reply

– Jaydee Lucero · 3 years, 11 months ago

and now I got it!!! haha :D thanks , men...Log in to reply

Since \(\cos\frac\pi 7 = -\cos\frac{6\pi}7\) and \(\cos\frac{3\pi}7 = -\cos\frac{4\pi}7\), it suffices to prove \[\cos\frac{2\pi}7+\cos\frac{4\pi}7+\cos\frac{6\pi}7=-\frac 12\]

But, \[0=1+\cos\frac{2\pi}7+\cos\frac{4\pi}7+\dots+\cos\frac{12\pi}7=1+2\left(\cos\frac{2\pi}7+\cos\frac{4\pi}7+\cos\frac{6\pi}7\right)\] because \(1,\cos\frac{2\pi}7,\cos\frac{4\pi}7,\dots,\cos\frac{12\pi}7\) are the real parts of the 7th roots of unity. The result follows. – Brice Huang · 3 years, 11 months ago

Log in to reply

– Calvin Lin Staff · 3 years, 11 months ago

Nice application!Log in to reply

– Lokesh Sharma · 3 years, 11 months ago

Thanks, very nicely explained.Log in to reply

Recall that \(\cos(\pi-k)=-\cos k\). This means

\[\cos\frac{\pi}{7}-\cos\frac{2\pi}{7}+\cos\frac{3\pi}{7}-\left(\cos\frac{6\pi}{7}-\cos\frac{5\pi}{7}+\cos\frac{4\pi}{7}\right)=1\]

Rearranging, we get

\[0=-1+\cos\frac{\pi}{7}-\cos\frac{2\pi}{7}+\cos\frac{3\pi}{7}-\cos\frac{4\pi}{7}+\cos\frac{5\pi}{7}-\cos\frac{6\pi}{7}\]

Letting \(u=e^\frac{i\pi}{7}\), this is

\[0=\mathrm{Re}(-1+u-u^2+u^3-u^4+u^5-u^6)\]

But, since \(u^7-1=(u-1)(u^6-u^5+u^4-u^3+u^2-u+1)=0\), we know either \(u=1\) or \(u^6-u^5+u^4-u^3+u^2-u+1=0\). Clearly \(u\neq1\) since \(\mathrm{Re}(u)=\sin\frac{\pi}{7}\neq0\), so

\[u^6-u^5+u^4-u^3+u^2-u+1=0\]

which completes the proof since \(\mathrm{Re}(0)=0\) as desired. – Cody Johnson · 3 years, 11 months ago

Log in to reply

\[\cos \frac{ 2\pi }{ 7 }+\cos \frac{ 4\pi }{ 7 }+\cos \frac{ 6\pi }{ 7 }\]\[\frac{ \sin \frac{ 3\pi }{ 7 }*\cos \frac{ 3\pi }{ 7 } }{ \sin \frac{ \pi }{ 7 } }\]\[\frac{ \sin \frac{ 6\pi }{ 7 } }{ 2\sin \frac{ \pi }{ 7 } }\]\[\frac{ 1 }{ 2 }\] – Cody Martin · 3 years, 11 months ago

Log in to reply

Use the 7th root of unity...I'm sure you will get the answer.. – Rushi Rokad · 3 years, 11 months ago

Log in to reply

– Jaydee Lucero · 3 years, 11 months ago

ill try this one... :DLog in to reply

– Lokesh Sharma · 3 years, 11 months ago

How? The cube root of unity would involve \( i \) but there is no \(i \) in the equation to be proved.Log in to reply

I think that you should be able to tell which solution method I prefer. – Hero P. · 3 years, 11 months ago

Log in to reply

right – Sonu Kumar Tiwari · 3 years, 11 months ago

Log in to reply