Skip to main content
2 of 4
edited title
Sergei Ivanov
  • 32.4k
  • 2
  • 99
  • 154

Rational approximatins on the circle

The well-known Liouville theorem asserts that an irrational algebraic number $\alpha$ cannot have too good rational approximations, namely $|\alpha-p/q|\le C(\alpha)/q^k$ where $k$ is the degree of $\alpha$. I wonder whether a similar result holds for the argument of an algebraic number that happens to lie on the unit circle.

For example, consider $\theta=\arccos(1/3)$. It is the argument of a root $\alpha$ of the polynomial $x^2-\frac23x+1$. Is there a similar lower bound for $|\theta/\pi-p/q|$, or equivalently, for $|\alpha^q-1|$? (Note that $|\alpha^q-1|\approx q\cdot |\theta/2\pi-p/q|$).

More generally, let $\alpha\in\mathbb C$ be an algebraic number, $|\alpha|=1$ and $\alpha$ is not a root of unity. Is it always true that $|\alpha^q-1|\le C(\alpha)/q^k$ where $k$ depends only on the degree of $\alpha$ (or perhaps equals the degree minus one)?

Sergei Ivanov
  • 32.4k
  • 2
  • 99
  • 154