ขออนุญาตขุดครับ. บันทึกไว้เพื่อกันลืมอีกทีนิดนึง
รู้สึกว่าชักสวยจะไปต่อได้ถึงกรณีทั่วไปหรือเปล่าน้อ
\[\sin \frac{2\pi}{7} + \sin \frac{4\pi}{7} + \sin \frac{8\pi}{7} = \frac{\sqrt{7}}{2} \]
\[\sin \frac{2\pi}{15} + \sin \frac{4\pi}{15} + \sin \frac{8\pi}{15} + \sin \frac{16\pi}{15} = \frac{\sqrt{15}}{2} \]