Why $\arccos(\frac{1}{3})$ is an irrational number?

I was reading the following question. It is a very nice question with a very nice answer! I would like to know why $\arccos(\frac{1}{3})$ is an irrational number.

Solution 1:

This is a consequence of a result of Ivan Niven: The trigonometric functions are irrational at non-zero rational values of the arguments.

Particularly, your question is addressed by the corollary to the above (Corollary 2.8 in the link): any non-zero value of an inverse trigonometric function is irrational for a rational value of the argument.

Evaluating series with factorial denominator (sanity check).

Can every real polynomial be factored up to quadratic factors?

Nicer expression for the following differential operator

Can a countably infinite torsion group exist in which the density of squares is double the density of non-squares?

How could it possible to factorise $x^8-1$ in product of irreducibles in the rings $(\mathbb{Z}/2\mathbb{Z})[x]$ and $(\mathbb{Z}/3\mathbb{Z})[x]$? [closed]

Show that $1^{p-1} + 2^{p-1} +\ldots + (p-1)^{p-1} \equiv -1 \mod p$

Find $n$ such that $n/2$ is a square, $n/3$ is a cube, and $n/5$ a fifth power

.NET MVC Call method on different controller

The lock supplied is invalid. Either the lock expired, or the message has already been removed from the queue

How to replace the first occurrence of a regular expression in Python?

What is the use of BaseColumns in Android

Why does my Perl script exit with 137?