4
$\begingroup$

In this page http://mathworld.wolfram.com/TrigonometryAnglesPi13.html

I found equation (11) and (12).

$$\cos^2\frac{\pi}{13}+\cos^2\frac{3\pi}{13}+\cos^2\frac{4\pi}{13}=\frac{11+\sqrt{13}}{8}$$

$$\sin\frac{\pi}{13}+\sin\frac{3\pi}{13}+\sin\frac{4\pi}{13}=\sqrt{\frac{13+3\sqrt{13}}{8}}$$

How to prove it ?

Thanks in advances

$\endgroup$
3
$\begingroup$

Since $\pm 1,\pm 3,\pm 4$ are the only quadratic residues in $\mathbb{F}_{13}^*$, both sums can be related with a quadratic Gauss sum $\pmod{13}$. You just need to apply the cosine duplication formula to the first one and to consider the square of the second one.

$\endgroup$
2
$\begingroup$

For the first one, let $\zeta=e^{2\pi i/13}$. This is a thirteenth root of $1$, so $1+\zeta+\zeta^2+...+\zeta^{12}=0$. \begin{align} A &=\cos^2(\pi/13)+\cos^2(3\pi/13)+\cos^2(4\pi/13)\\ B &=2A-3=\cos(2\pi/13)+\cos(6\pi/13)+\cos(8\pi/13)\\ 2B &=\zeta+\zeta^{-1}+\zeta^3+\zeta^{-3}+\zeta^4+\zeta^{-4}\\ C &=-1-2B=\zeta^2+\zeta^{-2}+\zeta^5+\zeta^{-5}+\zeta^6+\zeta^{-6}\\ 2BC &=3(\zeta+\zeta^2+...+\zeta^{12})=-3\\ & 2B(2B+1) *=3 \end{align}

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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