Find value of:
$$\displaystyle \tan\bigg(\frac{\pi}{25}\bigg)\cdot \tan\bigg(\frac{2\pi}{25}\bigg)\cdot \tan\bigg(\frac{3\pi}{25}\bigg)\cdots\cdots \tan\bigg(\frac{12\pi}{25}\bigg)$$
The solution I tried:
Assume $$P = \tan\bigg(\frac{\pi}{25}\bigg)\cdot \tan\bigg(\frac{2\pi}{25}\bigg)\cdot \tan\bigg(\frac{3\pi}{25}\bigg)\cdots\cdots \tan\bigg(\frac{12\pi}{25}\bigg),$$ with the help of $\tan(\pi-\theta)=-\tan \theta$, then $$P=\tan\bigg(\frac{13\pi}{25}\bigg)\cdot \tan\bigg(\frac{14\pi}{25}\bigg)\cdot \tan\bigg(\frac{15\pi}{25}\bigg)\cdots\cdots \tan\bigg(\frac{24\pi}{25}\bigg)$$ which gives $$P^2=\prod^{24}_{r=1}\tan\bigg(\frac{r\pi}{25}\bigg).$$
How do I proceed from here?
Consider the polynomial
$$f(t) = \frac{1}{2i}\left((1+it)^{25} - (1-it)^{25}\right) = t^{25} + \cdots + 25 t$$ When $t = \tan\theta$, we have
$$f(\tan\theta) = \frac{1}{2i}\left[\left(\frac{e^{i\theta}}{\cos\theta}\right)^{25} - \left(\frac{e^{-i\theta}}{\cos\theta}\right)^{25}\right] = \frac{1}{\cos^{25}\theta}\sin(25\theta)$$ which vanishes at $\theta = 0, \pm \frac{\pi}{25},\ldots,\pm\frac{12\pi}{25}$.
This implies the $25$ roots of $f(t)$ are $0, \pm \tan\frac{\pi}{25},\ldots,\tan\frac{12\pi}{25}$. Apply Vieta's formula to the coefficient of $t$ in $f(t)$ and notice $\tan\frac{\pi}{25}, \ldots, \tan\frac{12\pi}{25}$ are positive, we obtain:
$$\prod_{k=1}^{12}\left(-\tan^2\frac{k\pi}{25}\right) = (-1)^{24}25 \quad\implies\quad \prod_{k=1}^{12} \tan\frac{k\pi}{25} = \sqrt{25} = 5$$