Lambert’s proof of the irrationality of Pi: Context and translation

Denis Roegel (1)

1 MOSEL - Proof-oriented development of computer-based systems

This document gives the first complete English translation of Johann Heinrich Lambert’s memoir on the irrationality of Pi published in 1768, as well as some contextual elements, such as Legendre’s proof and more recent proofs such as Niven’s.

Mots clés: pi; number theory; Lambert; irrationality; transcendence; Legendre

Domaines: Histoire et perspectives sur les mathématiques [math.HO]; Mathématiques [math]; Théorie des nombres [math.NT]

Denis Roegel. Lambert’s proof of the irrationality of Pi: Context and translation. [Research Report] LORIA. 2020. ⟨hal-02984214⟩