Revision as of 18:23, 30 December 2008 by Minsoens(talk | contribs)(New page: ==Problem== Prove that <math>\cos{\frac{\pi}{7}}-\cos{\frac{2\pi}{7}}+\cos{\frac{3\pi}{7}}=\frac{1}{2}</math>. ==Solution== {{solution}} ==See Also== {{IMO box|year=1963|num-b=4|num-a=6...)