Abstract:We extend the theorem by Olmsted (1945) and Carlitz-Thomas (1963) on rational values of trigonometric functions to powers of trigonometric functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the rational values of trigonometric functions and their powers. Specifically, the paper extends the research on the rational values of trigonometric functions by Olmsted (in 1945) and Carlitz - Thomas (in 1963) and explores the rational values of the powers of trigonometric functions.
### Main problem description:
1. **Review of existing results**:
- Olmsted and Carlitz - Thomas determined all possible rational values of the trigonometric functions $\sin(\pi\theta)$, $\cos(\pi\theta)$, and $\tan(\pi\theta)$ when $\theta\in\mathbb{Q}$.
- For $\sin(\pi\theta)$ and $\cos(\pi\theta)$, the possible rational values are: $0, \pm\frac{1}{2}, \pm1$.
- For $\tan(\pi\theta)$, the possible rational values are: $0, \pm1$.
2. **Main contributions of the paper**:
- **Theorem 3**: If $N\geq3$ and $\alpha$ is a positive rational number such that $\alpha^{1/N}, \alpha^{2/N}, \ldots, \alpha^{(N - 1)/N}\notin\mathbb{Q}$, then for any positive integer $m$, we have $\sqrt[N]{\alpha}\notin\mathbb{Q}(\zeta_m)$. In particular, there does not exist $\theta\in\mathbb{Q}$ such that $\cos(\pi\theta), \cos^2(\pi\theta), \ldots, \cos^{N - 1}(\pi\theta)\notin\mathbb{Q}$ but $\cos^N(\pi\theta)\in\mathbb{Q}$ (similarly, the same conclusion holds for $\tan(\pi\theta)$).
- **Theorem 4**: If there exist positive integers $n$ and $\theta\in\mathbb{Q}$ such that $\cos^n(\pi\theta)\in\mathbb{Q}$ (or $\tan^n(\pi\theta)\in\mathbb{Q}$), then the possible values of the trigonometric functions are as follows:
- When $n$ is odd:
\[
\sin(\pi\theta), \cos(\pi\theta)=\left\{0, \pm\frac{1}{2}, \pm1\right\}
\]
\[
\tan(\pi\theta)=\left\{0, \pm1\right\}
\]
- When $n$ is even:
\[
\sin(\pi\theta), \cos(\pi\theta)=\left\{0, \pm\frac{1}{\sqrt{2}}, \pm\frac{1}{2}, \pm\frac{\sqrt{3}}{2}, \pm1\right\}
\]
\[
\tan(\pi\theta)=\left\{0, \pm\frac{1}{\sqrt{3}}, \pm1, \pm\sqrt{3}\right\}
\]
### Summary:
This paper further explores the problem of the rational values of the powers of trigonometric functions by extending the existing results on the rational values of trigonometric functions and gives specific results.