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.

Use

commentsto ask for more information or clarify a question or answer.You can always comment on

your ownquestions and answers. Once you earn 50 reputation, you can comment on anybody's post.Remember: we're all here to learn, so be friendly and helpful!