Abstract:We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate consequences to other values of the elementary transcendental functions are also discussed.
What problem does this paper attempt to address?
This paper aims to solve the problem of proving the irrationality of certain trigonometric function values. Specifically, the author attempts to provide new elementary proofs through the method of recursive integration to prove the following conclusions:
1. **For non - zero rational number \(r\), \(\tan r\) is irrational.**
2. **For \(r\) satisfying \(r^{2}\in\mathbb{Q}\setminus\{0\}\), \(\cos r\) is irrational.**
In addition, the author also discusses the application of their techniques in other irrationality proofs, such as the irrationality proofs of \(\pi\), \(\pi^{2}\), and certain exponential and hyperbolic function values.
### Specific problem analysis
#### 1. Irrationality of \(\tan r\)
The author proves that \(\tan r\) is irrational when \(r\) is a non - zero rational number by introducing a recurrence formula. The specific steps are as follows:
- Let \(r = \frac{a}{b}\) (where \(a,b\in\mathbb{Z}\)), assume \(\tan\left(\frac{r}{2}\right)=\frac{p}{q}\) (where \(p,q\in\mathbb{Z}\)).
- Define the function \(f_{n}(x)=\frac{(rx - x^{2})^{n}}{n!}\) and the integral \(I_{n}=\int_{0}^{r}f_{n}(x)\sin x\,dx\).
- Obtain the recurrence relation by integration by parts:
\[
I_{n}=-(4n - 2)I_{n - 1}+r^{2}I_{n - 2}\quad(n\geq2)
\]
- Use the recurrence relation and induction to prove that there are infinitely many non - zero terms in the sequence \(\langle I_{n}\rangle\).
- Eventually, a contradiction is reached, thus proving that \(\tan r\) is irrational.
#### 2. Irrationality of \(\cos r\)
For \(r\) satisfying \(r^{2}\in\mathbb{Q}\setminus\{0\}\), the author also uses the recursive integration method to prove that \(\cos r\) is irrational. The specific steps are as follows:
- Let \(r^{2}=\frac{a}{b}\) (where \(a,b\in\mathbb{Z}\setminus\{0\}\)), assume \(\cos r=\frac{p}{q}\) (where \(p,q\in\mathbb{Z}\)).
- Define four integral sequences \(I_{n},J_{n},K_{n},L_{n}\) and obtain the recurrence relations by integration by parts:
\[
\begin{aligned}
I_{n}&=4L_{n - 1}-2r^{2}J_{n - 1},\\
J_{n}&=(4n + 1)I_{n - 1}-2r^{2}K_{n - 1},\\
K_{n}&=-(4n + 2)J_{n}+2r^{2}L_{n - 1},\\
L_{n}&=(4n + 3)K_{n}+2nr^{2}I_{n - 1}-2r^{4}K_{n - 1}.
\end{aligned}
\]
- Use the recurrence relations and induction to prove that at least one of the sequences has infinitely many non - zero terms.
- Eventually, a contradiction is reached, thus proving that \(\cos r\) is irrational.
### Application and extension
The author also briefly discusses the application of their method in other irrationality proofs, such as the irrationality proofs of \(\pi\), \(\pi^{2}\), \(e^{r}\), etc., and points out that these proofs can be more concise.
In conclusion, this paper provides a new elementary proof method by introducing the method of recursive integration, solves the problem of the irrationality of certain trigonometric function values, and shows the wide application of this method in other related problems.