# When is $\sin(x)$ rational?

Obviously, there are some points (like $\pi,30$) but I am unsure if there are more.

How can it be proved that there are no more points, or what those points will be?

EDIT: I largely meant to ask what is supposed in the first comment. Put another way, are there numbers such that sin(x) and arcSin(x) are both rational?

-

6
If you look at the graph of $\sin(x)$ it goes through every rational from -1 to 1. I doubt there is a simple characterization when it is rational. – Aleks Vlasev Dec 2 '11 at 15:40

1
almost nowhere! – Vinicius M. Dec 2 '11 at 15:53
– Martin Sleziak Dec 2 '11 at 15:54
`like pi,30` ? what? 30 degrees? that's not rational, only algebraic – leonbloy Dec 2 '11 at 15:54
@leonbloy I presume what was meant was that $\sin 30^\circ$ is rational. – Michael Hardy Dec 2 '11 at 16:49
show 2 more comments

## 4 Answers

I assume you mean to ask: when $x$ is in whole degrees, when is $\sin(x)$ rational?

If $x$ is in whole degrees, then $x^\circ=\pi x/180\text{ radians}=\pi p/q\text{ radians}$, so we wish to find all rational multiples of $\pi$ so that $\sin(\pi p/q)$ is rational.

If $p/q\in\mathbb{Q}$, then $e^{\pm i\pi p/q}$ is an algbraic integer since $\left(e^{\pm i\pi p/q}\right)^q-(-1)^p=0$. Thus, $2\sin(\pi p/q)=-i\left(e^{i\pi p/q}-e^{-i\pi p/q}\right)$ is the difference and product of algebraic integers, and therefore an algebraic integer. However, the only rational algebraic integers are normal integers. Thus, the only values of $\sin(\pi p/q)$ which could be rational, are those for which $2\sin(\pi p/q)$ is an integer, that is $\sin(\pi p/q)\in\{-1,-\frac{1}{2},0,\frac{1}{2},1\}$.

-

You might be looking for Niven's theorem:

If $\sin(r \pi) = q$ where $r,q$ are rationals, then $q$ is $0$, $\pm 1/2$, $\pm 1$.

-

There are infinitely many points where both the sine and the cosine are rational, namely $$\left( \frac{n^2-m^2}{n^2+m^2}, \frac{2mn}{n^2+m^2} \right).$$ You can see that if $(x,y)=\text{that pair}$ then $x^2+y^2=1$, so it's on the unit circle.

Maybe a more interesting question is when do you have an angle that is a rational number of degrees (or, equivalently, a rational multiple of $\pi$ radians) for which the sine is rational. I think in that case you get only the obvious ones: $\sin 0^\circ=0$, $\sin 30^\circ=1/2$, $\sin 90^\circ=1$, and the counterparts in the other quadrants. I'm not sure right now how to prove that.

-

I attempted to show why in my answer. I learned this trick from Robert Israel back on sci.math. – robjohn♦ Dec 2 '11 at 19:17

$\sin(x)$ is locally a bijection (with the exception of maxima/minima), so it's rational whenever evaluated on $\arcsin(r)$ for rational $r$ unless this is maximum/minimum.

-
{"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": 32, "mathjax_display_tex": 1, "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.18, "absolute_threshold": 10, "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.954654335975647, "perplexity_flag": "head"}