# When are $\theta$ and $\sin\theta^\circ$ both rational? [duplicate]

Possible Duplicate:
Sine values being rational

I'm guessing that if I look in Ivan Niven's elementary book on irrational numbers, I'll find the answer to this quickly, but I'm posting it here in case people find it useful.

For what rational values of $x/\pi$ is $\sin x$ rational?

Obviously $\sin 0$, $\sin (\pi/6)$, $\sin (\pi/2)$ and their counterparts in the other quadrants will do it. I believe I've seen it asserted by someone who should know, that those are the only ones. How is that proved?

-

– André Nicolas Dec 2 '11 at 17:18
Maybe the difference is that this question explicitly asks for a proof of that claim. (But the one to defend that this is not a duplicate should be, first of all, the OP.) – Martin Sleziak Dec 2 '11 at 17:18
It's beginning to look as if this should be closed as a (nearly?) exact duplicate.  I was moved to ask this by an earlier similar question posted today, but the answers getting posted there make it appear that it's being treated as if the questioner meant just what I asked here. – Michael Hardy Dec 2 '11 at 19:08

## marked as duplicate by GEdgar, Ross Millikan, Srivatsan, t.b., lhfDec 2 '11 at 19:57

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

## 1 Answer

Those are the only ones. I'll answer the question for cosine instead: $2 \cos \frac{2 \pi k}{n}$ is the sum of two algebraic integers $\zeta_n + \zeta_n^{-1} = e^{ \frac{2 \pi i k}{n} } + e^{ - \frac{2 \pi i k}{n} }$, hence an algebraic integer, so it is rational if and only if it is an integer. Hence $\cos \frac{2 \pi k}{n} = 0, \pm \frac{1}{2}, \pm 1$.

In fact, more can be said. $\mathbb{Q}(\cos \frac{2 \pi k}{n})$ is the real subfield of $\mathbb{Q}(\zeta_n)$, hence has degree $\frac{\varphi(n)}{2}$ over $\mathbb{Q}$.

-

2
– robjohn♦ Dec 2 '11 at 19:37
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9659024477005005, "perplexity_flag": "head"}