4

I have to

prove $\sec^2\frac{\pi}{7}+\sec^2\frac{2\pi}{7}+\sec^2\frac{3\pi}{7}=24$ by using the roots of the polynomial $x^3-21x^2+35x-7=0$

I tried to factor the polynomial but it didn't work and later found it cannot factorize with rationals. and I saw some similar problems in StackExchange. But the answers are very complex to me. I cannot use Euler's complex number formula since it's not in the syllabus. I do not want the exact answer but guidance to the answer.

Bernard
  • 175,478
thomson
  • 647
  • https://math.stackexchange.com/questions/175736/evaluate-tan220-circ-tan240-circ-tan280-circ https://math.stackexchange.com/questions/638874/factor-z7-1-into-linear-and-quadratic-factors-and-prove-that-cos-pi-7-c – lab bhattacharjee Jun 04 '18 at 01:41
  • See also: https://math.stackexchange.com/questions/544228/finite-sum-sum-limits-k-1m-1-frac1-sin2-frack-pim/1083137#1083137 and https://math.stackexchange.com/questions/951522/trig-sum-tan-21-circ-tan-22-circ-tan2-89-circ – lab bhattacharjee Jun 04 '18 at 12:24

1 Answers1

7

let $t=\tan(\theta)$, we have \begin{eqnarray*} \tan(7 \theta) =\frac{ 7t-35t^3+21t^5-t^7}{1-21t^2+35t^4-7t^6}. \end{eqnarray*} Set $\tan(7 \theta) =0$ then the polynomial \begin{eqnarray*} 7t-35t^3+21t^5-t^7=0 \end{eqnarray*} has roots $t=0, \tan( \pi/7), \cdots ,\tan( 6 \pi/7)$. So \begin{eqnarray*} x^3-21x^2+35x-7=0 \end{eqnarray*} has roots $x= \tan^2(\pi/7),\tan^2(2\pi/7),\tan^2(3\pi/7)$. Now let $y=x+1$.

Donald Splutterwit
  • 36,613
  • 2
  • 26
  • 73