Pi - Wikipedia
Pi - Wikipedia
The number π (/paɪ/; spelled out as "pi") is a mathematical constant that is the ratio of a circle's circumference
to its diameter, approximately equal to 3.14159. The number π appears in many formulae across mathematics
and physics. It is an irrational number, meaning that it cannot be expressed exactly as a ratio of two integers,
although fractions such as are commonly used to approximate it. Consequently, its decimal representation
never ends, nor enters a permanently repeating pattern. It is a transcendental number, meaning that it cannot
be a solution of an equation involving only sums, products, powers, and integers. The transcendence of π
implies that it is impossible to solve the ancient challenge of squaring the circle with a compass and
straightedge. The decimal digits of π appear to be randomly distributed,[a] but no proof of this conjecture has
been found.
For thousands of years, mathematicians have attempted to extend their understanding of π, sometimes by
computing its value to a high degree of accuracy. Ancient civilizations, including the Egyptians and
Babylonians, required fairly accurate approximations of π for practical computations. Around 250 BC, the
Greek mathematician Archimedes created an algorithm to approximate π with arbitrary accuracy. In the 5th
century AD, Chinese mathematicians approximated π to seven digits, while Indian mathematicians made a five-
digit approximation, both using geometrical techniques. The first computational formula for π, based on infinite
series, was discovered a millennium later.[1][2] The earliest known use of the Greek letter π to represent the
ratio of a circle's circumference to its diameter was by the Welsh mathematician William Jones in 1706.[3]
The invention of calculus soon led to the calculation of hundreds of digits of π, enough for all practical scientific
computations. Nevertheless, in the 20th and 21st centuries, mathematicians and computer scientists have
pursued new approaches that, when combined with increasing computational power, extended the decimal
representation of π to many trillions of digits.[4][5] These computations are motivated by the development of
efficient algorithms to calculate numeric series, as well as the human quest to break records.[6][7] The extensive
computations involved have also been used to test supercomputers.
Because its definition relates to the circle, π is found in many formulae in trigonometry and geometry, especially
those concerning circles, ellipses and spheres. It is also found in formulae from other topics in science, such as
cosmology, fractals, thermodynamics, mechanics, and electromagnetism. In modern mathematical analysis, it is
often instead defined without any reference to geometry; therefore, it also appears in areas having little to do
with geometry, such as number theory and statistics. The ubiquity of π makes it one of the most widely known
mathematical constants inside and outside of science. Several books devoted to π have been published, and
record-setting calculations of the digits of π often result in news headlines.
Fundamentals
Name
The symbol used by mathematicians to represent the ratio of a circle's circumference to its diameter is the
lowercase Greek letter π, sometimes spelled out as pi.[8] In English, π is pronounced as "pie" (/paɪ/ PY).[9] In
mathematical use, the lowercase letter π is distinguished from its capitalized and enlarged counterpart Π, which
denotes a product of a sequence, analogous to how Σ denotes summation.
The choice of the symbol π is discussed in the section Adoption of the symbol π.
Definition
:
π is commonly defined as the ratio of a circle's circumference C to its
diameter d:[10]
The ratio is constant, regardless of the circle's size. For example, if a circle
has twice the diameter of another circle, it will also have twice the
circumference, preserving the ratio . This definition of π implicitly makes
use of flat (Euclidean) geometry; although the notion of a circle can be The circumference of a circle is
extended to any curve (non-Euclidean) geometry, these new circles will no slightly more than three times
longer satisfy the formula .[10] as long as its diameter. The
exact ratio is called π.
Here, the circumference of a circle is the arc length around the perimeter of
the circle, a quantity which can be formally defined independently of
geometry using limits—a concept in calculus.[11] For example, one may directly compute the arc length of the
top half of the unit circle, given in Cartesian coordinates by the equation , as the integral:[12]
An integral such as this was adopted as the definition of π by Karl Weierstrass, who defined it directly as an
integral in 1841.[b]
Integration is no longer commonly used in a first analytical definition because, as Remmert 2012 explains,
differential calculus typically precedes integral calculus in the university curriculum, so it is desirable to have a
definition of π that does not rely on the latter. One such definition, due to Richard Baltzer[13] and popularized
by Edmund Landau,[14] is the following: π is twice the smallest positive number at which the cosine function
equals 0.[10][12][15] π is also the smallest positive number at which the sine function equals zero, and the
difference between consecutive zeroes of the sine function. The cosine and sine can be defined independently of
geometry as a power series,[16] or as the solution of a differential equation.[15]
In a similar spirit, π can be defined using properties of the complex exponential, exp z, of a complex variable z.
Like the cosine, the complex exponential can be defined in one of several ways. The set of complex numbers at
which exp z is equal to one is then an (imaginary) arithmetic progression of the form:
A variation on the same idea, making use of sophisticated mathematical concepts of topology and algebra, is the
following theorem:[18] there is a unique (up to automorphism) continuous isomorphism from the group R/Z of
real numbers under addition modulo integers (the circle group), onto the multiplicative group of complex
numbers of absolute value one. The number π is then defined as half the magnitude of the derivative of this
homomorphism.[19]
:
Irrationality and normality
π is an irrational number, meaning that it cannot be written as the ratio of two integers. Fractions such as 22
7
355
and are commonly used to approximate π, but no common fraction (ratio of whole numbers) can be its
113
exact value.[20] Because π is irrational, it has an infinite number of digits in its decimal representation, and
does not settle into an infinitely repeating pattern of digits. There are several proofs that π is irrational; they
generally require calculus and rely on the reductio ad absurdum technique. The degree to which π can be
approximated by rational numbers (called the irrationality measure) is not precisely known; estimates have
established that the irrationality measure is larger than the measure of e or ln 2 but smaller than the measure of
Liouville numbers.[21]
The digits of π have no apparent pattern and have passed tests for statistical randomness, including tests for
normality; a number of infinite length is called normal when all possible sequences of digits (of any given
length) appear equally often. The conjecture that π is normal has not been proven or disproven.[22]
Since the advent of computers, a large number of digits of π have been available on which to perform statistical
analysis. Yasumasa Kanada has performed detailed statistical analyses on the decimal digits of π, and found
them consistent with normality; for example, the frequencies of the ten digits 0 to 9 were subjected to statistical
significance tests, and no evidence of a pattern was found.[23] Any random sequence of digits contains
arbitrarily long subsequences that appear non-random, by the infinite monkey theorem. Thus, because the
sequence of π's digits passes statistical tests for randomness, it contains some sequences of digits that may
appear non-random, such as a sequence of six consecutive 9s that begins at the 762nd decimal place of the
decimal representation of π.[24] This is also called the "Feynman point" in mathematical folklore, after Richard
Feynman, although no connection to Feynman is known.
Transcendence
In addition to being irrational, π is also a transcendental number, which
means that it is not the solution of any non-constant polynomial equation
with rational coefficients, such as .[25][c]
The middle of these is due to the mid-17th century mathematician William Brouncker, see § Brouncker's
formula.
Integers: 3
22 333 355 52163 103993
Fractions: Approximate fractions include (in order of increasing accuracy) 7 , 106 , 113 , 16604 , 33102 ,
104348 245850922 [30]
33215 , and 78256779 . (List is selected terms from OEIS: A063674 and OEIS: A063673.)
Digits: The first 50 decimal digits are
3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510...[34] (see OEIS: A000796)
Any complex number, say z, can be expressed using a pair of real numbers.
In the polar coordinate system, one number (radius or r) is used to represent
z's distance from the origin of the complex plane, and the other (angle or φ)
the counter-clockwise rotation from the positive real line:[37]
where the constant e is the base of the natural logarithm. This formula establishes a correspondence between
imaginary powers of e and points on the unit circle centred at the origin of the complex plane. Setting in
Euler's formula results in Euler's identity, celebrated in mathematics due to it containing five important
mathematical constants:[38][39]
There are n different complex numbers z satisfying , and these are called the "n-th roots of unity"[40]
and are given by the formula:
History
Antiquity
The best-known approximations to π dating before the Common Era were accurate to two decimal places; this
was improved upon in Chinese mathematics in particular by the mid-first millennium, to an accuracy of seven
decimal places. After this, no further progress was made until the late medieval period.
The earliest written approximations of π are found in Babylon and Egypt, both within one percent of the true
value. In Babylon, a clay tablet dated 1900–1600 BC has a geometrical statement that, by implication, treats π
25
as 8 = 3.125.[41] In Egypt, the Rhind Papyrus, dated around 1650 BC but copied from a document dated to
1850 BC, has a formula for the area of a circle that treats π as .[32][41] Although some
pyramidologists such as Flinders Petrie have theorized that the Great Pyramid of Giza was built with
proportions related to π, this theory is not widely accepted by scholars.[42] In the Shulba Sutras of Indian
mathematics, dating to an oral tradition from the first or second millennium BC, approximations are given
which have been variously interpreted as approximately 3.08831, 3.08833, 3.004, 3, or 3.125.[43]
:
Polygon approximation era
The Indian astronomer Aryabhata used a value of 3.1416 in his Āryabhaṭīya (499 AD).[55] Fibonacci in c. 1220
computed 3.1418 using a polygonal method, independent of Archimedes.[56] Italian author Dante apparently
employed the value .[56]
The Persian astronomer Jamshīd al-Kāshī produced nine sexagesimal digits, roughly the equivalent of 16
decimal digits, in 1424, using a polygon with sides,[57][58] which stood as the world record for about
180 years.[59] French mathematician François Viète in 1579 achieved nine digits with a polygon of
sides.[59] Flemish mathematician Adriaan van Roomen arrived at 15 decimal places in 1593.[59] In 1596, Dutch
mathematician Ludolph van Ceulen reached 20 digits, a record he later increased to 35 digits (as a result, π was
called the "Ludolphian number" in Germany until the early 20th century).[60] Dutch scientist Willebrord
Snellius reached 34 digits in 1621,[61] and Austrian astronomer Christoph Grienberger arrived at 38 digits in
1630 using 1040 sides.[62] Christiaan Huygens was able to arrive at 10 decimal places in 1654 using a slightly
different method equivalent to Richardson extrapolation.[63][64]
Infinite series
:
The calculation of π was revolutionized by the development of
infinite series techniques in the 16th and 17th centuries. An
infinite series is the sum of the terms of an infinite sequence.
Infinite series allowed mathematicians to compute π with much
greater precision than Archimedes and others who used
geometrical techniques.[65] Although infinite series were
exploited for π most notably by European mathematicians such
as James Gregory and Gottfried Wilhelm Leibniz, the approach
also appeared in the Kerala school sometime in the 14th or 15th
century.[66][67] Around 1500 AD, a written description of an
infinite series that could be used to compute π was laid out in Comparison of the convergence of several
Sanskrit verse in Tantrasamgraha by Nilakantha Somayaji.[66] historical infinite series for π. Sn is the
The series are presented without proof, but proofs are presented approximation after taking n terms. Each
in a later work, Yuktibhāṣā, from around 1530 AD. Several subsequent subplot magnifies the shaded
infinite series are described, including series for sine (which area horizontally by 10 times.
Nilakantha attributes to Madhava of Sangamagrama), cosine, (click for detail)
and arctangent which are now sometimes referred to as Madhava
series. The series for arctangent is sometimes called Gregory's
series or the Gregory–Leibniz series.[66] Madhava used infinite series to estimate π to 11 digits around
1400.[68]
In 1593, François Viète published what is now known as Viète's formula, an infinite product (rather than an
infinite sum, which is more typically used in π calculations):[69][70][71]
In 1655, John Wallis published what is now known as Wallis product, also an infinite product:[69]
In the 1660s, the English scientist Isaac Newton and German mathematician Gottfried Wilhelm Leibniz
discovered calculus, which led to the development of many infinite series for approximating π. Newton himself
used an arcsine series to compute a 15-digit approximation of π in 1665 or 1666, writing, "I am ashamed to tell
you to how many figures I carried these computations, having no other business at the time."[72]
In 1671, James Gregory, and independently, Leibniz in 1673, discovered the Taylor series expansion for
arctangent:[66][73][74]
This series, sometimes called the Gregory–Leibniz series, equals when evaluated with .[74] But for
, it converges impractically slowly (that is, approaches the answer very gradually), taking about ten times
as many terms to calculate each additional digit.[75]
:
In 1699, English mathematician Abraham Sharp used the Gregory–Leibniz series
for to compute π to 71 digits, breaking the previous record of 39 digits,
Machin reached 100 digits of π with this formula.[79] Other mathematicians created Isaac Newton used
variants, now known as Machin-like formulae, that were used to set several infinite series to
compute π to 15 digits,
successive records for calculating digits of π.[80][79]
later writing "I am
ashamed to tell you to
Isaac Newton accelerated the convergence of the Gregory–Leibniz series in 1684 (in
how many figures I
an unpublished work; others independently discovered the result):[81] carried these
computations".[72]
Leonhard Euler popularized this series in his 1755 differential calculus textbook, and later used it with Machin-
like formulae, including with which he computed 20 digits of π in one hour.[82]
Machin-like formulae remained the best-known method for calculating π well into the age of computers, and
were used to set records for 250 years, culminating in a 620-digit approximation in 1946 by Daniel Ferguson –
the best approximation achieved without the aid of a calculating device.[83]
In 1844, a record was set by Zacharias Dase, who employed a Machin-like formula to calculate 200 decimals of
π in his head at the behest of German mathematician Carl Friedrich Gauss.[84]
In 1853, British mathematician William Shanks calculated π to 607 digits, but made a mistake in the 528th
digit, rendering all subsequent digits incorrect. Though he calculated an additional 100 digits in 1873, bringing
the total up to 707, his previous mistake rendered all the new digits incorrect as well.[85]
Rate of convergence
Some infinite series for π converge faster than others. Given the choice of two infinite series for π,
mathematicians will generally use the one that converges more rapidly because faster convergence reduces the
amount of computation needed to calculate π to any given accuracy.[86] A simple infinite series for π is the
Gregory–Leibniz series:[87]
As individual terms of this infinite series are added to the sum, the total gradually gets closer to π, and – with a
sufficient number of terms – can get as close to π as desired. It converges quite slowly, though – after 500,000
terms, it produces only five correct decimal digits of π.[88]
An infinite series for π (published by Nilakantha in the 15th century) that converges more rapidly than the
Gregory–Leibniz series is:[89][90]
:
The following table compares the convergence rates of these two series:
After five terms, the sum of the Gregory–Leibniz series is within 0.2 of the correct value of π, whereas the sum
of Nilakantha's series is within 0.002 of the correct value. Nilakantha's series converges faster and is more
useful for computing digits of π. Series that converge even faster include Machin's series and Chudnovsky's
series, the latter producing 14 correct decimal digits per term.[86]
Not all mathematical advances relating to π were aimed at increasing the accuracy of approximations. When
Euler solved the Basel problem in 1735, finding the exact value of the sum of the reciprocal squares, he
established a connection between π and the prime numbers that later contributed to the development and study
of the Riemann zeta function:[91]
Swiss scientist Johann Heinrich Lambert in 1768 proved that π is irrational, meaning it is not equal to the
quotient of any two integers.[20] Lambert's proof exploited a continued-fraction representation of the tangent
function.[92] French mathematician Adrien-Marie Legendre proved in 1794 that π2 is also irrational. In 1882,
German mathematician Ferdinand von Lindemann proved that π is transcendental,[93] confirming a conjecture
made by both Legendre and Euler.[94][95] Hardy and Wright states that "the proofs were afterwards modified
and simplified by Hilbert, Hurwitz, and other writers".[96]
In the earliest usages, the Greek letter π was used to denote the semiperimeter (semiperipheria in Latin) of a
circle[8] and was combined in ratios with δ (for diameter or semidiameter) or ρ (for radius) to form circle
constants.[97][98][99][100] (Before then, mathematicians sometimes used letters such as c or p instead.[101])
The first recorded use is Oughtred's " ", to express the ratio of periphery and diameter in the 1647 and later
[102][101]
editions of Clavis Mathematicae. Barrow likewise used " " to represent the constant 3.14...,[103]
while Gregory instead used " " to represent 6.28... .[104][99]
The earliest known use of the Greek letter π alone to represent the ratio of a circle's circumference to its
diameter was by Welsh mathematician William Jones in his 1706 work Synopsis Palmariorum Matheseos; or,
a New Introduction to the Mathematics.[3][105] The Greek letter appears on p. 243 in the phrase " Periphery
(π)", calculated for a circle with radius one. However, Jones writes that his equations for π are from the "ready
:
pen of the truly ingenious Mr. John Machin", leading to speculation that Machin may have employed the Greek
letter before Jones.[101] Jones' notation was not immediately adopted by other mathematicians, with the
fraction notation still being used as late as 1767.[97][106]
Euler started using the single-letter form beginning with his 1727 Essay Explaining the Properties of Air,
though he used π = 6.28..., the ratio of periphery to radius, in this and some later writing.[107][108] Euler first
used π = 3.14... in his 1736 work Mechanica,[109] and continued in his widely read 1748 work Introductio in
analysin infinitorum (he wrote: "for the sake of brevity we will write this number as π; thus π is equal to half
the circumference of a circle of radius 1").[110] Because Euler corresponded heavily with other mathematicians
in Europe, the use of the Greek letter spread rapidly, and the practice was universally adopted thereafter in the
Western world,[101] though the definition still varied between 3.14... and 6.28... as late as 1761.[111]
Two additional developments around 1980 once again accelerated the ability to compute π. First, the discovery
of new iterative algorithms for computing π, which were much faster than the infinite series; and second, the
invention of fast multiplication algorithms that could multiply large numbers very rapidly.[116] Such algorithms
are particularly important in modern π computations because most of the computer's time is devoted to
multiplication.[117] They include the Karatsuba algorithm, Toom–Cook multiplication, and Fourier transform-
based methods.[118]
The iterative algorithms were independently published in 1975–1976 by physicist Eugene Salamin and scientist
Richard Brent.[119] These avoid reliance on infinite series. An iterative algorithm repeats a specific calculation,
each iteration using the outputs from prior steps as its inputs, and produces a result in each step that converges
to the desired value. The approach was actually invented over 160 years earlier by Carl Friedrich Gauss, in what
is now termed the arithmetic–geometric mean method (AGM method) or Gauss–Legendre algorithm.[119] As
modified by Salamin and Brent, it is also referred to as the Brent–Salamin algorithm.
:
The iterative algorithms were widely used after 1980 because they are faster than infinite series algorithms:
whereas infinite series typically increase the number of correct digits additively in successive terms, iterative
algorithms generally multiply the number of correct digits at each step. For example, the Brent–Salamin
algorithm doubles the number of digits in each iteration. In 1984, brothers John and Peter Borwein produced
an iterative algorithm that quadruples the number of digits in each step; and in 1987, one that increases the
number of digits five times in each step.[120] Iterative methods were used by Japanese mathematician
Yasumasa Kanada to set several records for computing π between 1995 and 2002.[121] This rapid convergence
comes at a price: the iterative algorithms require significantly more memory than infinite series.[121]
Modern π calculators do not use iterative algorithms exclusively. New infinite series
were discovered in the 1980s and 1990s that are as fast as iterative algorithms, yet
are simpler and less memory intensive.[121] The fast iterative algorithms were
anticipated in 1914, when Indian mathematician Srinivasa Ramanujan published
dozens of innovative new formulae for π, remarkable for their elegance,
mathematical depth and rapid convergence.[126] One of his formulae, based on
modular equations, is
Srinivasa Ramanujan,
working in isolation in
India, produced many
This series converges much more rapidly than most arctan series, including innovative series for
computing π.
Machin's formula.[127] Bill Gosper was the first to use it for advances in the
calculation of π, setting a record of 17 million digits in 1985.[128] Ramanujan's
formulae anticipated the modern algorithms developed by the Borwein brothers (Jonathan and Peter) and the
Chudnovsky brothers.[129] The Chudnovsky formula developed in 1987 is
:
It produces about 14 digits of π per term[130] and has been used for several record-setting π calculations,
including the first to surpass 1 billion (109) digits in 1989 by the Chudnovsky brothers, 10 trillion (1013) digits in
2011 by Alexander Yee and Shigeru Kondo,[131] and 100 trillion digits by Emma Haruka Iwao in 2022.[132] For
similar formulae, see also the Ramanujan–Sato series.
In 2006, mathematician Simon Plouffe used the PSLQ integer relation algorithm[133] to generate several new
formulae for π, conforming to the following template:
π
where q is e (Gelfond's constant), k is an odd number, and a, b, c are certain rational numbers that Plouffe
computed.[134]
These Monte Carlo methods for approximating π are very slow compared to other methods, and do not provide
any information on the exact number of digits that are obtained. Thus they are never used to approximate π
when speed or accuracy is desired.[139]
Spigot algorithms
Two algorithms were discovered in 1995 that opened up new avenues of research into π. They are called spigot
algorithms because, like water dripping from a spigot, they produce single digits of π that are not reused after
they are calculated.[140][141] This is in contrast to infinite series or iterative algorithms, which retain and use all
intermediate digits until the final result is produced.[140]
Mathematicians Stan Wagon and Stanley Rabinowitz produced a simple spigot algorithm in 1995.[141][142][143]
Its speed is comparable to arctan algorithms, but not as fast as iterative algorithms.[142]
Another spigot algorithm, the BBP digit extraction algorithm, was discovered in 1995 by Simon
Plouffe:[144][145]
This formula, unlike others before it, can produce any individual hexadecimal digit of π without calculating all
the preceding digits.[144] Individual binary digits may be extracted from individual hexadecimal digits, and
octal digits can be extracted from one or two hexadecimal digits. Variations of the algorithm have been
discovered, but no digit extraction algorithm has yet been found that rapidly produces decimal digits.[146] An
important application of digit extraction algorithms is to validate new claims of record π computations: After a
new record is claimed, the decimal result is converted to hexadecimal, and then a digit extraction algorithm is
used to calculate several random hexadecimal digits near the end; if they match, this provides a measure of
confidence that the entire computation is correct.[131]
Between 1998 and 2000, the distributed computing project PiHex used Bellard's formula (a modification of the
BBP algorithm) to compute the quadrillionth (1015th) bit of π, which turned out to be 0.[147] In September
2010, a Yahoo! employee used the company's Hadoop application on one thousand computers over a 23-day
period to compute 256 bits of π at the two-quadrillionth (2×1015th) bit, which also happens to be zero.[148]
π appears in formulae for areas and volumes of geometrical shapes based on circles, such as ellipses, spheres,
cones, and tori. Below are some of the more common formulae that involve π.[149]
Some of the formulae above are special cases of the volume of the n-
dimensional ball and the surface area of its boundary, the (n−1)-dimensional
sphere, given below.
Apart from circles, there are other curves of constant width. By Barbier's
theorem, every curve of constant width has perimeter π times its width. The
Reuleaux triangle (formed by the intersection of three circles with the sides
of an equilateral triangle as their radii) has the smallest possible area for its
width and the circle the largest. There also exist non-circular smooth and
even algebraic curves of constant width.[150]
In that integral, the function represents the height over the -axis of a semicircle (the square root is a
consequence of the Pythagorean theorem), and the integral computes the area below the semicircle.
Units of angle
The trigonometric functions rely on angles, and
mathematicians generally use radians as units of
measurement. π plays an important role in angles
measured in radians, which are defined so that a complete
circle spans an angle of 2π radians. The angle measure of
180° is equal to π radians, and 1° = π/180 radians.[152]
Sine and cosine functions repeat with period 2π. Common trigonometric functions have periods that are
multiples of π; for example, sine and cosine have period
2π,[153] so for any angle θ and any integer k,[153]
Eigenvalues
Many of the appearances of π in the formulae of mathematics and the sciences have to do with its close
relationship with geometry. However, π also appears in many natural situations having apparently nothing to
do with geometry.
:
In many applications, it plays a distinguished role as an eigenvalue. For
example, an idealized vibrating string can be modelled as the graph of a
function f on the unit interval [0, 1], with fixed ends f(0) = f(1) = 0. The
modes of vibration of the string are solutions of the differential equation
, or . Thus λ is an eigenvalue of the
second derivative operator , and is constrained by Sturm–Liouville
theory to take on only certain specific values. It must be positive, since the
operator is negative definite, so it is convenient to write λ = ν2, where ν > 0
is called the wavenumber. Then f(x) = sin(π x) satisfies the boundary
conditions and the differential equation with ν = π.[154]
The value π is, in fact, the least such value of the wavenumber, and is
associated with the fundamental mode of vibration of the string. One way to
show this is by estimating the energy, which satisfies Wirtinger's
inequality:[155] for a function with f(0) = f(1) = 0 and f, f ′
both square integrable, we have:
Inequalities
The number π serves appears in similar eigenvalue problems in higher-
dimensional analysis. As mentioned above, it can be characterized via its
role as the best constant in the isoperimetric inequality: the area A enclosed
by a plane Jordan curve of perimeter P satisfies the inequality
and equality is clearly achieved for the circle, since in that case A = πr2 and
The ancient city of Carthage
P = 2πr.[157]
was the solution to an
Ultimately, as a consequence of the isoperimetric inequality, π appears in
isoperimetric problem,
according to a legend
the optimal constant for the critical Sobolev inequality in n dimensions,
which thus characterizes the role of π in many physical phenomena as well,
recounted by Lord Kelvin:[156]
those lands bordering the sea for example those of classical potential theory.[158][159][160] In two
dimensions, the critical Sobolev inequality is
that Queen Dido could enclose
on all other sides within a single
given oxhide, cut into strips.
:
for f a smooth function with compact support in R2, is the gradient of f, and and refer
2 1
respectively to the L and L -norm. The Sobolev inequality is equivalent to the isoperimetric inequality (in any
dimension), with the same best constants.
Wirtinger's inequality also generalizes to higher-dimensional Poincaré inequalities that provide best constants
for the Dirichlet energy of an n-dimensional membrane. Specifically, π is the greatest constant such that
for all convex subsets G of Rn of diameter 1, and square-integrable functions u on G of mean zero.[161] Just as
Wirtinger's inequality is the variational form of the Dirichlet eigenvalue problem in one dimension, the
Poincaré inequality is the variational form of the Neumann eigenvalue problem, in any dimension.
Although there are several different conventions for the Fourier transform
and its inverse, any such convention must involve π somewhere. The above
is the most canonical definition, however, giving the unique unitary operator
on L2 that is also an algebra homomorphism of L1 to L∞.[162]
The physical consequence, about the uncertainty in simultaneous position and momentum observations of a
quantum mechanical system, is discussed below. The appearance of π in the formulae of Fourier analysis is
ultimately a consequence of the Stone–von Neumann theorem, asserting the uniqueness of the Schrödinger
representation of the Heisenberg group.[163]
Gaussian integrals
:
The fields of probability and statistics frequently use the normal distribution
as a simple model for complex phenomena; for example, scientists generally
assume that the observational error in most experiments follows a normal
distribution.[164] The Gaussian function, which is the probability density
function of the normal distribution with mean µ and standard deviation σ,
naturally contains π:[165]
which says that the area under the basic bell curve in the figure is equal to the square root of π.
The central limit theorem explains the central role of normal distributions, and thus of π, in probability and
statistics. This theorem is ultimately connected with the spectral characterization of π as the eigenvalue
associated with the Heisenberg uncertainty principle, and the fact that equality holds in the uncertainty
principle only for the Gaussian function.[166] Equivalently, π is the unique constant making the Gaussian
2
normal distribution e−πx equal to its own Fourier transform.[167] Indeed, according to Howe (1980), the
"whole business" of establishing the fundamental theorems of Fourier analysis reduces to the Gaussian
integral.[163]
Topology
The constant appears in many other integral formulae in topology, in particular, those involving characteristic
classes via the Chern–Weil homomorphism.[169]
The general form of Cauchy's integral formula establishes the relationship between the values of a complex
analytic function f(z) on the Jordan curve γ and the value of f(z) at any interior point z0 of γ:[171]
provided f(z) is analytic in the region enclosed by γ and extends continuously to γ. Cauchy's integral formula is a
special case of the residue theorem, that if g(z) is a meromorphic function the region enclosed by γ and is
continuous in a neighbourhood of γ, then
Total curvature
In mathematical study of the differential geometry of curves, the total curvature of an immersed plane curve is
the integral of curvature along a curve taken with respect to arc length:
The total curvature of a closed curve is always an integer multiple of 2π, where N is called the index of the curve
or turning number – it is the winding number of the unit tangent vector about the origin, or equivalently the
:
degree of the map to the unit circle assigning to each point of the
curve, the unit velocity vector at that point. This map is similar to
the Gauss map for surfaces.
The gamma function can be used to create a simple approximation to the factorial function n! for large n:
which is known as Stirling's approximation.[175] Equivalently,
:
As a geometrical application of Stirling's approximation, let Δn denote the standard simplex in n-dimensional
Euclidean space, and (n + 1)Δn denote the simplex having all of its sides scaled up by a factor of n + 1. Then
Ehrhart's volume conjecture is that this is the (optimal) upper bound on the volume of a convex body
containing only one lattice point.[176]
The solution to the Basel problem implies that the geometrically derived quantity π is connected in a deep way
to the distribution of prime numbers. This is a special case of Weil's conjecture on Tamagawa numbers, which
asserts the equality of similar such infinite products of arithmetic quantities, localized at each prime p, and a
geometrical quantity: the reciprocal of the volume of a certain locally symmetric space. In the case of the Basel
problem, it is the hyperbolic 3-manifold SL2(R)/SL2(Z).[181]
The zeta function also satisfies Riemann's functional equation, which involves π as well as the gamma function:
A consequence is that π can be obtained from the functional determinant of the harmonic oscillator. This
functional determinant can be computed via a product expansion, and is equivalent to the Wallis product
formula.[182] The calculation can be recast in quantum mechanics, specifically the variational approach to the
spectrum of the hydrogen atom.[183]
Fourier series
The constant π also appears naturally in Fourier series of periodic functions.
Periodic functions are functions on the group T =R/Z of fractional parts of
real numbers. The Fourier decomposition shows that a complex-valued
function f on T can be written as an infinite linear superposition of unitary
characters of T. That is, continuous group homomorphisms from T to the
circle group U(1) of unit modulus complex numbers. It is a theorem that
every character of T is one of the complex exponentials .
The constant π is connected in a deep way with the theory of modular forms and theta functions. For example,
the Chudnovsky algorithm involves in an essential way the j-invariant of an elliptic curve.
Modular forms are holomorphic functions in the upper half plane characterized by their transformation
properties under the modular group (or its various subgroups), a lattice in the group . An
example is the Jacobi theta function
:
which is a kind of modular form called a Jacobi form.[186] This is sometimes
written in terms of the nome .
The constant π is the unique constant making the Jacobi theta function an
automorphic form, which means that it transforms in a specific way. Certain
identities hold for all automorphic forms. An example is
One of the key formulae of quantum mechanics is Heisenberg's uncertainty principle, which shows that the
uncertainty in the measurement of a particle's position (Δx) and momentum (Δp) cannot both be arbitrarily
small at the same time (where h is the Planck constant):[193]
The fact that π is approximately equal to 3 plays a role in the relatively long lifetime of orthopositronium. The
inverse lifetime to lowest order in the fine-structure constant α is[194]
π is present in some structural engineering formulae, such as the buckling formula derived by Euler, which
gives the maximum axial load F that a long, slender column of length L, modulus of elasticity E, and area
moment of inertia I can carry without buckling:[195]
:
The field of fluid dynamics contains π in Stokes' law, which approximates the frictional force F exerted on
small, spherical objects of radius R, moving with velocity v in a fluid with dynamic viscosity η:[196]
In electromagnetics, the vacuum permeability constant µ0 appears in Maxwell's equations, which describe the
properties of electric and magnetic fields and electromagnetic radiation. Before 20 May 2019, it was defined as
exactly
Under ideal conditions (uniform gentle slope on a homogeneously erodible substrate), the sinuosity of a
meandering river approaches π. The sinuosity is the ratio between the actual length and the straight-line
distance from source to mouth. Faster currents along the outside edges of a river's bends cause more erosion
than along the inside edges, thus pushing the bends even farther out, and increasing the overall loopiness of the
river. However, that loopiness eventually causes the river to double back on itself in places and "short-circuit",
creating an ox-bow lake in the process. The balance between these two opposing factors leads to an average
ratio of π between the actual length and the direct distance between source and mouth.[197][198]
Memorizing digits
Piphilology is the practice of memorizing large numbers of digits of π,[199] and world-records are kept by the
Guinness World Records. The record for memorizing digits of π, certified by Guinness World Records, is
70,000 digits, recited in India by Rajveer Meena in 9 hours and 27 minutes on 21 March 2015.[200] In 2006,
Akira Haraguchi, a retired Japanese engineer, claimed to have recited 100,000 decimal places, but the claim
was not verified by Guinness World Records.[201]
One common technique is to memorize a story or poem in which the word lengths represent the digits of π: The
first word has three letters, the second word has one, the third has four, the fourth has one, the fifth has five,
and so on. Such memorization aids are called mnemonics. An early example of a mnemonic for pi, originally
devised by English scientist James Jeans, is "How I want a drink, alcoholic of course, after the heavy lectures
involving quantum mechanics."[199] When a poem is used, it is sometimes referred to as a piem.[202] Poems for
memorizing π have been composed in several languages in addition to English.[199] Record-setting π
memorizers typically do not rely on poems, but instead use methods such as remembering number patterns and
the method of loci.[203]
A few authors have used the digits of π to establish a new form of constrained writing, where the word lengths
are required to represent the digits of π. The Cadaeic Cadenza contains the first 3835 digits of π in this
manner,[204] and the full-length book Not a Wake contains 10,000 words, each representing one digit of
π.[205]
In popular culture
:
Perhaps because of the simplicity of its definition and its ubiquitous
presence in formulae, π has been represented in popular culture more than
other mathematical constructs.[206]
In the United States, Pi Day falls on 14 March (written 3/14 in the US style), and is popular among students.[46]
π and its digital representation are often used by self-described "math geeks" for inside jokes among
mathematically and technologically minded groups. A college cheer variously attributed to the Massachusetts
Institute of Technology or the Rensselaer Polytechnic Institute includes "3.14159".[211][212] Pi Day in 2015 was
particularly significant because the date and time 3/14/15 9:26:53 reflected many more digits of pi.[213][214] In
parts of the world where dates are commonly noted in day/month/year format, 22 July represents "Pi
Approximation Day", as 22/7 = 3.142857.[215]
Some have proposed replacing π by τ = 2π,[216] arguing that τ, as the number of radians in one turn or the ratio
of a circle's circumference to its radius, is more natural than π and simplifies many formulae.[217][218] This use
of τ has not made its way into mainstream mathematics,[219] but since 2010 this has led to people celebrating
Two Pi Day or Tau Day on June 28.[220]
In 1897, an amateur mathematician attempted to persuade the Indiana legislature to pass the Indiana Pi Bill,
which described a method to square the circle and contained text that implied various incorrect values for π,
including 3.2. The bill is notorious as an attempt to establish a value of mathematical constant by legislative fiat.
The bill was passed by the Indiana House of Representatives, but rejected by the Senate, and thus it did not
become a law.[221]
In computer culture
In contemporary internet culture, individuals and organizations frequently pay homage to the number π. For
instance, the computer scientist Donald Knuth let the version numbers of his program TeX approach π. The
versions are 3, 3.1, 3.14, and so forth.[222] τ has been added to several programming languages as a predefined
constant.[223][224]
See also
Approximations of π
Chronology of computation of π
List of mathematical constants
:
References
Notes
a. In particular, π is conjectured to be a normal number, which implies a specific kind of statistical randomness
on its digits in all bases.
b. The precise integral that Weierstrass used was Remmert 2012, p. 148
c. The polynomial shown is the first few terms of the Taylor series expansion of the sine function.
Citations
1. Andrews, Askey & Roy 1999, p. 59.
2. Gupta, R. C. (1992). "On the remainder term in the Madhava–Leibniz's series". Ganita Bharati. 14 (1–4):
68–71.
3. Jones, William (1706). Synopsis Palmariorum Matheseos (https://archive.org/details/SynopsisPalmariorum
MatheseosOrANewIntroductionToTheMathematics/page/n283/). London: J. Wale. pp. 243 (https://archive.or
g/details/SynopsisPalmariorumMatheseosOrANewIntroductionToTheMathematics/page/n261/), 263 (https://
archive.org/details/SynopsisPalmariorumMatheseosOrANewIntroductionToTheMathematics/page/n283/).
p. 263: "There are various other ways of finding the Lengths, or Areas of particular Curve Lines or Planes,
which may very much facilitate the Practice; as for instance, in the Circle, the Diameter is to Circumference
as 1 to
3.14159, &c. = π. This Series (among others for the same purpose, and drawn from the same Principle) I
receiv'd from the Excellent Analyst, and my much Esteem'd Friend Mr. John Machin; and by means thereof,
Van Ceulen's Number, or that in Art. 64.38. may be Examin'd with all desireable Ease and Dispatch."
Reprinted in Smith, David Eugene (1929). "William Jones: The First Use of π for the Circle Ratio" (https://arc
hive.org/details/sourcebookinmath1929smit/page/346/). A Source Book in Mathematics. McGraw–Hill.
pp. 346–347.
Newton, Isaac (1971). Whiteside, Derek Thomas (ed.). The Mathematical Papers of Isaac Newton. Vol. 4,
1674–1684. Cambridge University Press. pp. 526–653.
Euler, Leonhard (1798) [written 1779]. "Investigatio quarundam serierum, quae ad rationem peripheriae
circuli ad diametrum vero proxime definiendam maxime sunt accommodatae" (https://archive.org/details/nov
aactaacademia11petr/page/133). Nova Acta Academiae Scientiarum Petropolitinae. 11: 133–149, 167–168.
E 705 (https://scholarlycommons.pacific.edu/euler-works/705/).
Chien-Lih, Hwang (2004). "88.38 Some Observations on the Method of Arctangents for the Calculation of
π". Mathematical Gazette. 88 (512): 270–278. doi:10.1017/S0025557200175060 (https://doi.org/10.1017%2
FS0025557200175060). S2CID 123532808 (https://api.semanticscholar.org/CorpusID:123532808).
Chien-Lih, Hwang (2005). "89.67 An elementary derivation of Euler's series for the arctangent function".
Mathematical Gazette. 89 (516): 469–470. doi:10.1017/S0025557200178404 (https://doi.org/10.1017%2FS
0025557200178404). S2CID 123395287 (https://api.semanticscholar.org/CorpusID:123395287).
See Barbier's theorem, Corollary 5.1.1, p. 98; Reuleaux triangles, pp. 3, 10; smooth curves such as an
analytic curve due to Rabinowitz, § 5.3.3, pp. 111–112.
:
analytic curve due to Rabinowitz, § 5.3.3, pp. 111–112.
151. Herman, Edwin; Strang, Gilbert (2016). "Section 5.5, Exercise 316" (https://openstax.org/books/calculus-vol
ume-1/pages/5-5-substitution). Calculus. Vol. 1. OpenStax. p. 594.
152. Abramson 2014, Section 5.1: Angles (https://openstax.org/books/precalculus/pages/5-1-angles).
153. Bronshteĭn & Semendiaev 1971, pp. 210–211
154. Hilbert, David; Courant, Richard (1966). Methods of mathematical physics, volume 1. Wiley. pp. 286–290.
155. Dym & McKean 1972, p. 47.
156. Thompson, William (1894). "Isoperimetrical problems". Nature Series: Popular Lectures and Addresses. II:
571–592.
157. Chavel, Isaac (2001). Isoperimetric inequalities. Cambridge University Press.
158. Talenti, Giorgio (1976). "Best constant in Sobolev inequality". Annali di Matematica Pura ed Applicata. 110
(1): 353–372. CiteSeerX 10.1.1.615.4193 (https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.615.4
193). doi:10.1007/BF02418013 (https://doi.org/10.1007%2FBF02418013). ISSN 1618-1891 (https://www.wo
rldcat.org/issn/1618-1891). S2CID 16923822 (https://api.semanticscholar.org/CorpusID:16923822).
159. L. Esposito; C. Nitsch; C. Trombetti (2011). "Best constants in Poincaré inequalities for convex domains".
arXiv:1110.2960 (https://arxiv.org/abs/1110.2960) [math.AP (https://arxiv.org/archive/math.AP)].
160. Del Pino, M.; Dolbeault, J. (2002). "Best constants for Gagliardo–Nirenberg inequalities and applications to
nonlinear diffusions". Journal de Mathématiques Pures et Appliquées. 81 (9): 847–875.
CiteSeerX 10.1.1.57.7077 (https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.7077).
doi:10.1016/s0021-7824(02)01266-7 (https://doi.org/10.1016%2Fs0021-7824%2802%2901266-7).
S2CID 8409465 (https://api.semanticscholar.org/CorpusID:8409465).
161. Payne, L.E.; Weinberger, H.F. (1960). "An optimal Poincaré inequality for convex domains". Archive for
Rational Mechanics and Analysis. 5 (1): 286–292. Bibcode:1960ArRMA...5..286P (https://ui.adsabs.harvard.
edu/abs/1960ArRMA...5..286P). doi:10.1007/BF00252910 (https://doi.org/10.1007%2FBF00252910).
ISSN 0003-9527 (https://www.worldcat.org/issn/0003-9527). S2CID 121881343 (https://api.semanticscholar.
org/CorpusID:121881343).
162. Folland, Gerald (1989). Harmonic analysis in phase space. Princeton University Press. p. 5.
163. Howe, Roger (1980). "On the role of the Heisenberg group in harmonic analysis" (https://doi.org/10.1090%2
FS0273-0979-1980-14825-9). Bulletin of the American Mathematical Society. 3 (2): 821–844.
doi:10.1090/S0273-0979-1980-14825-9 (https://doi.org/10.1090%2FS0273-0979-1980-14825-9).
MR 0578375 (https://mathscinet.ams.org/mathscinet-getitem?mr=0578375).
164. Feller, W. An Introduction to Probability Theory and Its Applications, Vol. 1, Wiley, 1968, pp. 174–190.
165. Bronshteĭn & Semendiaev 1971, pp. 106–107, 744, 748
166. Dym & McKean 1972, Section 2.7.
167. Stein, Elias; Weiss, Guido (1971). Fourier analysis on Euclidean spaces. Princeton University Press. p. 6.;
Theorem 1.13.
168. Spivak, Michael (1999). A Comprehensive Introduction to Differential Geometry. Vol. 3. Publish or Perish
Press.; Chapter 6.
169. Kobayashi, Shoshichi; Nomizu, Katsumi (1996). Foundations of Differential Geometry. Vol. 2 (New ed.).
Wiley Interscience. p. 293.; Chapter XII Characteristic classes
170. Ahlfors, Lars (1966). Complex analysis. McGraw-Hill. p. 115.
171. Joglekar, S. D. (2005). Mathematical Physics. Universities Press. p. 166. ISBN 978-81-7371-422-1.
172. Bronshteĭn & Semendiaev 1971, pp. 191–192
173. Artin, Emil (1964). The Gamma Function. Athena series; selected topics in mathematics (1st ed.). Holt,
Rinehart and Winston.
174. Evans, Lawrence (1997). Partial Differential Equations. AMS. p. 615.
175. Bronshteĭn & Semendiaev 1971, p. 190
176. Benjamin Nill; Andreas Paffenholz (2014). "On the equality case in Erhart's volume conjecture". Advances
in Geometry. 14 (4): 579–586. arXiv:1205.1270 (https://arxiv.org/abs/1205.1270). doi:10.1515/advgeom-
2014-0001 (https://doi.org/10.1515%2Fadvgeom-2014-0001). ISSN 1615-7168 (https://www.worldcat.org/is
sn/1615-7168). S2CID 119125713 (https://api.semanticscholar.org/CorpusID:119125713).
177. Arndt & Haenel 2006, pp. 41–43
178. This theorem was proved by Ernesto Cesàro in 1881. For a more rigorous proof than the intuitive and
informal one given here, see Hardy, G. H. (2008). An Introduction to the Theory of Numbers. Oxford
University Press. Theorem 332. ISBN 978-0-19-921986-5.
179. Ogilvy, C. S.; Anderson, J. T. (1988). Excursions in Number Theory. Dover Publications Inc. pp. 29–35.
:
179. Ogilvy, C. S.; Anderson, J. T. (1988). Excursions in Number Theory. Dover Publications Inc. pp. 29–35.
ISBN 0-486-25778-9.
180. Arndt & Haenel 2006, p. 43
181. Platonov, Vladimir; Rapinchuk, Andrei (1994). Algebraic Groups and Number Theory. Academic Press.
pp. 262–265.
182. Sondow, J. (1994). "Analytic continuation of Riemann's zeta function and values at negative integers via
Euler's transformation of series". Proceedings of the American Mathematical Society. 120 (2): 421–424.
CiteSeerX 10.1.1.352.5774 (https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.5774).
doi:10.1090/s0002-9939-1994-1172954-7 (https://doi.org/10.1090%2Fs0002-9939-1994-1172954-7).
183. T. Friedmann; C.R. Hagen (2015). "Quantum mechanical derivation of the Wallis formula for pi". Journal of
Mathematical Physics. 56 (11): 112101. arXiv:1510.07813 (https://arxiv.org/abs/1510.07813).
Bibcode:2015JMP....56k2101F (https://ui.adsabs.harvard.edu/abs/2015JMP....56k2101F).
doi:10.1063/1.4930800 (https://doi.org/10.1063%2F1.4930800). S2CID 119315853 (https://api.semanticsch
olar.org/CorpusID:119315853).
184. Tate, John T. (1950). "Fourier analysis in number fields, and Hecke's zeta-functions". In Cassels, J. W. S.;
Fröhlich, A. (eds.). Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965). Thompson,
Washington, DC. pp. 305–347. ISBN 978-0-9502734-2-6. MR 0217026 (https://mathscinet.ams.org/mathsci
net-getitem?mr=0217026).
185. Dym & McKean 1972, Chapter 4.
186. Mumford, David (1983). Tata Lectures on Theta I. Boston: Birkhauser. pp. 1–117. ISBN 978-3-7643-3109-2.
187. Port, Sidney; Stone, Charles (1978). Brownian motion and classical potential theory. Academic Press. p. 29.
188. Titchmarsh, E. (1948). Introduction to the Theory of Fourier Integrals (2nd ed.). Oxford University:
Clarendon Press (published 1986). ISBN 978-0-8284-0324-5.
189. Stein, Elias (1970). Singular Integrals and Differentiability Properties of Functions. Princeton University
Press.; Chapter II.
190. Klebanoff, Aaron (2001). "Pi in the Mandelbrot set" (https://web.archive.org/web/20111027155739/http://ho
me.comcast.net/~davejanelle/mandel.pdf) (PDF). Fractals. 9 (4): 393–402.
doi:10.1142/S0218348X01000828 (https://doi.org/10.1142%2FS0218348X01000828). Archived from the
original (http://home.comcast.net/~davejanelle/mandel.pdf) (PDF) on 27 October 2011. Retrieved 14 April
2012.
191. Peitgen, Heinz-Otto (2004). Chaos and fractals: new frontiers of science. Springer. pp. 801–803. ISBN 978-
0-387-20229-7.
192. Halliday, David; Resnick, Robert; Walker, Jearl (1997). Fundamentals of Physics (5th ed.). John Wiley &
Sons. p. 381. ISBN 0-471-14854-7.
193. Urone, Paul Peter; Hinrichs, Roger (2022). "29.7 Probability: The Heisenberg Uncertainty Principle" (https://
openstax.org/books/college-physics-2e/pages/29-7-probability-the-heisenberg-uncertainty-principle).
College Physics 2e. OpenStax.
194. Itzykson, C.; Zuber, J.-B. (1980). Quantum Field Theory (https://books.google.com/books?id=4MwsAwAAQ
BAJ) (2005 ed.). Mineola, NY: Dover Publications. ISBN 978-0-486-44568-7. LCCN 2005053026 (https://lcc
n.loc.gov/2005053026). OCLC 61200849 (https://www.worldcat.org/oclc/61200849).
195. Low, Peter (1971). Classical Theory of Structures Based on the Differential Equation. Cambridge University
Press. pp. 116–118. ISBN 978-0-521-08089-7.
196. Batchelor, G. K. (1967). An Introduction to Fluid Dynamics. Cambridge University Press. p. 233. ISBN 0-
521-66396-2.
197. Hans-Henrik Stølum (22 March 1996). "River Meandering as a Self-Organization Process". Science. 271
(5256): 1710–1713. Bibcode:1996Sci...271.1710S (https://ui.adsabs.harvard.edu/abs/1996Sci...271.1710S).
doi:10.1126/science.271.5256.1710 (https://doi.org/10.1126%2Fscience.271.5256.1710). S2CID 19219185
(https://api.semanticscholar.org/CorpusID:19219185).
198. Posamentier & Lehmann 2004, pp. 140–141
199. Arndt & Haenel 2006, pp. 44–45
200. "Most Pi Places Memorized" (http://www.guinnessworldrecords.com/world-records/most-pi-places-memoris
ed) Archived (https://web.archive.org/web/20160214205333/http://www.guinnessworldrecords.com/world-re
cords/most-pi-places-memorised) 14 February 2016 at the Wayback Machine, Guinness World Records.
201. Otake, Tomoko (17 December 2006). "How can anyone remember 100,000 numbers?" (http://www.japantim
es.co.jp/life/2006/12/17/life/how-can-anyone-remember-100000-numbers/). The Japan Times. Archived (htt
ps://web.archive.org/web/20130818004142/http://www.japantimes.co.jp/life/2006/12/17/life/how-can-anyone
-remember-100000-numbers/) from the original on 18 August 2013. Retrieved 27 October 2007.
202. Danesi, Marcel (January 2021). "Chapter 4: Pi in Popular Culture". Pi (π) in Nature, Art, and Culture. Brill.
p. 97 (https://books.google.com/books?id=tAsOEAAAQBAJ&pg=PA97). doi:10.1163/9789004433397 (https:
:
p. 97 (https://books.google.com/books?id=tAsOEAAAQBAJ&pg=PA97). doi:10.1163/9789004433397 (https:
//doi.org/10.1163%2F9789004433397). ISBN 9789004433373. S2CID 224869535 (https://api.semanticscho
lar.org/CorpusID:224869535).
203. Raz, A.; Packard, M.G. (2009). "A slice of pi: An exploratory neuroimaging study of digit encoding and
retrieval in a superior memorist" (https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4323087). Neurocase. 15
(5): 361–372. doi:10.1080/13554790902776896 (https://doi.org/10.1080%2F13554790902776896).
PMC 4323087 (https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4323087). PMID 19585350 (https://pubmed.
ncbi.nlm.nih.gov/19585350).
204. Keith, Mike. "Cadaeic Cadenza Notes & Commentary" (http://www.cadaeic.net/comments.htm). Archived (ht
tps://web.archive.org/web/20090118060210/http://cadaeic.net/comments.htm) from the original on 18
January 2009. Retrieved 29 July 2009.
205. Keith, Michael; Diana Keith (17 February 2010). Not A Wake: A dream embodying (pi)'s digits fully for
10,000 decimals. Vinculum Press. ISBN 978-0-9630097-1-5.
206. For instance, Pickover calls π "the most famous mathematical constant of all time", and Peterson writes, "Of
all known mathematical constants, however, pi continues to attract the most attention", citing the Givenchy π
perfume, Pi (film), and Pi Day as examples. See: Pickover, Clifford A. (1995). Keys to Infinity (https://archive
.org/details/keystoinfinity00clif/page/59). Wiley & Sons. p. 59 (https://archive.org/details/keystoinfinity00clif/p
age/59). ISBN 978-0-471-11857-2. Peterson, Ivars (2002). Mathematical Treks: From Surreal Numbers to
Magic Circles (https://books.google.com/books?id=4gWSAraVhtAC&pg=PA17). MAA spectrum.
Mathematical Association of America. p. 17. ISBN 978-0-88385-537-9. Archived (https://web.archive.org/we
b/20161129190818/https://books.google.com/books?id=4gWSAraVhtAC&pg=PA17) from the original on 29
November 2016.
207. BBC documentary "The Story of Maths", second part (https://vimeo.com/74859005) Archived (https://web.ar
chive.org/web/20141223134128/http://vimeo.com/74859005) 23 December 2014 at the Wayback Machine,
showing a visualization of the historically first exact formula, starting at 35 min and 20 sec into the second
part of the documentary.
208. Posamentier & Lehmann 2004, p. 118
Arndt & Haenel 2006, p. 50
209. Arndt & Haenel 2006, p. 14. This part of the story was omitted from the film adaptation of the novel.
210. Gill, Andy (4 November 2005). "Review of Aerial" (http://gaffa.org/reaching/rev_aer_UK5.html). The
Independent. Archived (https://web.archive.org/web/20061015122229/http://gaffa.org/reaching/rev_aer_UK
5.html) from the original on 15 October 2006. "the almost autistic satisfaction of the obsessive-compulsive
mathematician fascinated by 'Pi' (which affords the opportunity to hear Bush slowly sing vast chunks of the
number in question, several dozen digits long)"
211. Rubillo, James M. (January 1989). "Disintegrate 'em". The Mathematics Teacher. 82 (1): 10.
JSTOR 27966082 (https://www.jstor.org/stable/27966082).
212. Petroski, Henry (2011). Title An Engineer's Alphabet: Gleanings from the Softer Side of a Profession (https:/
/books.google.com/books?id=oVXzxvS3MLUC&pg=PA47). Cambridge University Press. p. 47. ISBN 978-1-
139-50530-7.
213. "Happy Pi Day! Watch these stunning videos of kids reciting 3.14" (https://www.usatoday.com/story/news/na
tion-now/2015/03/14/pi-day-kids-videos/24753169/). USAToday.com. 14 March 2015. Archived (https://web.
archive.org/web/20150315005038/http://www.usatoday.com/story/news/nation-now/2015/03/14/pi-day-kids-
videos/24753169/) from the original on 15 March 2015. Retrieved 14 March 2015.
214. Rosenthal, Jeffrey S. (February 2015). "Pi Instant" (http://probability.ca/jeff/writing/PiInstant.html). Math
Horizons. 22 (3): 22. doi:10.4169/mathhorizons.22.3.22 (https://doi.org/10.4169%2Fmathhorizons.22.3.22).
S2CID 218542599 (https://api.semanticscholar.org/CorpusID:218542599).
215. Griffin, Andrew. "Pi Day: Why some mathematicians refuse to celebrate 14 March and won't observe the
dessert-filled day" (https://www.independent.co.uk/news/science/pi-day-march-14-maths-google-doodle-pie-
baking-celebrate-30-anniversary-a8254036.html). The Independent. Archived (https://web.archive.org/web/
20190424151944/https://www.independent.co.uk/news/science/pi-day-march-14-maths-google-doodle-pie-b
aking-celebrate-30-anniversary-a8254036.html) from the original on 24 April 2019. Retrieved 2 February
2019.
216. Freiberger, Marianne; Thomas, Rachel (2015). "Tau – the new π" (https://books.google.com/books?id=IbR-B
AAAQBAJ&pg=PT133). Numericon: A Journey through the Hidden Lives of Numbers. Quercus. p. 159.
ISBN 978-1-62365-411-5.
217. Abbott, Stephen (April 2012). "My Conversion to Tauism" (http://www.maa.org/sites/default/files/pdf/Mathhor
izons/apr12_aftermath.pdf) (PDF). Math Horizons. 19 (4): 34. doi:10.4169/mathhorizons.19.4.34 (https://doi.
org/10.4169%2Fmathhorizons.19.4.34). S2CID 126179022 (https://api.semanticscholar.org/CorpusID:1261
79022). Archived (https://web.archive.org/web/20130928095819/http://www.maa.org/sites/default/files/pdf/M
athhorizons/apr12_aftermath.pdf) (PDF) from the original on 28 September 2013.
:
athhorizons/apr12_aftermath.pdf) (PDF) from the original on 28 September 2013.
218. Palais, Robert (2001). "π Is Wrong!" (http://www.math.utah.edu/~palais/pi.pdf) (PDF). The Mathematical
Intelligencer. 23 (3): 7–8. doi:10.1007/BF03026846 (https://doi.org/10.1007%2FBF03026846).
S2CID 120965049 (https://api.semanticscholar.org/CorpusID:120965049). Archived (https://web.archive.org
/web/20120622070009/http://www.math.utah.edu/~palais/pi.pdf) (PDF) from the original on 22 June 2012.
219. "Life of pi in no danger – Experts cold-shoulder campaign to replace with tau" (https://web.archive.org/web/2
0130713084345/http://www.telegraphindia.com/1110630/jsp/nation/story_14178997.jsp). Telegraph India.
30 June 2011. Archived from the original (http://www.telegraphindia.com/1110630/jsp/nation/story_1417899
7.jsp) on 13 July 2013.
220. "Forget Pi Day. We should be celebrating Tau Day | Science News" (https://www.sciencenews.org/blog/scie
nce-the-public/forget-pi-day-we-should-be-celebrating-tau-day). Retrieved 2 May 2023.
221. Arndt & Haenel 2006, pp. 211–212
Posamentier & Lehmann 2004, pp. 36–37
Hallerberg, Arthur (May 1977). "Indiana's squared circle". Mathematics Magazine. 50 (3): 136–140.
doi:10.2307/2689499 (https://doi.org/10.2307%2F2689499). JSTOR 2689499 (https://www.jstor.org/stable/2
689499).
222. Knuth, Donald (3 October 1990). "The Future of TeX and Metafont" (http://www.ntg.nl/maps/05/34.pdf)
(PDF). TeX Mag. 5 (1): 145. Archived (https://web.archive.org/web/20160413230304/http://www.ntg.nl/maps
/05/34.pdf) (PDF) from the original on 13 April 2016. Retrieved 17 February 2017.
223. "PEP 628 – Add math.tau" (https://www.python.org/dev/peps/pep-0628/).
224. "Crate tau" (https://docs.rs/tau/latest/tau/). Retrieved 6 December 2022.
Sources
Abramson, Jay (2014). Precalculus (https://openstax.org/details/books/precalculus). OpenStax.
Andrews, George E.; Askey, Richard; Roy, Ranjan (1999). Special Functions (https://books.google.com/books?i
d=kGshpCa3eYwC&pg=PA59). Cambridge: University Press. ISBN 978-0-521-78988-2.
Arndt, Jörg; Haenel, Christoph (2006). Pi Unleashed (https://books.google.com/books?id=QwwcmweJCDQC).
Springer-Verlag. ISBN 978-3-540-66572-4. Retrieved 5 June 2013. English translation by Catriona and
David Lischka.
Berggren, Lennart; Borwein, Jonathan; Borwein, Peter (1997). Pi: a Source Book. Springer-Verlag. ISBN 978-0-
387-20571-7.
Boyer, Carl B.; Merzbach, Uta C. (1991). A History of Mathematics (https://archive.org/details/historyofmathema
00boye) (2 ed.). Wiley. ISBN 978-0-471-54397-8.
Bronshteĭn, Ilia; Semendiaev, K.A. (1971). A Guide Book to Mathematics. Verlag Harri Deutsch. ISBN 978-3-
87144-095-3.
Dym, H.; McKean, H. P. (1972). Fourier series and integrals. Academic Press.
Eymard, Pierre; Lafon, Jean Pierre (2004). The Number π. Translated by Wilson, Stephen. American
Mathematical Society. ISBN 978-0-8218-3246-2. English translation of Autour du nombre π (in French).
Hermann. 1999.
Posamentier, Alfred S.; Lehmann, Ingmar (2004). π: A Biography of the World's Most Mysterious Number (https:
//archive.org/details/pi00alfr_0). Prometheus Books. ISBN 978-1-59102-200-8.
Remmert, Reinhold (2012). "Ch. 5 What is π?" (https://books.google.com/books?id=Z53SBwAAQBAJ&pg=PA1
23). In Heinz-Dieter Ebbinghaus; Hans Hermes; Friedrich Hirzebruch; Max Koecher; Klaus Mainzer;
Jürgen Neukirch; Alexander Prestel; Reinhold Remmert (eds.). Numbers. Springer. ISBN 978-1-4612-
1005-4.
Further reading
Blatner, David (1999). The Joy of π. Walker & Company. ISBN 978-0-8027-7562-7.
Delahaye, Jean-Paul (1997). Le fascinant nombre π. Paris: Bibliothèque Pour la Science. ISBN 2-902918-25-9.
External links
Weisstein, Eric W. "Pi" (https://mathworld.wolfram.com/Pi.html). MathWorld.
Demonstration by Lambert (1761) of irrationality of π, online (https://www.bibnum.education.fr/mathematiqu
:
es/theorie-des-nombres/lambert-et-l-irrationalite-de-p-1761) and analysed BibNum (https://www.bibnum.edu
cation.fr/sites/default/files/24-lambert-analysis.pdf) (PDF).
π Search Engine (http://pisearch.org/pi) 2 billion searchable digits of π, e and √2