# A Note on the Irrationality of ζ(2) and ζ(3)

@article{Beukers1979ANO, title={A Note on the Irrationality of $\zeta$(2) and $\zeta$(3)}, author={Frits Beukers}, journal={Bulletin of The London Mathematical Society}, year={1979}, volume={11}, pages={268-272} }

At the “Journees Arithmetiques” held at Marseille-Luminy in June 1978, R. Apery confronted his audience with a miraculous proof for the irrationality of ζ(3) = l-3+ 2-3+ 3-3 + .... The proof was elementary but the complexity and the unexpected nature of Apery’s formulas divided the audience into believers and disbelievers. Everything turned out to be correct however. Two months later a complete exposition of the proof was presented at the International Congress of Mathematicians in Helsinki in… Expand

#### 248 Citations

Consequences of Apéry’s work on ζ(3)

- Computer Science
- 2003

At the end of the 1970’s it seemed that my fate as a young beginning research mathematician was closely linked with work of Roger Apery, but through the diophantine equation x2 + D = pn in the unknown integers x, n, where D, p are given integers with p prime. Expand

Similarities in Irrationality Proofs for π, ln2, ζ(2), and ζ(3)

- 2001

The irrationality of π dominated a good 2000 years of mathematical history, starting with the closely related circle-squaring problem of the ancient Greeks. In 1761 Lambert proved the irrationality… Expand

The group structure for ζ(3)

- Mathematics
- 2001

1. Introduction. In his proof of the irrationality of ζ(3), Apéry [1] gave sequences of rational approximations to ζ(2) = π 2 /6 and to ζ(3) yielding the irrationality measures µ(ζ(2)) < 11.85078. ..… Expand

Arithmetic of linear forms involving odd zeta values

- Mathematics
- 2002

The story exposed in this paper starts in 1978, when R. Apery [Ap] gave a surprising sequence of exercises demonstrating the irrationality of ζ(2) and ζ(3). (For a nice explanation of Apery’s… Expand

An Elementary Proof of Ramanujan's Formula for $ \zeta(2m+1) $

- Mathematics
- 2021

It’s well known that many number theoretic properties of ζ(2n + 1) are nowadays still unsolved mysteries, such as the rationality, transcendence and existence of some closed-form functional equation… Expand

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)

- Mathematics, Computer Science
- ITP
- 2014

The formal verification of an irrationality proof of ζ(3), the evaluation of the Riemann zeta function, using the Coq proof assistant is described, complete up to a weak corollary of the Prime Number Theorem. Expand

A Formal Proof of the Irrationality of ζ(3)

- Computer Science, Mathematics
- Log. Methods Comput. Sci.
- 2021

This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant, and establishes that some sequences satisfy a common recurrence. Expand

Criteria for irrationality of Euler’s constant

- Mathematics
- 2002

By modifying Beukers' proof of Apery's theorem that ζ(3) is irrational, we derive criteria for irrationality of Euler's constant, γ. For n > 0, we define a double integral In and a positive integer S… Expand

Irrationality of certain p-adic periods for small p

- Mathematics
- 2004

Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic… Expand

A new formula for ζ(2n + 1) (and how not to prove that ζ(5) is irrational)

- Mathematics
- 2016

Using a new polylogarithmic identity, we express the values of ζ at odd integers 2n + 1 as integrals over unit n−dimensional hypercubes of simple functions involving products of logarithms. We then… Expand