Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So, this is the problem I am working on.

Show that $\sin 10^\circ$ is irrational.

The solution to the problem is $$1/2 = \sin 30^\circ = 3 \sin 10^\circ - 4\sin^3 10^\circ .$$ Let $$x = 2\sin 10^\circ.$$

Then we have, $$x^3 - 3x + 1 = 0.$$ And, we have to work on this to find out the roots. But, what I don't understand is that why do I have to subtract $4\sin^3 10^\circ$ from $3\sin 10^\circ$. And, how did they come up with $x^3 - 3x+1 = 0?$ I am confused. Can someone please explain this in details and is there any other way we can do this problem?

share|cite|improve this question
Sorry my bad. $1/2 = sin 30^\circ$ – user136422 Apr 11 '14 at 17:33
@user136442 Do you know that $\sin(3\alpha)=3\sin(\alpha)-4(\sin(\alpha))^3$, for all $\alpha \in \mathbb R$? – Git Gud Apr 11 '14 at 17:36
Sorry. Must've forgotten. – user136422 Apr 11 '14 at 17:40
@user136442 It is likely, by reading the proposed solution, that that identity is a prerequisite for the problem. I suggest you assume it as true for the purpose of this problem. – Git Gud Apr 11 '14 at 17:42
This question is related to, but in no way is a duplicate of, this question. – robjohn Apr 11 '14 at 18:55
up vote 6 down vote accepted

identity: $\sin(3a)=3\sin(a)-4\sin^3(a)$ By using this identity,

$$1/2 = \sin 30^\circ = 3 \sin 10^\circ - 4\sin^3 10^\circ$$

$$1=2\sin 30^\circ = 6 \sin 10^\circ - 8\sin^3 10^\circ$$ Then if you set $x=2\sin(10)$ you will get $$x^3 - 3x+1 = 0.$$

share|cite|improve this answer
By the way I assumed that you reached the conlusion. If not, set $x=t-1$ in above equation then you will get $t^3-3t^2+3$ by Einstain creteria, it has no rational roots. – mesel Apr 11 '14 at 17:55
Yes, I didn't find any integer root here. – user136422 Apr 11 '14 at 18:06
@user136422: it also works and easier. – mesel Apr 11 '14 at 18:10
Yep.Sometimes I just need some handholding, that's all :-) – user136422 Apr 11 '14 at 18:12
@user136422: me, too :) – mesel Apr 11 '14 at 18:13

mesel's answer about why $2\sin(10^\circ)$ satisfies $x^3-3x+1=0$ is very good.

Let's answer the question about why $x^3-3x+1=0$ implies $x$ is irrational. In this answer, it is shown that if $x^3-3x+1=0$ has a rational root, then that root must be an integer.

Suppose that $|x|\ge2$, then dividing by $x^3$ yields $$ \begin{align} 1 &=\left|\,\frac3{x^2}-\frac1{x^3}\,\right|\\ &\le\frac34+\frac18\\ &=\frac78 \end{align} $$ Thus, there can be no solutions for $|x|\ge2$.

Simply checking $\{-1,0,1\}$, we see there are no integer solutions. Therefore, any solution to $x^3-3x+1=0$ is irrational.

share|cite|improve this answer
Really make sense. – user136422 Apr 11 '14 at 18:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.