This is the mathematical result, and its proof, showing that pi cannot be written as a ratio of two integers. Johann Heinrich Lambert gave the first proof of this fact in the 1760s. In the nineteenth century Charles Hermite found a proof requiring nothing beyond basic calculus, and this proof was later simplified further by Mary Cartwright, Ivan Niven, and the collective mathematician known as Nicolas Bourbaki, with most of these arguments proceeding by contradiction. In 1882 Ferdinand von Lindemann went further and proved that pi is not merely irrational but transcendental, meaning it is not the root of any polynomial with rational coefficients.
Facts
StatementPi is irrational, meaning it cannot be expressed as a fraction of two integers. 1 Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Sources
1. Proof that pi is irrational, Wikipedia
Introduction section
In the 1760s, Johann Heinrich Lambert was the first to prove that the number π is irrational, meaning it cannot be expressed as a fraction a / b
Lambert's proof section heading
In 1768, Johann Heinrich Lambert published a proof that π is irrational by first showing that this continued fraction expansion holds
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.