B. Adamczewski,É. Delaygue
Abstract:The aim of this note is to show that any algebraic relation over $\overline{\mathbb{Q}}$ between the values of the trigonometric functions sine and cosine at algebraic points can be derived from the Pythagorean identity and the angle addition formulas. This result is obtained as a consequence of the Lindemann-Weierstrass theorem.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Can any algebraic relation be derived from basic geometric identities (such as the Pythagorean identity and the angle sum and difference formulas)?**
Specifically, the author has studied whether, over the field of rational numbers \(\mathbb{Q}\), the algebraic relations between the values of the sine and cosine functions at algebraic points can be derived solely through the Pythagorean identity:
\[
\cos^2 \alpha+\sin^2 \alpha = 1
\]
and the angle sum and difference formulas:
\[
\begin{cases}
\cos(\alpha+\beta)=\cos\alpha\cos\beta - \sin\alpha\sin\beta,\\
\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta
\end{cases}
\]
The author points out that for some special cases, for example:
\[
\sin(\pi) = 0\quad\text{and}\quad\cos^2\left(\frac{\pi}{5}\right)-\frac{1}{2}\cos\left(\frac{\pi}{5}\right)-\frac{1}{4} = 0
\]
These relations cannot be derived from the above - mentioned basic identities. However, when restricted to algebraic points, the author has proven that all algebraic relations can indeed be derived from these basic identities.
To formalize this conclusion, the author has introduced the following concepts:
- \(T:=\mathbb{Q}[\cos(\alpha),\sin(\alpha):\alpha\in\overline{\mathbb{Q}}]\subseteq\mathbb{C}\), that is, the \(\mathbb{Q}\)-algebra of polynomial expressions generated by algebraic numbers and the sine and cosine values at algebraic points.
- \(A:=\mathbb{Q}[(X_\alpha,Y_\alpha)_{\alpha\in\overline{\mathbb{Q}}}] \), that is, the polynomial ring of countable variables \(X_\alpha\) and \(Y_\alpha\) with algebraic coefficients.
By defining an evaluation map \(\text{ev}\) from \(A\) to \(T\) and considering the ideal \(I\) generated by the following polynomials:
\[
I:=\langle X_\alpha^2 + Y_\alpha^2-1,X_{\alpha+\beta}-X_\alpha X_\beta+Y_\alpha Y_\beta,Y_{\alpha+\beta}-Y_\alpha X_\beta - X_\alpha Y_\beta\rangle
\]
The author has finally proven that \(\text{ev}:A/I\rightarrow T\) is an isomorphism. This result is obtained through the application of the Lindemann - Weierstrass theorem.
In summary, the main problem of this paper is to explore and prove whether any algebraic relation between the sine and cosine values at algebraic points can be derived from basic geometric identities, and a positive answer is given.