MathCastle
ChallengeSuperchallengeAdvanced Number Theory

Advanced Number Theory · Superchallenge problem

The product tan⁡π7tan⁡2π7tan⁡3π7\tan\dfrac{\pi}{7}\tan\dfrac{2\pi}{7}\tan\dfrac{3\pi}{7} equals n\sqrt{n} for a positive integer nn. Find nn.