Pi
Ask a class of students to name a mathematical constant and you will get and before anything else. is the more immediately tangible of the two: it is the number you meet the moment a wheel starts turning, the number in the formula for the area of a disc, the number that keeps appearing in wave equations, probability densities, and Fourier series. It is also, at the time of writing, the most thoroughly computed number in existence — trillions of its digits have been produced and checked, and the work continues.
This page treats the way it deserves to be treated: carefully. It starts with the geometric reason the constant exists at all, walks through the history of how humans pinned down ever better values, and then confronts the harder question — what is , mathematically? You will meet three standard definitions (by circumference, by area, and by infinite series), the classic formulas that carry it into analysis, and a set of genuinely usable methods for computing it. Five exercises with full reference answers close the page.
The Mystery of the Circle
A circle looks simple, but the moment you ask for its circumference you run into something remarkable. Take a circle of radius 1, and one of radius 1000, and one of radius . Measure the circumference of each and divide by the diameter. The three numbers agree to as many digits as you can measure, and they agree because of a simple scaling argument: any circle is the image of any other circle under a dilation, and a dilation multiplies the circumference and the diameter by the same factor, so their ratio is untouched.
That invariant ratio is :
where is the circumference and is the diameter. It is a number, not a shape — the same number for every circle ever drawn, which is exactly what makes it useful.
A number that hides a proof
The statement “the ratio is the same for all circles” is not something you can see from a picture; it is a theorem. It is also the reason that “squaring the circle” was a famous problem: once you believe that the circle constant is a single well-defined number, you can ask whether it is commensurable with the side of a square, and the answer (no) is a deep result.
Pi Through History
| Year | Event |
|---|---|
| c. 2000 BCE | A Babylonian tablet (YBC 7289) records as a value of the circle constant |
| c. 1550 BCE | The Rhind Mathematical Papyrus of Egypt uses |
| c. 250 BCE | Archimedes applies the method of exhaustion to obtain |
| c. 100 CE | The Chinese mathematician Liu Xin records in his commentary on the Nine Chapters |
| 429–500 | Zu Chongzhi produces and the bounds |
| c. 1340–1425 | Madhava of Sangamagrama derives an infinite series for in the Kerala school |
| 1638 | Adriaan van Roomen computes to 20 decimal places |
| 1706 | William Jones first uses the symbol for the circle constant |
| 1736 | Euler adopts the symbol and popularises it across Europe |
| 1761 | Lambert proves that is irrational, using a continued fraction for |
| 1882 | Lindemann proves that is transcendental |
| 1988 | The Chudnovsky brothers publish a series that yields roughly 14 correct digits per term |
Two entries deserve comment. Zu Chongzhi’s is still the best rational approximation to with a small denominator, and it was known in China well before it reached Europe. And the symbol itself has a quiet history: William Jones used in 1706 for the ratio of circumference to diameter, and Euler’s adoption in the 1730s is what turned a local usage into a world standard. The name comes from the same Greek word as the letter — periphery.
Definition and Common Approximations
Definition
A definition is a precise description of what a concept, a term, or an object means. Understanding definitions is the foundation of learning any field, and every concept has its own exact meaning.
is irrational and transcendental, with the decimal expansion
Common approximations are , , and (the “Zu rate”). cannot be written as a ratio of two integers, and it is not a root of any polynomial with rational coefficients.
Symbol notation
| Symbol | Type | Pronunciation/Explanation | Meaning in This Article |
|---|---|---|---|
| Greek letter | Pi (pie) | The circle constant, approximately 3.14159 | |
| Mathematical symbol | circumference | The circumference of a circle | |
| Mathematical symbol | diameter | The diameter of a circle | |
| Mathematical symbol | radius | The radius of a circle | |
| Mathematical symbol | area | The area of a circle | |
| Mathematical symbol | Euler’s number | The base of the natural logarithm |
How good are the usual approximations? The table below gives the absolute error of each.
| Approximation | Decimal value | Absolute error |
|---|---|---|
| about | ||
| about | ||
| about | ||
| about | ||
| — |
The key observation is that is extraordinarily good: its denominator is only 113, and it agrees with to seven significant figures, far better than despite a denominator roughly sixteen times larger. It is a lucky approximation, and it is the one most textbooks still teach.
Three Ways to Define Pi
1. The circumference definition. , that is, . This is the definition above: the ratio of circumference to diameter. It is the most intuitive one and the one that goes back to Archimedes.
2. The area definition. , that is, . A different-looking statement, but it produces the same number. The honest caveat is that this equality is a theorem, not a free choice: it took real work to prove that the constant in the area formula equals the constant in the circumference formula. Historically, this is exactly what the method of exhaustion achieved — squeezing the circle between inscribed and circumscribed polygons and comparing the resulting areas with the same polygons’ areas.
3. Series definitions. Starting in the 17th and 18th centuries, began to be defined by infinite series and infinite products, which is what made it computable to arbitrary precision. The most famous are:
The first is the Leibniz series, the second the Wallis product, the third Viète’s formula. All three define purely by limits of rational numbers, with no reference to circles at all.
How slow is the Leibniz series?
The Leibniz series is beautiful and completely impractical. The error after terms is bounded by , so to get ten correct decimal places you need on the order of terms. It is the right way to define and the wrong way to compute it.
Classic Formulas
- Area of a circle:
- Circumference of a circle:
- Euler’s formula:
- Leibniz series:
- Gauss integral:
- The Basel problem: , solved by Euler in 1735
- Stirling’s formula:
- The standard normal density:
Euler’s formula is the one that gets called the most beautiful equation in mathematics, and it earns the title by tying five fundamental constants — , , , and — into a single identity. The Basel identity is arguably more surprising: it says that the sum of the reciprocal squares of the positive integers is a rational multiple of , a fact that links an apparently arithmetic series to geometry.
Interesting Facts
- Pi Day falls on 14 March, because the date reads as 3.14. Pi Approximation Day, 22 July, plays on the fraction .
- The decimal expansion shows no detectable pattern — no known periodicity, no known normality proof. It is important to be precise here: the absence of a known pattern is not a proof that no deeper pattern exists.
- More than one hundred trillion digits of have been computed and verified with modern hardware, and the records keep moving.
- The memorisation record is 70,000 digits, set by Rajveer Sodhi in 2022 and recognised by the Guinness World Records. Earlier claims of “hundreds of thousands” or “over a million” digits are not supported by any recognised record.
- appears in probability, number theory, physics and engineering — in the Gaussian density, in Buffon’s needle, in the zeta function, in wave equations, and in the resonant frequencies of almost every vibrating system.
How is actually computed today
Modern algorithms do not sum the Leibniz series. The workhorse is the Chudnovsky series
which produces roughly 14 correct decimal digits per term. The older Machin formula, , is still used for verification, because the arctangent series for a small argument gains about 1.4 digits per term.
is irrational, and it is transcendental. Irrationality means that no ratio of two integers equals ; transcendence means that is not a root of any non-zero polynomial with rational coefficients, which is a strictly stronger statement. Lambert proved irrationality in 1761, using a continued fraction for :
If were rational, then would be a nonzero rational number, and Lambert’s theorem says that the tangent of a nonzero rational is irrational. But is rational, a contradiction. Lindemann pushed further in 1882, using Euler’s formula: if were algebraic, then would be a nonzero algebraic number, and the Lindemann–Weierstrass theorem says that is transcendental for every nonzero algebraic . Yet is algebraic. Again a contradiction.
and the trigonometric functions are inseparable. The period of and is ; the key values and are what let you build exact triangles; and the entire machinery of Fourier analysis — decomposing a periodic function into sines and cosines — is built on the period .
is a bridge between fields. It appears in the area of a disc (geometry), in (analysis), in the normal density and in Buffon’s needle (probability), in (number theory), and in the decay rate of a Fourier transform (physics).
The continued fraction of is a memorable object. It begins
The enormous partial quotient is what makes such a good approximation: after the convergent (which is exactly ), the next partial quotient promises a further improvement of about a factor of .
Exercise 1
Write the definition of and list the common approximations of it.
Approach:
State the geometric definition, then give the rational approximations that are used in practice together with a sense of how accurate each one is.
Steps:
- is defined as the ratio of a circle’s circumference to its diameter: . The ratio is the same for every circle, so is a universal constant.
- The coarsest decimal approximation is , whose error is about .
- is the classical approximation, with error about ; , the “Zu rate”, is far better, with error about .
- The exact value is irrational, so the decimal expansion never terminates and never repeats.
Answer:
Definition: . Common approximations: , , .
Exercise 2
Decide whether is rational, and justify your answer.
Approach:
First rule out rationality by the definition (a ratio of two integers), then strengthen the conclusion to transcendence using a theorem about exponential values of algebraic numbers.
Steps:
- If were rational, its decimal expansion would be finite or eventually periodic. It is not, but that observation is not a proof, since no finite computation can rule out a pattern starting later.
- Lambert (1761) used the continued fraction : if were rational then would be a nonzero rational, and Lambert’s theorem says the tangent of a nonzero rational is irrational — yet is rational. Contradiction.
- Lindemann (1882) strengthened this using Euler’s formula : if were algebraic, would be a nonzero algebraic number, and the Lindemann–Weierstrass theorem says is transcendental for such , contradicting .
- Therefore is irrational, and in fact transcendental.
Answer:
is irrational, and indeed transcendental.
Exercise 3
Write down a classical series for and explain where it comes from.
Approach:
Take the power series for the arctangent and evaluate it at .
Steps:
- The arctangent has the power series for .
- Substituting gives , since .
- In summation form this is , an alternating sum of reciprocals of odd integers.
- The series is the classic Leibniz formula. It is exact but converges slowly: the error after terms is at most .
Answer:
, obtained from the arctangent series at .
Exercise 4
Which of the following numbers is irrational?
(A)
(B)
(C)
(D) All of the above
Approach:
Check each candidate against the definition of a rational number, namely a ratio of two integers.
Steps:
- (A) : is not a perfect square, so is not a ratio of two integers and is irrational.
- (B) : the circle constant is irrational (Lambert, 1761), and in fact transcendental.
- (C) : the base of the natural logarithm is irrational and transcendental as well.
- All three candidates fail to be ratios of two integers, so the correct option is the one that says so.
Answer:
(D) All of the above.
Exercise 5
Write the area and circumference formulas for a circle.
Approach:
Start from the definition to get the circumference, and use the area definition for the area.
Steps:
- By definition with , so .
- The area of a circle of radius is ; the constant here is the same , as proved by the method of exhaustion.
- At the formulas give (the circumference of the unit circle) and (the area of the unit disc).
Answer:
Area: . Circumference: .
is the constant that measures the circle, and the surprising thing about it is how far it travels: the same number governs the area of a disc, the period of a sine wave, the density of the normal distribution, and the value of the zeta function at 2. It can be defined geometrically by the ratio of circumference to diameter, geometrically by the ratio of area to radius squared, or purely analytically by infinite series such as the Leibniz, Wallis, and Viète formulas. It is irrational (Lambert, 1761) and transcendental (Lindemann, 1882), so its decimal expansion never repeats and never terminates. And it is computable: modern algorithms such as the Chudnovsky series add roughly fourteen correct digits per term, which is how the record for computed digits has been pushed past one hundred trillion.
Symbols Used in This Article
| Symbol | Type | Pronunciation/Explanation | Meaning in This Article |
|---|---|---|---|
| Greek letter | Pi (pie) | The circle constant, approximately 3.14159 | |
| Mathematical symbol | circumference | The circumference of a circle | |
| Mathematical symbol | diameter | The diameter of a circle | |
| Mathematical symbol | radius | The radius of a circle | |
| Mathematical symbol | area | The area of a circle | |
| Mathematical symbol | Euler’s number | The base of the natural logarithm | |
| Mathematical symbol | i | The imaginary unit | |
| Greek letter | Phi (fee/fye) | The golden angle used when discussing phyllotaxis | |
| Mathematical symbol | summation | The infinite series operator | |
| Greek letter | zeta | The Riemann zeta function, with |
