A simple proof of the transcendence of the trigonometric functions

Yuanyuan Lian,Kai Zhang
DOI: https://doi.org/10.48550/arXiv.1912.05348
2019-12-11
Abstract:In this note, we give a simple proof that the values of the trigonometric functions at any nonzero rational number are transcendental numbers.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the values of trigonometric functions at any non - zero rational numbers are transcendental numbers. Specifically, the author aims to provide a simple and easy - to - understand proof to show that for any non - zero rational number \(r\), the value of a trigonometric function (such as \(\cos r\)) is a transcendental number. ### Problem Background 1. **History of Transcendental and Irrational Numbers**: - In 1737, Euler proved that \(e\) is an irrational number. - In 1761, Lambert proved that \(\pi\) is an irrational number. - In 1873, Hermite used new techniques to prove that \(e\) is a transcendental number, which involved constructing auxiliary functions and integration by parts. - In 1882, Lindemann proved that \(\pi\) is a transcendental number. 2. **Relationship between Exponential Functions and Rational Numbers**: - It is known that the exponential function \(e^{x}\) maps non - zero rational numbers to irrational numbers, and it can be further proved that it maps to transcendental numbers. 3. **Relationship between Trigonometric Functions and Rational Numbers**: - In 1947, Niven gave a simple proof that \(\pi\) is an irrational number and modified this proof to show that trigonometric functions map non - zero rational numbers to irrational numbers. ### Main Contributions of the Paper Based on Hermite's techniques, this paper provides a simple proof that the values of trigonometric functions (such as \(\cos r\)) at any non - zero rational number \(r\) are transcendental numbers. The specific conclusions are as follows: - **Theorem 0.1**: For any non - zero rational number \(r\), \(\cos r\) is a transcendental number. - **Corollary 0.2**: The values of trigonometric functions (such as \(\sin r\), \(\tan r\), \(\csc r\), \(\sec r\) and \(\cot r\)) at any non - zero rational number \(r\) are transcendental numbers. Through these results, this paper fills an important gap in the proof of the transcendence of trigonometric function values and provides a concise method to understand this complex problem.