MathCastle
AIMEChallengeAdvanced Number Theory

Advanced Number Theory · Challenge problem

Let P=sin⁡π7 sin⁡2π7 sin⁡3π7P = \sin\dfrac{\pi}{7}\,\sin\dfrac{2\pi}{7}\,\sin\dfrac{3\pi}{7}. Then P2=mnP^2 = \tfrac{m}{n}, where mm and nn are relatively prime positive integers. Find m+nm + n.