6
$\begingroup$

Let $x = \pi/(2k+1)$, for $k>0$. Prove that
$$ \cos(x)\cos(2x)\cos(3x)\dots\cos(kx) = \frac{1}{2^k} $$

I've confirmed this numerically for $n$ from $1$ to $30$. I'm finding it surprisingly difficult using standard trigonometric formula manipulation. Even for the case $k = 2$, I needed to actually work out $\cos x$ by other methods to get the result.

Please let me know if you have a neat proof.

$\endgroup$
1
  • 5
    $\begingroup$ Maybe such puzzles are better posted in www.artofproblemsolving.com $\endgroup$ Feb 27, 2010 at 11:53

4 Answers 4

21
$\begingroup$

Let $S(x)=\prod_{j=1}^k \text{sin}(jx)$ and $C(x)=\prod_{j=1}^k \text{cos}(jx)$. Let x = $\frac{\pi}{2k+1}$. Then $S(2x) = S(x)$ (from $\text{sin}(\pi-x)=\text{sin}(x)$), and $S(2x)=2^kS(x)C(x)$ (from $\text{sin}(2x)=2\text{sin}(x)\text{cos}(x)$), from which the result follows.

Steve

$\endgroup$
0
6
$\begingroup$

Hint: multiply by sin(x)

$\endgroup$
3
$\begingroup$

The standard way of doing problems like these is to look at the coefficients of the Chebyshev polynomials. The polynomial $T_n$ of degree $n$ such that $T_n(2 \cos \theta) = 2 \cos n \theta$ has leading term $1$, and we want to compute something like the fourth root of the product of the roots of $T_{2k+1}(x)^2 = 4$. Vieta's formulas and some reflection identities should handle it from here.

$\endgroup$
2
$\begingroup$

Another proof arises from the identity $$ \prod_{m=-k}^k\cos\left(t+\frac{m\pi}{2k+1}\right) = 2^{-2k}\cos((2k+1)t),\tag{1}$$ by putting $t=0$ and taking the square root of both sides. We can deduce (1) from $$ \prod_{m=-k}^k \left(z\exp\left(\frac{m\pi i}{2k+1}\right)+z^{-1}\exp\left(\frac{-m\pi i}{2k+1}\right)\right)=z^{2k+1}+z^{-2k-1}\tag{2},$$ by putting $z=\exp(it)$. Finally, we can prove (2) by multiplying both sides by $z^{2k+1}$ and examining the roots of the resulting two polynomials in $z$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.