Template:Short description Template:About Template:Pp Template:Featured article Template:Use Oxford spelling Template:Use dmy dates Template:CS1 config Template:Pi box The number Template:Pi (Template:IPAc-en; spelled out as pi) is a mathematical constant, approximately equal to 3.14159, that is the ratio of a circle's circumference to its diameter. It appears in many formulae across mathematics and physics, and some of these formulae are commonly used for defining Template:Pi, to avoid relying on the definition of the length of a curve.
The number Template:Pi is an irrational number, meaning that it cannot be expressed exactly as a ratio of two integers, although fractions such as <math>\tfrac{22}{7}</math> 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 algebraic equation involving only finite sums, products, powers, and integers. The transcendence of Template:Pi implies that it is impossible to solve the ancient challenge of squaring the circle with a compass and straightedge. The decimal digits of Template:Pi appear to be randomly distributed, but no proof of this conjecture has been found.
For thousands of years, mathematicians have attempted to extend their understanding of Template:Pi, sometimes by computing its value to a high degree of accuracy. Ancient civilizations, including the Egyptians and Babylonians, required fairly accurate approximations of Template:Pi for practical computations. Around 250Template:NbspBC, the Greek mathematician Archimedes created an algorithm to approximate Template:Pi with arbitrary accuracy. In the 5th century AD, Chinese mathematicians approximated Template:Pi to seven digits, while Indian mathematicians made a five-digit approximation, both using geometrical techniques. The first computational formula for Template:Pi, based on infinite series, was discovered a millennium later. 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. The invention of calculus soon led to the calculation of hundreds of digits of Template:Pi, 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 Template:Pi to many trillions of digits. These computations are motivated by the development of efficient algorithms to calculate numeric series, as well as the human quest to break records. The extensive computations involved have also been used to test supercomputers as well as stress testing consumer computer hardware.
Because it relates to a circle, Template:Pi 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. It also appears in areas having little to do with geometry, such as number theory and statistics, and in modern mathematical analysis can be defined without any reference to geometry. The ubiquity of Template:Pi makes it one of the most widely known mathematical constants inside and outside of science. Several books devoted to Template:Pi have been published, and record-setting calculations of the digits of Template:Pi often result in news headlines.
FundamentalsEdit
NameEdit
The symbol used by mathematicians to represent the ratio of a circle's circumference to its diameter is the lowercase [[Pi (letter)|Greek letter Template:Pi]], sometimes spelled out as pi.Template:R In English, Template:Pi is pronounced as "pie" (Template:IPAc-en Template:Respell).<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> In mathematical use, the lowercase letter Template:Pi is distinguished from its capitalized and enlarged counterpart Template:Math, which denotes a product of a sequence, analogous to how Template:Math denotes summation.
The choice of the symbol Template:Pi is discussed in the section [[#Adoption of the symbol π|Adoption of the symbol Template:Pi]].
DefinitionEdit
Template:Pi is commonly defined as the ratio of a circle's circumference Template:Math to its diameter Template:Math:Template:Sfn
<math display="block"> \pi = \frac{C}{d}</math>
The ratio <math display="inline">\frac{C}{d}</math> 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 <math display="inline">\frac{C}{d}</math>. This definition of Template:Pi implicitly makes use of flat (Euclidean) geometry; although the notion of a circle can be extended to any curve (non-Euclidean) geometry, these new circles will no longer satisfy the formula <math display="inline">\pi=\frac{C}{d}</math>.Template:Sfn
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.<ref>Template:Cite book</ref> For example, one may directly compute the arc length of the top half of the unit circle, given in Cartesian coordinates by the equation <math display="inline">x^2+y^2=1</math>, as the integral:Template:Sfn
<math display="block">\pi = \int_{-1}^1 \frac{dx}{\sqrt{1-x^2}}.</math>
An integral such as this was proposed as a definition of Template:Pi by Karl Weierstrass, who defined it directly as an integral in 1841.Template:Efn
Integration is no longer commonly used in a first analytical definition because, as Template:Harvnb explains, differential calculus typically precedes integral calculus in the university curriculum, so it is desirable to have a definition of Template:Pi that does not rely on the latter. One such definition, due to Richard Baltzer<ref>Template:Cite book</ref> and popularized by Edmund Landau,<ref>Template:Cite book</ref> is the following: Template:Pi is twice the smallest positive number at which the cosine function equals 0.Template:SfnTemplate:Sfn<ref name="Rudin 1976">Template:Cite book</ref> Template:Pi 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,<ref>Template:Cite book</ref> or as the solution of a differential equation.Template:R
In a similar spirit, Template:Pi can be defined using properties of the complex exponential, Template:Math, of a complex variable Template:Math. Like the cosine, the complex exponential can be defined in one of several ways. The set of complex numbers at which Template:Math is equal to one is then an (imaginary) arithmetic progression of the form:
<math display=block>\{\dots,-2\pi i, 0, 2\pi i, 4\pi i,\dots\} = \{2\pi ki\mid k\in\mathbb Z\}</math>
and there is a unique positive real number Template:Pi with this property.Template:Sfn<ref>Template:Cite book</ref>
A variation on the same idea, making use of sophisticated mathematical concepts of topology and algebra, is the following theorem:<ref>Template:Cite book</ref> 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 Template:Pi is then defined as half the magnitude of the derivative of this homomorphism.<ref name="Nicolas Bourbaki">Template:Cite book</ref>
Irrationality and normalityEdit
Template:Pi is an irrational number, meaning that it cannot be written as the ratio of two integers. Fractions such as Template:Math and Template:Math are commonly used to approximate Template:Pi, but no common fraction (ratio of whole numbers) can be its exact value.Template:Sfn Because Template:Pi 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 [[proof that π is irrational|proofs that Template:Pi is irrational]]; they are generally proofs by contradiction and require calculus. The degree to which Template:Pi can be approximated by rational numbers (called the irrationality measure) is not precisely known; estimates have established that the irrationality measure is larger or at least equal to the measure of Template:Math but smaller than the measure of Liouville numbers.<ref>Template:Cite journal</ref>
The digits of Template:Pi 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 Template:Pi is normal has not been proven or disproven.Template:Sfn
Since the advent of computers, a large number of digits of Template:Pi have been available on which to perform statistical analysis. Yasumasa Kanada has performed detailed statistical analyses on the decimal digits of Template:Pi, 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.Template:Sfn Any random sequence of digits contains arbitrarily long subsequences that appear non-random, by the infinite monkey theorem. Thus, because the sequence of Template:Pi'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 Template:Pi.Template:Sfn This is also called the "Feynman point" in mathematical folklore, after Richard Feynman, although no connection to Feynman is known.
TranscendenceEdit
In addition to being irrational, Template:Pi is also a transcendental number, which means that it is not the solution of any non-constant polynomial equation with rational coefficients, such as <math display="inline">\frac{x^5}{120}-\frac{x^3}{6}+x=0</math>.Template:SfnTemplate:Efn This follows from the so-called Lindemann–Weierstrass theorem, which also establishes the transcendence of [[E (mathematical constant)|the constant Template:Mvar]].
The transcendence of Template:Pi has two important consequences: First, Template:Pi cannot be expressed using any finite combination of rational numbers and square roots or n-th roots (such as <math>\sqrt[3]{31}</math> or <math>\sqrt{10}</math>). Second, since no transcendental number can be constructed with compass and straightedge, it is not possible to "square the circle". In other words, it is impossible to construct, using compass and straightedge alone, a square whose area is exactly equal to the area of a given circle.Template:Sfn Squaring a circle was one of the important geometry problems of the classical antiquity.Template:Sfn Amateur mathematicians in modern times have sometimes attempted to square the circle and claim success—despite the fact that it is mathematically impossible.<ref>Template:Cite book Template:Pb Template:Cite book, p. 185.</ref>
An unsolved problem thus far is the question of whether or not the numbers Template:Mvar and Template:Mvar are algebraically independent ("relatively transcendental"). This would be resolved by Schanuel's conjecture<ref>Template:Cite book Template:Pb {{#invoke:citation/CS1|citation |CitationClass=web }}</ref> – a currently unproven generalization of the Lindemann–Weierstrass theorem.<ref>Template:Mathworld</ref>
Continued fractionsEdit
As an irrational number, Template:Pi cannot be represented as a common fraction. But every number, including Template:Pi, can be represented by an infinite series of nested fractions, called a simple continued fraction:
<math display=block> \pi = 3+\textstyle \cfrac{1}{7+\textstyle \cfrac{1}{15+\textstyle \cfrac{1}{1+\textstyle \cfrac{1}{292+\textstyle \cfrac{1}{1+\textstyle \cfrac{1}{1+\textstyle \cfrac{1}{1+\ddots}}}}}}} </math>
Truncating the continued fraction at any point yields a rational approximation for Template:Pi; the first four of these are Template:Math, Template:Math, Template:Math, and Template:Math. These numbers are among the best-known and most widely used historical approximations of the constant. Each approximation generated in this way is a best rational approximation; that is, each is closer to Template:Pi than any other fraction with the same or a smaller denominator.Template:Sfn Because Template:Pi is transcendental, it is by definition not algebraic and so cannot be a quadratic irrational. Therefore, Template:Pi cannot have a periodic continued fraction. Although the simple continued fraction for Template:Pi (with numerators all 1, shown above) also does not exhibit any other obvious pattern,Template:Sfn<ref name=mollin>Template:Cite journal</ref> several non-simple continued fractions do, such as:<ref>Template:Cite journal</ref>Template:Efn
<math display=block> \begin{align} \pi &= 3+ \cfrac
{1^2}{6+ \cfrac
{3^2}{6+ \cfrac
{5^2}{6+ \cfrac
{7^2}{6+ \ddots}}}}
= \cfrac
{4}{1+ \cfrac
{1^2}{2+ \cfrac
{3^2}{2+ \cfrac
{5^2}{2+ \ddots}}}}
= \cfrac
{4}{1+ \cfrac
{1^2}{3+ \cfrac
{2^2}{5+ \cfrac
{3^2}{7+ \ddots}}}}
\end{align} </math>
Approximate value and digitsEdit
Some approximations of pi include:
- Integers: 3
- Fractions: Approximate fractions include (in order of increasing accuracy) Template:Sfrac, Template:Sfrac, Template:Sfrac, Template:Sfrac, Template:Sfrac, Template:Sfrac, and Template:Sfrac.Template:Sfn (List is selected terms from Template:OEIS2C and Template:OEIS2C.)
- Digits: The first 50 decimal digits are Template:GapsTemplate:Sfn (see Template:OEIS2C)
Digits in other number systems
- The first 48 binary (base 2) digits (called bits) are Template:Gaps (see Template:OEIS2C)
- The first 36 digits in ternary (base 3) are Template:Gaps (see Template:OEIS2C)
- The first 20 digits in hexadecimal (base 16) are Template:GapsTemplate:Sfn (see Template:OEIS2C)
- The first five sexagesimal (base 60) digits are 3;8,29,44,0,47<ref>Template:Cite journal Ptolemy used a three-sexagesimal-digit approximation, and Jamshīd al-Kāshī expanded this to nine digits; see Template:Cite book</ref> (see Template:OEIS2C)
Complex numbers and Euler's identityEdit
Any complex number, say Template:Mvar, can be expressed using a pair of real numbers. In the polar coordinate system, one number (radius or Template:Mvar) is used to represent Template:Mvar's distance from the origin of the complex plane, and the other (angle or Template:Mvar) the counter-clockwise rotation from the positive real line:Template:Sfn
<math display=block>z = r\cdot(\cos\varphi + i\sin\varphi),</math>
where Template:Mvar is the imaginary unit satisfying <math>i^2=-1</math>. The frequent appearance of Template:Pi in complex analysis can be related to the behaviour of the exponential function of a complex variable, described by Euler's formula:Template:Sfn
<math display=block>e^{i\varphi} = \cos \varphi + i\sin \varphi,</math>
where [[E (mathematical constant)|the constant Template:Math]] is the base of the natural logarithm. This formula establishes a correspondence between imaginary powers of Template:Math and points on the unit circle centred at the origin of the complex plane. Setting <math>\varphi=\pi</math> in Euler's formula results in Euler's identity, celebrated in mathematics due to it containing five important mathematical constants:Template:Sfn<ref>Template:Cite book</ref>
<math display=block>e^{i \pi} + 1 = 0.</math>
There are Template:Math different complex numbers Template:Mvar satisfying <math>z^n=1</math>, and these are called the "Template:Math-th roots of unity"Template:Sfn and are given by the formula:
<math display=block>e^{2 \pi i k/n} \qquad (k = 0, 1, 2, \dots, n - 1).</math>
HistoryEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}} Template:See also
Surviving approximations of Template:Pi prior to the 2nd century AD are accurate to one or two decimal places at best. The earliest written approximations 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 Template:Pi as Template:Sfrac = 3.125.Template:Sfn 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 Template:Pi as <math display="inline">\bigl(\frac{16}{9}\bigr)^2\approx3.16</math>.Template:RTemplate:Sfn Although some pyramidologists have theorized that the Great Pyramid of Giza was built with proportions related to Template:Pi, this theory is not widely accepted by scholars.<ref>Template:Cite book</ref> In the Shulba Sutras of Indian mathematics, dating to an oral tradition from the 1st or 2nd millennium BC, approximations are given which have been variously interpreted as approximately 3.08831, 3.08833, 3.004, 3, or 3.125.<ref>Template:Cite book</ref>
Polygon approximation eraEdit
The first recorded algorithm for rigorously calculating the value of Template:Pi was a geometrical approach using polygons, devised around 250 BC by the Greek mathematician Archimedes, implementing the method of exhaustion.Template:Sfn This polygonal algorithm dominated for over 1,000 years, and as a result Template:Pi is sometimes referred to as Archimedes's constant.Template:Sfn Archimedes computed upper and lower bounds of Template:Pi by drawing a regular hexagon inside and outside a circle, and successively doubling the number of sides until he reached a 96-sided regular polygon. By calculating the perimeters of these polygons, he proved that Template:Math (that is, Template:Math.<ref name=life-of-pi>Template:Cite book</ref> Archimedes' upper bound of Template:Math may have led to a widespread popular belief that Template:Pi is equal to Template:Math.Template:Sfn Around 150 AD, Greco-Roman scientist Ptolemy, in his Almagest, gave a value for Template:Pi of 3.1416, which he may have obtained from Archimedes or from Apollonius of Perga.Template:SfnTemplate:Sfn Mathematicians using polygonal algorithms reached 39 digits of Template:Pi in 1630, a record only broken in 1699 when infinite series were used to reach 71 digits.<ref name="ArPI">Template:Harvnb. Grienberger achieved 39 digits in 1630; Sharp 71 digits in 1699.</ref>
In ancient China, values for Template:Pi included 3.1547 (around 1 AD), <math>\sqrt{10}</math> (100 AD, approximately 3.1623), and Template:Math (3rd century, approximately 3.1556).Template:Sfn Around 265 AD, the Cao Wei mathematician Liu Hui created a polygon-based iterative algorithm, with which he constructed a 3,072-sided polygon to approximate Template:Pi as 3.1416.Template:SfnTemplate:Sfn Liu later invented a faster method of calculating Template:Pi and obtained a value of 3.14 with a 96-sided polygon, by taking advantage of the fact that the differences in area of successive polygons form a geometric series with a factor of 4.Template:Sfn Around 480 AD, Zu Chongzhi calculated that <math>3.1415926 < \pi < 3.1415927</math> and suggested the approximations <math display="inline">\pi \approx \frac{355}{113} = 3.14159292035...</math> and <math display="inline">\pi \approx \frac{22}{7} = 3.142857142857...</math>, which he termed the milü ('close ratio') and yuelü ('approximate ratio') respectively, iterating with Liu Hui's algorithm up to a 12,288-sided polygon. With a correct value for its seven first decimal digits, Zu's result remained the most accurate approximation of Template:Pi for the next 800 years.Template:Sfn
The Indian astronomer Aryabhata used a value of 3.1416 in his Āryabhaṭīya (499 AD).Template:Sfn Around 1220, Fibonacci computed 3.1418 using a polygonal method devised independently of Archimedes.Template:Sfn Italian author Dante apparently employed the value <math display="inline">3+\frac{\sqrt{2}}{10} \approx 3.14142</math>.Template:Sfn
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 <math display="inline">3\times 2^{28}</math> sides,<ref>Template:Cite journal Template:Pb {{#invoke:citation/CS1|citation |CitationClass=web }}</ref> which stood as the world record for about 180 years.Template:Sfn French mathematician François Viète in 1579 achieved nine digits with a polygon of <math display="inline">3\times 2^{17}</math> sides.Template:Sfn Flemish mathematician Adriaan van Roomen arrived at 15 decimal places in 1593.Template:Sfn In 1596, Dutch mathematician Ludolph van Ceulen reached 20 digits, a record he later increased to 35 digits (as a result, Template:Pi was called the "Ludolphian number" in Germany until the early 20th century).Template:Sfn Dutch scientist Willebrord Snellius reached 34 digits in 1621,Template:Sfn and Austrian astronomer Christoph Grienberger arrived at 38 digits in 1630 using 1040 sides.<ref>Template:Cite book His evaluation was 3.14159 26535 89793 23846 26433 83279 50288 4196 < Template:Pi < 3.14159 26535 89793 23846 26433 83279 50288 4199.</ref> Christiaan Huygens was able to arrive at 10 decimal places in 1654 using a slightly different method equivalent to Richardson extrapolation.<ref>Template:Cite book Template:Pb Template:Cite journal</ref>
Infinite seriesEdit
Template:Comparison pi infinite series.svg The calculation of Template:Pi 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 Template:Pi with much greater precision than Archimedes and others who used geometrical techniques.Template:Sfn Although infinite series were exploited for Template:Pi 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.Template:RTemplate:Sfn Around 1500, an infinite series that could be used to compute Template:Pi, written in the form of Sanskrit verse, was presented in Tantrasamgraha by Nilakantha Somayaji.<ref name="Roypp">Template:Cite journal</ref> The series are presented without proof, but proofs are presented in the later work Yuktibhāṣā, published around 1530. Several infinite series are described, including series for sine (which Nilakantha attributes to Madhava of Sangamagrama), cosine, 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.Template:R Madhava used infinite series to estimate Template:Pi to 11 digits around 1400.<ref>Template:Cite book</ref>Template:Sfn<ref>Template:Cite journal</ref>
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 Template:Pi calculations):<ref>Template:Harvnb. Template:Pb Template:Cite book Template:Pb Template:OEIS2C</ref>
<math display=block> \frac2\pi = \frac{\sqrt2}2 \cdot \frac{\sqrt{2+\sqrt2}}2 \cdot \frac{\sqrt{2+\sqrt{2+\sqrt2}}}2 \cdots</math>
In 1655, John Wallis published what is now known as Wallis product, also an infinite product:Template:Sfn
<math display=block> \frac{\pi}{2} = \Big(\frac{2}{1} \cdot \frac{2}{3}\Big) \cdot \Big(\frac{4}{3} \cdot \frac{4}{5}\Big) \cdot \Big(\frac{6}{5} \cdot \frac{6}{7}\Big) \cdot \Big(\frac{8}{7} \cdot \frac{8}{9}\Big) \cdots </math>
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 Template:Pi. Newton himself used an arcsine series to compute a 15-digit approximation of Template:Pi 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."<ref name="Newton">Template:Harvnb. Newton quoted by Arndt.</ref>
In 1671, James Gregory, and independently, Leibniz in 1673, discovered the Taylor series expansion for arctangent:Template:R<ref>Template:Cite journal</ref>Template:Sfn
<math display=block> \arctan z = z - \frac {z^3} {3} +\frac {z^5} {5} -\frac {z^7} {7} +\cdots </math>
This series, sometimes called the Gregory–Leibniz series, equals <math display="inline">\frac{\pi}{4}</math> when evaluated with <math>z=1</math>.Template:Sfn But for <math>z=1</math>, it converges impractically slowly (that is, approaches the answer very gradually), taking about ten times as many terms to calculate each additional digit.<ref>Template:Cite journal</ref>
In 1699, English mathematician Abraham Sharp used the Gregory–Leibniz series for <math display="inline">z=\frac{1}{\sqrt{3}}</math> to compute Template:Pi to 71 digits, breaking the previous record of 39 digits, which was set with a polygonal algorithm.Template:Sfn
In 1706, John Machin used the Gregory–Leibniz series to produce an algorithm that converged much faster:<ref name=jones>Template:Cite book - \tfrac13\overline{\tfrac{16}{5^3} - \tfrac4{239^3}} + \tfrac15\overline{\tfrac{16}{5^5} - \tfrac4{239^5}} -,\, \&c. =</math>Template:BrTemplate:Math. 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 CeulenTemplate:'s Number, or that in Art. 64.38. may be Examin'd with all desireable Ease and Dispatch. }} Template:Pb Reprinted in Template:Cite book</ref><ref name=tweddle>Template:Cite journal</ref>Template:Sfn
<math display=block> \frac{\pi}{4} = 4 \arctan \frac{1}{5} - \arctan \frac{1}{239}.</math>
Machin reached 100 digits of Template:Pi with this formula.Template:Sfn Other mathematicians created variants, now known as Machin-like formulae, that were used to set several successive records for calculating digits of Template:Pi.<ref>Template:Cite journal</ref>Template:Sfn
Isaac Newton accelerated the convergence of the Gregory–Leibniz series in 1684 (in an unpublished work; others independently discovered the result):<ref>Template:Cite book Template:Pb Template:Cite book</ref>
<math display=block> \arctan x = \frac{x}{1 + x^2} + \frac23\frac{x^3}{(1 + x^2)^2} + \frac{2\cdot 4}{3 \cdot 5}\frac{x^5}{(1 + x^2)^3} + \cdots </math>
Leonhard Euler popularized this series in his 1755 differential calculus textbook, and later used it with Machin-like formulae, including <math display=inline>\tfrac\pi4 = 5\arctan\tfrac17 + 2\arctan\tfrac{3}{79},</math> with which he computed 20 digits of Template:Pi in one hour.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }} Reprinted in Template:Cite book Template:Pb Template:Cite book Template:Pb Template:Cite journal Template:Pb Template:Cite journal Template:Pb Template:Cite journal </ref>
Machin-like formulae remained the best-known method for calculating Template:Pi 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.Template:Sfn
In 1844, a record was set by Zacharias Dase, who employed a Machin-like formula to calculate 200 decimals of Template:Pi in his head at the behest of German mathematician Carl Friedrich Gauss.Template:Sfn
In 1853, British mathematician William Shanks calculated Template:Pi 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.<ref name="hayes-2014">Template:Cite magazine</ref>
Rate of convergenceEdit
Some infinite series for Template:Pi converge faster than others. Given the choice of two infinite series for Template:Pi, mathematicians will generally use the one that converges more rapidly because faster convergence reduces the amount of computation needed to calculate Template:Pi to any given accuracy.<ref name="Aconverge">Template:Cite journalTemplate:Br Template:Harvnb.</ref> A simple infinite series for Template:Pi is the Gregory–Leibniz series:Template:Sfn
<math display=block> \pi = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \frac{4}{11} + \frac{4}{13} - \cdots </math>
As individual terms of this infinite series are added to the sum, the total gradually gets closer to Template:Pi, and – with a sufficient number of terms – can get as close to Template:Pi as desired. It converges quite slowly, though – after 500,000 terms, it produces only five correct decimal digits of Template:Pi.<ref>Template:Cite journal</ref>
An infinite series for Template:Pi (published by Nilakantha in the 15th century) that converges more rapidly than the Gregory–Leibniz series is:Template:Sfn<ref>Template:Cite book</ref>
<math display=block> \pi = 3 + \frac{4}{2\times3\times4} - \frac{4}{4\times5\times6} + \frac{4}{6\times7\times8} - \frac{4}{8\times9\times10} + \cdots </math>
The following table compares the convergence rates of these two series:
| Infinite series for Template:Pi | After 1st term | After 2nd term | After 3rd term | After 4th term | After 5th term | Converges to: |
|---|---|---|---|---|---|---|
| <math>\pi = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \frac{4}{11} + \frac{4}{13} + \cdots</math> | 4.0000 | 2.6666 ... | 3.4666 ... | 2.8952 ... | 3.3396 ... | Template:Pi = 3.1415 ... |
| <math>\pi = Template:3 + \fracTemplate:4{2\times3\times4} - \fracTemplate:4{4\times5\times6} + \fracTemplate:4{6\times7\times8} - \cdots </math> | 3.0000 | 3.1666 ... | 3.1333 ... | 3.1452 ... | 3.1396 ... |
After five terms, the sum of the Gregory–Leibniz series is within 0.2 of the correct value of Template:Pi, 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 Template:Pi. Series that converge even faster include Machin's series and Chudnovsky's series, the latter producing 14 correct decimal digits per term.Template:R
Irrationality and transcendenceEdit
Template:See also Not all mathematical advances relating to Template:Pi 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 Template:Pi and the prime numbers that later contributed to the development and study of the Riemann zeta function:Template:Sfn
<math display=block> \frac{\pi^2}{6} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \cdots</math>
Swiss scientist Johann Heinrich Lambert in 1768 proved that Template:Pi is irrational, meaning it is not equal to the quotient of any two integers.Template:Sfn Lambert's proof exploited a continued-fraction representation of the tangent function.<ref>Lambert, Johann, "Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques", reprinted in Template:Harvnb.</ref> French mathematician Adrien-Marie Legendre proved in 1794 that Template:Pi2 is also irrational. In 1882, German mathematician Ferdinand von Lindemann proved that Template:Pi is transcendental,<ref>Template:Cite journal</ref> confirming a conjecture made by both Legendre and Euler.Template:Sfn<ref>Hardy and Wright 1938 and 2000: 177 footnote § 11.13–14 references Lindemann's proof as appearing at Math. Ann. 20 (1882), 213–225.</ref> Hardy and Wright states that "the proofs were afterwards modified and simplified by Hilbert, Hurwitz, and other writers".<ref>cf Hardy and Wright 1938 and 2000:177 footnote § 11.13–14. The proofs that e and π are transcendental can be found on pp. 170–176. They cite two sources of the proofs at Landau 1927 or Perron 1910; see the "List of Books" at pp. 417–419 for full citations.</ref>
Adoption of the symbol Template:PiEdit
The first recorded use of the symbol Template:Pi in circle geometry is in Oughtred's Clavis Mathematicae (1648),<ref>Template:Cite book (English translation: Template:Cite book)</ref>Template:Sfn where the Greek letters Template:Pi and δ were combined into the fraction Template:Tmath for denoting the ratios semiperimeter to semidiameter and perimeter to diameter, that is, what is presently denoted as Template:Pi.<ref name=firstPi>Template:Cite book</ref><ref name="Cajori-2007">Template:Cite book</ref><ref name="Smith-1958">Template:Cite book</ref><ref>Template:Cite journal</ref> (Before then, mathematicians sometimes used letters such as c or p instead.Template:Sfn) Barrow likewise used the same notation,<ref>Template:Cite book</ref> while Gregory instead used <math display=inline>\frac \pi \rho</math> to represent Template:Math.<ref>Template:Cite journal</ref>Template:R
The earliest known use of the Greek letter Template:Pi alone to represent the ratio of a circle's circumference to its diameter was by Welsh mathematician William Jones in his 1706 work {{#invoke:Lang|lang}}; or, a New Introduction to the Mathematics.Template:RTemplate:Sfn The Greek letter appears on p. 243 in the phrase "<math display=inline>\tfrac12</math> Periphery (Template:Pi)", calculated for a circle with radius one. However, Jones writes that his equations for Template:Pi 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.Template:Sfn Jones' notation was not immediately adopted by other mathematicians, with the fraction notation still being used as late as 1767.Template:R<ref>Template:Cite book</ref>
Euler started using the single-letter form beginning with his 1727 Essay Explaining the Properties of Air, though he used Template:Math, the ratio of periphery to radius, in this and some later writing.<ref>Template:Cite journal English translation by Ian Bruce Template:Webarchive: "Template:Mvar is taken for the ratio of the radius to the periphery [note that in this work, Euler's Template:Pi is double our Template:Pi.]" Template:Pb Template:Cite book English translation in Template:Cite journal</ref> Euler first used Template:Nowrap in his 1736 work Mechanica,<ref>Template:Cite book English translation by Ian Bruce Template:Webarchive : "Let Template:Math denote the ratio of the diameter to the circumference"</ref> and continued in his widely read 1748 work {{#invoke:Lang|lang}} (he wrote: "for the sake of brevity we will write this number as Template:Pi; thus Template:Pi is equal to half the circumference of a circle of radius Template:Math").<ref>Template:Cite book</ref> 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,Template:Sfn though the definition still varied between Template:Math and Template:Math as late as 1761.<ref>Template:Cite book</ref>
Modern quest for more digitsEdit
Motives for computing πEdit
For most numerical calculations involving Template:Pi, a handful of digits provide sufficient precision. According to Jörg Arndt and Christoph Haenel, thirty-nine digits are sufficient to perform most cosmological calculations, because that is the accuracy necessary to calculate the circumference of the observable universe with a precision of one atom. Accounting for additional digits needed to compensate for computational round-off errors, Arndt concludes that a few hundred digits would suffice for any scientific application. Despite this, people have worked strenuously to compute Template:Pi to thousands and millions of digits.Template:Sfn This effort may be partly ascribed to the human compulsion to break records, and such achievements with Template:Pi often make headlines around the world.<ref>Template:Cite news Template:Pb Template:Cite news</ref> They also have practical benefits, such as testing supercomputers, testing numerical analysis algorithms (including high-precision multiplication algorithms) Template:Ndashand within pure mathematics itself, providing data for evaluating the randomness of the digits of Template:Pi.Template:Sfn<ref>Template:Cite journal</ref>
Computer era and iterative algorithmsEdit
The development of computers in the mid-20th century again revolutionized the hunt for digits of Template:Pi. Mathematicians John Wrench and Levi Smith reached 1,120 digits in 1949 using a desk calculator.Template:Sfn Using an inverse tangent (arctan) infinite series, a team led by George Reitwiesner and John von Neumann that same year achieved 2,037 digits with a calculation that took 70 hours of computer time on the ENIAC computer.Template:Sfn<ref>Template:Cite journal</ref> The record, always relying on an arctan series, was broken repeatedly (3089 digits in 1955,<ref>Template:Cite journal</ref> 7,480 digits in 1957; 10,000 digits in 1958; 100,000 digits in 1961) until 1 million digits was reached in 1973.Template:Sfn
Two additional developments around 1980 once again accelerated the ability to compute Template:Pi. First, the discovery of new iterative algorithms for computing Template:Pi, which were much faster than the infinite series; and second, the invention of fast multiplication algorithms that could multiply large numbers very rapidly.Template:Sfn Such algorithms are particularly important in modern Template:Pi computations because most of the computer's time is devoted to multiplication.Template:Sfn They include the Karatsuba algorithm, Toom–Cook multiplication, and Fourier transform-based methods.Template:Sfn Template:Quote box The iterative algorithms were independently published in 1975–1976 by physicist Eugene Salamin and scientist Richard Brent.Template:Sfn 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.Template:Sfn 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.<ref>Template:Harvnb (5 times); pp. 113–114 (4 times). For details of algorithms, see Template:Cite book</ref> Iterative methods were used by Japanese mathematician Yasumasa Kanada to set several records for computing Template:Pi between 1995 and 2002.Template:R This rapid convergence comes at a price: the iterative algorithms require significantly more memory than infinite series.<ref name="Background">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
Rapidly convergent seriesEdit
.jpg){kind=link}
Modern Template:Pi 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.Template:R The fast iterative algorithms were anticipated in 1914, when Indian mathematician Srinivasa Ramanujan published dozens of innovative new formulae for Template:Pi, remarkable for their elegance, mathematical depth and rapid convergence.Template:Sfn One of his formulae, based on modular equations, is
<math display=block> \frac{1}{\pi} = \frac{2 \sqrt 2}{9801} \sum_{k=0}^\infty \frac{(4k)!(1103+26390k)}{k!^4\left(396^{4k}\right)}. </math>
This series converges much more rapidly than most arctan series, including Machin's formula.Template:SfnBill Gosper was the first to use it for advances in the calculation of Template:Pi, setting a record of 17 million digits in 1985.Template:Sfn Ramanujan's formulae anticipated the modern algorithms developed by the Borwein brothers (Jonathan and Peter) and the Chudnovsky brothers.Template:Sfn The Chudnovsky formula developed in 1987 is
<math display=block> \frac{1}{\pi} = \frac{\sqrt{10005}}{4270934400} \sum_{k=0}^\infty \frac{(6k)! (13591409 + 545140134k)}{(3k)!\,k!^3 (-640320)^{3k}}. </math>
It produces about 14 digits of Template:Pi per termTemplate:Sfn and has been used for several record-setting Template:Pi 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,<ref name="NW">Template:Cite book</ref> and 100 trillion digits by Emma Haruka Iwao in 2022.<ref>Template:Cite magazine</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> For similar formulae, see also the Ramanujan–Sato series.
In 2006, mathematician Simon Plouffe used the PSLQ integer relation algorithm<ref>PSLQ means Partial Sum of Least Squares.</ref> to generate several new formulae for Template:Pi, conforming to the following template:
<math display=block> \pi^k = \sum_{n=1}^\infty \frac{1}{n^k} \left(\frac{a}{q^n-1} + \frac{b}{q^{2n}-1} + \frac{c}{q^{4n}-1}\right), </math>
where Template:Math is Template:Math (Gelfond's constant), Template:Math is an odd number, and Template:Math are certain rational numbers that Plouffe computed.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
Monte Carlo methodsEdit
Template:Multiple image Monte Carlo methods, which evaluate the results of multiple random trials, can be used to create approximations of Template:Pi.Template:Sfn Buffon's needle is one such technique: If a needle of length Template:Math is dropped Template:Math times on a surface on which parallel lines are drawn Template:Math units apart, and if Template:Math of those times it comes to rest crossing a line (Template:Math > 0), then one may approximate Template:Pi based on the counts:<ref name="bn">Template:Cite journal</ref>
<math display=block>\pi \approx \frac{2n\ell}{xt}.</math>
Another Monte Carlo method for computing Template:Pi is to draw a circle inscribed in a square, and randomly place dots in the square. The ratio of dots inside the circle to the total number of dots will approximately equal Template:Math.<ref>Template:Harvnb.Template:Br Template:Harvnb.</ref>
Another way to calculate Template:Pi using probability is to start with a random walk, generated by a sequence of (fair) coin tosses: independent random variables Template:Math such that Template:Math with equal probabilities. The associated random walk is
<math display=block>W_n = \sum_{k=1}^n X_k</math>
so that, for each Template:Mvar, Template:Math is drawn from a shifted and scaled binomial distribution. As Template:Mvar varies, Template:Math defines a (discrete) stochastic process. Then Template:Pi can be calculated by<ref>Template:Cite journal</ref>
<math display=block>\pi = \lim_{n\to\infty} \frac{2n}{E[|W_n|]^2}.</math>
This Monte Carlo method is independent of any relation to circles, and is a consequence of the central limit theorem, discussed below.
These Monte Carlo methods for approximating Template:Pi 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 Template:Pi when speed or accuracy is desired.<ref>Template:Harvnb.Template:BrTemplate:Harvnb.</ref>
Spigot algorithmsEdit
Two algorithms were discovered in 1995 that opened up new avenues of research into Template:Pi. They are called spigot algorithms because, like water dripping from a spigot, they produce single digits of Template:Pi that are not reused after they are calculated.Template:Sfn<ref name="Gibbons">Template:Cite journal</ref> This is in contrast to infinite series or iterative algorithms, which retain and use all intermediate digits until the final result is produced.Template:Sfn
Mathematicians Stan Wagon and Stanley Rabinowitz produced a simple spigot algorithm in 1995.Template:RTemplate:Sfn<ref>Template:Cite journal</ref> Its speed is comparable to arctan algorithms, but not as fast as iterative algorithms.Template:Sfn
Another spigot algorithm, the BBP digit extraction algorithm, was discovered in 1995 by Simon Plouffe:Template:Sfn<ref name="bbpf">Template:Cite journal</ref> <math display=block> \pi = \sum_{k=0}^\infty \frac{1}{16^k} \left( \frac{4}{8k + 1} - \frac{2}{8k + 4} - \frac{1}{8k + 5} - \frac{1}{8k + 6}\right).</math>
This formula, unlike others before it, can produce any individual hexadecimal digit of Template:Pi without calculating all the preceding digits.Template:Sfn Individual binary digits may be extracted from individual hexadecimal digits, and octal digits can be extracted from one or two hexadecimal digits. An important application of digit extraction algorithms is to validate new claims of record Template:Pi 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 randomly selected hexadecimal digits near the end; if they match, this provides a measure of confidence that the entire computation is correct.Template:R
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 Template:Pi, which turned out to be 0.<ref>Template:Harvnb.Template:Br Bellards formula in: {{#invoke:citation/CS1|citation |CitationClass=web }}</ref> 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 Template:Pi at the two-quadrillionth (2×1015th) bit, which also happens to be zero.<ref>Template:Cite news</ref>
In 2022, Plouffe found a base-10 algorithm for calculating digits of Template:Pi.<ref>Template:Cite arXiv</ref>
Role and characterizations in mathematicsEdit
Because Template:Pi is closely related to the circle, it is found in many formulae from the fields of geometry and trigonometry, particularly those concerning circles, spheres, or ellipses. Other branches of science, such as statistics, physics, Fourier analysis, and number theory, also include Template:Pi in some of their important formulae.
Geometry and trigonometryEdit
Template:Pi appears in formulae for areas and volumes of geometrical shapes based on circles, such as ellipses, spheres, cones, and tori.<ref>Template:Mathworld</ref> Below are some of the more common formulae that involve Template:Pi.<ref>Template:Harvnb.</ref>
- The circumference of a circle with radius Template:Math is Template:Math.<ref>Template:Mathworld</ref>
- The area of a circle with radius Template:Math is Template:Math.
- The area of an ellipse with semi-major axis Template:Math and semi-minor axis Template:Math is Template:Math.<ref>Template:Mathworld</ref>
- The volume of a sphere with radius Template:Math is Template:Math.
- The surface area of a sphere with radius Template:Math is Template:Math.
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 Template:Pi 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.<ref>Template:Cite bookTemplate:Pb 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.</ref>
Definite integrals that describe circumference, area, or volume of shapes generated by circles typically have values that involve Template:Pi. For example, an integral that specifies half the area of a circle of radius one is given by:<ref>Template:Cite book</ref>
<math display=block>\int_{-1}^1 \sqrt{1-x^2}\,dx = \frac{\pi}{2}.</math>
In that integral, the function <math>\sqrt{1-x^2}</math> represents the height over the <math>x</math>-axis of a semicircle (the square root is a consequence of the Pythagorean theorem), and the integral computes the area below the semicircle. The existence of such integrals makes Template:Pi an algebraic period.<ref>Template:Cite book</ref>
Units of angleEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}
The trigonometric functions rely on angles, and mathematicians generally use radians as units of measurement. Template:Pi plays an important role in angles measured in radians, which are defined so that a complete circle spans an angle of 2Template:Pi radians. The angle measure of 180° is equal to Template:Pi radians, and Template:Nowrap.Template:Sfn
Common trigonometric functions have periods that are multiples of Template:Pi; for example, sine and cosine have period 2Template:Pi, so for any angle Template:Math and any integer Template:Math,Template:Sfn <math display=block> \sin\theta = \sin\left(\theta + 2\pi k \right) \text{ and } \cos\theta = \cos\left(\theta + 2\pi k \right).</math>
EigenvaluesEdit
Many of the appearances of Template:Pi in the formulae of mathematics and the sciences have to do with its close relationship with geometry. However, Template:Pi 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 Template:Math on the unit interval Template:Closed-closed, with fixed ends Template:Math. The modes of vibration of the string are solutions of the differential equation <math>f(x) + \lambda f(x) = 0</math>, or <math>f(t) = -\lambda f(x)</math>. Thus Template:Math is an eigenvalue of the second derivative operator <math>f \mapsto f</math>, 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 Template:Math, where Template:Math is called the wavenumber. Then Template:Math satisfies the boundary conditions and the differential equation with Template:Math.<ref>Template:Cite book</ref>
The value Template:Pi 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:Template:Sfn for a function <math>f : [0, 1] \to \Complex</math> with Template:Math and Template:Math, Template:Math both square integrable, we have:
<math display=block>\pi^2\int_0^1|f(x)|^2\,dx\le \int_0^1|f'(x)|^2\,dx,</math>
with equality precisely when Template:Math is a multiple of Template:Math. Here Template:Pi appears as an optimal constant in Wirtinger's inequality, and it follows that it is the smallest wavenumber, using the variational characterization of the eigenvalue. As a consequence, Template:Pi is the smallest singular value of the derivative operator on the space of functions on Template:Closed-closed vanishing at both endpoints (the Sobolev space <math>H^1_0[0,1]</math>).
InequalitiesEdit
The number Template:Pi 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 Template:Mvar enclosed by a plane Jordan curve of perimeter Template:Mvar satisfies the inequality
<math display=block>4\pi A\le P^2,</math>
and equality is clearly achieved for the circle, since in that case Template:Math and Template:Math.<ref>Template:Cite book</ref>
Ultimately, as a consequence of the isoperimetric inequality, Template:Pi appears in the optimal constant for the critical Sobolev inequality in n dimensions, which thus characterizes the role of Template:Pi in many physical phenomena as well, for example those of classical potential theory.<ref>Template:Cite journal</ref><ref>Template:Cite arXiv</ref><ref>Template:Cite journal</ref> In two dimensions, the critical Sobolev inequality is
<math display=block>2\pi\|f\|_2 \le \|\nabla f\|_1</math>
for f a smooth function with compact support in Template:Math, <math>\nabla f</math> is the gradient of f, and <math>\|f\|_2</math> and <math>\|\nabla f\|_1</math> refer respectively to the [[Lp space|Template:Math and Template:Math-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, Template:Pi is the greatest constant such that
<math display=block> \pi \le \frac{\left (\int_G |\nabla u|^2\right)^{1/2}}{\left (\int_G|u|^2\right)^{1/2}} </math>
for all convex subsets Template:Math of Template:Math of diameter 1, and square-integrable functions u on Template:Math of mean zero.<ref>Template:Cite journal</ref> 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.
Fourier transform and Heisenberg uncertainty principleEdit
The constant Template:Pi also appears as a critical spectral parameter in the Fourier transform. This is the integral transform, that takes a complex-valued integrable function Template:Math on the real line to the function defined as:
<math display=block>\hat{f}(\xi) = \int_{-\infty}^\infty f(x) e^{-2\pi i x\xi}\,dx.</math>
Although there are several different conventions for the Fourier transform and its inverse, any such convention must involve Template:Pi somewhere. The above is the most canonical definition, however, giving the unique unitary operator on Template:Math that is also an algebra homomorphism of Template:Math to Template:Math.<ref>Template:Cite book</ref>
The Heisenberg uncertainty principle also contains the number Template:Pi. The uncertainty principle gives a sharp lower bound on the extent to which it is possible to localize a function both in space and in frequency: with our conventions for the Fourier transform,
<math display=block> \left(\int_{-\infty}^\infty x^2|f(x)|^2\,dx\right) \left(\int_{-\infty}^\infty \xi^2|\hat{f}(\xi)|^2\,d\xi\right)
\ge
\left(\frac{1}{4\pi}\int_{-\infty}^\infty |f(x)|^2\,dx\right)^2. </math>
The physical consequence, about the uncertainty in simultaneous position and momentum observations of a quantum mechanical system, is discussed below. The appearance of Template:Pi 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.<ref name=howe>Template:Cite journal</ref>
Gaussian integralsEdit
.svg){kind=link}
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.<ref>Feller, W. An Introduction to Probability Theory and Its Applications, Vol. 1, Wiley, 1968, pp. 174–190.</ref> The Gaussian function, which is the probability density function of the normal distribution with mean Template:Math and standard deviation Template:Math, naturally contains Template:Pi:<ref name="GaussProb">Template:Harvnb.</ref>
<math display=block>f(x) = {1 \over \sigma\sqrt{2\pi} }\,e^{-(x-\mu )^2/(2\sigma^2)}.</math>
The factor of <math>\tfrac{1}{\sqrt{2\pi}}</math> makes the area under the graph of Template:Math equal to one, as is required for a probability distribution. This follows from a change of variables in the Gaussian integral:Template:R
<math display=block>\int_{-\infty}^\infty e^{-u^2} \, du=\sqrt{\pi}</math>
which says that the area under the basic bell curve in the figure is equal to the square root of Template:Pi.
The central limit theorem explains the central role of normal distributions, and thus of Template:Pi, in probability and statistics. This theorem is ultimately connected with the spectral characterization of Template:Pi as the eigenvalue associated with the Heisenberg uncertainty principle, and the fact that equality holds in the uncertainty principle only for the Gaussian function.Template:Sfn Equivalently, Template:Pi is the unique constant making the Gaussian normal distribution Template:Math equal to its own Fourier transform.<ref>Template:Cite book; Theorem 1.13.</ref> Indeed, according to Template:Harvtxt, the "whole business" of establishing the fundamental theorems of Fourier analysis reduces to the Gaussian integral.Template:R
TopologyEdit
The constant Template:Pi appears in the Gauss–Bonnet formula which relates the differential geometry of surfaces to their topology. Specifically, if a compact surface Template:Math has Gauss curvature K, then
<math display=block>\int_\Sigma K\,dA = 2\pi \chi(\Sigma)</math>
where Template:Math is the Euler characteristic, which is an integer.<ref>Template:Cite book; Chapter 6.</ref> An example is the surface area of a sphere S of curvature 1 (so that its radius of curvature, which coincides with its radius, is also 1.) The Euler characteristic of a sphere can be computed from its homology groups and is found to be equal to two. Thus we have
<math display=block>A(S) = \int_S 1\,dA = 2\pi\cdot 2 = 4\pi</math>
reproducing the formula for the surface area of a sphere of radius 1.
The constant appears in many other integral formulae in topology, in particular, those involving characteristic classes via the Chern–Weil homomorphism.<ref>Template:Cite book; Chapter XII Characteristic classes</ref>
Cauchy's integral formulaEdit
One of the key tools in complex analysis is contour integration of a function over a positively oriented (rectifiable) Jordan curve Template:Math. A form of Cauchy's integral formula states that if a point Template:Math is interior to Template:Math, then<ref>Template:Cite book</ref>
<math display=block>\oint_\gamma \frac{dz}{z-z_0} = 2\pi i.</math>
Although the curve Template:Math is not a circle, and hence does not have any obvious connection to the constant Template:Pi, a standard proof of this result uses Morera's theorem, which implies that the integral is invariant under homotopy of the curve, so that it can be deformed to a circle and then integrated explicitly in polar coordinates. More generally, it is true that if a rectifiable closed curve Template:Math does not contain Template:Math, then the above integral is Template:Math times the winding number of the curve.
The general form of Cauchy's integral formula establishes the relationship between the values of a complex analytic function Template:Math on the Jordan curve Template:Math and the value of Template:Math at any interior point Template:Math of Template:Math:<ref>Template:Cite book</ref>
<math display=block>\oint_\gamma { f(z) \over z-z_0 }\,dz = 2\pi i f (z_{0})</math>
provided Template:Math is analytic in the region enclosed by Template:Math and extends continuously to Template:Math. Cauchy's integral formula is a special case of the residue theorem, that if Template:Math is a meromorphic function the region enclosed by Template:Math and is continuous in a neighbourhood of Template:Math, then
<math display=block>\oint_\gamma g(z)\, dz =2\pi i \sum \operatorname{Res}( g, a_k ) </math>
where the sum is of the residues at the poles of Template:Math.
Vector calculus and physicsEdit
The constant Template:Pi is ubiquitous in vector calculus and potential theory, for example in Coulomb's law,<ref>Template:Cite book</ref> Gauss's law, Maxwell's equations, and even the Einstein field equations.<ref>Template:Cite book</ref><ref>Template:Cite book</ref> Perhaps the simplest example of this is the two-dimensional Newtonian potential, representing the potential of a point source at the origin, whose associated field has unit outward flux through any smooth and oriented closed surface enclosing the source:
<math display="block">\Phi(\mathbf x) = \frac{1}{2\pi}\log|\mathbf x|.</math>
The factor of <math>1/2\pi</math> is necessary to ensure that <math>\Phi</math> is the fundamental solution of the Poisson equation in <math>\mathbb R^2</math>:<ref name="Elliptic PDE2">Template:Cite book</ref>
<math display="block">\Delta\Phi = \delta</math>
where <math>\delta</math> is the Dirac delta function.
In higher dimensions, factors of Template:Pi are present because of a normalization by the n-dimensional volume of the unit n sphere. For example, in three dimensions, the Newtonian potential is:Template:R
<math display="block">\Phi(\mathbf x) = -\frac{1}{4\pi|\mathbf x|},</math>
which has the 2-dimensional volume (i.e., the area) of the unit 2-sphere in the denominator.
Total curvatureEdit
In the differential geometry of curves, the total curvature of a smooth plane curve is the amount it turns anticlockwise, in radians, from start to finish, computed as the integral of signed curvature with respect to arc length:
<math display=block>\int_a^b k(s)\,ds</math>
For a closed curve, this quantity is equal to Template:Math for an integer Template:Mvar called the turning number or index of the curve. Template:Mvar is the winding number about the origin of the hodograph of the curve parametrized by arclength, a new curve lying on the unit circle, described by the normalized tangent vector at each point on the original curve. Equivalently, Template:Mvar is the degree of the map taking each point on the curve to the corresponding point on the hodograph, analogous to the Gauss map for surfaces.
The gamma function and Stirling's approximationEdit
The factorial function <math>n!</math> is the product of all of the positive integers through Template:Math. The gamma function extends the concept of factorial (normally defined only for non-negative integers) to all complex numbers, except the negative real integers, with the identity <math>\Gamma(n)=(n-1)!</math>. When the gamma function is evaluated at half-integers, the result contains Template:Pi. For example, <math> \Gamma\bigl(\tfrac12\bigr) = \sqrt{\pi} </math> and <math display="inline">\Gamma\bigl(\tfrac52\bigr) = \tfrac 34 \sqrt{\pi} </math>.<ref>Template:Harvnb.</ref>
The gamma function is defined by its Weierstrass product development:<ref>Template:Cite book</ref>
<math display=block>\Gamma(z) = \frac{e^{-\gamma z}}{z}\prod_{n=1}^\infty \frac{e^{z/n}}{1+z/n}</math>
where Template:Math is the Euler–Mascheroni constant. Evaluated at Template:Tmath and squared, the equation Template:Tmath reduces to the Wallis product formula. The gamma function is also connected to the Riemann zeta function and identities for the functional determinant, in which the constant Template:Pi plays an important role.
The gamma function is used to calculate the volume Template:Math of the n-dimensional ball of radius r in Euclidean n-dimensional space, and the surface area Template:Math of its boundary, the (n−1)-dimensional sphere:<ref>Template:Cite book</ref>
<math display=block>V_n(r) = \frac{\pi^{n/2}}{\Gamma\bigl(\frac{n}{2}+1\bigr)}r^n,</math>
<math display=block>S_{n-1}(r) = \frac{n\pi^{n/2}}{\Gamma\bigl(\tfrac{n}{2}+1\bigr)}r^{n-1}.</math>
Further, it follows from the functional equation that
<math display=block>2\pi r = \frac{S_{n+1}(r)}{V_n(r)}.</math>
The gamma function can be used to create a simple approximation to the factorial function Template:Math for large Template:Math: <math display="inline"> n! \sim \sqrt{2 \pi n} \left(\frac{n}{e}\right)^n</math> which is known as Stirling's approximation.<ref>Template:Harvnb.</ref> Equivalently,
<math display=block>\pi = \lim_{n\to\infty} \frac{e^{2n}n!^2}{2 n^{2n+1}}.</math>
As a geometrical application of Stirling's approximation, let Template:Math denote the standard simplex in n-dimensional Euclidean space, and Template:Math denote the simplex having all of its sides scaled up by a factor of Template:Math. Then
<math display=block>\operatorname{Vol}((n+1)\Delta_n) = \frac{(n+1)^n}{n!} \sim \frac{e^{n+1}}{\sqrt{2\pi n}}.</math>
Ehrhart's volume conjecture is that this is the (optimal) upper bound on the volume of a convex body containing only one lattice point.<ref>Template:Cite journal</ref>
Number theory and Riemann zeta functionEdit
The Riemann zeta function Template:Math is used in many areas of mathematics. When evaluated at Template:Math it can be written as
<math display=block>\zeta(2) = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \cdots</math>
Finding a simple solution for this infinite series was a famous problem in mathematics called the Basel problem. Leonhard Euler solved it in 1735 when he showed it was equal to Template:Math.Template:Sfn Euler's result leads to the number theory result that the probability of two random numbers being relatively prime (that is, having no shared factors) is equal to Template:Math.<ref>Template:Harvnb. Template:Pb This theorem was proved by Ernesto Cesàro in 1881. For a more rigorous proof than the intuitive and informal one given here, see Template:Cite book</ref> This probability is based on the observation that the probability that any number is divisible by a prime Template:Math is Template:Math (for example, every 7th integer is divisible by 7.) Hence the probability that two numbers are both divisible by this prime is Template:Math, and the probability that at least one of them is not is Template:Math. For distinct primes, these divisibility events are mutually independent; so the probability that two numbers are relatively prime is given by a product over all primes:<ref>Template:Cite book</ref>
<math display=block>\begin{align} \prod_p^\infty \left(1-\frac{1}{p^2}\right) &= \left( \prod_p^\infty \frac{1}{1-p^{-2}} \right)^{-1}\\[4pt] &= \frac{1}{1 + \frac{1}{2^2} + \frac{1}{3^2} + \cdots }\\[4pt] &= \frac{1}{\zeta(2)} = \frac{6}{\pi^2} \approx 61\%. \end{align}</math>
This probability can be used in conjunction with a random number generator to approximate Template:Pi using a Monte Carlo approach.<ref>Template:Harvnb.</ref>
The solution to the Basel problem implies that the geometrically derived quantity Template:Pi 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 Template:Math.<ref>Template:Cite book</ref>
The zeta function also satisfies Riemann's functional equation, which involves Template:Pi as well as the gamma function:
<math display=block>\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\ \zeta(1-s).</math>
Furthermore, the derivative of the zeta function satisfies
<math display=block>\exp(-\zeta'(0)) = \sqrt{2\pi}.</math>
A consequence is that Template:Pi 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.<ref>Template:Cite journal</ref> The calculation can be recast in quantum mechanics, specifically the variational approach to the spectrum of the hydrogen atom.<ref>Template:Cite journal</ref>
Fourier seriesEdit
The constant Template:Pi also appears naturally in Fourier series of periodic functions. Periodic functions are functions on the group Template:Math of fractional parts of real numbers. The Fourier decomposition shows that a complex-valued function Template:Math on Template:Math can be written as an infinite linear superposition of unitary characters of Template:Math. That is, continuous group homomorphisms from Template:Math to the circle group Template:Math of unit modulus complex numbers. It is a theorem that every character of Template:Math is one of the complex exponentials <math>e_n(x)= e^{2\pi i n x}</math>.
There is a unique character on Template:Math, up to complex conjugation, that is a group isomorphism. Using the Haar measure on the circle group, the constant Template:Pi is half the magnitude of the Radon–Nikodym derivative of this character. The other characters have derivatives whose magnitudes are positive integral multiples of 2Template:Pi.Template:R As a result, the constant Template:Pi is the unique number such that the group T, equipped with its Haar measure, is Pontrjagin dual to the lattice of integral multiples of 2Template:Pi.Template:Sfn This is a version of the one-dimensional Poisson summation formula.
Modular forms and theta functionsEdit
The constant Template:Pi 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 <math>\mathrm{SL}_2(\mathbb Z)</math> (or its various subgroups), a lattice in the group <math>\mathrm{SL}_2(\mathbb R)</math>. An example is the Jacobi theta function
<math display=block>\theta(z,\tau) = \sum_{n=-\infty}^\infty e^{2\pi i nz \ +\ \pi i n^2\tau}</math>
which is a kind of modular form called a Jacobi form.<ref name="Mumford 1983 1–117">Template:Cite book</ref> This is sometimes written in terms of the nome <math>q=e^{\pi i \tau}</math>.
The constant Template:Pi 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
<math display=block>\theta(z+\tau,\tau) = e^{-\pi i\tau -2\pi i z}\theta(z,\tau),</math>
which implies that Template:Math transforms as a representation under the discrete Heisenberg group. General modular forms and other theta functions also involve Template:Pi, once again because of the Stone–von Neumann theorem.Template:R
Cauchy distribution and potential theoryEdit
<math display=block>g(x)=\frac{1}{\pi}\cdot\frac{1}{x^2+1}</math>
is a probability density function. The total probability is equal to one, owing to the integral:
<math display=block>\int_{-\infty }^{\infty } \frac{1}{x^2+1} \, dx = \pi.</math>
The Shannon entropy of the Cauchy distribution is equal to Template:Math, which also involves Template:Pi.
The Cauchy distribution plays an important role in potential theory because it is the simplest Furstenberg measure, the classical Poisson kernel associated with a Brownian motion in a half-plane.<ref>Template:Cite book</ref> Conjugate harmonic functions and so also the Hilbert transform are associated with the asymptotics of the Poisson kernel. The Hilbert transform H is the integral transform given by the Cauchy principal value of the singular integral
<math display=block>Hf(t) = \frac{1}{\pi}\int_{-\infty}^\infty \frac{f(x)\,dx}{x-t}.</math>
The constant Template:Pi is the unique (positive) normalizing factor such that H defines a linear complex structure on the Hilbert space of square-integrable real-valued functions on the real line.<ref>Template:Cite book</ref> The Hilbert transform, like the Fourier transform, can be characterized purely in terms of its transformation properties on the Hilbert space Template:Math: up to a normalization factor, it is the unique bounded linear operator that commutes with positive dilations and anti-commutes with all reflections of the real line.<ref>Template:Cite book; Chapter II.</ref> The constant Template:Pi is the unique normalizing factor that makes this transformation unitary.
In the Mandelbrot setEdit
An occurrence of Template:Pi in the fractal called the Mandelbrot set was discovered by David Boll in 1991. He examined the behaviour of the Mandelbrot set near the "neck" at Template:Math. When the number of iterations until divergence for the point Template:Math is multiplied by Template:Mvar, the result approaches Template:Pi as Template:Mvar approaches zero. The point Template:Math at the cusp of the large "valley" on the right side of the Mandelbrot set behaves similarly: the number of iterations until divergence multiplied by the square root of Template:Mvar tends to Template:Pi.<ref>Template:Cite journal Template:Pb Template:Cite book</ref>
Outside mathematicsEdit
Describing physical phenomenaEdit
Although not a physical constant, Template:Pi appears routinely in equations describing fundamental principles of the universe, often because of Template:Pi's relationship to the circle and to spherical coordinate systems. A simple formula from the field of classical mechanics gives the approximate period Template:Math of a simple pendulum of length Template:Math, swinging with a small amplitude (Template:Math is the earth's gravitational acceleration):<ref>Template:Cite book</ref>
<math display=block>T \approx 2\pi \sqrt\frac{L}{g}.</math>
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 (ΔTemplate:Math) and momentum (ΔTemplate:Math) cannot both be arbitrarily small at the same time (where Template:Math is the Planck constant):<ref>Template:Cite book</ref>
<math display=block> \Delta x\, \Delta p \ge \frac{h}{4\pi}.</math>
The fact that Template:Pi 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 Template:Math is<ref>Template:Cite book</ref>
<math display=block>\frac{1}{\tau} = 2\frac{\pi^2 - 9}{9\pi}m_\text{e}\alpha^{6},</math>
where Template:Math is the mass of the electron.
Template:Pi is present in some structural engineering formulae, such as the buckling formula derived by Euler, which gives the maximum axial load Template:Math that a long, slender column of length Template:Math, modulus of elasticity Template:Math, and area moment of inertia Template:Math can carry without buckling:<ref>Template:Cite book</ref>
<math display=block>F =\frac{\pi^2EI}{L^2}.</math>
The field of fluid dynamics contains Template:Pi in Stokes' law, which approximates the frictional force Template:Math exerted on small, spherical objects of radius Template:Math, moving with velocity Template:Math in a fluid with dynamic viscosity Template:Math:<ref>Template:Cite book</ref>
<math display=block>F =6\pi\eta Rv.</math>
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
<math display=block>\mu_0 = 4 \pi \times 10^{-7}\text{ H/m} \approx 1.2566370614 \ldots \times 10 ^{-6} \text{ N/A}^2. </math>
Memorizing digitsEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}} Piphilology is the practice of memorizing large numbers of digits of Template:Pi,Template:Sfn and world-records are kept by the Guinness World Records. The record for memorizing digits of Template:Pi, 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.<ref>"Most Pi Places Memorized" Template:Webarchive, Guinness World Records.</ref> 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.<ref name="japantimes">Template:Cite news</ref>
One common technique is to memorize a story or poem in which the word lengths represent the digits of Template:Pi: 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."Template:Sfn When a poem is used, it is sometimes referred to as a piem.<ref>Template:Cite book</ref> Poems for memorizing Template:Pi have been composed in several languages in addition to English.Template:Sfn Record-setting Template:Pi memorizers typically do not rely on poems, but instead use methods such as remembering number patterns and the method of loci.<ref>Template:Cite journal</ref>
A few authors have used the digits of Template:Pi to establish a new form of constrained writing, where the word lengths are required to represent the digits of Template:Pi. The Cadaeic Cadenza contains the first 3835 digits of Template:Pi in this manner,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and the full-length book Not a Wake contains 10,000 words, each representing one digit of Template:Pi.<ref name=KeithNAW>Template:Cite book</ref>
In popular cultureEdit
Perhaps because of the simplicity of its definition and its ubiquitous presence in formulae, Template:Pi has been represented in popular culture more than other mathematical constructs.<ref>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: Template:Cite book Template:Cite book</ref>
In the Palais de la Découverte (a science museum in Paris) there is a circular room known as the pi room. On its wall are inscribed 707 digits of Template:Pi. The digits are large wooden characters attached to the dome-like ceiling. The digits were based on an 1873 calculation by English mathematician William Shanks, which included an error beginning at the 528th digit. The error was detected in 1946 and corrected in 1949.<ref>Template:Harvnb.Template:Br Template:Harvnb.</ref>
In Carl Sagan's 1985 novel Contact it is suggested that the creator of the universe buried a message deep within the digits of Template:Pi. This part of the story was omitted from the film adaptation of the novel.<ref>Template:Harvnb. Template:Pb Template:Cite book</ref> The digits of Template:Pi have also been incorporated into the lyrics of the song "Pi" from the 2005 album Aerial by Kate Bush.<ref>Template:Cite journal</ref> In the 1967 Star Trek episode "Wolf in the Fold", a computer possessed by a demonic entity is contained by being instructed to "Compute to the last digit the value of Template:Pi".Template:R
In the United States, Pi Day falls on 14 March (written 3/14 in the US style), and is popular among students.Template:R Template:Pi 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".<ref>Template:Cite journal Template:Pb Template:Cite book</ref> Pi Day in 2015 was particularly significant because the date and time 3/14/15 9:26:53 reflected many more digits of pi.<ref>Template:Cite news Template:Pb Template:Cite journal</ref> 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.<ref>Template:Cite news</ref>
Template:Anchor Some have proposed replacing Template:Pi by [[Tau (mathematical constant)|Template:Math]], arguing that Template:Mvar, as the number of radians in one turn or the ratio of a circle's circumference to its radius, is more natural than Template:Pi and simplifies many formulae.<ref>Template:Cite book Template:Pb Template:Cite journal</ref><ref>Template:Cite journal</ref> This use of Template:Math has not made its way into mainstream mathematics,<ref>Template:Cite journal</ref> but since 2010 this has led to people celebrating Two Pi Day or Tau Day on June 28.<ref>Template:Cite news</ref>
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 Template:Pi, 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.<ref>Template:Harvnb.Template:Br Template:Harvnb.Template:Br Template:Cite journal</ref>
In contemporary internet culture, individuals and organizations frequently pay homage to the number Template:Pi. For instance, the computer scientist Donald Knuth let the version numbers of his program TeX approach Template:Pi. The versions are 3, 3.1, 3.14, and so forth.<ref>Template:Cite journal</ref>
See alsoEdit
ReferencesEdit
Explanatory notesEdit
CitationsEdit
SourcesEdit
- Template:Cite book
- Template:Cite book
- Template:Cite book English translation by Catriona and David Lischka.
- Template:Cite book
- Template:Cite book
- Template:Cite book
- Template:Cite book
- Template:Wikicite
- Template:Cite book
- Template:Cite book
Further readingEdit
External linksEdit
- Template:Mathworld
- Demonstration by Lambert (1761) of irrationality of Template:Pi, online Template:Webarchive and analysed BibNum Template:Webarchive (PDF).
- Template:Pi Search Engine 2 billion searchable digits of Template:Pi, Template:Mvar and Template:Radic
- approximation von π by lattice points and approximation of π with rectangles and trapezoids (interactive illustrations)