I need help solving this question: $$ \text{If }\frac{3-\tan^2\frac\pi7}{1-\tan^2\frac\pi7}=k\cos\frac\pi7\text{, find k.} $$ I simplified this down to:
$$ \frac{4\cos^2\frac\pi7-1}{2\cos^2\frac\pi7-1} $$
But am unable to proceed further. The value of k is given to be 4, but I am unable to derive that result.
Kindly provide me with some insight, or with a step-by-step solution.
Thanks in advance,
Abhigyan