Skip to main content
edited tags
Link
GH from MO
  • 105.4k
  • 8
  • 293
  • 398
Source Link

linear independence of $\sin(k \pi / m)$

I have tried searching the literature for a result like the following, but have not found anything.

For a positive integer $m$, is it known that $$\{ \sin (k \pi / m): 1 \leq k \leq m/2, (k,m)=1 \}$$ is linearly independent over the rationals?

References or a proof would be greatly appreciated.