Abstract:In this note, we prove the irrationality of $\zeta(5)$ and generalise the method to prove irrationality of higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of Linear Diophantine equation and mathematical induction. For $n\geq 1$, we denote $d_n=\text{lcm}(1,2,...,n)$. In the first part of the article, we assume $\zeta(5)$ is rational, say $a/b$. Then we observe that for $n\geq b$, there exists an equation involving linear combination of $\zeta(5)$ with coefficients $d_n$ that has a solution. Later using existence of solution of Linear Diophantine equation, we show that such a linear combination of $\zeta(5)$ has no solution, which is a contradiction. In the second part of the article, we generalise this method for all higher odd zeta values.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the irrationality of the values of the Riemann ζ - function at specific odd points, especially the irrationality of ζ(5) and higher odd points ζ(2m + 1) (where \(m \geq 2\)).
### Main contributions of the paper
1. **Proving the irrationality of ζ(5)**:
- The author assumes that ζ(5) is rational, that is, it can be expressed as a fraction \( \frac{a}{b}\), and then uses linear Diophantine equations and mathematical induction to derive a contradiction, thereby proving that ζ(5) is irrational.
- Specifically, the author constructs an integral \(I_n\), and by analyzing the properties of this integral, finally concludes that the assumption that ζ(5) is rational will lead to a contradiction.
2. **Generalizing to the irrationality of higher odd points ζ(2m + 1)**:
- The author further generalizes the above method to all higher odd points ζ(2m + 1) (where \(m \geq 2\)). Similarly, by assuming that these values are rational, then constructing the corresponding integral \(I_{n,m}\) and performing a similar analysis, finally proving that these values are also irrational.
### Main technical means
- **Linear Diophantine equations**: Used to prove that when assuming that ζ(5) or ζ(2m + 1) is rational, certain linear combinations have no integer solutions, thus leading to a contradiction.
- **Mathematical induction**: Used to gradually prove that for all positive integers \(n\), the assumption that ζ(5) or ζ(2m + 1) is rational will lead to a contradiction.
- **Integral analysis**: By constructing specific integrals \(I_n\) and \(I_{n,m}\), and analyzing the properties of these integrals, to derive the conclusion of irrationality.
### Key formulas
1. **Integral \(I_n\)**:
\[
I_n=\frac{1}{24}\int_{0}^{1}\int_{0}^{1}-\log^{3}(xy)\frac{1}{1 + xy}(xy(1 - xy))^{n}\,dx\,dy
\]
2. **Integral \(I_{n,m}\)**:
\[
I_{n,m}=\frac{1}{\Gamma(2m + 1)}\int_{0}^{1}\int_{0}^{1}-\log^{2m-1}(xy)\frac{1}{1 + xy}(xy(1 - xy))^{n}\,dx\,dy
\]
3. **Representation of the ζ - function**:
\[
\zeta(s)=\sum_{k = 1}^{\infty}\frac{1}{k^{s}}
\]
4. **Representation of the Dirichlet eta - function**:
\[
\eta(s)=\sum_{k = 1}^{\infty}\frac{(-1)^{k - 1}}{k^{s}}
\]
5. **Key inequalities**:
\[
0 < I_n\leq\frac{15}{16}\left(\frac{1}{4^{n}}\right)\zeta(5)
\]
\[
0 < I_{n,m}\leq\left(\frac{1}{4^{n}}\right)\left(\frac{2^{2m-1}}{2^{2m}}\right)\zeta(2m + 1)
\]
Through these techniques and formulas, the author successfully proves the irrationality of ζ(5) and higher odd points ζ(2m + 1), making an important contribution to the field of number theory.